Majburiy mantiq - Coercive logic - Wikipedia
Majburiy mantiq matematik tomonidan ommalashtirilgan tushuncha Raymond Smullyan, bu bilan savolga rostdan ham javob berishga rozi bo'lgan odam istalmagan harakatni bajarishga majbur bo'ladi, bunda bunday qilmaslik ularning kelishuvini buzishni anglatadi.[1] Smullyan kontseptsiyani savol sifatida taqdim etadi:
Sizga a uchun javob berish uchun million dollar taklif qilaman deylik ha / yo'q savol rostini aytganda, taklifni qabul qilasizmi? Agar shunday bo'lsa, unda bunday qilmasligingiz kerak edi, chunki men so'rayman: Siz ham javob berasizmi yo'q Bu savolga yoki menga ikki million dollar to'laysizmi? Haqiqiy javob berishning yagona usuli bu javob berishdir ha va keyin menga ikki million dollar to'laydi.[2]
Smullyanning savoli o'quvchidan ikkita variantdan kamida bittasi to'g'ri yoki yo'qligini so'raydi:[3]
- Ular haqiqatan ham javob berishadi yo'q uning savoliga.
- Ular unga ikki million dollar to'laydilar.
O'quvchi to'g'ri javob berishga qodir emas yo'q, chunki bu 1-nuqta to'g'ri ekanligini va o'quvchining javobi yolg'on ekanligini anglatadi. Agar o'quvchi javob bersa ha, ular 1 ta haqiqat deb ayta olmaydilar (chunki ular javob bermadilar yo'q), shuning uchun 2 haqiqat ekanligini tasdiqlashi va Smullyanga ikki million dollar berishi kerak.[3]
Smullyan bu jarayonning nomini kuyovi Jek Kotikga beradi.[2]
Adabiyotlar
- ^ "Symbolic Logic Axborotnomasi". Ramziy mantiq assotsiatsiyasi. 2009 yil. Olingan 3 mart 2020. Iqtibos jurnali talab qiladi
| jurnal =(Yordam bering) - ^ a b Smullyan, Raymond M. (2012). Scheherazade jumbog'i: Va boshqa ajoyib jumboqlar, qadimiy va zamonaviy. Knopf Doubleday nashriyot guruhi. ISBN 978-0-307-81983-3. Olingan 3 mart 2020.
- ^ a b Rozenxaus, J. "Majburiy mantiq". Scienceblogs.com. Olingan 3 mart 2020.
 | Bu mantiq bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |