В-четвёртых, автор нам сообщает, что "истинность правил вывода" зиждется на авторитете логической системы.
Какую логическую систему рассматривал автор, в свете чего ему пришла мысль поведать о таком откровении?
Правила вывода некоторой логической системы не базируются на истине, можно было бы взять любую вариацию аксиоматически построенной классической логики высказываний и посмотреть, истина не фигурирует вообще в формулировке логической системы, независимо от её авторитета
Можно доказать, что если некоторым образом задать семантику, где будет фигурировать истина, то правила вывода будут сохранять истину от одних формул к другим, но причём тут авторитет? Это не имеет значения. Автор пишет ерунду, путая понятия, сочетания которых он пытается обсуждать
Вишенкой на торте является то, что автор приписывает сон логика при температуре 39 Тарскому, якобы в этой мешанине заключается его семантическая концепция истины.
Also sprach Tarski: истина для всех и ни для кого
5
2
1July 28, 2026 598 2 2
