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

منطق

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

تئوفراستس و قیاس های دارای-حد-اضافه(مقاله علمی وزارت علوم)

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

کلیدواژه‌ها: تئوفراستس گزاره های دارای-حد-اضافه قیاس های دارای-حد-اضافه منطق مرتبه دوم

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

یک تبیین پارشناختی از عبارت های جمعی(مقاله علمی وزارت علوم)

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 137-156

کلیدواژه‌ها: عبارت های جمعی مفردگرایی جمع گرایی پارشناسی محمول های توزیع ناپذیر

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

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

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

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

حوزه‌های تخصصی:
تعداد بازدید : ۵۹۸ تعداد دانلود : ۴۲۴
هدف راسل تأسیس زبانی ایدئال برای حل کژتابی های فلسفی و دشواری های زبان طبیعی است. این زبان منطقاً کامل، ساختار اندیشه ما و ساختار معرفت ما را آشکار می سازد. پروژه تأسیس زبان ایدئال چیزی جز حرکت درجهت تحلیل منطقی نیست. راسل، با تکیه بر تحلیل منطقی، با رسم تمایز میان نام و وصف به سه پرسش اساسی در باب این همانی، اصل طرد شق ثالث یا گزاره های سالبه جزئیه و گزاره هایی که موضوع آنها عدم است، یا به عبارتی به هیچ چیز اشاره نمی کند، پاسخ می دهد. در مقاله نیز حاضر برآنیم تا ضمن شرح دیدگاه راسل در باب تحلیل منطقی و تعریف آن، به نظریه وصف های او، در مقام موخره و وجه مصداقی تحلیل منطقی، نظر کنیم. در بحث از «تحلیل منطقی» کوشیده ام نشان دهم، معنای «تحلیل منطقی کردن» چیست. برای بیان مقصود راسل در این باب، به توضیح پروژه راسل یعنی تأسیس زبان ایدئال نیز، پرداخته ایم. در قسمت دوم مقاله، نظریه وصف های راسل را به مثابه وجه مصداقی تحلیل منطقی ، با تکیه بر دو مقاله «درباره اشاره» و «درباره وصف ها» توضیح داده ام.
۴۶۴.

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

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 1-32

کلیدواژه‌ها: پارادوکس مور جملات موری پوچی منطق باور منطق زمانی منطق زمانی پیوندی

حوزه‌های تخصصی:
تعداد بازدید : ۵۹۸ تعداد دانلود : ۴۸۹
جملات موری جملاتی مانند "p اما من باور ندارم که p" یا "p اما من باور دارم که چنین نیست که p" هستند، که علی رغم ممکن الصدق بودن محتوای آنها اظهار یا باور به آنها با نوعی پوچی همراه است. ادعا می شود این جملات تنها در صورتی که در قالب زمان حال اظهار یا باور شوند پوچ خواهند بود و در صورتی که آن ها در قالب زمان گذشته یا آینده اظهار شوند اظهارشان پوچ نخواهد بود. ما در این مقاله می کوشیم به تحلیل صورت های زمانی مختلف جملات موری در زمان های گذشته، حال و آینده بپردازیم. برای این منظور از منطقی استفاده می کنیم که ترکیبی از منطق های زمان و باور است. سپس با صورت بندی جملات موری در زمان های مختلف نشان می دهیم که بر خلاف ادعای مرسوم صورت های گذشته و آینده این جملات لزوما پوچ نخواهند بود. در نهایت به معرفی شرایط لازم و کافی پوچی جملات موری در زمان های گذشته، حال و آینده می پردازیم.
۴۶۵.

آیا تارسکی مفهوم عام نتیجه ی منطقی را فراچنگ می آورد؟(مقاله علمی وزارت علوم)

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

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

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

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

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

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

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

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

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

کلیدواژه‌ها: حساب محدود فرمول محدود مدل کامل محدود مدل همراه محدود حذف سور محدود

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

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

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

کلیدواژه‌ها: منطق زیرشهودی منطق وجهی غیر-نرمال منطق وجهی دوموضعی همتای وجهی معناشناسی همسایگی

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

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

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

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

حوزه‌های تخصصی:
تعداد بازدید : ۵۵۹ تعداد دانلود : ۴۰۶
تقی الدین ابوالعباس احمد ابن شهاب الدین عبد الحلیم ابن تیمیه (661-728ه ق) در میان طیف وسیع مخالفان و منتقدان و ستیزه جویان منطق (ارسطوئی/سینوی) و بطور عام عقلی مشربی فیلسوفان مسلمان قرار دارد . کسانی که تمامی آنان دغدغه بازگشت به سنت و سلف دارند ( از جمله ابوبکر باقلانی، امام الحرمین جوینی، محمد امین استرآبادی، ابن الصلاح، جلال الدین سیوطی، شیخ عبداله جیلانی، ابوالنجا الفارض، و ..) اما وجه تمایز او نظام پردازی و استدلال آوری و صورت بندی اشکالات ناظر به منطق ارسطویی است که از قضا با بسیاری از نقدهای معرفت شناسان دوران جدید و منطق دانان جدید مشابه و مشترک است. وی در چندین کتاب به تفصیل انتقادات خود را مطرح می کند، اما در کتاب الردّ علی المنطقیین بر مبنای تصویر دو بخشی منطق ( تصور و تصدیق) و طرح نقد خود علیه دو مدعا در مورد هر بخش منطق، نظامی برای ردیات خود پرداخته است و کتاب خود را در چهار فصل تبویب می کند: الف) تصور مطلوب جز بوسیله تعریف (حد) به دست نمی آید. ب) تعریف، علم به تصورات را به دست می دهد. ج) تصدیق مطلوب جز از طریق قیاس حاصل نمی شود. د) قیاس یا استدلال منطقی علم به تصدیق را حاصل می کند.
۴۷۰.

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

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

