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

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

کانت منطق را به دو حوزه کلی منطق عمومی و منطق استعلایی تقسیم می­کند. منطق عمومی نسبت به اعیان خنثی است و صرفا قواعد انسجام خود اندیشه و از این رو صرفا شرایط سلبی حقیقت را بیان می­کند. اما آیا اصل طرد شق ثالث که می­گوید از بین یک گزاره و نفی آن یکی درست است یک شرط صرفا سلبی برای حقیقت است؟ در این مقاله نشان می­دهیم که چنین نیست. در این راستا هم به لحاظ تاریخی به برهان کانتور اشاره می­کنیم و هم ب...

این رساله از چهار فصل تشکیل شده است.نویسنده کتاب در فصل اول در تلاش است تا به جهان دور از دسترس منطق دانان دسترسی پیدا کند در این راستا در ابتدا به سابقه و پیشینه جامعه شناسی ریاضیات و منطق می پردازد. او رویکرد های جامعه شناختی و تجربی به منطق را مورد مداقه قرار می دهد و از این میان شیوه روش قوم شناختی رابر می گزیند. رزنتال اعتقاد دارد نگاه صلب و تغییر ناپذیر به منطق ناصواب است. منطق همانند هر ...

در العباره، ارسطو در مورد متناقضین (جفت جمله های متناقض) می گوید ضرورتاً یکی از آنها صادق و دیگری کاذب است اما پس از آن در فصل نهم می گوید این مطلب در مورد جملات شخصیه محتمل مربوط به آینده درست نیست، چرا که در غیر این صورت باید ملتزم به دترمینیسم شویم. اما دترمینیسم پذیرفتنی نیست پس قاعده مورد بحث، در مورد جملات شخصیه آینده برقرار نیست. تفاسیر متعددی از این سخنان ارسطو وجود دارد. مفسرین سنتیِ این...

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

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

منطق تک‌نرم UL یک منطق فازی، زیرساختاری و نیمه‌ربطی است. سیستم گنتزن UL از حذف قواعد انقباض و تضعیف از سیستم گنتزن منطق فازی گودل بدست می‌آید. UL فاقد «طرد شق ثالث»، «پارادوکس مثبت» و «پارادوکس منفی» است. تابع ارزش تک‌نرم تضعیفی ربطی از تابع t-نرم است. در این مقاله منطق جدید ULΔ را معرفی می‌کنیم. ULΔ با افزودن اپراتور وجهی Δ به UL بدست می‌آید. ULΔ که بسطی از منطق کلاسیک است، یک منطق موجهات نرما...

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

در میان فلاسفه متأخر،آراء و اندیشه های ملاصدرا به ویژه نظریه اصالت وجود، تأثیر به سزایی در مباحث فلسفه به جای گذاشت. ساختار فلسفی پیشین را دگرگون ساخت و نظام ماهوی را کنار زد و در بسیاری از مسائل فلسفی از جمله: جعل ، علیت، حرکت، وحدت، کثرت و... سخنان بدیعی را به جهان فلسفه ارائه کرد.مسئلۀ اصالت وجود، اگرچه در آثار صدرا و تابعین وی به کرّات دربارۀ آن بحث شده است، همچنان از زوایایی اساسی دچار ابها...