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

منطق

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

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

نویسنده:
منبع: منطق پژوهی سال یازدهم بهار و تابستان ۱۳۹۹ شماره ۱ (پیاپی ۲۱) 85-109

کلید واژه ها: نمودار ون قیاس مطلق حد نامحصل بازنمایی نموداری نمودار کمانی

حوزه های تخصصی:
تعداد بازدید : ۱۹۵ تعداد دانلود : ۱۹۲
چکیده: در این مقاله که به طور عام درزمینه ی منطق ارسطویی و به طور خاص قیاس مطلق نوشته شده است هدف ارائه روشی جدید برای بازنمایی گزاره های حملی با لحاظ کردن حدود نامحصل روی نمودار توسعه یافته ون است. این روش قادر به نمایش و استنتاج کلیه نتایج ممکن یا عقیم از دو مقدمه یک قیاس در همه شکل ها با هر ترکیبی از حدود محصل و نامحصل است. همچنین قادر به استنتاج همه معادل های هر گزاره حملی است. این روش در عین برخورداری از قدرت بیانی بالا، آسان و تصمیم پذیر است. روش های نموداری مرسوم یا قادر به بازنمایی قیاس با حدود نامحصل نیستند یا در صورت توانایی کار با حدود نامحصل از نمایش بصری مطلوب که از اهداف اصلی بازنمایی های نموداری است برخوردار نسیتند. در این روش از ارزش گذاری سه ارزشی خطوط و سطوح روی نمودار ون استفاده می شود و بازنمایی هر گزاره از طریق ترسیم یک کمان دو قسمتی انجام می شود.
۵۲۲.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 23-46

کلید واژه ها: دیوید لوئیس نتیجه منطقی پارشناسی فراسازگاری ویژگی های طبیعی

حوزه های تخصصی:
تعداد بازدید : ۱۸۵ تعداد دانلود : ۱۱۲
دیوید لوئیس یک نومینالیست و تقلیل گرا بود. او بخش اعظمی از آثار فلسفی خود را دفاع از دیدگاهی به نام فرارویدادگی هیومی تلقی می کرد. طبق فرارویدادگی هیومی، توزیع ویژگی ها و رابطه های کاملاً طبیعی، پایه فرارویدادگی برای تمام صدق های ممکن هستند؛ مانند علیّت، شرطی های خلاف واقع، وقایع و قوانین. او همچنین تقلیل گرایی خود را به صدق های ضروری مانند ریاضیات گسترش می دهد و سعی می کند تا نظریه مجموعه زرملو-فرانکل مرتبه دوم را با استفاده از پارشناسی بازسازی کند؛ امّا در این زمینه به جایگاه منطق در پروژه خود اشاره ای نمی کند. هدف این مقاله ارائه تفسیری لوئیسی از منطق است که مشابه تفسیر او از ریاضیات، با استفاده از پارشناسی انجام می شود. در این تفسیر، رابطه نتیجه منطقی به یک رابطه پارشناسانه میان مجموعه های تک عضوی از جهان های ممکن تقلیل داده می شود. علاوه بر این، نتایج این تفسیر برای دو ویژگی اصلی نتیجه منطقی، یعنی ضرورت و صوری بودن و همچنین برای ارزیابی سازگاری و تمامیت در منطق بررسی می شوند.
۵۲۳.

