Лакатош Лакатошем, а в жизни используется женско-мужская логика...

[taki_net]

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

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

Фашистская нечисть пользуется именно этим. Не поддавайтесь, пожалуйста. Бейте фашистскую гадину всюду, где ее увидите. Даже - и особенно - в собственной душе.

Comments

[taki-net.livejournal.com]

Истинность составляющих одно из другого никак не выводится.

Простите, я не хочу Вас обидеть, но... я вынужден спросить... почему Вы называете "логикой" алгебру высказываний?

Еще раз, медленно: в силу Modus ponens доказательство Т выглядит так:

ДАНО: А, А=>T
-------------
Доказано: Т

Истинность A=>T доказывается ФОРМАЛЬНО, вне предметной области. Теперь допустим, что истинность А поставлена под сомнение. "Наивная логика" (в том числе - пример с присяжными в моем постинге) в этом случае ставит под сомнение также истинность Т. Опасаясь этого "закона наивной логики", приверженцы Т опасаются критиковать А. Это, ИМХО, вполне реальный и наблюдаемый социопсихологический феномен.

[ninazino.livejournal.com]

Я ничего не называю, я СПРАШИВАЮ: в какой из логик мы оперируем?

В мое время мат.логика и была алгеброй высказываний. Сейчас что-то суверенно изменилось?

[taki-net.livejournal.com]

По-Вашему, Modus Ponens входит в алгебру высказываний?