ریاضیات

انتخاب آزاد یک پدیده در زبان طبیعی که در آن یک است گسست به نظر می رسد برای دریافت یک حرف ربط تفسیر که آن را با یک تعامل معین اپراتور. به عنوان مثال ، جملات انگلیسی زیر را می توان به این معنا تفسیر کرد که مخاطب می تواند فیلم ببیند و بسته به ترجیح خود می تواند بازی های ویدئویی را نیز انجام دهد. [1]

1. می توانید فیلم تماشا کنید یا بازی های ویدئویی انجام دهید.
2. می توانید فیلم تماشا کنید یا بازی های ویدئویی انجام دهید.

استنباط های انتخاب آزاد یک موضوع اصلی تحقیق در معناشناسی رسمی و منطق فلسفی است زیرا در سیستم های کلاسیک منطق مدی معتبر نیست . اگر معتبر بودند ، معناشناسی زبان طبیعی اصل انتخاب آزاد را تأیید می کرد .

1. اصل انتخاب آزاد :

این اصل در منطق مدال کلاسیک معتبر نیست . علاوه بر این ، افزودن این اصل به منطق های معین استاندارد به فرد اجازه می دهد تا نتیجه گیری کند از جانب ، برای هرچی  و به این مشاهده به عنوان پارادوکس انتخاب آزاد شناخته می شود . [1] [2] برای حل این تناقض ، برخی از محققان تجزیه و تحلیل انتخاب آزاد در چارچوبهای غیر کلاسیک مانند معناشناسی پویا ، منطق خطی ، معناشناسی جایگزین و معناشناسی جستجوگر را پیشنهاد کرده اند . [1] [3] [4] دیگران روشهایی را برای استنباط انتخاب آزاد به عنوان دلالتهای مقیاس پذیر پیشنهاد کرده اند که بر اساس مدخلهای واژگانی کلاسیک برای تفکیک و روش ایجاد می شوند. [1] [5] [6] [7]

استنباط های انتخاب آزاد به طور گسترده ای برای مدالهای دئونتیک مورد مطالعه قرار می گیرد ، اما با طعم های دیگر روش و همچنین الزامات ، شرطی ها و سایر انواع عملگرها به وجود می آید. [1] [8] [9] [4] عبارات اسمی نامحدود استنباط مشابهی را ایجاد می کنند که به آن "انتخاب آزاد" نیز گفته می شود ، اگرچه محققان در مورد اینکه آیا آنها یک کلاس طبیعی با انتخاب آزاد متقابل تشکیل می دهند ، اختلاف نظر دارند . [9] [10]

همچنین ببینید [ ویرایش ]

• منطق دئونتیک
• جدا شدن
• هانس کمپ
• منطق مودال
• پارادوکس راس
• ساده سازی پیشینیهای جدا کننده
• کم کردن