فیلتر های جستجو: فیلتری انتخاب نشده است.
نمایش ۴۱ تا ۶۰ مورد از کل ۵۵۶ مورد.
۴۱.

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

کلید واژه ها: منطق چند ارزشی منطق فازی اصل دو ارزشی اصل طرد شق ثالث اصل امتناع تناقض

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

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

نویسنده:

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

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

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

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

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

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

نویسنده:

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

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

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

کلید واژه ها: وحدت گزاره حمل رمزانش نمونش زالتا ماینونگ

حوزه های تخصصی:
تعداد بازدید : ۵۱۱ تعداد دانلود : ۲۰۶
وحدت در گزاره های رمزانشی چکیده: درباره ی گزاره ها (ی متداول)، خانواده ای از مسئله ها وجود دارد که ذیل عنوان مسئله ی وحدت گزاره مطرح می شوند و از این می پرسند که چگونه یک گزاره، بازنمایاننده است؛ چگونه معنایی منسجم و واحد، فراتر از مجموع معانی دخیل در آن دارد و چگونه برخلاف اجزائش، قابل تصدیق و تکذیب است. در این مقاله، مسئله (ها)ی مشابهی درباره ی گزاره های رمزانشی –یعنی گزاره های حاوی حمل رمزانشی در برابر حمل متداول- مطرح خواهم کرد. فرض وجود این نوع حمل، ما را قادر می سازد تا عبارت هایی از این قبیل که "کوه طلا، کوه است" را بر خلاف تحلیل های کلاسیک، نه تنها معنادار بشماریم بلکه تصدیق کنیم. نشان خواهم داد که حمل متداول قابل فروکاست به رمزانش است و بر این مبنا راهکار منسجمی برای پاسخ به مسئله ی محوریِ وحدت گزاره پیش می کشم. پذیرش این راهکار، متضمن صورت بندی جدیدی از مسئله ی وحدت خواهد بود.
۴۶.

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

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

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

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

کلید واژه ها: وحدت تعریف ماده کلیت امور مرکب اجزاء تعریف

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

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

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

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

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

نویسنده:

کلید واژه ها: ارسطو قضیه حقیقیه قضیه خارجیه قیاس های وجهی

حوزه های تخصصی:
تعداد بازدید : ۵۲۷ تعداد دانلود : ۲۲۲
منطق دانان مسلمان به پیروی از فخر رازی دو اصطلاح قضیه حقیقیه و خارجیه را به ادبیات منطقی خود افزوده اند که در نگاه بدوی در آثار ارسطو و شارحان یونانی اش وجود ندارد. با وجود این نشان می دهیم که هرچند ارسطو هنگام بحث از قیاس های مطلق (غیروجهی) مثال هایی برای قضیه مطلقه ذکر کرده است که قضیه حقیقیه هستند، اما هنگام بحث از قیاس های مختلط (مرکب از مقدمه های وجهی و غیروجهی) در بسیاری از موارد برای قضیه مطلقه مثال هایی آورده است که تنها به صورت قضیه خارجیه می توانند صادق باشند و نه به صورت قضیه حقیقیه. با همه اینها، ارسطو در یک مورد عبارتی دارد که با صراحت تمام، استفاده از قضیه خارجیه در قیاس را ممنوع می داند. در تعارض میان این یک تک عبارت صریح بر منع کاربرد قضایای خارجیه و آن همه مثال های فراوان که قضیه خارجیه هستند چه باید کرد؟ برخی از مفسران معاصر احتمال داده اند که این تک عبارت از افزوده های بعدی ارسطو و در پاسخ به اعتراض های دانشجویان و دستیارانش بوده است. در هر صورت، قیاس های موجهاتی ارسطو، چنان که برخی از منطق دانان مسلمان مانند ابن سینا، فخر رازی و خونَجی به صراحت نشان داده اند، نسبت به قضیه های حقیقیه و خارجیه حساس هستند؛ هرچند تا کنون، هیچ منطق دانی را سراغ نداریم که احکام این قیاس ها را برای قضیه های حقیقیه و خارجیه به صورت کامل و دقیق بررسی و استخراج کرده باشد.
۵۰.

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

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

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

تأملی بر امکان عام از دیدگاه زین الدین کشی(مقاله علمی وزارت علوم)

کلید واژه ها: زین الدین کشی حدائق الحقائق منطق امکان عام

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

