بسیاری از قواعد منطق قدیم نیازمند وجود موضوع هستند و این وجود موضوع را می توان یا در ساختار گزاره ها (محصورات چهارگانه) وارد کرد یا به عنوان مقدمه ای اضافی، جزئی از قواعد دانست. این دو رهیافت را «تعهد درون گزاره ای» و «تعهد درون قاعده ای» می نامیم. نخستین کسانی که به تعهد درون قاعده ای تصریح کرده اند، ابن سینا در قاعده نقض محمول و خواجه نصیر در قاعده عکس نقیض هستند. خواجه نصیر، به وجود موضوع نه...

چکیده: خونجی در تقسیم بندیِ خود از گزاره، هر کدام از محصورات اربع را به 36 قسم تقسیم نموده است. در آثار معاصر، تنها گزاره ی موجبه ی کلیه بر اساس تقسیم بندی خونجی، صورت بندی شده است. در این پایان نامه 72 گزاره ی جزئیه نزد خونجی صورت بندی شده اند. خونجی 12 گزاره را از مجموع 72 گزاره ی جزئیه، همیشه صادق دانسته است. از این 12 گزاره، 6 گزاره موجبه ی جزئیه و 6 گزاره ی دیگر سالبه ی جزئیه اند. در فصل ...

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

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

برخی از منطق دانان معاصر روشی نو و ساده برای استنتاج های منطقی ابداع کرده و هم? استدلال های مباشر را به دو قاعد? عکس مستوی و نقض محمول فروکاسته اند. یکی از ایشان، رضا اکبری، محصورات چهارگان? مشهور را به 32 محصوره گسترش داده است: 4 گزار? محصلة الطرفین مشهور، 4 گزار? معدولة الطرفین، 4 گزار? معدولة الموضوع، 4 گزار? معدولة المحمول، و همین 16 گزاره با جابه جا کردن «الف» و «ب» در هم? آن ها. اکبری، هم...

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

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

دو اصل مهمی که تشکیل‌دهندۀ پارادوکس تأیید هستند، عبارتند از: 1. اصل یا معیار نیکو؛ 2. اصل یا شرط هم‌ارزی؛ راه‌حل‌های مطرح‌شده برای حل پارادوکس تأیید نیز بر همین مبنا در دو دسته کلی قابل دسته‌بندی هستند: نخست‌، راه‌حل‌هایی که بر رد یا اصلاح معیار نیکو مبتنی‌اند؛ دوم،‌ راه‌حل‌هایی که بر رد یا اصلاح شرط هم‌ارزی مبتنی هستند. در مقاله حاضر، با توصیف اجمالی پارادوکس تأیید، به چهار راه حل پرداخته‌ایم....

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

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