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

هدف از نگارش این مقاله، بررسی کارکرد معرفتی قضایای حقیقیه و خارجیه در صناعت برهان، در سایۀ تأمّل در ضوابط و شرایط منطقی این قضایا است. در باب قضایای حقیقیه و خارجیه، دیدگاه­های متعددی ارائه شده است که دیدگاه مختار در پژوهش حاضر، بر مبنای تمایز این دو گزاره از حیث نحوۀ اقتران عقدین استوار است. اگر اقتران عقدالوضع و عقدالحمل در قضیة مسوّره به نحو لزومی باشد، قضیه حقیقیه است و اگر این ارتباط به نحو ...

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

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

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

حاشیة المقالة العاشرة من أصول الهندسة والحساب عنوان رساله‌ای از محمدکاظم بن رضا طبری (13ق) است که بنا به گفتۀ مؤلف در ابتدای رساله، در واقع تعلیقه‌ای بر شرح محمدباقر یزدی (زنده در 1047ق) بر مقالۀ دهم اصول اقلیدس است. محمدباقر یزدی در شرح خود بر مقالۀ دهم اصول اقلیدس با عنوان شرح المقالة العاشرة من أصول أقلیدس از 109 قضیۀ مقالۀ دهم، 67 قضیۀ آن را شرح می‌دهد و ضمن توضیح بسیاری از برهان‌های اقلیدس...

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

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

برخی فیلسوفان برای اثبات ناممکن بودن مدل کردن ذهن با ماشین از قضیۀ گودل و نتایج آن استفاده کرده اند. در فلسفۀ ذهن استدلالات مبتنی بر قضیۀ گودل را استدلالات گودلی می نامند. در این مقاله قصد داریم که سه استدلال گودلی را مورد نقد و بررسی قرار دهیم. این استدلال ها به ترتیب توسط رودی روکر، جان راندولف لوکاس و راجر پنروز ارائه شده اند. تلاش می کنیم تا نشان دهیم: (الف) بخشی از استدلال روکر مقبول و بخش...

در اصول فقه، به قضایایی که دایره عمل آنها، به زمان، مکان و مخاطبِ ‫خاص منحصر است و حکم آن جنبه عمومی ندارد، «قضیه خارجیه» اطلاق می‫شود و در مقابل آن، «قضیه حقیقیه» قرار دارد. این دو اصطلاح، توسط آخوند خراسانی از دانشِ منطق وارد مباحث اصول‫ فقه شد و پیش از آن، فقها اصطلاح «قضیةٌ فی واقعة» را استفاده می‫کردند که تفاوت‫هایی با قضیه خارجیه دارد.اختصاص یک روایت به موقعیت و شرایط خاص، از صدر اسلام وجود ...