درخت حوزه‌های تخصصی

منطق

حوزه‌های تخصصی
ادبیات اقتصاد تاریخ تربیت بدنی جغرافیا حقوق روانشناسی زبان شناسی علم اطلاعات و دانش‌شناسی علوم اجتماعی علوم اسلامی علوم انسانی علوم تربیتی علوم سیاسی فلسفه و منطق مدیریت مطالعات زنان هنر و معماری
توضیحی درباره چارت حکمت و فلسفه شرق فلسفه غرب گروه های ویژه منطق
صوری غیر صوری فرامنطق فلسفه منطق گروه های ویژه
ترتیب بر اساس: جدیدترینپربازدیدترین
فیلترهای جستجو: فیلتری انتخاب نشده است.
نمایش ۵۴۱ تا ۵۶۰ مورد از کل ۶۲۵ مورد.
۵۴۱.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 143-166
حوزه‌های تخصصی:
تعداد بازدید : ۳۴۱
شمس الدین سمرقندی در دو کتاب قسطاس الأفکار و شرح القسطاس تحلیل هایی از قضایای خارجیه، حقیقیه و ذهنیه ارائه کرده است که متفاوت از منطق دانان پیش از او است و از این رو، نسبت هایی میان آن قضایا برقرار کرده است که پیامدهای جدیدی در روابط استنتاجی میان آنها دارد. او در موجبه ها، قضیه خارجیه را به «وجود خارجیِ» طرفین و قضیه حقیقیه را به «امکانِ» وجود خارجی طرفین مشروط کرده و قضیه ذهنیه را نامشروط به این دو شرط دانسته است. او هم چنین در موجبه ها، قضیه خارجیه را اخص از حقیقیه و حقیقیه را اخص از ذهنیه برشمرده و به عکس این نسبت ها در سالبه ها حکم کرده است و در بیان این احکام میان کلیه ها و جزئیه ها هیچ تمایزی قائل نشده است. این نسبت های استنتاجی مورد ادعای سمرقندی متفاوت است با نسبت های بیان شده در آثار دیگر منطق دانان مسلمان مانند افضل الدین خونجی و قطب الدین رازی که گویا تنها منطق دانان مسلمانی هستند که صراحتا به این بحث پرداخته اند. در این مقاله به تجزیه و تحلیل مدعیات سمرقندی و نقد و بررسی آنها پرداخته و نشان داده ایم که نسبت های استنتاجی مورد ادعای سمرقندی با مثال هایی که برای قضایای خارجیه، حقیقیه و ذهنیه می آورد مطابقت نمی کنند و از این رو، از دقت کافی برخوردار نیستند.
۵۴۲.

