فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۴۰۱ تا ۴۲۰ مورد از کل ۵۵۶ مورد.
۴۰۱.

نقد و بررسی تلازم شرطیات متصل در آثار منطق دانان مسلمان(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: انعکاس لزوم تلازم متصل شرطی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی فلسفه و منطق منطق فلسفه منطق شرطی ها
تعداد بازدید : ۱۱۱۹ تعداد دانلود : ۹۸۴
بحث تلازم شرطیات از جهات گوناگون دارای اهمیت است در این بحث بخوبی می توان به درک درستی از آراء منطق دانان مسلمان در زمینه قضیه ها و استدلال های شرطی دست یافت و در مقام مقایسه این آراء با دیدگاه منطق دانان دیگر بدرستی قضاوت کرد. منطق دانانی که به بحث تلازم شرطیات پرداخته اند هر یک به تعدادی از تلازم ها اشاره کرده اند و قضایای متلازم نیز با معیارها و ملاک های متفاوتی دسته بندی شده اند. در این مقاله ابتدا تلازم های قضایای متصل که در مهمترین آثار منطقی آمده است، شمارش شده و چگونگی تبیین و اثبات آنها در این آثار ارایه شده است. سپس با بررسی و نقد این مباحث، و با بهره گیری از نمادهادسته بندی دیگری از تلازم قضایای شرطی ارایه می شود.
۴۰۲.

هایک و بازسازی برهان وجودی گودل(مقاله علمی وزارت علوم)

کلید واژه ها: برهان وجودی کورت گودل پتر هایک جردن هاوارد سوبل

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق فلسفه غرب رویکرد موضوعی فلسفه های مضاف فلسفه دین
  2. حوزه‌های تخصصی فلسفه و منطق منطق فرامنطق تصمیم پذیری (گودل و...)
تعداد بازدید : ۱۱۱۸ تعداد دانلود : ۸۷۷
از زمانی که گودل تلاش کرد صورت بندی ای منطقی از برهان وجودی ارائه دهد، بحث های قابل توجهی درباره اعتبار برهان وی صورت گرفته است. برای مثال، سوبل تلاش می کند کاستی های برهان گودل را نشان دهد. پتر هایک، منطق دان و ریاضی دان اهل جمهوری چک، تلاش می کند برهان وجودی گودل را به نحوی بازسازی کند که از انتقادات سوبل در امان باشد. به باور او، اگر برهان در سیستم موجهه S5 با اندکی تفاوت بازسازی شود، می تواند از انتقادات سوبل در امان بماند. در عین حال، هایک معتقد است اثبات اعتبار برهان وجودی ارتباطی به اثبات وجود خداوند ندارد. در این نوشته، ابتدا شرحی از بازسازی هایک از برهان وجودی ارائه و این نکته نشان داده می شود که چگونه این نسخه هایک از برهان مسئله شکست وجهی برهان را که نسخه گودل با آن مواجه است حل می کند. آنگاه تلاش می شود ادعای اخیر هایک درباره بی ارتباطی الهیاتی برهان در قالب دعاوی فیلسوفانی نظیر ویلیام رو و باس ون فراسن فهمیده و ارزیابی شود. در اینجا نشان خواهیم داد که در فرض خاصی می توان نشان داد که چنین برهانی می تواند به اثبات وجود خدا مرتبط باشد.
۴۰۴.

قضایای حقیقیه و خارجیه نزد خونَجی(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: قضیه خارجیه قضیه حقیقیه تعهد وجودی شرطی ربطی عطفی شرطی مادی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی منطق قضایا و احکام آن
تعداد بازدید : ۱۱۰۱ تعداد دانلود : ۵۶۶
افضل الدین خونَجی، با تقسیم هر یک از عقد الوضع و عقد الحمل به خارجی و حقیقی، عقدهای خارجی را به صورت وصفی و عقدهای حقیقی را به سه صورت بسیط، اضافی و شرطی بیان می کند. از آنجا که موصوف و صفت را در منطق جدید غالبا معادل ترکیب عطفی می دانند، به نظر می رسد که عقدهای خارجی را باید به صورت ترکیب عطفی تحلیل کرد. عقدهای حقیقی را نیز دست کم به سه صورت بسیط، شرطی تابع ارزشی و شرطی ربطی می توان تحلیل کرد. روابطی که خونَجی میان انواع قضایای حقیقیه و خارجیه بیان کرده است در بیشتر موارد با تحلیل عقدهای حقیقی به صورت بسیط و در مواردی با تحلیل آن ها به شرطی مادی و در مواردی دیگر با تحلیل آن ها به شرطی ربطی مطابقت دارد. او همچنین، در مواردی به تعهد وجودی در موجبه کلیه استناد می کند و در مواردی آن را وامی نهد. از این همه، نتیجه گرفته ایم که خونَجی در همه موارد بر یک تحلیل ثابت استوار نبوده و تحلیل های گوناگون را با هم درآمیخته است.
۴۰۶.

ماینونگی گرایی وجهیِ آنتی رئالیست: اشیاء ناکامل(مقاله علمی وزارت علوم)

کلید واژه ها: رئالیسم ارجاع ماینونگی گرایی وجهی شیء ناکامل شیء ناموجود

حوزه های تخصصی:
تعداد بازدید : ۱۰۸۲ تعداد دانلود : ۵۹۸
بر اساس ماینونگی گرایی وجهی هر آنچه که می توان به آن التفات داشت یک شیء است، هر چند که وجود نداشته باشد. نیز، وجود صفتی معمولی همچون دیگر صفات است. بسته به اینکه شیئیت یک شیء مبتنی بر اعمال، رفتار و افکار یک عامل شناختی باشد یا نه، دو رویکرد متفاوت در ماینونگی گراییِ وجهی خواهیم داشت.1) رویکرد رئالیستی  که بر طبق آن اشیاء ناموجود، مستقل از اینکه مورد التفات قرار بگیرند یا نه، به دامنه اشیاء تعلق دارند و صفاتی را که به داشتنش توصیف می شوند در جهان هایی که التفات مورد نظر را محقق می سازند دارند. 2) رویکر آنتی رئالیستی که بر طبق آن، اشیاء ناموجود بسته به اینکه مورد التفات قرار گیرند به دامنه اشیاء تعلق خواهند داشت و در صورتی که مورد التفات قرار نگیرند اصلاً شیء نیستند که صفاتی داشته باشند. در این نوشتار بر ماینونگی گراییِ وجهیِ آنتی رئالیستیِ پریست نقدهایی را وارد و تعبیری متفاوت از رویکرد اخیر را پیشنهاد خواهیم کرد. آنچه دیدگاه ما را از دیدگاه پریست متمایز می کند این ادعاست که اشیاء ناموجود در رویکرد آنتی رئالیستی اشیائی ناکامل هستند.
۴۰۷.

