قواعد نسب و قواعد استنتاجی منطق ارسطویی
حوزه های تخصصی:
فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۲۰۱ تا ۲۲۰ مورد از کل ۲۲۴ مورد.
مسأله ارسطو در فصل نهم العباره(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در العباره، ارسطو در مورد متناقضین (جفت جمله های متناقض) می گوید ضرورتاً یکی از آنها صادق و دیگری کاذب است اما پس از آن در فصل نهم می گوید این مطلب در مورد جملات شخصیه محتمل مربوط به آینده درست نیست، چرا که در غیر این صورت باید ملتزم به دترمینیسم شویم. اما دترمینیسم پذیرفتنی نیست پس قاعده مورد بحث، در مورد جملات شخصیه آینده برقرار نیست. تفاسیر متعددی از این سخنان ارسطو وجود دارد. مفسرین سنتیِ این قطعه معتقدند که ارسطو در اینجا عمومیت اصل طرد شق ثالث و/یا اصل دوارزشی بودن جملات اِخباری را نفی می کند. تفسیر شایع دیگری وجود دارد که می گوید قصد ارسطو در اینجا تذکر این نکته است که از ضرورت اصل طرد شق ثالث نمی توان به این نتیجه رسید که یکی از مؤلفه های ترکیب فصلی بیانگرِ این اصل، ضروری است. تفسیر اول در مقابله با دترمینیسم موفق تر است ولی با دیگر آراء ارسطو همخوانی ندارد. تفسیر دوم گرچه به تنهایی در مقابل دترمینیسم توفیقی چندانی ندارد ولی با سایر نظرات ارسطو همخوان است. به نظر می رسد هدف اصلی ارسطو در این فصل، استدلال برعلیه دترمینیسم نیست بلکه او نگران آن است که ممکن است از نظراتش در مورد متناقضین در استدلال هایی به نفع دترمینیسم استفاده شود بنابراین تلاش می کند تا جلوی این استفاده نابجا را بگیرد. تفسیر غیرسنتی در ارائه این دغدغه موفق تر است.
منطق فازی در قرآن: خلط مستنبط و منصوص(مقاله علمی وزارت علوم)
حوزه های تخصصی:
علی وحیدیان کامیاد در مقاله ای با عنوان «روش شناسی کاربرد منطق فازی در بینش اسلامی» مدعی است که منطق فازی بخشی از منطق والای قرآن است. این ادعا از سوی برخی از محققان نیز مورد تأیید قرار گرفته است. این در حالی است که به نظر می رسد شواهد ارائه شده در باب این ادعا، شواهدی ناقص اند و لازم می نماید تا اصل ادعا مجدداً مورد کنکاش قرار گیرد. در تحقیق حاضر پاره ای از نقدها نسبت به اصل ادعای منطق فازی در قرآن با توجه به شواهد قرآنی ارائه شده از سوی مدعیان آن است. علاوه بر نقدهای جزئی که به عدم انطباق مثال های قرآنی ذیل الگوی فازی ارائه شده از سوی مدعیان بر می گردد، این نیز نشان داده خواهد شد که اساساً طرح ادعای وجود منطق فازی در قرآن، با خلط آنچه صراحتاً به عنوان استدلال در متن آمده است (استدلال منصوص) و آنچه از سوی مخاطب ممکن است به متن نسبت داده شود (استدلال مستنبط) همراه است.
سرشت مقوله بندی؛ اصول حاکم بر مقوله بندی منطقی، شباهت خانوادگی و پیش نمونه ای(مقاله پژوهشی حوزه)
شکل چهارم قیاس حملی در منطق سهروردی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
سهروردی چرا شکل چهارم را از دستگاه قیاسی اش حذف می کند؟ آیا دستگاه قیاسی او، همانند دستگاه قیاسی ارسطو، به رغم فقدان شکل چهارم پذیرای آن است؟ یا تنگناهایی دارد که نمی تواند شکل چهارم را صورت بندی کند؟ فرضیه این مقاله گزینه دوم است. دستگاه سهروردی در تنگنای سه اصل قرار داد که در این جستار «اصل بستگی»، «اصل ناوابستگی»، و «اصل یگانگی» نامیده شده اند. شکل چهارم نمی تواند هم به روش سهروردی صورت بندی شود و هم این اصول سه گانه را حفظ کند. این نشانگر یک محدودیت مهمِ دستگاه قیاسی سهروردی در سنجش با دستگاه قیاسی ارسطو است.
بررسی مورد پژوهانه گزارش رشر از منطق دوره اسلامی
حوزه های تخصصی:
دلالت معنایی مفاهیم جزئی و نقش آن ها در منطق ارسطویی(مقاله پژوهشی حوزه)
حوزه های تخصصی:
بیشتر منطق دانان ارسطویی مفاهیم را به کلی و جزئی تقسیم و تمایز آن ها را تبیین می کنند؛ اما برخی معتقدند مفهوم جزئی وجود ندارد و تمام مفاهیم کلی اند. به نظر می رسد برای روشن شدن سرنوشت این تقسیم، باید ملاک تمایز مفهوم جزئی و کلی را به درستی تبیین کنیم. با روشن شدن این ملاک، میزان دلالت معنایی هریک از این دو مفهوم و تبیین صدق و کذب گزاره های متشکل از آن ها نیز روشن می شود. منطق دانان معتقدند نمی توان از مفاهیم جزئی در علوم برهانی بهره برد؛ زیرا علم یقینیِ همیشگی در اختیار انسان قرار نمی دهند؛ بااین حال، گاهی از مفاهیم جزئی در علوم برهانی استفاده شده است و برخی معتقدند قضایای متشکل از مفاهیم جزئی، یقین دائم برای انسان ایجاد می کنند. شاید بتوان سخن ایشان را باتوجه به سخن حکمای پیشین توجیه کرد.
طراحی نظریة معناداری نزد ملاصدرای شیرازی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
پرسش اساسی این جستار ناظر به این مطلب است که چگونه می توان نظریة معناداری نزد ملاصدرا را طراحی کرد. جستار حاضر می کوشد تا پس از اشاره به نکات روشی هم چون بیان نسبت سمانتیک، متافیزیک، و معرفت شناسی بر اساس اصل «درستی تفکیک و نادرستی تقدیم» و نیز تفکیک های سه گانه میان زبان طبیعی و زبان منطقی، تعیین کوچک ترین واحد معناداری، و نقش فاعل شناسا در معناداری به نظریة معناداری نزد صدرالمتألهین نزدیک شود. از جملة نتایج جستار حاضر می توان به ترجیح زبان منطقی بر زبان طبیعی مبتنی بر عقل منطقی و برهانی، تعیین واژه و جمله به منزلة کوچک ترین واحد های معناداری مبنی بر نظریة لحاظ ها و عدم دخالت فاعل شناسا مبتنی بر نقش اعدادی و نظریة صدور و جعل ثانی اشاره کرد.
بررسی تفسیرهای گوناگون ادات های منطقی از دیدگاه رواقیان(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در این جستار منطق رواقی و تعبیری که در نیمة نخست قرن بیستم از این منطق صورت گرفت بررسی می شود. از آن جا که نخستین محققان در این دوره بر اساس پیش فرض های منطق جدید با منطق رواقی مواجه شدند، این رویکرد را کلاسیک نامیده ایم و سعی کرده ایم تعابیری را که این رویکرد از ادات اصلی منطق رواقی یعنی نفی، عطف، فصل، و شرطی به دست داده است بررسی کنیم. در مورد هر ادات، در پرتو کارهای جدید بر روی منطق رواقی، نارسایی های برداشت کلاسیک نشان داده شده است. در پایان این جستار توضیح می دهیم که برداشت کلاسیک از ادات نفی و عطف به لحاظ جدول ارزش صحیح است هرچند مفاهیم رواقی یادشده را تماماً نمی رساند. هم چنین نشان خواهیم داد که برداشت کلاسیک از ادات های فصل و شرطی در مواردی نادرست بوده است.
نقد و بررسی تلازم شرطیات متصل در آثار منطق دانان مسلمان(مقاله علمی وزارت علوم)
حوزه های تخصصی:
بحث تلازم شرطیات از جهات گوناگون دارای اهمیت است در این بحث بخوبی می توان به درک درستی از آراء منطق دانان مسلمان در زمینه قضیه ها و استدلال های شرطی دست یافت و در مقام مقایسه این آراء با دیدگاه منطق دانان دیگر بدرستی قضاوت کرد. منطق دانانی که به بحث تلازم شرطیات پرداخته اند هر یک به تعدادی از تلازم ها اشاره کرده اند و قضایای متلازم نیز با معیارها و ملاک های متفاوتی دسته بندی شده اند. در این مقاله ابتدا تلازم های قضایای متصل که در مهمترین آثار منطقی آمده است، شمارش شده و چگونگی تبیین و اثبات آنها در این آثار ارایه شده است. سپس با بررسی و نقد این مباحث، و با بهره گیری از نمادهادسته بندی دیگری از تلازم قضایای شرطی ارایه می شود.
نمادها و ساده سازی (آشنایی با منطق نمادی)
حوزه های تخصصی:
قضایای حقیقیه و خارجیه نزد خونَجی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
افضل الدین خونَجی، با تقسیم هر یک از عقد الوضع و عقد الحمل به خارجی و حقیقی، عقدهای خارجی را به صورت وصفی و عقدهای حقیقی را به سه صورت بسیط، اضافی و شرطی بیان می کند. از آنجا که موصوف و صفت را در منطق جدید غالبا معادل ترکیب عطفی می دانند، به نظر می رسد که عقدهای خارجی را باید به صورت ترکیب عطفی تحلیل کرد. عقدهای حقیقی را نیز دست کم به سه صورت بسیط، شرطی تابع ارزشی و شرطی ربطی می توان تحلیل کرد. روابطی که خونَجی میان انواع قضایای حقیقیه و خارجیه بیان کرده است در بیشتر موارد با تحلیل عقدهای حقیقی به صورت بسیط و در مواردی با تحلیل آن ها به شرطی مادی و در مواردی دیگر با تحلیل آن ها به شرطی ربطی مطابقت دارد. او همچنین، در مواردی به تعهد وجودی در موجبه کلیه استناد می کند و در مواردی آن را وامی نهد. از این همه، نتیجه گرفته ایم که خونَجی در همه موارد بر یک تحلیل ثابت استوار نبوده و تحلیل های گوناگون را با هم درآمیخته است.
سیر تحول قیاس خلف از ارسطو تا قطب رازی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در این مقاله، تلاش های منطق دانان دوره اسلامی در تبیین رابطه میان دو بخش قیاسی و غیرقیاسی ِ قیاس خلف، مورد بررسی قرار می گیرند و با نگاه به آثار شارحان یونانی ارسطو مانند اسکندر افرودیسی و فیلوپونوس و اشاره به ناتوانی آنها در تبیین سخنان ارسطو در تحلیل اوّل، دو رویکرد کلی در این زمینه معرفی می شود. در رویکرد نخست که از سوی افضل الدین مرقی ارائه گردیده، رابطه میان دو بخش قیاسی و غیرقیاسیِ قیاس خلف در چارچوب منطق ارسطویی و بر اساس صورت بندی وی از قیاس حملی در قالب قیاس استثنائی توجیه می گردد. در حالی که در رویکرد دوم که از سوی ابن سینا ارائه شده و مورد قبول اکثر منطق دانان پس از وی قرار گرفته است، رابطه بخش قیاسی و غیرقیاسی ِ قیاس خلف بر اساس نوآوری وی در زمینه قیاس های اقترانی شرطی و خارج از چهارچوب منطق ارسطویی تبیین می گردد.
نسبت اینهمانی و احکام، لوازم و کاربردهای آن در منطق ارسطو
حوزه های تخصصی:
اینهمانی یکی از اصول اولیه ذهن است و از زمان های قدیم مورد توجه فلاسفه و منطق دانان بوده است. ارسطو اولین و بزرگ-ترین منطق دانی است که در اثر ماندگار خود به نام ارگانون از اینهمانی سخن به میان آورده است. اما اینکه آیا در منطق ارسطو اینهمانی وجود دارد؟ مراد ارسطو از اینهمانی چیست؟ و از آن چه بهره هایی می برد؟ آیا وی اینهمانی را به عنوان یک ثابت منطقی معرفی کرده است یا خیر؟ از جمله مسائلی است که در این مقاله مورد بررسی قرار گرفته است.
ماینونگی گرایی وجهیِ آنتی رئالیست: اشیاء ناکامل(مقاله علمی وزارت علوم)
حوزه های تخصصی:
بر اساس ماینونگی گرایی وجهی هر آنچه که می توان به آن التفات داشت یک شیء است، هر چند که وجود نداشته باشد. نیز، وجود صفتی معمولی همچون دیگر صفات است. بسته به اینکه شیئیت یک شیء مبتنی بر اعمال، رفتار و افکار یک عامل شناختی باشد یا نه، دو رویکرد متفاوت در ماینونگی گراییِ وجهی خواهیم داشت.1) رویکرد رئالیستی که بر طبق آن اشیاء ناموجود، مستقل از اینکه مورد التفات قرار بگیرند یا نه، به دامنه اشیاء تعلق دارند و صفاتی را که به داشتنش توصیف می شوند در جهان هایی که التفات مورد نظر را محقق می سازند دارند. 2) رویکر آنتی رئالیستی که بر طبق آن، اشیاء ناموجود بسته به اینکه مورد التفات قرار گیرند به دامنه اشیاء تعلق خواهند داشت و در صورتی که مورد التفات قرار نگیرند اصلاً شیء نیستند که صفاتی داشته باشند. در این نوشتار بر ماینونگی گراییِ وجهیِ آنتی رئالیستیِ پریست نقدهایی را وارد و تعبیری متفاوت از رویکرد اخیر را پیشنهاد خواهیم کرد. آنچه دیدگاه ما را از دیدگاه پریست متمایز می کند این ادعاست که اشیاء ناموجود در رویکرد آنتی رئالیستی اشیائی ناکامل هستند.
گزاره های منفصله نزد ابن سینا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
در این مقاله، در بخش (1)، گزاره های منفصله بر پایه ی کتاب شفاء مورد بررسی قرار می گیرند و نشان داده می شود که ابن سینا، بر خلاف متأخرانی مانند قطب الدین رازی، گزاره های منفصله ی حقیقی اتفاقی را مورد پذیرش قرار نمی دهد. در بخش (2)، دو خوانش کلی در باب گزاره های منفصله ابن سینا معرفی می گردد؛ بر اساس دیدگاه رشر، شهابی، فاخوری، نبوی و الجزر، گزاره های منفصله ابن سینا تابع ارزشی هستند در حالی که از نظر استریت و چاتی دیدگاه ابن سینا در باب گزاره های منفصله در کتاب اشارات را می توان وجهی دانست. در ادامه این بخش به ناکارایی هر یک از این نظرات اشاره شده است؛ در بخش (3) با تأکید بر مفهوم ""ناسازگاری"" به مثابه هسته ی اصلی دیدگاه ابن سینا در باب گزاره های منفصله ی حقیقی، دیدگاه ربطی-وجهی برای صورت بندی این گزاره ها، دقیق تر از دیگر خوانش ها در نظر گرفته می شود.
تمامیت منطق رواقی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
تمامیت منطق رواقی، بر خلاف تمامیت منطق گزاره ای جدید که از سوی منطق دانان معاصر مورد پذیرش قرار گرفته، موضوعی است که مورد تشکیک واقع شده است؛ در این مقاله، پس از بررسی نظام های گوناگونی که از سوی پژوهشگران مختلف بر اساس گفتارهای منطق دانان رواقی بازسازی شده است، به تمامیت این نظام ها اشاره شده و نشان داده می شود که هیچ یک از این نظام های بازسازی شده نمی توانند معیارهای اساسی رواقیان در مورد استدلال های معتبر را برآورده سازند و بر این اساس نمی توان تمامیت چنین نظام های بازسازی شده ای را به نظام منطقی مورد نظر رواقیان نسبت داد. در پایان، تمامیت منطق رواقی حتی به معنای فروکاهش همه ی استدلال های معتبرِ مورد نظر رواقیان به اثبات نشده ها نیز انکار شده و نشان داده می شود که رواقیان در کنار اثبات نشده ها و استدلال های قابل فروکاهش به اثبات نشده ها، اعتبار برخی دیگر از استدلال ها را پذیرفته اند.
تطور تاریخی چیستی مشهورات نزد منطق دانان مسلمان(مقاله علمی وزارت علوم)
حوزه های تخصصی:
نقش عوامل اجتماعی در معرفت ریاضی و منطقی (برمبنای دیدگاه های مکتب ادینبرا)(مقاله علمی وزارت علوم)
حوزه های تخصصی:
برنامة قوی در جامعه شناسی معرفت علمی با نام مکتب ادینبرا و دیدگاه های نسبی انگارانة این مکتب شناخته شده است. براساس این رویکرد همة آنچه «معرفت» به شمار می رود، صرف نظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه منجر شده است و جامعه شناس موظف است که این علل را بیابد. این برنامه برخلاف برنامه های ضعیف تری که معرفت علمی را استثنا می کردند، بر این ایده مبتنی است که عوامل اجتماعی در شکل گیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفت هایی که از سنخ ضروری به شمار می روند، نیز نقش دارند. این مقاله درصدد است دیدگاه های مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کند. به این منظور نخست مبانی فکری این رویکرد را به اجمال معرفی و سپس دیدگاه های اصلی آنان را در خصوص نقش ابعاد جامعه شناسانه در منطق و ریاضیات به اختصار ذکر می کنیم. در بخش های بعدی مقاله به مهم ترین یا بدیع ترین مطالعات موردی ای که عرضه کرده اند و احیاناً نقد و ارزیابی آن ها درباب برهان خلف، تصمیم گیری و چانه زنی در ریاضیات، اثبات گزاره های ریاضی و اعتبار استدلال های منطقی می پردازیم و در انتها نیز نکاتی درخصوص رویکرد نظری آنان و نتایجی که به نظر می رسد می توان از این بحث گرفت عرضه خواهیم کرد.