Вот блин!

[psilogic]

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

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


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

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

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

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


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

Comments

[goh-dan.livejournal.com]

Фиг с ним, с результатом. Главное - Вы стали умнее!

[widowmaker1984.livejournal.com]

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

А где можно посмотреть "предыдущие серии"?

[psilogic.livejournal.com]

http://psi-logic.shadanakar.org/iff/iff.htm

надо будем потом исправить текст, если ничего не придумаю... тем более, если придумаю :)

[eugenebo.livejournal.com]

Ну, расстраиваться не стоит. Наоборот, сие есть свидетельство внутреннего роста :)

/*Хихикая*/ "Луна сделана из сыра, следовательно, либо Луна сделана из сыра, либо я сейчас сижу в ЖЖ" :)))

Напоминает знаменитый анекдот.

[psilogic.livejournal.com]

помню этот анекдот :))
ну а [x => x xor y] - это неинтересно :)

[eugenebo.livejournal.com]

В таком случае, похоже, я не догнал смысл парадокса.

[psilogic.livejournal.com]

та не, просто я не догнал к ночу, что ты хотел сказать. потом догнал :)

[bonesdmz.livejournal.com]

А можно подробнее, в чем именно парадокс?

"Из лжи следует все" - это некорректно. На самом деле имеется в виду что если исходить из ложных посылок, то всегда окажешься прав.

ВОобще я не очень понимаю ход твоих рассуждений.

[psilogic.livejournal.com]

Вот тут подробно и популярно описываются все парадоксы этой серии:

http://psi-logic.shadanakar.org/iff/iff_13.htm

[perets2001.livejournal.com]

Сам себя не опровергнешь — никто не опровергнет.

[dreimora.livejournal.com]

а в чём опровержение, не догнала ?

следствий же может быть несколько, нет ?

[psilogic.livejournal.com]

Если false, то B считается первым из парадоксов импликации. Берется произвольное ложное высказывание, потом вообще произвольное:

"Если Луна сделана из зеленого сыра, то Путин сейчас президент"

- это утверждение в обиходе воспринимается как ложное (или, как минимум, недоказанное), т.к. посылка и следствие не связаны по смыслу. И материальная импликации, и (увы) мое "частное следование" дают результат true.

[dreimora.livejournal.com]

надо взять на вооружение этот метод ))

Так всёже, я не поняла, следствие только одно может быть ?

[nayla-.livejournal.com]

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

[psilogic.livejournal.com]

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

[nayla-.livejournal.com]

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

[psilogic.livejournal.com]

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

[nayla-.livejournal.com]

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

[psilogic.livejournal.com]

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

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

[nayla-.livejournal.com]

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

[psilogic.livejournal.com]

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