Обсуждение:Релевантная логика

Посмотрите если можно улучшить перевод преамбулы вот этим, тоже машинным

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

Целью логики релевантности является захват аспектов импликации, которые игнорируются оператором "материальной импликации" в классической логике истиностной функции, а именно понятие релевантности между антецедентом и условием истинной импликации. Эта идея не нова: К. И. Льюис был вдохновлен на изобретение модальной логики, и, в частности, строгой импликации, поскольку классическая логика допускает парадоксы материальной импликации, такие как принцип, согласно которому ложь подразумевает любое утверждение. Следовательно, "если я осел, то два плюс два равно четыре" верно, если перевести его как материальную импликацию, хотя оно кажется интуитивно ложным, поскольку истинная импликация должна связывать антецедент и консеквент неким понятием релевантности. И независимо от того, является ли говорящий оселом, это кажется никак не связано с тем, равно ли два плюс два четыре.

С точки зрения синтаксических ограничений для исчисления высказываний, необходимо, но не достаточно, чтобы предпосылки и заключение делили атомарные формулы (формулы, которые не содержат логических связок). В предикатном исчислении релевантность требует общего использования переменных и констант между предпосылками и заключением. Это может быть обеспечено (вместе с более строгими условиями), например, установлением определенных ограничений на правила системы естественного вывода. В частности, вывод в стиле Фитча может быть адаптирован для учета релевантности путем введения меток в конце каждой строки применения вывода, указывающих на предпосылки, релевантные для заключения вывода. Последовательные исчисления в стиле Генцена могут быть изменены путем удаления ослабляющих правил, которые позволяют вводить произвольные формулы справа или слева от последовательностей. Заметной особенностью логик релевантности является то, что они являются параконсистентными логиками: наличие противоречия не вызовет "взрыва". Это следует из того факта, что условие с противоречивым антецедентом, который не имеет общих предложенческих или предикатных букв с консеквентом, не может быть истинным (или выводимым).

РоманСузи (обс.) 19:37, 6 июля 2023 (UTC)

• Завтра постараюсь дополнить и очеловечить. Благодарен искренне, хорошего лета вам 😊 XMHNHMX (обс.) 19:51, 6 июля 2023 (UTC)
• Перевод занял несколько часов, мне очень приятно, мои навыки равны машине =) XMHNHMX (обс.) 19:53, 6 июля 2023 (UTC)