Вот блин!

[psilogic]

Опять про парадоксы импликации. Помните, я их перечислял, и предлагал свой вариант решения.

Так вот, теперь нашел парадокс, который мою схему тоже рушит.


(A =>> A or B) = true
- общее следование, доказано тут, в конце странички

Подставляем A = false, получаем частное следование:
false ->> B = true
а это - парадокс "из лжи следует все".

(A & B =>> A) = true
- общее следование, доказано там же.

Подставляем A = true, получаем частное следование:
B ->> true = true
а это - парадокс "истина следует из всего".


Вот такой облом: сам выдумал и сам себя через N месяцев опроверг. Может, когда-нибудь выдумается что получше. :(

Comments

[nayla-.livejournal.com]

Такое выражение может восприниматься как ложное только чисто интуитивно, хотя по логике вещей вполне очевидно, что раз мы точно знаем, что Луна не может быть сделана ни из какого сыра, то этому факту в следствие можно поставить все что угодно и общее высказывание 'если то то это'всегда будет верно, за невозможностью первого.
И в чем же тогда парадокс?

[psilogic.livejournal.com]

Парадокс именно в том, что интуитивно воспринимается как ложное. Хочется более адекватную модель.

[nayla-.livejournal.com]

так это же тогда не парадокс, а лишь игра слов
и это уже вопрос русского языка, а не логики))

[psilogic.livejournal.com]

конечно
или если хотите вопрос практического приложения логики

[nayla-.livejournal.com]

скорее переложение логики
но, по мне, так логика и вовсе здесь особо не при чем, дело в формулировке

[psilogic.livejournal.com]

нет переложение тут ни при чем

есть высказывания вида "если ... то ... "
для них нужна достаточно точная математическая модель
пока ее нет

[nayla-.livejournal.com]

а какой смысл в математическом объяснении высказываний типа 'если А то В' в случаях, когда высказывания(события) А и В друг от друга независимы?

[psilogic.livejournal.com]

а какой тогда смысл в математических моделях вообще? :)