منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه‌‌ شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می‌دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه‌ای برساخته از روندهای ساخت‌ هویات و براهین ریاضی می‌داند. در مقاله‌‌ حاضر، به تبیین مبانی نظری م...

ایران از نظر مس زایی بر روی کمربند جهانی مس (کمربند آلپ-هیمالیا) قرار گرفته است. با وجود این هنوز بسیاری از مناطق ایران به خوبی اکتشاف نشده است و کانسارهای مس پورفیری کمی نسبت به پتانسیل موجود، کشف شده¬اند. از این رو استفاده از روش های دانش محور در تلفیق داده¬های اکتشافی برای کشف کانسارهای جدید، می¬تواند مثمر ثمر باشد. یکی از روش¬های دانش¬محور، روش دمپستر- شفر می¬باشد که بر اساس مطالعات دمپستر ...

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملاً متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق ش...

داستان علمی - تخیلی درباره برخی مباحث در منطق و مبانی ریاضی.

محدوده¬ی مورد مطالعه، برگه¬ی 1:100000 زمین¬شناسی میناب است که در کمربند متالوژنی کرومیت در جنوب شرق ایران قرار دارد. واحدهای سنگی مجموعه افیولیت ملانژ این کمربند حاوی ذخایر کرومیتی است که هر سال، مقدار قابل توجهی کرومیت از آن¬ها استخراج می¬گردد. هدف از انجام این مطالعه ارائه¬ی نقشه¬ی پتانسیل مطلوب کرومیت در برگه¬ی مذکور می¬باشد. اولین مرحله در تهیه¬ی نقشه¬ی پتانسیل مطلوب، شناسایی داده¬های مورد ...

منطق ریاضی را در دو لایه می توان مورد بررسی قرار داد : لایه روئین یا نگرش تابع ارزشی و لایه زیرین یا نگرش اصل موضوعی . در این مقاله نگرش تابع ارزشی مورد ارزیابی قرار می گیرد. حساب گزاره ها تابع ارزشی است یعنی ارزش صدق گزاره های مرکب تابع ارزش مولفه های آن گزاره هاست و از آنجا که هر استدلال گزاره ای متناظر با یک گزاره شرطی است از این رو اعتبار و عدم اعتبار استدلالها نیز به وسیله صدق و کذب (جدول ...

منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...

در این مقاله دو مدعای منطق ریاضی، مبنی بر: 1) وجودی بودن همه قضایای جزئیه. 2) شرطی بودن همه قضایای کلیه، نخست مورد بررسی و نقد قرار گرفته، سپس موضع منطق قدیم در این باب مطرح شده است. نتیجه به دست آمده آن است که هیچ یک از دو مدعای فوق به صورت موجبه کلیه درست نیست.

در پژوهش حاضر که هدف شناسایی الگوی پراکندگی عناصر در منطقه کُفاز از توابع شهرستان درمیان استان خراسان جنوبی می باشد، از تکنیک های متداول ژئوشیمیایی جهت دستیابی به این امر بهره گرفته شده است. برای این منظور نتایج آنالیزهای آزمایشگاهی مربوط به عناصرمختلف به صورت خام از بخش معدنی سازمان صنعت ،معدن و تجارت استان اخذ گردید و با استفاده از تکنیک های مرسوم در ژئوشیمی ،پیش پردازش های اولیه بر روی داده ه...