قواعد قیاس حملی، که معمولاً تحت عنوان “the rules of the categorical syllogism” در منابع آموزشی منطق به زبان انگلیسی مطرح می شود، روش مفیدی است که جهت تشخیص اعتبار قیاس های حملی، به منطق آموزان، در کتاب های عمومی آموزش منطق، ارائه می شود. استفاده از این قواعد به تقلید از آثار آموزشی غربی در کشور ما نیز متداول گشته و با اندک تغییراتی، در آثار مؤلفان منطقی در داخل کشور، بازنویسی شده است. این تغییرا...

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

در این پایان نامه ابتدا مقدمه ای از منطق و نحوه جبری کردن منطق مخصوصا منطق موجهات را بیان می کنیم و به ریشه عملگر موجه در منطق موجهات می پردازیم. سپس به تعریف مشبکه باقیمانده صحیح جابجایی کراندار و ‎$‎ -‎r ell $‎ تکواره می پردازیم و عملگر موجه را روی آنها تعریف می کنیم و بعد به بررسی قضیه ها و ویژگی های دیگر عملگر موجه می پردازیم و در بخش بعدی مطالب روی ‎$‎ -‎mv $‎ جبرها را بررسی کرده و در ...

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

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

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