TGViewer
Душный синтаксис Душный синтаксис @syntaxdush · 486 subscribers
Post #896 725
Душный синтаксис 5. Если уж апеллировать к Тарскому, то он не даёт критерия истины. Разделить на истинные и ложные и определить, при каких условиях будут истинными или ложными те или иные типы высказываний - это не значит задать критерий истины 6. Далее, нам пытаются объяснить…
В-четвёртых, автор нам сообщает, что "истинность правил вывода" зиждется на авторитете логической системы.
Какую логическую систему рассматривал автор, в свете чего ему пришла мысль поведать о таком откровении?
Правила вывода некоторой логической системы не базируются на истине, можно было бы взять любую вариацию аксиоматически построенной классической логики высказываний и посмотреть, истина не фигурирует вообще в формулировке логической системы, независимо от её авторитета
Можно доказать, что если некоторым образом задать семантику, где будет фигурировать истина, то правила вывода будут сохранять истину от одних формул к другим, но причём тут авторитет? Это не имеет значения. Автор пишет ерунду, путая понятия, сочетания которых он пытается обсуждать

Вишенкой на торте является то, что автор приписывает сон логика при температуре 39 Тарскому, якобы в этой мешанине заключается его семантическая концепция истины.
Also sprach Tarski: истина для всех и ни для кого
  • ❤ 5
  • 🔥 2
  • 🤩 1
More from @syntaxdush
  1. Sep 24, 2026FOL это не просто логика предикатов первого порядка, а такая, которая классическая Так что…
  2. Sep 20, 2026Один мой друг заявляет, что доказал теорему о невозможности самообмана Рассуждение можно р…
  3. Sep 10, 2026Три из четырёх студентов, которые пришли сегодня ко мне на пару, занимаются аналитической…
  4. Aug 23, 2026Междисциплинарная конференция «Подземные реки: низовые интеллектуальные течения и философи…
  5. Aug 23, 2026Тест на нишевость. Подумайте над тем, чтобы заскочить
  6. Aug 14, 2026Вернемся к классике
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →