کورت گودل در فوریه ۱۹۷۰ با دینا اسکات درباره استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبه دوم در نظام s5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجه گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشا...

برهان آنسلم از نمونه های نامور برهان وجودی است که قرن ها محل بحث فیلسوفان و منطق دانان بوده است. یکی از کلیدی ترین فرازهای این برهان چنین است که «اگر [آن چه فراتر از آن قابل تصور نیست] در ذهن وجود داشته باشد، آن گاه می توان همین فرد را به عنوان موجود تصور کرد که فراتر است». بر اساس این فراز، می توان «مسئله مقایسه با خود» را مطرح کرد؛ مسئله ای که اولاً به تمایز میان «آن چه فراتر از آن قابل تصور ن...

قضایا و قواعد منطق موجهات، در جهان های ممکن، معتبرند اما قضایای منطق ربط، در جهان های منطقی، و قواعد آن، در وضعیت ها اعتبار دارند. روبرت مایر، در سال 1974، به کمک ادات های صدق و کذب ویلهم آکرمان، نظامی در منطق ربط طراحی کرد که قضایا و قواعد آن، هر دو، در وضعیت ها معتبر بودند و به این وسیله، عدم تقارن موجود در منطق ربط میان قضایا و قواعد را از میان برد. در این مقاله، با معرفی نوع جدیدی از ادات ه...

ارسطو را می توان از پیشگامان منطق ترجیح قلمداد نمود. در عصر جدید محققان برجسته ای چون سورن هالدن جورج فون رایت رودریک چیزم نیکلاس رشر و ریچارد جفری در احیاء و گسترش این بخش از دانشهای منطقی کوشش قابل ملاحظه ای از خود نشان داده اند از جمله روابط منطقی که نقش پایه و اساسی در منطق ترجیح ایفا می کنند رابطه s , p است p به معنای p بر q ترجیح دارد یا p بهتر است از q و s به معنای p در ارزش برابر است با...

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

مبانی: فلسفی:1- فلسفه منطق فرگه (نظریه فرگه)2-فلسفه منطق راسل (نظریات توصیفات معین، نظریه طبقات ساده و انشعابی منطقی: منطق کلاسیک (مرتبه اول و بالاتر) منطق موجهات پیش فرض ها: کلیات نظریه ‏‎sence‎‏ را می پذیریم. ( این نظر را که وجود محمول نیست. کنار می گذاریم)از حیث هستی شناسی، ‏‎sense‎‏ را به مثابه اشیا انتزاعی تلقی می کنیم.مسائل: اگر ‏‎‏‎sense‎‏ را به مثابه شی انتزاعی در یک مدل تعبیر کنیم، آیا...

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

ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه‌ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف‌نظری دیده نمی‌شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می‌باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می‌شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق‌دانان قبل اثیر الدین ابهری را در بر می‌گیرد ...

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