Логик и Бог-Император

Abstract

В этом рассказе представлены два сценария, иллюстрирующие неверное применение формальной логики в социальных контекстах. В первом из них логик, которому предоставили выбор между двумя принцессами — одной с наследством, но некрасивой, и другой красивой, но без наследства — использует неоднозначность союза «или», чтобы завоевать обеих. Бог-Император, не зная разницы между инклюзивным и эксклюзивным «или», наказывает логика. Во втором сценарии речь идет о суде божьим, где логику, перед которым поставлены семь сундуков, содержащих шесть черепов и один ключ к его свободе, удается правильно решить логическую головоломку и найти ключ. Несмотря на этот успех, Бог-Император, осуществляя эксплуатацию различия между материальной импликацией («если») и логической эквивалентностью («если и только если»), приказывает казнить его. Юмор проистекает из контраста между жестким толкованием языка логиком и манипулятивным использованием неоднозначности в обычном языке со стороны Бога-Императора. – Аннотация, сгенерированная генеративным ИИ.