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

ابن‌سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به‌حسب نفس‌الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس‌الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این‌رو، نزاع‌های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع‌های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده‌ایم و نشان...

چکیده نخستین دانشمند مسلمانی که به شکل جدی به ساختارهای شرطی پرداخت ، « ابن سینا » بود. در واقع او مبتکرنظری? « قیاس اقترانی شرطی » است . پس از او کسانی چون« ارموی » ،« قطب رازی » و « خواجه نصیر طوسی » این بحث را ادامه دادند .تحقیق حاضردر پی این است که نشان دهد ابن سینا و شارحان وی تا چه حد توانسته اند ساختار معتبر و منسجمی از استدلال های شرطی ارائه نمایند.در این پژوهش سعی شده با مطالع? کتابه...

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

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

ابن سینا شرطی لزومی با مقدّم ممکن و شرطی لزومی با مقدّم ممتنع را لزومی به حسب نفس الامر و لزومی به حسب الزام نامیده، و قسم دوم را در واقع و نفس الامر کاذب دانسته است. این حکمْ شگفت بلکه خلاف شهود است و، از این رو، نزاع های بسیاری در ردّ و قبول آن درگرفته است. در این مقاله، با گزارش انتقادی نزاع های یادشده، لزومی حقیقی و لفظی را به زبان منطق جدید و به کمک منطق موجّهات و منطق ربط تحلیل کرده ایم و نشان...

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

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

عبارتِ فاعل از «توانایی انجام فعل به‌گونۀ دیگر» برخوردار است، به چه معناست؟ مباحث بسیاری در فلسفه معاصر درباره معنای این عبارت مطرح شده است. جی ای مور در کتاب اخلاق استدلال کرده است که فاعل از توانایی انجام فعل به‌گونۀ دیگر برخوردار است تنها اگر به‌گونۀ دیگر انتخاب کرده باشد. نخستین‌بار آستین ردیّه‌ای بر تحلیل شرطی مور نگاشته و معتقد شد که دسته‌ای از جملات با ظاهر شرطی اگر-آن‌گاه به‌معنای واقعی ش...

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