منطق، اندازه و رویکردی غیر کراندار به منطق انتگرال(مقاله علمی وزارت علوم)

نویسنده:

کلید واژه ها: منطق انتگرال بیکران قضیه فراضرب قضیه فشردگی فضاهای Lp

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

اعتبار استقراء یا عدم اعتبار قیاس؟!(مقاله علمی وزارت علوم)

کلید واژه ها: قیاس استقراء توجیه قیاس مسأله ی استقراء موجه سازی سوزان هاک

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

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

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

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

منطق تطبیقی غیرکلاسیک ۱: منطق حملی استاندارد - از SLe تا IFLe(مقاله علمی وزارت علوم)

کلید واژه ها: منطق حملی قیاس ارسطویی منطق غیرکلاسیک منطق زیرساختاری روش اصل موضوعی

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

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

نویسنده:

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

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

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

نویسنده:

کلید واژه ها: منطق توجیه نقطه ثابت منطق مسور اثبات ها پارادوکس امتحان غیر منتظره پارادوکس دانا

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

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

نویسنده:

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

حوزه های تخصصی:
تعداد بازدید : ۲۹۶ تعداد دانلود : ۲۵۶
منطقدانان قرون وسطی برای ضرب های منتج قیاس اقترانی حملی اسامی اختصاری انتخاب کرده بودند. این اسامی به نحوی انتخاب شده بود که نوع قضیه محصوره به کاررفته در صغری و کبری و نتیجه قیاس را مشخص کرده و نشان می داد که ضرب های منتج اشکال دوم تا چهارم از چه طریق، به ضرب های شکل اول بازمی گردند و نیز روش رد و تبدیل ضرب های منتج آن اشکال به شکل اول چگونه است. به عنوان مثال نام ضرب اول قیاس، باربارا (Barbara) است. حروف صدادار به کار رفته در این اسم، بیانگر نوع قضیه محصوره در مقدمات و نتیجه این ضرب از قیاس است. در این مختصر این اسامی اختصاری و نکات مرتبط با آنها توضیح داده شده است. همچنین علت متفاوت بودن این اسامی در مورد شکل چهارم بیان شده و به تاریخچه تغییرات این اسامی در مورد شکل چهارم اشاره شده است. در پایان مقایسه ای میان این روش و روش استفاده از قواعد کلی انتاج توسط منطقدانان مسلمان صورت گرفت و مزایا و معایب هر یک از این دو روش بیان گردید.
۵۹.

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

نویسنده:

کلید واژه ها: وجود ذهنی استدلال های پیچیده اثبات به کمک رایانه حافظه علم اجمالی

حوزه های تخصصی:
تعداد بازدید : ۵۸۶
برخی از اشکال هایی که اندیشمندان غربی به وجود ذهنی وارد کرده اند نزد فیلسوفان ما تقریباً ناشناخته است و پاسخ کاملی دریافت نکرده است. مثلاً یکی از مهم ترین و دشوارترین اشکال های اندیشمندان غربی در این زمینه اشکال چگونگی تصور امور پیچیده است؛ چراکه ظاهراً هیچ انسانی قادر نیست صورتی از امور پیچیده در ذهن خود تشکیل دهد. مشکلی که امور پیچیده در حالت کلی خود برای وجود ذهنی پدید می آورد اقسام گوناگونی دارد. گاهی باید یک امر پیچیده را به کمک حافظه به یادآوریم و در ذهن تصور نماییم. گاهی نیز باید استدلالی پیچیده و بسیار طولانی را نخست در ذهن خود تصور بکنیم تا سپس بدان یقین منطقی داشته باشیم. و گاهی نیز یک استدلال پیچیده آن قدر طولانی است که هیچ انسان عادی نمی تواند در کل عمر خود جزئیات استدلال را تصور نماید و از این رو صرفاً به یاری رایانه اثبات می شود. ما در این جستار همین سه قسم را – که به حافظه گره خورده اند - بررسی می کنیم و می کوشیم بیش تر بر پایه ی دیدگاه های اندیشمندان مسلمان آن ها را واکاوی نماییم. پس از نقد دیدگاه های بالفعل و بالقوه ی اندیشمندان مسلمان در پایان در مورد هر یک از این سه قسم دیدگاه برگزیده را پیش خواهیم نهاد. به مناسبت به اشکال هایی مقدّر نیز پاسخ خواهیم داد.
۶۰.

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

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

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

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

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

درجه علمی

مجله

سال

زبان