تصمیم پذیری سیستم های هوشمند
حوزه های تخصصی:
مرتضی مزگی نژاد
| مدرک تحصیلی: استادیار گروه فلسفه و کلام اسلامی دانشگاه بیرجند |
مطالب
فیلتر های جستجو:
فیلتری انتخاب نشده است.
نمایش ۱ تا ۱۴ مورد از کل ۱۴ مورد.
بررسی و نقد نظرهای گنتزن و هکین دربارة نقش قواعد ساختاری و عمل گری در تعریف ثوابت منطقی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
گنتزن قواعد سیستم منطقی را به دو دستة «قواعد عمل گری» و «قواعد ساختاری» تقسیم می کند. مقصود وی از قواعد عمل گری، قواعد معرفی و حذف یک ثابت منطقی است. قواعد ساختاری بیان کنندة ویژگی های مبنایی یک استدلال است به گونه ای که هر تغییری در آن ها سبب تغییر کل سیستم می شود. وی در آثار خود به این نکته اشاره داشته است که معنای ثوابت منطقی صرفاً از طریق قواعد عمل گری قابل حصول است این نکته زیربنای رویکرد استنتاج گرایی به معناداری ثوابت منطقی است. چرا قواعد عمل گری و ساختاری مجموعاً به عنوان تعریف ثوابت منطقی لحاظ نشود؟! پیکاک با این پرسش مبنای رویکرد استنتاج گرایی را به چالش می کشد. ایان هکین در پاسخ به این ادعا، استدلال می کند که پذیرش ایدة پیکاک، منجر به عدم پایستاری خواهد شد. در این مقاله پس از بررسی دقیق مفهوم قواعد ساختاری و بیان تمایز آن با قواعد عمل گری، استدلال هکین را ارزیابی و نقد خواهیم کرد و در نهایت راه کاری برای مسئله ارائه می شود.
بررسی رویکرد هاریچ به انتقادات کریپکی بر تئوری کاربردی معنی داری(مقاله علمی وزارت علوم)
حوزه های تخصصی:
هدف اصلی این مقاله بررسی و تحلیل استدلال های هاریچ در مقاله «معنی، کاربرد و صدق» است که در مجله Mind در سال 1995 منتشرشده است. وی در این مقاله به دفاع از ایده ویتگنشتاین، یعنی تئوری کاربردی معنی ، در مقابل استدلال هایی برآمده که علیه این رویکرد ارائه شده اند. تمرکز هاریچ خصوصاً بر انتقادهای کریپکی است. کریپکی در کتاب مشهور خود با عنوان ""دیدگاه ویتگنشتاین درباره قواعد و زبان خصوصی"" سعی دارد نشان دهد کاربرد نمی تواند ارائه دهنده معنی باشد. مفهومی که کریپکی به نقد آن می پردازد تمایل گرایی است. او معتقد است معنای یک واژه نمی تواند معادل با تمایلات یا قابلیت های انسان برای کاربرد آن واژه باشد. هاریچ استدلال کریپکی را نادرست می داند. برای این منظور ابتدا دو تفسیر قوی و ضعیف از مقدمات استدلال کریپکی ارائه می دهد و سپس به نقد هر دو می پردازد. از نظر او لازمه استدلال کریپکی در تفسیر قوی پذیرش رویکرد انبساطی به صدق است و چنین رویکردی باطل است. در تفسیر ضعیف نیز مثال کریپکی نادرست است. پس از بررسی انتقادات هاریچ بر کریپکی انتقادات وی مورد ارزیابی قرار گرفته است.
چیستی و بایستگیهای کلام جدید
حوزه های تخصصی:
ارزیابی دیدگاه اثیر الدین ابهری در خصوص شکل چهارم قیاس اقترانی(مقاله علمی وزارت علوم)
حوزه های تخصصی:
ارسطو با معرفی سه شکل از قیاس اقترانی آغازگر مباحث پردامنه ای در این حوزه شده است. شکل چهارم بعدها به اشکال قیاس اقترانی اضافه شد. در سه قسم اول قیاس اقترانی اختلاف نظری دیده نمی شود بحث بر سر شکل چهارم قیاس و شرایط انتاج آن می باشد. در شکل چهارم قیاس سه اختلاف عمده دیده می شود: 1- جایگاه شکل چهار 2- شرایط انتاج 3- ضروب منتج. گروهی از متقدمان که منطق دانان قبل اثیر الدین ابهری را در بر می گیرد ( ابن صلاح همدانی تا افضل الدین خونجی) با شرایطی، پنج ضرب منتج را برای شکل چهار قائل اند و گروهی از متأخران که در برگیرنده برخی از منطق دانان بعد اثیر الدین ابهری می باشند با شرایط دیگری قائل به هشت ضرب منتج برای آن هستند. قابل ذکر است که اثیرالدین ابهری با شرایطی سه ضرب دیگر به ضروب منتج شکل چهار افزود و به مرور برخی منطق دانان(تفتازانی،حاج ملاهادی سبزواری و ..) بدون توجه به شرایط سه ضرب ارائه شده از سوی ابهری ، به طورکلی قائل به هشت ضرب منتج شدند.در این مجال به بررسی پیشینه شکل چهارم قیاس اقترانی و شرایط انتاج آن می پردازیم. ضمن اثبات درستی نظر متقدمان؛ به ریشه یابی نظر برخی از متأخرین پرداخته شده که مشخص می شود بدفهمی از عبارات اثیر الدین ابهری صورت گرفته و نظر وی در خصوص موجهات(مختلطات) به قیاس های غیرموجه(مطلقات) تسری داده شده است. در این پژوهش علاوه بر بیان روشن این خلط به چرایی این اشتباه نیز پرداخته شده است.
تحلیل و ارزیابی معیار پایستاری در رویکرد استنتاج گرایی به معناداری(مقاله علمی وزارت علوم)
منبع:
فلسفه و کلام اسلامی سال پنجاهم بهار و تابستان ۱۳۹۶ شماره ۱
119 - 133
حوزه های تخصصی:
در رویکرد استنتاج گرایی به معناداری، ثوابت منطقی بر اساس قواعد عملگری تعریف می شود، آرتور پرایور در نقد این رویکرد با ارائه مثال نقض tonk نشان داد که با پذیرش رویکرد استنتاج گرایی هر قاعده عملگری دلخواهی توصیف کننده یک ثابت منطقی خواهد شد و لازمه این امر وجود ثوابت منطقی معیوب و ناسازگار با سیستم است. بلنپ در پاسخ به این اشکال دو شرط پایستاری و یکتایی را برای قواعد عملگری ارائه داد. با توجه به اهمیت شرط پایستاری در پاسخ بلنپ، در این مقاله تلاش شده شرط پایستاری مورد ارزیابی قرار گیرد. «چگونه معیار پایستاری شرایط لازم و کافی را برای تعریف ثوابت منطقی فراهم می کند؟» مسئله اصلی این مقاله است. فرضیه پیشنهادی عدم کفایت لازم شرط پایستاری در ارائه تعاریف ثوابت منطقی است که در نهایت با بررسی معانی مطرح شده برای پایستاری اثبات خواهد شد.
تحلیلی بر معنای امکان اخص از منظر ابن سینا(مقاله علمی وزارت علوم)
حوزه های تخصصی:
ابن سینا در کتاب های منطقی خود به صورت مبسوطی به بحث جهات و قیاس های موجهه پرداخته است. علاوه بر این، نوآوری وی در افزودن جهات زمانی موردتوجه منطق دانان خصوصاً منطق دانان غربی قرار گرفته است. بااین وجود با مراجعه به آثار وی نوعی ابهام در معنای امکان اخص دیده می شود. برخی از منطق دانان غربی نیز وجود چنین ابهامی را گزارش داده اند گاهی نیز این ابهام سبب بدفهمی در این زمینه شده است؛ بنابراین شناخت دقیق معنای موردنظر ابن سینا ازاین جهت دارای اهمیت است. با مراجعه به آثار ابن سینا مشخص می شود که تعریف او از امکان اخص در کتاب شفا (العباره و البرهان) همان تعریف امکان استقبالی است. در کتاب منطق المشرقیین و کتاب اشارات امکان اخص و استقبالی به صورت مجزا تعریف شده است اما بااین وجود تعاریف ارائه شده کاملاً با هم منطبق نیستند. برای رفع این ابهام دو استراتژی مطرح خواهد شد. در نهایت به نظر می رسد تمایز میان امکان استقبالی و امکان خاص تمایزی اعتباری است.
تحلیلی بر دیدگاه علامه طباطبایی و جوادی آملی در مسئله عالم ذرّ با تکیه بر مبانی ملاصدرا(مقاله علمی وزارت علوم)
منبع:
آموزه های فلسفه اسلامی پاییز و زمستان ۱۳۹۹ شماره ۲۷
23 - 46
حوزه های تخصصی:
بحث درباره عالم ذر همواره با دو پرسشِ «عالم ذر چه جایگاهی در نظام هستی دارد؟» و «چرا هیچ انسانی این میثاق را به یاد نمی آورد؟» همراه بوده است. پاسخ های متعددی به این دو پرسش داده شده است که پاسخ علامه طباطبایی و جوادی آملی از دقت و اهمیت بیشتری برخوردار است. در این مقاله با استفاده از روش کتابخانه ای سعی کرده ایم به منابع دست اول نظریه پردازان این بحث مراجعه کنیم. پاسخ های علامه طباطبایی و جوادی آملی به گونه ای هستند که در ابتدا در مقابل یکدیگر قرار می گیرند. در این مقاله ضمن بررسی پاسخ های این دو اندیشمند مشخص می شود که نظریه فطرت جوادی آملی، مسائل را بهتر و راحت تر حل می کند. در ادامه با توجه به نوآوری های ملاصدرا در مباحث حکمت متعالیه، مانند مسئله تشکیک وجود و مبحث «بسیط الحقیقه کلّ الأشیاء» و مخصوصاً حمل حقیقه و رقیقه مشخص می شود که نظریه فطرت با نظریه وجود جمعی قابل انطباق بوده و مکمل هم هستند.
فضای مجازی رخنه ای در تئوری صدق تارسکی(مقاله پژوهشی حوزه)
منبع:
ذهن پاییز ۱۳۹۸ شماره ۷۹
95 - 117
حوزه های تخصصی:
بررسی صدق جملات فضای مجازی، دارای اهمیت ویژه ای است. برای بسیاری، فضای مجازی یکی از مهم ترین ابزارهای حصول اطلاعات است. این امر به علت گستردگی دامنه اطلاعات و در دسترس بودن آن است. با همه مزایا، اگر شیوه و روشی برای سنجش صحت اطلاعات در فضای مجازی نباشد، این اطلاعات کارایی لازم را نخواهند داشت و قابل اطمینان نخواهند بود. با توجه به ویژگی در دسترس بودن و سهل الوصول بودن اطلاعات، با جملاتی روبرو می شویم که این قابلیت را دارند که واقعیت را بر اساس محتوای خود تغییر دهند. چنین جملاتی را جملات واقعیت ساز می نامیم. چنین جملاتی بر خلاف دیگر جملات- که منعکس کننده واقعیت های خارجی هستند- خودشان منجر به بروز و ظهور واقعیت می شوند. هدف اصلی این پژوهش، بررسی صدق این گونه جملات بر اساس نظریه مطابقت صدق و نظریه صدق تارسکی است. با عرضه نمونه هایی از جملات واقعیت ساز بر این نظریات، مشخص می شود که هر دو نظریه دچار مشکل دور خواهند شد.
تحلیلی بر امکان استقبالی از منظر ابن سینا(مقاله علمی وزارت علوم)
منبع:
فلسفه و کلام اسلامی سال پنجاه و سوم پاییز و زمستان ۱۳۹۹ شماره ۲
522 - 503
حوزه های تخصصی:
ابن سینا امکان استقبالی را به معنای نفی هر گونه ضرورتی در زمان آینده می داند. وی شرط عدم وجود شیء در زمان حال را در این نوع از امکان شرط نادرستی می داند. در این پژوهش پس از ارائه صورت بندی فرمال از معانی امکان (عام، خاص، اخص و استقبالی) و نشان دادن وجود ابهام در معنای امکان اخص در کتاب شفا، به این مسئله خواهیم پرداخت که آیا شرط عدم «ضرورت به شرط محمول» در تعریف امکان استقبالی، که پس از ابن سینا به این تعریف افزوده شده است، شرط درستی است. دو تحلیل از امکان استقبالی ارائه خواهد شد و نشان خواهیم داد که اولاً این شرط برای اولین بار توسط سبزواری مطرح نشده است، بلکه پیش از وی قطب الدین رازی آن را ارائه داده است. ثانیاً این شرط با سیستم موجهاتی ابن سینا سازگار نیست.
رویکرد بادلی در معرفی پیامبر اسلام(ص)(مقاله علمی وزارت علوم)
حوزه های تخصصی:
رونالد ویکتور کورتنی بادلی (1892-1970)، اسلام شناس انگلیسی در کتاب رسول: زندگانی محمد ، براساس نظریه تکامل اجتماعی و تأثیرپذیری پیامبر 6 از محیط عربستان به بررسی زندگی آن حضرت پرداخته است. او برای درک شرایط زندگی حضرت محمد 6 ، شخصاً زندگی با اعراب را تجربه کرد. مقاله حاضر با رویکرد توصیفی-تحلیلی، به دنبال پاسخ به این سؤال است که توجه به رویکرد شرایط زیست محیطی عربستان چه تأثیری بر دیدگاه بادلی نسبت به پیامبر 6 داشت؟ یافته های پژوهش نشان می دهد که ترسیم چهره آن حضرت در قالب شرایط زیست محیطی عربستان، سبب شد تا بادلی، انگاره متعادل تری نسبت به آن حضرت ارائه دهد. اگرچه دیدگاه هایش گاه تأیید همان انگاره های خصمانه قرون وسطی بود، با این حال لحنش توهین آمیز نبود. بادلی برخی خصلت های پیامبر 6 را مطابق زندگی اعراب تفسیر می کرد. او همچنین با انتقاد جدی از برخی دیدگاه های پیشینیان، بر صفت های نیکوی ایشان مانند ساده زیستی تأکید می کرد.
بررسی رویکردهای استعاری در معناداری گزاره های دینی(مقاله علمی وزارت علوم)
منبع:
قبسات سال بیست و هفتم تابستان ۱۴۰۱ شماره ۱۰۴
177 - 208
حوزه های تخصصی:
بحث از زبان دین و چیستی آن، یکی از مسائل مهم در حوزه فلسفه دین به شمار می آید. در این پژوهش مقصود از گزاره های دینی تمام مقولات دینی است که موضوع و محمول قضیه قرار می گیرد. برخی، گزاره های دینی را فاقد معنا و گروهی معنادار می دانند، گرچه در نوع ارائه معنا نیز دیدگاه های متفاوتی وجود دارد. کسانی که زبان دین را معنادار می دانند، گاهی کل زبان دین و گاهی بخشی از آن را نمادین و استعاری قلمداد می کنند. از این رو مبحث استعاره، تأثیر مستقیمی در فهم آیات قرآن و تفسیر آنها دارد که با توجه به آن، بسیاری از مشکلات به صورت معناداری برطرف خواهد شد. روش این پژوهش توصیفی- تحلیلی است. ابتدا با روشی توصیفی، مهم ترین رویکردهای استعاری در معناداری گزاره های دینی بررسی می گردد و درنهایت با روشی تحلیلی به این ارزیابی کلی خواهیم رسید که در این رویکردهای استعاری به معناداری ملاک روشن و دقیقی برای تمایز بخش های استعاری از غیر استعاری گزاره های دینی ارائه نشده است.
تمایز امکان و احتمال از منظر ابن سینا(مقاله علمی وزارت علوم)
منبع:
جاویدان خرد پاییز و زمستان ۱۴۰۲ شماره ۴۴
275 - 300
حوزه های تخصصی:
ابن سینا در کتاب شفا میان مفهوم احتمال و امکان تمایز گذاشته و با بیان سه رویکرد این دو مفهوم را از یکدیگر متمایز کرده گرچه بررسی های انجام شده نشان می دهد وی به صورت مستقل به مسئله احتمال نپرداخته است. این پژوهش به دنبال بررسی تمایز میان امکان و احتمال با توجه به آثار ابن سینا است. نتایج نشان می دهد که تمایز هایی که ابن سینا میان امکان و احتمال بر شمرده هر کدام ریشه تاریخی خاص خود را دارد. ذهنی بودن احتمال و عینی بودن امکان گرچه نظر اکثر منطق دانان است اما نمی تواند تمایز دقیقی میان امکان و احتمال ترسیم کند. تمایز دوم در واقع تمایز میان امکان استقبالی و احتمال وقوع امری در آینده است که گویای تمایز میان امکان استقبالی ابن سینا و امکان استقبالی فارابی است. تمایز سوم نیز به نظر خلط واژه احتمال و امکان خاص است که ریشه در ترجمه آثار ارسطو دارد.