Продолжение сильной трехзначной логики Клини посредством динамической аппроксимации самореферентных предложений

В. А. Степанов

Аннотация


Вместо частичной интерпретации по С. Крипке в [1] мы определяем динамическую аппроксимацию аксиом самореферентности, которая позволяет каждую неклассическую истинностную оценку кодировать как последовательность классических истинностных оценок. Взаимодействие подобных кодирований генерирует трех-, четырех- и шестизначные таблицы истинности, причем наши трехзначные таблицы в точности совпадают с сильными таблицами Клини. При этом полученные нами четырех- и шестизначные таблицы вполне могут быть названы «продолжением» сильной трехзначной логикой Клини.

Полный текст:

PDF

Литература


Kripke S. Outline of a theory of truth. Journal of Philosophy 72, 1975, p. 690–712.

Leitgeb H. Truth and the Liar in De Morgan-Valued Models. Notre Dame Journal of Formal Logic 40.4, 1999, p. 496–514.

Stepanov V. Dynamic Approximation of Self-Referential Sentences. Studia Humana 11.3–4, 2022, p. 25–29.




DOI: https://doi.org/10.52119/LPHS.2024.79.92.006

Ссылки

  • На текущий момент ссылки отсутствуют.


Bookmark and Share


(c) 2024 В. А. Степанов

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.