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

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

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

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

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

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

این مقاله براساس بخشی از نتایج پژوهشی که با عنوان «طراحی سیستم خط مشی گذاری دولتی برای تحقق عدالت اجتماعی، بر مبنای مدل حکومت حق مدار علوی در نهج البلاغه » انجام شده است، توسعه پیدا کرده است. معمولاً هر سیستم خط مشی گذاری عمومی براساس مجموعه ای از اصول و گزاره های مبنایی طراحی می شود. اصولی که تحت¬تأثیر آموزه های مکاتب فلسفی سیاسی غالب در محیط اجتماعی خود شکل می گیرند؛ آموزه هایی که ممکن است ت...

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

تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.