taki_net: (Default)
taki_net ([personal profile] taki_net) wrote2009-01-11 07:46 pm

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

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

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

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

[identity profile] ninazino.livejournal.com 2009-01-11 08:53 pm (UTC)(link)
Я ничего не называю, я СПРАШИВАЮ: в какой из логик мы оперируем?

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

[identity profile] taki-net.livejournal.com 2009-01-11 09:23 pm (UTC)(link)
По-Вашему, Modus Ponens входит в алгебру высказываний?