Теории истины, не зависящие от типа (аксиоматическая теория Крипке/Фефермана)

Это объяснение одной из двух основных теорий истины, не зависящих от типа (предложенной Солом Крипке), выраженной в аксиоматической форме, как её представил Феферман. В этом видео описывается, как эта теория допускает истинность как утверждения, так и его отрицания, не нарушая при этом законов классической логики, таких как закон исключенного третьего или закон непротиворечивости. Спонсоры: Принс Отчере, Майк Сэмюэл, Даниэль Хелланд, Деннис Секстон, Уилл Робертс и √2. Спасибо за вашу поддержку! Поддержите нас на Patreon: https://www.patreon.com/Carneades Покупайте товары на Zazzle: http://www.zazzle.com/carneades Информация для этого видео собрана из Стэнфордской энциклопедии философии, Интернет-энциклопедии философии, Кембриджского словаря философии, Оксфордского словаря философии и других источников! Информация для этого видео собрана из Стэнфордской энциклопедии философии, Интернет-энциклопедии философии, Кембриджского словаря философии, Оксфордского словаря философии и других источников!