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

منطق

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ پاییز و زمستان ۱۴۰۱ شماره ۲ (پیاپی ۲۸) 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
حوزه‌های تخصصی:
تعداد بازدید : ۱۴۷ تعداد دانلود : ۱۷۴
نظام معرفتی مبتنی بر مبناگروی قضایای بدیهی را به عنوان بنیان های معرفتی خود برمی گزیند. اما خود این بدیهیات به دلیل وضوح و آشکارگی اشان مورد کاوشی عمیق و مستقل قرار نگرفته اند. سوال اصلی در ارتباط با بدیهیات، ملاک و چرایی بداهت آنهاست. در این مقاله بعد از بیان تعاریف و شروط لازم در بدیهیات به بررسی ملاکات ارائه شده در مطاوی کلمات اهل فلسفه و منطق برای بداهت پرداخته می شود، با استقصاء در مواضع متفاوت به چهار مبنا اشاره می شود؛ ارجاع بدیهیات به علم حضوری، فطری بودن، ارتباط با یک مبدأ عالی و حصول اضطراری. هر یک از این مبانی دارای اشکالاتی است که به ترتیب ذیل هر مبنا بدان اشاره خواهد شد و در نهایت یک نظریه ترکیبی ارائه می شود که بی نیازی از حدوسط را به عنوان ملاکی برای وضوح مفهومی و شهودات درونی را به عنوان منبعی درونی و معرفت زا برای تضمین صدق بدیهیات پیشنهاد می کند و در نهایت نیز استدلالی عملگرایانه برای پشتیبانی از شهودات درونی ارائه می شود؛ به نظر می رسد نظریه اخیر به گونه ای اثبات پذیر دو رکن بداهت را تبیین می کند.

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

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

درجه علمی

مجله

سال

زبان