سیر تحول قیاس خلف از ارسطو تا قطب رازی(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: ارسطو ابن سینا افضل الدین مرقی قیاسِ از وضع قیاس خَلف

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطو
  2. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  3. حوزه‌های تخصصی فلسفه و منطق منطق صوری جدید منطق فلسفی منطق قیاسی
  4. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات تاریخ فلسفه
تعداد بازدید : ۱۰۶۹ تعداد دانلود : ۲۱۰۱۴
در این مقاله، تلاش های منطق دانان دوره اسلامی در تبیین رابطه میان دو بخش قیاسی و غیرقیاسی ِ قیاس خلف، مورد بررسی قرار می گیرند و با نگاه به آثار شارحان یونانی ارسطو مانند اسکندر افرودیسی و فیلوپونوس و اشاره به ناتوانی آنها در تبیین سخنان ارسطو در تحلیل اوّل، دو رویکرد کلی در این زمینه معرفی می شود. در رویکرد نخست که از سوی افضل الدین مرقی ارائه گردیده، رابطه میان دو بخش قیاسی و غیرقیاسیِ قیاس خلف در چارچوب منطق ارسطویی و بر اساس صورت بندی وی از قیاس حملی در قالب قیاس استثنائی توجیه می گردد. در حالی که در رویکرد دوم که از سوی ابن سینا ارائه شده و مورد قبول اکثر منطق دانان پس از وی قرار گرفته است، رابطه بخش قیاسی و غیرقیاسی ِ قیاس خلف بر اساس نوآوری وی در زمینه قیاس های اقترانی شرطی و خارج از چهارچوب منطق ارسطویی تبیین می گردد.
۴۰۸.

آموزشِ حکمت متعالیه یا پیچیده کردن و تخریب آن نقد بخش اول کتابِ شرح منظومه حکمت (در باب وجود و عدم)(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: وجود حکمت متعالیه ماهیت موضوع فلسفه شرح منظومه بساطت مشتق

حوزه های تخصصی:
تعداد بازدید : ۱۰۶۵ تعداد دانلود : ۵۵۸
شرحِ منظومه حکمت، تألیف رضا اکبری و سیدمحمد منافیان، کتابی است که به ادعای نویسندگان آن برای آموزش حکمت متعالیه تألیف شده است. این کتاب امتیازهای زیادی دارد، اما به باورِ نگارنده نمی تواند کتابی آموزشی در حکمت متعالیه باشد، زیرا علاوه بر این که آموزش فلسفه صدرایی را بسیار پیچیده کرده است، اشکالات متعددی نیز دارد؛ اشکالاتی هم در روش نویسندگان و هم در درک نادرست ایشان از مسائلی مانند موضوع فلسفه، بساطتِ مشتق، پیشینه بحث اصالت وجود، اتصاف ماهیت به موجودیت و حتی مسئله ای مانند حمل اولی ذاتی و حمل شایع صناعی
۴۱۳.

گزاره های منفصله نزد ابن سینا(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: ابن سینا ناسازگاری شرطیات گزاره های منفصله خوانش ربطی - وجهی

حوزه های تخصصی:
  1. حوزه‌های تخصصی فلسفه و منطق منطق صوری سنتی منطق ارسطویی منطق عالم اسلام
  2. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات مکتب های فلسفی فلسفه مشاء
  3. حوزه‌های تخصصی علوم اسلامی منطق، فلسفه و کلام اسلامی فلسفه اسلامی کلیات فلاسفه اسلامی
تعداد بازدید : ۱۰۳۵ تعداد دانلود : ۸۵۲
در این مقاله، در بخش (1)، گزاره های منفصله بر پایه ی کتاب شفاء مورد بررسی قرار می گیرند و نشان داده می شود که ابن سینا، بر خلاف متأخرانی مانند قطب الدین رازی، گزاره های منفصله ی حقیقی اتفاقی را مورد پذیرش قرار نمی دهد. در بخش (2)، دو خوانش کلی در باب گزاره های منفصله ابن سینا معرفی می گردد؛ بر اساس دیدگاه رشر، شهابی، فاخوری، نبوی و الجزر، گزاره های منفصله ابن سینا تابع ارزشی هستند در حالی که از نظر استریت و چاتی دیدگاه ابن سینا در باب گزاره های منفصله در کتاب اشارات را می توان وجهی دانست. در ادامه این بخش به ناکارایی هر یک از این نظرات اشاره شده است؛ در بخش (3) با تأکید بر مفهوم ""ناسازگاری"" به مثابه هسته ی اصلی دیدگاه ابن سینا در باب گزاره های منفصله ی حقیقی، دیدگاه ربطی-وجهی برای صورت بندی این گزاره ها، دقیق تر از دیگر خوانش ها در نظر گرفته می شود.
۴۱۴.

تمامیت منطق رواقی(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: قیاس تمامیت منطق رواقی اثبات نشده ها تماها

حوزه های تخصصی:
تعداد بازدید : ۱۰۲۴ تعداد دانلود : ۶۳۷
تمامیت منطق رواقی، بر خلاف تمامیت منطق گزاره ای جدید که از سوی منطق دانان معاصر مورد پذیرش قرار گرفته، موضوعی است که مورد تشکیک واقع شده است؛ در این مقاله، پس از بررسی نظام های گوناگونی که از سوی پژوهشگران مختلف بر اساس گفتارهای منطق دانان رواقی بازسازی شده است، به تمامیت این نظام ها اشاره شده و نشان داده می شود که هیچ یک از این نظام های بازسازی شده نمی توانند معیارهای اساسی رواقیان در مورد استدلال های معتبر را برآورده سازند و بر این اساس نمی توان تمامیت چنین نظام های بازسازی شده ای را به نظام منطقی مورد نظر رواقیان نسبت داد. در پایان، تمامیت منطق رواقی حتی به معنای فروکاهش همه ی استدلال های معتبرِ مورد نظر رواقیان به اثبات نشده ها نیز انکار شده و نشان داده می شود که رواقیان در کنار اثبات نشده ها و استدلال های قابل فروکاهش به اثبات نشده ها، اعتبار برخی دیگر از استدلال ها را پذیرفته اند.
۴۱۵.

تاملی در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: اصل تناقض قاعده وضع مقدم قرارداد شرطی مصادره به مطلوب

حوزه های تخصصی:
تعداد بازدید : ۱۰۰۷ تعداد دانلود : ۴۷۱
در مقاله ی «نقش عوامل اجتماعی در معرفت ریاضی و منطقی»، نشان داده می شود که عوامل اجتماعی در پیدایش و ضروری انگاری علوم بنیادینی چون ریاضی و منطق نقش دارند؛ از جمله مهمترین دلایل مطروحه در این مقاله می توان به موارد زیر اشاره کرد: اختلاف ریاضی دان ها، تنوع تناقض در براهین خلف، ساختارشکنی در مقادیر بی نهایت، تحلیل ویتگنشتاین از عمل جمع، تغییر مفهوم بداهت در طول تاریخ، دوری بودن اثبات اصول بدیهی، دوری بودن توجیه قواعد منطقی از طریق جداول ارزش، استدلال پرایور در مقابل صورت گرایان، عدم ترجیح توجیهات روان شناختی بر توجیهات جامعه شناختی، پارادوکس های استلزام مادی، توسل به شهود به جای استدلال، نقد استدلال دوری، قراردادی بودن اصول منطقی، پارادوکس خرمن و ... ما نیز در ارزیابی این شواهد ضمن تعیین و تحلیل اصول بدیهی حداقلی چون اصل تناقض، قاعده وضع مقدم و برهان خلف، به تحلیل موارد زیر پرداخته ایم: بی نهایت ها، دیدگاه ویتگنشتاین، جداول ارزش، استدلال پرایور، قرارداد، عدم لزوم بداهت تصورات در تصدیق های بدیهی، مفاهیم نامعین و ...؛ و در نهایت نشان داده ایم که علوم بنیادینی چون ریاضی و منطق، ضرورت خود را مدیون عوامل اجتماعی نیستند.
۴۱۸.

استدلالِ هستی شناسیکِ گودل(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: گودل استدلال هستی شناسیک موجود خدای گونه

حوزه های تخصصی:
تعداد بازدید : ۹۷۵ تعداد دانلود : ۴۳۸
کورت گودل در فوریة ۱۹۷۰ با دِینا اسکات دربارة استدلال هستی شناسیک خود به بحث نشست و اسکات در پاییز همان سال روایتی تا حدی متفاوت از آن را در سمیناری در دانشگاه پرینستون ارائه کرد. نظام منطقی استدلال، منطق موجهات مرتبة دوم در نظام S5 است، با این همانی و یک اصل انتزاع ویژگی ها. به شرط پذیرش نظام منطقی، نتیجة گودل، این که ضرورتاً موجودی خدای ـ گونه وجود دارد ( ) از مقدمات به دست می آید، اما سوبل نشان داد که استدلال با شکست وجهی مواجه است؛ یعنی از سیستم قابل استنتاج است. اندرسون در پاسخ به سوبل تلاش کرد با ضعیف ترکردن برخی مقدمات، راه را بر استنتاج سوبل ببندد. در این مقاله تلاش خواهم کرد استدلال هستی شناسیک گودل (روایت اسکات) و همچنین انتقاد سوبل را از دیدگاهی منطقی توضیح دهم. مقاله با بیان اصلاحات اندرسون پایان خواهد یافت.
۴۱۹.

نقش عوامل اجتماعی در معرفت ریاضی و منطقی (برمبنای دیدگاه های مکتب ادینبرا)(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: صدق ضروری جامعه شناسی معرفت علمی برنامه قوی تعین اجتماعی تمایز توجیه/ تبیین

حوزه های تخصصی:
تعداد بازدید : ۹۷۴ تعداد دانلود : ۱۰۴۶
برنامة قوی در جامعه شناسی معرفت علمی با نام مکتب ادینبرا و دیدگاه های نسبی انگارانة این مکتب شناخته شده است. براساس این رویکرد همة آنچه «معرفت» به شمار می رود، صرف نظر از صدق یا کذب آن، عللی دارد که به پذیرش آن در جامعه منجر شده است و جامعه شناس موظف است که این علل را بیابد. این برنامه برخلاف برنامه های ضعیف تری که معرفت علمی را استثنا می کردند، بر این ایده مبتنی است که عوامل اجتماعی در شکل گیری معرفت علمی تجربی و حتی ریاضیات و منطق، یعنی معرفت هایی که از سنخ ضروری به شمار می روند، نیز نقش دارند. این مقاله درصدد است دیدگاه های مکتب ادینبرا را در زمینة منطق و ریاضی معرفی و تبیین کند. به این منظور نخست مبانی فکری این رویکرد را به اجمال معرفی و سپس دیدگاه های اصلی آنان را در خصوص نقش ابعاد جامعه شناسانه در منطق و ریاضیات به اختصار ذکر می کنیم. در بخش های بعدی مقاله به مهم ترین یا بدیع ترین مطالعات موردی ای که عرضه کرده اند و احیاناً نقد و ارزیابی آن ها درباب برهان خلف، تصمیم گیری و چانه زنی در ریاضیات، اثبات گزاره های ریاضی و اعتبار استدلال های منطقی می پردازیم و در انتها نیز نکاتی درخصوص رویکرد نظری آنان و نتایجی که به نظر می رسد می توان از این بحث گرفت عرضه خواهیم کرد.
۴۲۰.

بحث در ماهیت پارادوکس دروغگو

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

پالایش نتایج جستجو

تعداد نتایج در یک صفحه:

درجه علمی

مجله

سال

زبان