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