منطق ابتنای صفر و چالش های آن(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 67-92

کلید واژه ها: ابتنای ابتنا ابتنای صفر ذات گرایی خوش تعریفی وحدت گرایی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 93-115

کلید واژه ها: کلی و جزیی کلیات خمس کلی طبیعی مقولات

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 87 - 102

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

حوزه های تخصصی:
تعداد بازدید : ۱۵۰ تعداد دانلود : ۸۹
در این مقاله، ابتدا معناشناسی کریپکی برای منطق وجهی نرمال با یک عملگر دو موضعی را تعریف کرده و سیستمی به نام K^2 را که نسبت به این معناشناسی درست و تمام است را معرفی خواهیم کرد. سپس دو نوع ترجمه ارائه خواهیم کرد و با استفاده از این ترجمه ها نشان خواهیم داد که منطق وجهی نرمال دو موضعی (K^2) و منطق وجهی نرمال استاندارد (K) بسیار به هم مرتبط هستند. یک ترجمه را تعبیر-پایدار می نامیم، در صورتی که اثبات پذیری در هر دو جهت حفظ شود. طبق این تعریف، ثابت خواهیم کرد که هر دو ترجمه ی معرفی شده، تعبیر-پایدار از K به K^2 و بالعکس هستند. یک توسیع از منطق K، یک مجموعه از فرمول ها است که شامل K است و تحت قواعد آن و جانشینی یکنواخت بسته است. توسیعی از منطق K^2 را نیز به همین صورت تعریف خواهیم کرد. در نهایت ثابت خواهیم کرد که یک تناظر یک-به-یک بین توسیع هایی از منطق K و منطق K^2 وجود دارد.
۵۲۶.

نظام غیر تابع ارزشی حاج حسینی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 103 - 126

کلید واژه ها: منطق کلاسیک منطق ربط نظام تابع ارزشی نظام غیرتابع ارزشی

حوزه های تخصصی:
تعداد بازدید : ۱۴۱ تعداد دانلود : ۹۸
مرتضی حاج حسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» چهار منطق ناکلاسیک معرفی کرده است: 1. نظام تابع ارزشی، 2. نظام غیرتابع ارزشی، 3 و 4. ترکیب هایی از دو نظام نخست که طبیعتا گسترش هایی از آن دو به شمار می آیند. در مقاله دیگری، نظام تابع ارزشی حاج حسینی را بررسی کرده ام و در این مقاله به نظام غیرتابع ارزشی و گسترشی از آن خواهم پرداخت که در کتاب مطرح شده اند. در این مقاله، صرفا به نقدهای صوری-ریاضی می پردازم و نقدهای فلسفی و غیرصوری و نیز مطالب تاریخی مرتبط را به مقاله دیگری خواهم سپرد. افزون بر برخی نقدهای مشترک میان نظام های تابع ارزشی و غیرتابع ارزشی حاج حسینی مانند دور در تعریف نظام استنتاج طبیعی، فقدان نظیر برای شرط «نرمال بودن برهان ها» در سمانتیک، عدم تمامیت، و نادرستی فراقضایا، نقدهای دیگری در نظام غیرتابع ارزشی وجود دارد. نخستین نقد اختصاصی این است که بسیاری از قاعده های اصلی در این نظام به کمک دیگر قواعد اصلی قابل اثبات و در نتیجه زائد هستند و این هرچند با کتاب های «آموزشی» مناسبت دارد، اما مناسب کتاب های «پژوهشی» نیست. نقد اختصاصی دوم نظام غیرتابع ارزشی این است که قاعده ای دارد به نام «قاعده حاج حسینی» که سبب می شود تا هر متغیر گزاره ای در این نظام قضیه باشد و کل نظام بدیهی (trivial) گردد. نقد سوم اینکه با صرف نظر از قاعده حاج حسینی، برخی صور قاعده پخش پذیری در گسترش نظام غیرتابع ارزشی این کتاب، کل نظام را به منطق کلاسیک فرگه و راسل فرومی کاهد.
۵۲۷.

راسل و موجهات(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 205 - 230

کلید واژه ها: راسل موجهات ضرورت امکان تابع گزاره ای

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 127 - 145

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

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 47-65

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

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

مناقده جان ویلیامز و حمید وحید در تفسیر پارادوکس مور(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 47-70

کلید واژه ها: پارادوکس مور اصل ایوانز اصل حسن ظن تفسیر ناقص باور موجه باور خودآگاهانه

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 141-160

کلید واژه ها: قضایای شرطیه اجزای قضایای شرطیه صدق و کذب ابن سینا

حوزه های تخصصی:
تعداد بازدید : ۱۳۵ تعداد دانلود : ۹۴
در قضایای شرطیه گفته می شود این قضایا از ترکیب دوم مفردات تشکیل می شوند. بدین ترتیب هر قضیه شرطیه دست کم مرکب از دو قضیه حملیه است که اجزای آنها محسوب می شوند. این اجزاء براساس نظر منطق-نگاران پس از ورود حروف شرط بر سرآنها، خاصیت قضیه بودن و خبریت را از دست داده و به همین جهت متصف به صد141ق و کذب نیز نمی شوند؛ زیرا این دو وصف از عوارض ذاتی خبر هستند. اما تامل در اجزای قضایای شرطیه نشان می دهد که این اجزاء در زمانی که جزء قضیه شرطیه تلقی می شوند، خصوصیت و حکم خبریت و اتصاف به صدق و کذب را همچنان دارا هستند و با همین معیار و چگونگی رابطه میان آنها، صدق و کذب قضایای شرطیه تحصیل و تعیین می شود. این نوشتار با رویکرد تحلیل گزاره ای، به این نتیجه می رسد که اجزای شرطیات به عنوان طرفین منفصله یا مقدم و تالی در متصله، از وصف صدق و کذب برخوردار هستند و به همین دلیل از خبریت خارج نمی شوند. در نتیجه در ضمن قضایای شرطیه نیز همچنان به عنوان قضیه ملاحظه می شوند.
۵۳۲.

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 147 - 172

کلید واژه ها: رمزی سازی اشکال نیومن واقع گرایی ساختاری مشاهده ناپذیرها نظریه های علمی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 211-235

کلید واژه ها: سمانتیک معناشناسی دلالت شناسی صورت گرایی شهودگرایانه رویکرد نظریه برهانی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 1 - 21

کلید واژه ها: منطق های فراسازگار پارادوکس کری نظریه صدق تارسکی نظریه ی صدق عرفی قاعده انقباض

حوزه های تخصصی:
تعداد بازدید : ۱۲۶ تعداد دانلود : ۹۲
صدق عرفی، T(x)، محمولی است که در خود زبان بر تمام جمله های زبان حمل می شود و در ضمن برای هر جمله ی مانند A در زبان T(˹A˺)↔A نتیجه می شود. تارسکی برای اجتناب از پارادوکس دروغگو و تریویال شدن زبان (نظریه) مجبور شد از مفهوم عرفی صدق دست بکشد و صدق هر زبان را در یک فرازبان تعریف کند. طرفداران منطق های فراسازگار ادعا دارند با پذیرش منطق های فراسازگار می توان محمول صدق عرفی را حفظ کرد. منطق های فراسازگار به منطق هایی گفته می شود که در آن ها از تناقض هر چیزی نتیجه گرفته نمی شود. اما پارادوکس دیگری به نام کری وجود دارد که مربوط به ادات شرطی است و بدون استفاده از قاعده ی انفجار می تواند نظریه های صدق عرفی را تریویال کند. در این مقاله استدلال خواهیم کرد با وجود این که اگر به منطق های فراسازگار اصول حساب و محمول صدق عرفی را اضافه کنیم نظریه ای غیرتریویال خواهیم داشت اما این نظریه ها به دلیل قدرت استنتاجی پایین، از دست رفتن برخی خواص مورد انتظار از محمول صدق عرفی و همچنین نشت ناسازگاری به قسمت های خالص حسابی موجه نخواهند بود.
۵۳۵.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 117-141

کلید واژه ها: نظریه ی معنا بیان معنی مدلول نوئما افلاطونگرایی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 167-192

کلید واژه ها: منطق موجهات نامگذاری موجهات موجهات مرکبه نقد موجهات مرکبه

حوزه های تخصصی:
تعداد بازدید : ۱۱۹ تعداد دانلود : ۱۱۳
منطق ابزار اصلاح اندیشه و معیار سنجش فکر است و به اقتضای معیار بودن باید از وضوح و روشنی کافی برای اصلاح پیچیدگی و انحراف فکر برخوردار باشد، نامگذاری و تعیین اصطلاحات از مبادی تصوری هر علم بوده و بیش از بقیه مباحث به این وضوح نیازمند است. با این وجود گاه به دلایلی این ابزار در مقام تبیین و تفهیم قواعد و ساختار های منطقی به ابهام و اجمال گراییده است، تسمیه موجهات مرکبه از آن جمله است که به تبع نامگذاری موجهات بسیطه در مقام تعلیم منطق، گرفتار این اغلاق و ابهام شده است. در حالت طبیعی موجهات سنتی با بی رغبتی منطق آموزان مواجه است، استفاده از الفاظ غریب و شیوه نامگذاری مبهم در مقام آموزش، به بی میلی بیشتر در این حوزه دامن زده، اشتیاق منطق آموز را به ادامه بحث در موجهات کاهش داده و به انزوای بیشتر موجهات در حوزه های درسی منطق سنتی خواهد انجامید. بنابر این، مساله تحقیق این است که چه انتقادی بر شیوه منطق سنتی در نامگذاری موجهات مرکبه وارد است؟ چگونه می توان نامگذاری موجهات را تسهیل و از این رهگذر به آموزش موجهات در منطق سنتی کمک کرد؟ در این مقاله به روش تحلیلی به نقد و بررسی نامگذاری موجهات مرکیه پرداخته و با استفاده از اسامی همگون و مناسب در نامگذاری موجهات مرکب، شیوه ای آسان برای نامگذاری موجهات پیشنهاد کرده ایم.
۵۳۷.

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 1-21

کلید واژه ها: نظریه ی معنا بیان معنی مدلول نوئما افلاطونگرایی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ بهار و تابستان ۱۴۰۱ شماره ۱ (پیاپی ۲۵) 217-239

کلید واژه ها: ملاصدرا تناقض باوری عرفان عالم مثال عالم خیال

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۴ بهار و تابستان ۱۴۰۲ شماره ۱ (پیاپی ۲۷) 195 - 204

کلید واژه ها: گودل مسائل به طورمطلق حل ناپذیر رایانه خارق العاده ماشین تورینگ نامتناهی قاعده نامتناهی

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

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

نویسنده:
منبع: منطق پژوهی سال ۱۳ پاییز و زمستان ۱۴۰۰ شماره ۲ (پیاپی ۲۶) 71-85

کلید واژه ها: ابتنای اکید تام ابتنای ضعیف تام تعریف پذیری دوطرفه

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

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

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

درجه علمی

مجله

سال

زبان