ادات منطقی در منطق های نامتعارف براساس نظریه تنوع معنای کواین(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 23 - 56
حوزه‌های تخصصی:
تعداد بازدید : ۳۴۱ تعداد دانلود : ۳۳۷
تبیین معنای ادات منطقی در این نوشته، ذیل مباحث معرفت شناسی و سمنتیکی است و رویکردی فلسفی-منطقی دارد. همچنین حوزه فلسفه زبان و ارتباط بین دستور زبان و منطق، از دیگر قلمروهایی است که به آن پرداخته شده است. پس از شکل گیری منطق کلاسیک، منطق های جدیدی با هدف تعمیم یا اصلاح منطق کلاسیک، پا به عرصه حضور گذاشتند. معتبر نبودن برخی از قضایای منطق کلاسیک در این نظام های جدید، که منطق نامتعارف نامیده شدند، چالش ها و پرسش های جدی در زمینه ماهیت منطق به وجود آورد. کواین از جمله کسانی است که با مطرح کردن نظریه تنوع معنا، موضعی کاملاً متفاوت نسبت به منطق های نامتعارف اتخاذ نمود. او از منظری معرفت شناسانه و با اتکا بر زبان طبیعی به داوری ما بین منطق ها پرداخت. بنا بر نظریه کواین، تغییر در منطق، تغییر در موضوع و در واقع تغییر معنای ادات منطقی در منطق های مختلف است. نظریه تنوع معنایی کواین غالباً مورد پذیرش است اما منتقدانی نیز دارد. در این مقاله، نظریه تنوع معنایی کواین و مسیری که کواین در فلسفه زبان و معناشناسی خود طی می کند تا به این نتیجه برسد، شرح داده شده و تلقی های مختلفی که از این نظریه وجود دارد، مطرح گردیده است. در گام بعدی، انتقادهای وارد بر کواین، شرح و ارزیابی شده است. در انتها نتیجه گیری می شود که همواره تغییر منطق های مختلف، به معنای تغییر موضوع نیست و پذیرش تغییر موضوع، نمی تواند لزوماً تغییر معنای ادات منطقی را به همراه داشته باشد.
۵۴۳.

مسائل به طورمطلق حل ناپذیر و رایانه های خارق العاده(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 195 - 204
حوزه‌های تخصصی:
تعداد بازدید : ۳۳۵ تعداد دانلود : ۳۵۴
ابتدا، در پرتو آراء ففرمن، به بررسی دوگانه گودل می پردازیم مبنی بر اینکه یا توانایی های ذهن انسان از هر ماشین متناهی فراتر است، و یا معادلات ریاضی از نوع دیوفانتی وجود دارند که به طور مطلق حل ناپذیر هستند. سپس برهان پاتنم را بررسی می کنیم مبنی بر این که اگر توانایی علمی ذهن انسان را بتوان توسط یک ماشین تورینگ با توانایی تهیه سیاهه ای از نتایج علمی شبیه سازی کرد، این ماشین جمله ای که این توانایی را بیان می کند را به عنوان خروجی ارائه نخواهد کرد. در تلاش برای فهم بهتر این برهان، آن را در زبان منطق وجهی بازسازی می کنیم. در ادامه، به امکان رایانه های خارق العاده برای انجام تعدادی بی شمار عمل پایه ای محاسباتی در زمان متناهی می پردازیم. این امکانی است که اخیراً بر اساس نظریه های جدید فیزیکی مطرح شده است. استدلال می کنیم با فرض تحقق چنین امکانی، حساب مرتبه اول متعین خواهد بود، به این معنی که صادق یا کاذب بودن هر جمله حسابی توضیح پذیر خواهد بود.
۵۴۴.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 217-239
حوزه‌های تخصصی:
تعداد بازدید : ۳۳۴ تعداد دانلود : ۳۲۱
آشتی دادن عرفان، برهان و قرآن از ویژگی های بارز فلسفه صدرالمتألهین شیرازی به شمار می آید. اما با توجه به تناقض باوری برخی از عرفا و تأکید فلسفه بر عقل برهانی، این رسالت چندان ساده به نظر نمی رسد. از جمله مواضع تناقض باوری عارفانه می توان به اعتقاد عرفا به تحقق برخی تناقضات در عالم مثال اشاره کرد. این مقاله در صدد بررسی آن است که ملاصدرا در موضع یاد شده چه راه کاری هایی را برای خروج از تناقض باوری اتخاذ کرده و این راه کارها تا چه اندازه از درستی برهانی و منطقی برخوردار هستند. نگارنده با استفاده از روش تحلیل انتقادی این فرض را داشته است که صدرالمتألهین برای رهایی از تناقض باوری عارفانه و آشتی آموزه های عرفانی در مورد عالم مثال، دست به تقیید قاعده تناقض در عرصه عوالم مجرد از ماده زده است. بررسی نگارندگان حاکی از آن است که برخی از براهین صدرالمتألهین در این زمینه از اشکالات منطقی رنج می برد. با این حال، برخی از براهین او نیز قابل پذیرش هستند. این مقاله ابتدا به تبیین تناقض باوری عارفانه در عالم مثال، سپس تلاش صدرا برای رهایی از آن، و در نهایت تحلیل انتقادی تلاش وی پرداخته است.
۵۴۵.

تاملی در ساختار دوگانه شرطی در منطق ابن سینا(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 47-65
حوزه‌های تخصصی:
تعداد بازدید : ۳۳۰ تعداد دانلود : ۳۶۶
ابن سینا درباره شرطی ها بحث های مختلفی ارائه داده است. او در این بحث ها گاهی از شرطی مسور و گاهی از شرطی بدون سور بهره برده است. پرسش از چرایی این شیوه، مساله اصلی مقاله حاضر است. در این مسیر ابتدا نحوه ورود سور به بحث شرطیات توسط ابن سینا را بررسی می کنیم. سپس به پرسش چرایی بهره گیری از شرطی غیرمسور در کنار شرطی مسور توسط ابن سینا پرداخته ایم و پاسخ های ممکن را یک به یک بررسی و مناسب ترین را انتخاب کرده ایم. نشان داده ایم که در همه مباحثی که ابن سینا از شرطی غیر مسور بهره برده است، در حال تکرار آراء گذشتگان در باب شرطیات است. در حالی که مباحث شرطی مسور با نظر به مباحث مرتبط با حملی مسور شکل گرفته است. در مجموع به نظر می رسد که نسبت میان شرطی مسور و غیرمسور برای ابن سینا کاملا واضح نیست و این مطلب منشا ساختار دوگانه شرطی نزد ابن سینا و همچنین برخی از اختلافات پس از او درباره نظریه شرطیات بوده است.
۵۴۶.

تلقی معناشناختی و دلالت شناختی از سمانتیک در آثار تارسکی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 211-235
حوزه‌های تخصصی:
تعداد بازدید : ۳۲۶ تعداد دانلود : ۳۲۵
آلفرد تارسکی از بنیانگذاران اصلی سمانتیک به مثابه ی دلالت شناسی است. وی دلالت شناسی را در دهه ی 30 پی افکند و این تلقی امروزه تلقی غالب در سمانتیک منطقی به شمار می رود. اما اگر به آثار دهه ی 20 وی بازگردیم در نگاه اول به نظر می رسد که هیچ گونه نگرش سمانتیکی در کارهای وی وجود ندارد. تفسیر رایج در مورد کارهای تارسکی در دهه ی 20 آن است که او در این دوران منطق را با رویکرد سینتکسی و نظریه برهانی می نگریست. اما یکی از مفسران تارسکی به نام داگلاس پترسون به تفصیل نشان داده است که در آثار دهه ی 20 تارسکی نوعی سمانتیک از سنخ معناشناسی دیده می شود که وی این نگرش را به تبعیت از استادش لسینیفسکی صورت-گرایی شهودگرایانه می نامید. در این مقاله بنای ما بر آن است که با توجه به تفسیر پترسون به چیستی تلقی معناشناختی تارسکی از سمانتیک بپردازیم و می کوشیم دو ادعا را اثبات کنیم: (الف) صورت گرایی شهودگرایانه به روایت تارسکی نگرشی درباره ی کارکرد زبان است نه یک نظریه ی ساخته و پرداخته ی سمانتیکی که در آن مفاهیم کانونی معناشناسی تعریف و تحلیل می شوند (ب) صورت گرایی شهودگرایانه منافاتی با نگرش ارجاعی به زبان ندارد و حتی سال ها پس از تأسیس دلالت شناسی از سوی تارسکی در پس زمینه ی آثارش حضور دارد.
۵۴۷.

صوری سازی مراتب حجیت شرعی با استفاده از شرطی های غیر کلاسیک(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 203 - 225
حوزه‌های تخصصی:
تعداد بازدید : ۳۲۵ تعداد دانلود : ۳۷۹
در فرایند نمادین سازی استدلال های فقهی با ادله ای مواجهیم که به لحاظ حجیت و اعتبار در مراتب گوناگونی قرار دارند. دو دسته مهم از این دلایل امارات و اصول عملیه هستند، که در نهاد شریعت حجت به شمار می روند و دارای اعتبارند. این دو دسته دلیل، هرچند هر دو دلیل شرعی به شمار می روند و می توانند مقدمه استنباط احکام توصیفی و یا تکلیفی درون شریعت باشند (می توانند لوازم شرعی را نتیجه دهند)، اما از حیث قابلیت استنتاج لوازم عقلی با یکدیگر متمایزند. به عبارت دیگر، اگر یک دلیل از دسته امارات را معتبر بدانیم، تمام نتایج علی و منطقی آن نیز برای ما معتبر خواهد بود، اما اگر در شرایطی، یک اصل عملی برای ما دارای حجیت و اعتبار باشد، لزوماً نتایج علی و منطقی آن معتبر نخواهند بود.در این مقاله با استفاده از منطق های Count As(منطق های مربوط به نهادها) و بر اساس منطق های غیریکنوا و همچنین با بهره جستن از زبان منطق توجیه، یک دست گاه اصل موضوعی منطقی برای امارات و اصول عملیه ارائه می شود که می تواند مهم ترین ویژگی های منطقیِ آن ها را بازنمایی کند، از جمله این که بین لوازم عقلی و لوازم شرعی تفکیک قائل بشود و به عبارت اصولِ فقهی، مثبتات اصول عملیه را فاقد حجیت بداند، در عین این که مثبتات امارات را حجت بداند.
۵۴۸.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 167-192
حوزه‌های تخصصی:
تعداد بازدید : ۳۲۲ تعداد دانلود : ۲۹۴
منطق ابزار اصلاح اندیشه و معیار سنجش فکر است و به اقتضای معیار بودن باید از وضوح و روشنی کافی برای اصلاح پیچیدگی و انحراف فکر برخوردار باشد، نامگذاری و تعیین اصطلاحات از مبادی تصوری هر علم بوده و بیش از بقیه مباحث به این وضوح نیازمند است. با این وجود گاه به دلایلی این ابزار در مقام تبیین و تفهیم قواعد و ساختار های منطقی به ابهام و اجمال گراییده است، تسمیه موجهات مرکبه از آن جمله است که به تبع نامگذاری موجهات بسیطه در مقام تعلیم منطق، گرفتار این اغلاق و ابهام شده است. در حالت طبیعی موجهات سنتی با بی رغبتی منطق آموزان مواجه است، استفاده از الفاظ غریب و شیوه نامگذاری مبهم در مقام آموزش، به بی میلی بیشتر در این حوزه دامن زده، اشتیاق منطق آموز را به ادامه بحث در موجهات کاهش داده و به انزوای بیشتر موجهات در حوزه های درسی منطق سنتی خواهد انجامید. بنابر این، مساله تحقیق این است که چه انتقادی بر شیوه منطق سنتی در نامگذاری موجهات مرکبه وارد است؟ چگونه می توان نامگذاری موجهات را تسهیل و از این رهگذر به آموزش موجهات در منطق سنتی کمک کرد؟ در این مقاله به روش تحلیلی به نقد و بررسی نامگذاری موجهات مرکیه پرداخته و با استفاده از اسامی همگون و مناسب در نامگذاری موجهات مرکب، شیوه ای آسان برای نامگذاری موجهات پیشنهاد کرده ایم.
۵۴۹.

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 177 - 201
حوزه‌های تخصصی:
تعداد بازدید : ۳۲۳ تعداد دانلود : ۳۱۵
بنابر ادعای فخر رازی و طوسی، جهت عقد الوضع در نگاه فارابی امکان و در نگاه ابن سینا فعلیت است. آنها پس از این انتساب، دیدگاه فارابی را نادرست و دیدگاه ابن سینا را تایید میکنند. اگرچه فارابی اشاره مستقیمی به جهت عقد الوضع ندارد ولی از مجموع عبارات او عقدالوضع به لفظ مفرد کلّی در ناحیه موضوعِ قضایای محصوره تعریف میشود. درواقع، در این نگاه عقدالوضع، خود، به یک قضیه حملیه جهت پذیر تحلیل می شود. از طرفی با بررسی متون ابن سینا روشن میشود او تعیین جهت عقدالوضع را منوط به تحلیل جهت قضیه میداند، اما نهایتا دو جهت امکان و فعلیت را به عقدالوضع نسبت میدهد و نه فقط فعلیت را. بنابراین، ادعای دو شارح بزرگ ابن سینا در فعلی دانستن جهت عقدالوضع نزد ابن سینا، صحیح نیست. در این مقاله نشان میدهیم اولا فارابی و ابن سینا هر دو از جهت امکانی سخن گفته اند و ثانیا نقد فخر و طوسی به جهت امکان در عقدالوضع مطابق با نگاه خود ابن سینا صحیح نیست.
۵۵۰.

ارسطو و دوگانه کلّی- جزئی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 161 - 176
حوزه‌های تخصصی:
تعداد بازدید : ۳۱۱ تعداد دانلود : ۲۸۱
ارسطو از «کلّی» تعریفی به دست می دهد که یان لوکاشویچ آن را، به دلیلِ در بر نگرفتنِ کلّی های تهی، غیر جامع می داند. افزون بر این، تعریفی که ارسطو از جزئی به دست می دهد به دو شیوه قابل فهم است: (1) جزئی تنها بر یک چیز حمل پذیر است، (2) جزئی حمل ناپذیر است. این برداشتِ دوگانه، که در سخنان شارحان ارسطو نیز با بسامد زیادی تکرار می شوند، از یک سو، تلقی رابرت کونس و تیموتی اچ. پیکاوَنس که معتقدند جزئی از نظر ارسطو حمل ناپذیر است را زیر سؤال می برد؛ و از دیگر سو، خودْ تعارضی ست که باید حلّ شود. در این جستار نمایان خواهد شد که اوّلاً اِشکال لوکاشویچ وارد نیست و تعریف ارسطو شامل کلّی های تهی هم می شود؛ و ثانیاً تعارضی که ظاهراً از تعریف جزئی برمی آید با تفکیک دو گونه حمل، یعنی «به شیوه یکنام» و «نه به شیوه یکنام»، قابل حلّ است.
۵۵۱.

آموزه ذهن قطعه بندی شده برای حل مشکلات سازگاری و بستار و نقد آن(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 161-183
حوزه‌های تخصصی:
تعداد بازدید : ۲۹۴ تعداد دانلود : ۲۸۰
فرضیه وحدت ذهن زیربنای اساسی اغلب منطق های معرفتی، نظریه های تصمیم و بیشتر نظریه های عقلانیت به شمار می آید. بر اساس این فرضیه در هر زمان معیّن t دو اصل سازگاری و بستار بر مجمموعه باورهای هر فرد حاکم است. از سوی دیگر هم در سطح زندگی روزمره و هم در سطح برخی منطق های خاص، دو اصل سازگاری و بستار به کرّات نقض می شوند. آموزه ذهن قطعه بندی شده در پی تبیین این مساله است که چگونه در عین مجاز دانستن نقض سازگاری و بستار در مواردی، ذهن قادر است در موارد دیگر با حفظ این دو اصل استدلال، قضاوت و نتیجه گیری کند. در این مقاله پس از برشمردن انگیزه های افراد برای پذیرش فرضیه وحدت ذهن، ابتدا آموزه ذهن قطعه بندی شده معرفی و تدقیق می شود و سپس توضیح داده می شود که این آموزه چگونه می تواند مشکلات ناسازگاری و بستار را برای یکی از مهم ترین نظریه های مربوط به محتوای باور یعنی نظریه جهان های ممکن حل کند. در پایان آموزه قطعه بندی ذهن در دو سطح نقد می شود. در سطح اول نشان داده می شود که آموزه قطعه بندی ذهن ایده تازه ای نیست و برخی مقولات شناخته شده در معرفت شناسی باور می توانند کارکردهای آن را محقق کنند. در سطح دوم به برخی نتایج نامعقول این آموزه درباره رابطه میان معرفت شناسی و فلسفه کنش اشاره می شود.
۵۵۲.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 1-21
حوزه‌های تخصصی:
تعداد بازدید : ۲۹۳ تعداد دانلود : ۲۷۷
روش جناب کریپکی در نمایشِ عدم انطباقِ متافیزیک و معرفت شناسی معرفی نمونه های نقض است؛ معرفی گزارهای ممکن پیشینی به موازات گزاره های ضروریِ تجربیِ. در بعضی از این نمونه ها مناقشه شده است. آنچه می آید تلاشی است در احیای متافیزیک از طریقِ سمنتیک در حاشیه ی پیشنهادِ کریپکی. در زمینه ی نوشته سعی می کنم ملازمت منطق وُ سمنتیکِ فرگه ایی را با انقلاب کپرنیکی نشان دهم؛ در گام اول از نمایشِ ناکارآمدی پیشنهاد فرگه ایی ها (وصف گرایان؛ فرگه،راسل، ویتگنشتاین و سرل) در سمنتیک اسامی خاص نتیجه می گیرم جز پیشنهاد «جان استوارت میل»(کریپکی، پاتنام، کاپلان، ون اینوِیگن و...) و اتصالِ بی واسطه ی نام وُ نامیده گریزی نیست. در گام دوم از این نتیجه وَ نمایشِ ناتوانیِ وصف گرایی در تفکیکِ اسامیِ بالفعل وُ داستانی غیریتِ وجود وُ تعیّن، و از آنجا غیریتِ متافیزیک وُ معرفت شناسی برمی آید. وقتی وصف گرایی چرخش کپرنیکی را در ضمن داشته باشد؛ پیامدِ تردید در سمنتیکِ وصف گرایانه تردید در چرخش کپرنیکی و الزاماتِ آن خواهد بود.
۵۵۳.

بررسی انتقادی یک نقد درباره نظام غیرتابع ارزشی منطق پایه گزاره ها؛ آیا تز ارسطو و تز بوئتیوس اثبات می شود؟(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 27 - 63
حوزه‌های تخصصی:
تعداد بازدید : ۲۸۱ تعداد دانلود : ۲۵۸
در منطق کلاسیک گزاره ها از جمله «اگر P آنگاه Q» نمی توان نتیجه گرفت که «چنین نیست که اگر P آنگاه ∼Q». این استدلال که شرطی وابسته آن به تز بوئتیوس معروف است، شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری (منطقی) دارد. عبارت «چنین نیست که اگرP آنگاه ∼P» هم که به تز ارسطو معروف است و شواهد موافق فراوانی در حوزه روابط علّی، معنایی و صوری دارد، در این منطق قضیه نیست. به علاوه، در منطق کلاسیک از عبارت «چنین نیست که اگرP آنگاه ∼Q»، هر یک از دو جمله P« » و « Q» به دست می آید که شواهد مخالف زیادی در حوزه روابط علّی، معنایی و صوری دارد. نظام غیرتابع ارزشی منطق پایه گزاره ها پاسخی است به این اشکال ها که در آن روابط علّی، معنایی و صوری بی هیچ استثنایی وفق شهود طبیعی، تحلیل، صورت بندی و ارزیابی می شوند. اسدالله فلاحی در مقاله «نظام غیرتابع ارزشی حاج حسینی» سه نقد اختصاصی به این نظام وارد دانسته است: «تعداد قاعده های استنتاج کاهش پذیر است»، «هر متغیر گزاره ای، قضیه است و این نظام و گسترش آن trivial است» و «گسترش نظام غیرتابع ارزشی به منطق کلاسیک فرومی کاهد». در این مقاله نشان می دهیم که نقد اول بر پایه برخی اثبات های نادرست استوار است، نقد دوم از تعریف نادرست برخی ترکیب های غیرتابع ارزشی یا اثبات نادرست برخی استدلال ها ناشی شده است و نقد سوم با کاهش قاعده های پخش پذیری به دو قاعده برطرف می شود. پاسخ نقدهای تکراری را به مقاله «بررسی انتقادی یک نقد در باره نظریه نظام تابع ارزشی؛ آیا راه های اثبات اصول EFQ وEQT مسدود می شود؟» ارجاع می دهیم.
۵۵۴.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 71-85
حوزه‌های تخصصی:
تعداد بازدید : ۲۸۰ تعداد دانلود : ۲۶۵
کیت فاین منطقی برای چهار مفهوم متمایز ابتنا بنا نهاده است: ابتنای ضعیف تام، ابتنای ضعیف جزئی، ابتنای اکید تام و ابتنیا اکید جزئی. همچنین، او مدعی است که ابتنای ضعیف تام و اکید تام هر یک می توانند مفهوم پایه قرار گیرند و سایر مفاهیم ابتنا با آنها تعریف شود. مشخصاً او مدعی است که می توان ابتنای ضعیف تام و ابتنای اکید تام را با یکدیگر تعریف کرد. برای این منظور، او پیشنهادی برای تعریف هر یک از این مفهوم ابتنا بر پایه دیگری ارائه کرده است. طبق این تعریف ها، ابتنای اکید تام ابتنای ضعیف تام برگشت ناپذیر است و ابتنای ضعیف تام چیزی نیست جز حفظ ابتنای اکید تام. در اینجا استدلال می کنم که این تعریف های دوطرفه دچار اشکال هستند. استراتژی من این است که ابتدا دو معنای متفاوت از تعریف پذیری دوطرفه برای دو مفهوم دلخواه را از هم تفکیک می کنم: اینکه در یک سیستم منطقی، دوشرطی های مناسبی شامل این دو مفهوم قضیه باشند؛ اینکه بتوان سیستم منطقی ای برای هر یک طراحی کرد که رفتار دیگری در آن قابل بازسازی باشد. سپس، برای هر یک از این معناهای تعریف پذیری دوطرفه، نشان می دهم که چرا دست کم یکی از دو مفهوم ابتنای ضعیف و اکید را نمی توان بر پایه دیگری تعریف کرد. نتیجه این پژوهش یک گزاره فصلی است: یا این دو مفهوم به شکل دیگری که شناخته شده نیست با یکدیگر قابل تعریف هستند یا هر دو پایه هستند.
۵۵۵.

نقدی بر مقاله «پارادوکس امتناع تناقض: گزارش و گشایش»(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 145 - 160
حوزه‌های تخصصی:
تعداد بازدید : ۲۶۲ تعداد دانلود : ۲۴۶
در مقاله ای با عنوان «پارادوکس امتناع تناقض: گزارش و گشایش»، مهدی عظیمی کلامی از ملاصدرا در پاسخ به پارادوکس امتناع تناقض ذکر می کند و بیان می کند که ملاصدرا با فرض اینکه «اجتماع نقیضان» موضوع و «ممتنع» محمول است، اجتماع نقیضان موجود را به حمل اولی و اجتماع نقیضانِ ممتنع را به حمل شایع اخذ کرده و به این نحو پارادوکس را پاسخ می دهد. عظیمی پارادوکس را زاییده ی فهم نادرست ساختار آن می داند و ساختار ~(A&~A) □ را برای «اجتماع نقیضان ممتنع است» پیشنهاد می کند که در آن دیگر نیازی به موضوع نیست تا پارادوکس پیش آید. اما اولاً او بدون هیچ دلیلی ساختار موضوع-محمولی را برای «اجتماع نقیضان ممتنع است» نفی می کند؛ ثانیاً ساختار پیشنهادی را نیز فیلسوفان مسلمان در کنار ساختار قبلی برای اصل امتناع تناقض متذکر می شوند ولی در ظاهر پارادوکسی بر آن وارد نیست تا راه حلّ طلب کند؛ ثالثاً با نگاهی دقیقتر پارادوکس بر ساختار پیشنهادی نیز وارد است؛ و رابعاً ~(A&~A) □ ترجمه کاملی از اصل امتناع تناقض نیست.
۵۵۶.

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۵ پاییز و زمستان ۱۴۰۳ شماره ۲ (پیاپی ۳۰) 109-118
حوزه‌های تخصصی:
تعداد بازدید : ۱۴۸ تعداد دانلود : ۱۳۰
در سال های اخیر، برخی از کتاب های فلسفه ریاضی به فارسی ترجمه شده اند. متأسفانه در برخی موارد، این ترجمه ها نارسا و حتی گمراه کننده می باشند. به نظر می رسد که بررسی و نقد این ترجمه ها می تواند به اصلاح و بهبود این وضعیت کمک کند. در این نوشته پس از مروری مختصر بر کتاب فلسفه ریاضی تألیف کولی ون، به مروری گزینشی بر ترجمه این کتاب می پردازیم. کتاب فلسفه ریاضی کولی ون متنی مقدماتی در زمینه فلسفه ریاضی است. این کتاب برای دوره های کارشناسی و کارشناسی ارشد در دانشگاه های استرالیا و ایالات متحده آمریکا نوشته شده است. هرچند مخاطبان اصلی این کتاب دانشجویان فلسفه هستند، اما به نظر می رسد که پیش نیاز فلسفی زیادی نمی طلبد و برای دانشجویان ریاضی نیز قابل استفاده است. مشخصات ترجمه و متن اصلی به قرار زیر است: 1. کولی ون، مارک (1397). درآمدی بر فلسفه ریاضی معاصر، ترجمه کامران شهبازی، تهران: نقد فرهنگ. 2. Mark Colyvan (2012). An Introduction to the Philosophy of Mathematics.
۵۵۸.

براوئر و گزاره های مطلقاً اثبات ناپذیر(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 137-146
حوزه‌های تخصصی:
تعداد بازدید : ۱۳۵ تعداد دانلود : ۱۵۶
در این مقاله به گزاره های مطلقاً اثبات ناپذیر از دیدگاه شهودگرایی براوئری می پردازیم. بنا به تعریف براوئر، یک گزاره مطلقاً اثبات ناپذیر است هرگاه ذهن آفریننده به عنوان ریاضیدانی ایده آل اثباتی داشته باشد مبنی بر اینکه هم خود آن گزاره و هم نقیض آن از منظر ساختی اثبات ناپذیر است. براوئر نشان داده است که وجود چنین گزاره هایی ممکن نیست. مارک فان آتن در کتاب خود در مورد براوئر و شهودگرایی، اثبات کوتاه براوئر در این مورد را بیان کرده و شرح و تفصیل داده است. مترجم فارسی این کتاب نیز به دو شکل مختلف این اثبات را بازسازی کرده و توضیح داده است. در این مقاله بازسازی مناسب تری از اثبات براوئر ارائه می دهیم. در ادامه، به کار گودل در زمینه گسترش حکم براوئر از منطق گزاره ها به منطق محمولات مرتبه اول خواهیم پرداخت. به علاوه اشاره خواهیم کرد که این گونه صوری سازی های ایده های شهودگرایانه در زبان منطق، نمی توانند حق مطلب را درمورد ایده های براوئر ادا کنند.
۵۵۹.

ارتباط جامعیت تقسیم دلالت لفظی با شرط لزوم در دلالت التزامی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 191-215
حوزه‌های تخصصی:
تعداد بازدید : ۱۳۶ تعداد دانلود : ۱۵۲
منطق دانان مسلمان «لزوم» را در دلالت التزامی به سه مفهوم مختلف مطلق لزوم ذهنی، لزوم بیّن بالمعنی الاعم و الاخص تفسیر کرده اند. پژوهش حاضر به روش توصیفی-تحلیلی نشان داده است که بر مبنای اشتراط هر یک از این مراتب در دلالت التزامی، این دلالت مجموعا بر شش دسته از معانی صدق نمی کند: ۱-معانی خارجی غیر لازم نسبت به معنای لفظ ۲-معانی غیر قابل حمل بر معنای لفظ ۳-معانی جزئی ۴-عرضیات مفارق ۵-عرضیات لازم غیر بیّن بالمعنی الاعم ۶-عرضیات لازم غیر بیّن بالمعنی الاخص که بیّن بالمعنی الاعم نمی باشند. وجود چنین محدودیتی در دامنه صدق دلالت التزامی سبب عدم جامعیت دلالت لفظی می شود؛ زیرا موارد مذکور، در دامنه دلالت مطابقی و تضمنی نیز نمی گنجند. تلاش های برخی منطقیون در حصر اقسام دلالت لفظی نیز خالی از ایراد به نظر نمی رسد و مشکل عدم جامعیت این تقسیم را برطرف نمی نماید: لذا پژوهش فعلی به معرفی تقسیم ثنائی جدیدی پرداخته که قسیم دلالت مطابقی و تضمنی در آن را، «دلالت خارجی» نامیده و دلالت التزامی را نیز ذیل آن قرار داده است تا تقسیم جدید در عین نوآوری و رفع اشکالات، قابل تطبیق با تقسیمات پیشین باشد.
۵۶۰.

ملاک بداهت بدیهیات تصدیقی؛ راهکاری ترکیبی مبتنی بر ساختار و شهودات درونی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۵ بهار و تابستان ۱۴۰۳ شماره ۱ (پیاپی ۲۹) 49-71
حوزه‌های تخصصی:
تعداد بازدید : ۱۳۳ تعداد دانلود : ۱۶۵
نظام معرفتی مبتنی بر مبناگروی قضایای بدیهی را به عنوان بنیان های معرفتی خود برمی گزیند. اما خود این بدیهیات به دلیل وضوح و آشکارگی اشان مورد کاوشی عمیق و مستقل قرار نگرفته اند. سوال اصلی در ارتباط با بدیهیات، ملاک و چرایی بداهت آنهاست. در این مقاله بعد از بیان تعاریف و شروط لازم در بدیهیات به بررسی ملاکات ارائه شده در مطاوی کلمات اهل فلسفه و منطق برای بداهت پرداخته می شود، با استقصاء در مواضع متفاوت به چهار مبنا اشاره می شود؛ ارجاع بدیهیات به علم حضوری، فطری بودن، ارتباط با یک مبدأ عالی و حصول اضطراری. هر یک از این مبانی دارای اشکالاتی است که به ترتیب ذیل هر مبنا بدان اشاره خواهد شد و در نهایت یک نظریه ترکیبی ارائه می شود که بی نیازی از حدوسط را به عنوان ملاکی برای وضوح مفهومی و شهودات درونی را به عنوان منبعی درونی و معرفت زا برای تضمین صدق بدیهیات پیشنهاد می کند و در نهایت نیز استدلالی عملگرایانه برای پشتیبانی از شهودات درونی ارائه می شود؛ به نظر می رسد نظریه اخیر به گونه ای اثبات پذیر دو رکن بداهت را تبیین می کند.

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

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

درجه علمی

مجله

سال

زبان