![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Перевод статьи про релевантную логику
Вот, как обещал
http://psi-logic.shadanakar.org/psi/rele.htm
Кстати, их "принцип общих переменных", согласно которому в обоих частях условного высказывания должна присутствовать хотя бы одна общая переменная, - лажа. Вот контрпримеры к нему:
Мы знаем, что перестановка мест слагаемых суммы не меняет. То же относится и к операции "\/". Тогда из одной формулы мы можем получить другую, эквивалентную ей, перестановкой слагаемых. Например:
Если ~(true & false & ~false) \/ (~~false & false),
то (~~false & false) \/ ~(true & false & ~false).
Допустим, нам лень вычислять эти длинные формулы. Но мы видим, что первая формула от второй отличается только перестановкой слагаемых операции "\/". Так что мы можем заключить: если истинна первая формула, то истинна и вторая, т.е. если истинна посылка, то истинно и следствие. Таким образом, это условное высказывание истинно.
А теперь найдите в нем хоть одну переменную.
Еще пример. Пусть от преподавателя логики мы узнали, что формула x \/ ~x истинна для любого x. Отсюда следует, что если подставить в эту формулу на место x какое-нибудь конкретное значение, скажем, false, то получится истинная формула. Поэтому:
Если (x \/ ~x), то (false \/ ~false).
Как насчет одинаковых переменных в обеих частях формулы?
Так что релевантная логика - тоже не спасение от парадоксов импликации.
http://psi-logic.shadanakar.org/psi/rele.htm
Кстати, их "принцип общих переменных", согласно которому в обоих частях условного высказывания должна присутствовать хотя бы одна общая переменная, - лажа. Вот контрпримеры к нему:
Мы знаем, что перестановка мест слагаемых суммы не меняет. То же относится и к операции "\/". Тогда из одной формулы мы можем получить другую, эквивалентную ей, перестановкой слагаемых. Например:
Если ~(true & false & ~false) \/ (~~false & false),
то (~~false & false) \/ ~(true & false & ~false).
Допустим, нам лень вычислять эти длинные формулы. Но мы видим, что первая формула от второй отличается только перестановкой слагаемых операции "\/". Так что мы можем заключить: если истинна первая формула, то истинна и вторая, т.е. если истинна посылка, то истинно и следствие. Таким образом, это условное высказывание истинно.
А теперь найдите в нем хоть одну переменную.
Еще пример. Пусть от преподавателя логики мы узнали, что формула x \/ ~x истинна для любого x. Отсюда следует, что если подставить в эту формулу на место x какое-нибудь конкретное значение, скажем, false, то получится истинная формула. Поэтому:
Если (x \/ ~x), то (false \/ ~false).
Как насчет одинаковых переменных в обеих частях формулы?
Так что релевантная логика - тоже не спасение от парадоксов импликации.
no subject
1. Назовите эти разные предметные области
2. Объясните, почему нельзя "засовывать"