کلیدواژه‌ها: میرداماد وجود ذهنی حمل اولی ذاتی حمل شایع صناعی

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

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

نویسنده:
منبع: منطق پژوهی سال نهم بهار و تابستان ۱۳۹۷ شماره ۱ (پیاپی ۱۷) 1-17

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

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

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

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

کلیدواژه‌ها: عکس مستوی منطق خواجه نصیر ابن سینا

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

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

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

کلیدواژه‌ها: ویتگنشتاین رایل هارمن جهان غیرمنطقی منطق عقلانیت

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

حمل شیء بر خود: حمل اولی، شایع یا اینهمانی منطق جدید(مقاله علمی وزارت علوم)

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

کلیدواژه‌ها: حمل حمل الشیء علی نفسه حمل اولی حمل شایع اینهمانی

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

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

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

کلیدواژه‌ها: مکانیک کوانتومی منطق کوانتومی اصل عدم قطعیت پارادوکس EPR اصل توزیع پذیری نظریه متغیر های پنهان

حوزه‌های تخصصی:
تعداد بازدید : ۵۴۰ تعداد دانلود : ۳۸۱
از زمانی که منطق کوانتومی توسط فیزیکدان ها ارائه شد این منطق به نحوی در نسبت با مکانیک کوانتومی و تجربیات حاصل از آن شکل گرفت. درواقع مکانیک کوانتومی و تجربیات حاصل از آن تأییدی برای این منطق در نظر گرفته شده است. یکی از بزرگ ترین دستاورد های مکانیک کوانتومی اصل عدم قطعیت است که آموزه ای برای رد بخش پذیری در منطق کوانتومی می باشد. از سوی دیگر EPR نیز به عنوان آموزه ای برای رد مکانیک کوانتومی استاندارد ارائه شده است. حال آیا در صورت رد مکانیک کوانتومی با EPR، منطق کوانتومی هم زیر سؤال می رود؟ در این مقاله به دنبال آن هستیم که نشان دهیم اصل عدم قطعیت، اصل بخش پذیری را رد می کند و نظریه متغیر های پنهآن که به دنبال پارادوکس EPR می آید هم به عنوان یک نظریه رقیب، حتی در صورت رد مکانیک کوانتومی استاندارد، منطق کوانتومی را رد نمی کند. نتیجه چنین امری این است که عملاً منطق کوانتومی مستقل از مکانیک کوانتومی کارآمد است و ممکن است در حوزه هایی به جز مکانیک کوانتومی هم به کارآید.
۴۷۶.

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

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

کلیدواژه‌ها: علم ارسطو اصول علم ارسطو روش شناسی ارسطو استقراء ارسطو جدل ارسطو

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

تحلیلی بر معنای امکان اخص از منظر ابن سینا(مقاله علمی وزارت علوم)

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

کلیدواژه‌ها: امکان اخص امکان استقبالی ابن سینا اشارات شفا

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

ظهور و افول ایده «زبان ایدئال» در دو جریانِ فلسفه تحلیلی(مقاله علمی وزارت علوم)

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

کلیدواژه‌ها: زبان ایدئال فلسفه تحلیلی کاربرد شباهت خانوادگی فرگه ویتگنشتاین

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

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

نویسنده:
منبع: منطق پژوهی سال دهم بهار و تابستان ۱۳۹۸ شماره ۱ (پیاپی ۱۹) 89-120

کلیدواژه‌ها: منطق ریاضی منطق چندمقداری منطق فازی منطق پیوسته

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

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

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

کلیدواژه‌ها: پارادوکس امتناع تناقض حمل اولی حمل شایع قاعده فرعیه

حوزه‌های تخصصی:
تعداد بازدید : ۵۰۰ تعداد دانلود : ۳۸۴
پارادوکسِ امتناع تناقض که بنیادی ترین اصل معرفت را به چالش می کشد با پذیرش این که «اجتماع نقیضان ممتنع است» نتیجه می گیرد که «اجتماع نقیضان ممتنع نیست». صدرالدین شیرازی کوشیده است که این پارادوکس را با جدایی نهادن میان حمل اوّلی و شایع فروگشاید. او پیش فرض می گیرد که «اجتماع نقیضان» موضوع گزاره های یادشده و «ممتنع» محمول آن ها است. این جستار با نفی این پیش فرض، راه حل دیگری را پیش می نهد که برپایه ی آن «اجتماع» بر ادات عطف، «نقیضان» بر سازه های عاطف، و «ممتنع» بر ضرورت سلب که ترکیب جهت و کیفیت است، دلالت دارد. پارادوکسِ امتناع تناقض که بنیادی ترین اصل معرفت را به چالش می کشد با پذیرش این که «اجتماع نقیضان ممتنع است» نتیجه می گیرد که «اجتماع نقیضان ممتنع نیست». صدرالدین شیرازی کوشیده است که این پارادوکس را با جدایی نهادن میان حمل اوّلی و شایع فروگشاید. او پیش فرض می گیرد که «اجتماع نقیضان» موضوع گزاره های یادشده و «ممتنع» محمول آن ها است. این جستار با نفی این پیش فرض، راه حل دیگری را پیش می نهد که برپایه ی آن «اجتماع» بر ادات عطف، «نقیضان» بر سازه های عاطف، و «ممتنع» بر ضرورت سلب که ترکیب جهت و کیفیت است، دلالت دارد.

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

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

درجه علمی

مجله

سال

زبان