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

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

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

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

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

[identity profile] bgmt.livejournal.com 2009-01-11 06:11 pm (UTC)(link)
Простите, чушь. Т.е. первая фраза не чушь: да, если А=FALSE, то (A==>B)=TRUE. Однако любой человек, не изучавший матлогику, проинтерпретирует Вашу последнюю фразу как "если А=FALSE, то B=TRUE", что чушь, естественно.

Такинет о том, что из (А==>B)&(А=FALSE) не вытекает B=FALSE. Я с ним вполне согласен, что это следует напомнить - в "нормально-человеческой" логике, которую употребляют на улице, и которую он называет женской, оно вытекает. Приведённая выше вероятностная аргументация Куздры (он прячет слово "вероятность" за словом "правдоподобно") не работает, если не определить вероятность; у меня сильное подозрение, что определить её разумно в этом контексте нельзя.

[identity profile] taki-net.livejournal.com 2009-01-11 06:16 pm (UTC)(link)
Спасибо за аккуратный разбор. Одна поправка: я называю "обыденную" логику не "женской", а "женско-мужской", т.е. буквально "человеческой", т.е. обыденной, а слово "женская" перед дефисом - отсылка, конечно, к известному пародийному "трактату по женской логике".

[identity profile] ninazino.livejournal.com 2009-01-11 06:30 pm (UTC)(link)
Простите, я хочу напомнить, что вся эта котовасия началась с напоминания о логике как науке, а кончилась напоминанием о женско-мужской логике. Спасибо, понятно.

[identity profile] messala.livejournal.com 2009-01-11 07:08 pm (UTC)(link)
Извините, в математические вопросы встрявать боюсь, но вот в лингвистические... Короче: катавасия. Это не от "кота Васи" а от греч. katabasis -- "нисхождение".

[identity profile] ninazino.livejournal.com 2009-01-11 07:13 pm (UTC)(link)
Да, безусловно. Это я горячусь, и давно за границей.

[identity profile] ninazino.livejournal.com 2009-01-11 06:37 pm (UTC)(link)
и еще: http://taki-net.livejournal.com/546450.html?thread=12035218#t12035218