Виктор Борисович!

Надо сначала помочь мне выстроить систему связей истинности, потому что ВЫ в  теме дока. Почти профи. А я новичёк. Потом приступать к критике. Нужно понимать , что спорить надо с ровней типа г-н Грачёв,  а чего со мной спорить когда я в начале пути . И вообще критика отрывает от темы.

• Важно четко определить, что подразумевается под "связью истинности". В тексте это понимается как отношение между утверждениями, определяющее, как одно утверждение следует из другого, и как устанавливается их истинность.

***

 Что такое "связь истинности" в контексте текста, логической связности и отсутствия противоречий.

Вот как можно это сформулировать:

Связь истинности в тексте (как отражение логической структуры):

В любом связном и логически последовательном тексте можно выделить несколько уровней связности:

1. Формальная связность: Это грамматическая и стилистическая связь между предложениями. Она обеспечивается с помощью союзов, местоимений, повторений ключевых слов и других языковых средств.

2. Смысловая связность: Это связь между предложениями на уровне содержания. Она обеспечивается тем, что предложения развивают одну и ту же тему, дополняют друг друга или находятся в причинно-следственной связи.

3. Логическая связность (или связь истинности): Это наиболее глубокий уровень связности, который обеспечивает согласованность утверждений относительно их истинности. Текст, обладающий логической связностью, должен удовлетворять следующим требованиям:

   • Непротиворечивость: В тексте не должно быть утверждений, которые одновременно утверждают и отрицают одно и то же. Если утверждение А истинно, то утверждение не-А должно быть ложным, и наоборот. Противоречия разрушают логическую структуру текста.

   • Сохранение истинности: Логические выводы, сделанные в тексте, должны следовать из представленных посылок (исходных утверждений). Если посылки истинны, то и выводы, полученные на их основе, также должны быть истинными. Это означает, что должны использоваться корректные правила вывода (например, modus ponens, modus tollens и другие).

   • Отсутствие логических ошибок: В тексте не должно быть логических ошибок, таких как апелляция к авторитету, аргумент к невежеству, соломенное чучело, ложная дилемма и другие. Логические ошибки подрывают доверие к рассуждениям и могут привести к ложным выводам.

Связь истинности как гарант достоверности:

Связь истинности является ключевым критерием оценки качества текста, претендующего на истинность. Текст, в котором нарушена связь истинности, является логически некорректным и, следовательно, не может считаться достоверным. Соблюдение связи истинности позволяет обеспечить:

• Аргументированность: Утверждения в тексте подкреплены логическими доводами и доказательствами.
• Достоверность: Текст сообщает о реальном положении дел и не вводит читателя в заблуждение.
• Понимание: Логическая связность текста облегчает понимание и усвоение информации.

В заключение, "связь истинности" – это не формальный логический термин, а скорее описательное понятие, обозначающее логическую согласованность и непротиворечивость текста, обеспечивающую его достоверность и аргументированность. Это то, что гарантирует, что текст не просто красивый набор слов, а представляет собой логически обоснованную и правдивую картину мира.

***

• это логическая форма или нечто другое?

• "Связь истинности" в том смысле, как мы ее обсуждаем, не является формальной логической формой, как, например, конъюнкция, дизъюнкция или импликация. Это скорее мета-логическое свойство, характеризующее отношения между логическими формами и их интерпретациями.

  Вот более подробное объяснение:

  Рассмотрим пример:

  Итак:

  Связь истинности можно рассматривать как оценку или характеристику логической формы. Она показывает, насколько надежна эта форма с точки зрения сохранения правды. Не все логические формы сохраняют истинность. Например, аргумент с логической ошибкой (например, апелляция к авторитету) может иметь формальную структуру, но не имеет связи истинности.

  В итоге, "связь истинности" – это не логическая форма, а свойство, характеризующее корректность логической структуры и гарантирующее передачу истинности от посылок к заключению.

  • Формальная логика имеет дело с формой аргументов и утверждений, а не с их конкретным содержанием. Например, утверждение "(A → B) ∧ A" (если А, то Б, и А) является формальной логической формой, вне зависимости от того, что означают A и B.

  • Связь истинности относится к тому, как эта форма сохраняет или не сохраняет истинность при интерпретации. Она говорит о том, гарантирует ли истинность посылок истинность заключения.

  1. Форма: Если идет дождь (A), то земля мокрая (B). Идет дождь (A).
  2. Формальная запись: (A → B) ∧ A
  3. Правило вывода: Modus Ponens (из (A → B) и A следует B)
  4. Связь истинности: Если посылка "Если идет дождь, то земля мокрая" истинна и посылка "Идет дождь" истинна, то заключение "Земля мокрая" должно быть истинным. Это гарантируется правилом Modus Ponens.
  • Формальная логика описывает структуру аргумента (Modus Ponens).
  • Связь истинности говорит о сохранении истинности в этом аргументе.