формальная логика и воспитание
Aug. 24th, 2003 12:16 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avva"Мой профессор по Legal Reasoning рассказывал, как он объяснил дочери логику двойного отрицания: если ты не помоешь посуду, то не получишь мороженого. Дочь помыла посуду. И усвоила разницу между необходимым и достаточным."Жестоко! И, пожалуй, несправедливо ;) Всё же язык и формальная логика — разные вещи. Когда мы говорим "если не сделаешь X, то не получишь Y", обычно подразумеваем, что если сделаешь X, то Y получишь — вопреки формальной логике, да, но так уж сложилось в языке.
Но как средство разъяснения очень частой логической ошибки в рассуждениях — хороший метод, да. Кстати, отрицания тут сами по себе не являются частью ошибки, а просто маскируют её. Ошибка эта — вида Denial of the Antecedent, т.е. "если P, то Q; не-P; следовательно, не-Q".
P.S. Там же, в комментах — замечательный анекдот про программиста.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2003-08-23 02:23 pm (UTC)Я: а если я буду себя плохо вести, я сам себе почитаю.
no subject
Date: 2003-08-23 02:24 pm (UTC)надо же, ни по-русски, ни по-английси не знаю, как эти вещи называются.
no subject
Date: 2003-08-23 02:41 pm (UTC)truth tables первым придумал Виттгенштейн и описал в "Логико-философском трактате"; правда, недавно я читал где-то, что это дескать неправда и они ещё у Фреге есть, но забыл проверить, так ли это на самом деле.
no subject
Date: 2003-08-23 05:07 pm (UTC)Truth tables are a tool developed by Charles Peirce in the 1880s
У Фреге их вроде бы не было в том современном виде, в каком их показывает В.
no subject
Date: 2003-08-23 05:13 pm (UTC)Насчёт Фреге обычно так и говорят, но я видел конкретную ссылку в немецкий оригинал, где, утверждалось, они у него есть, может, не в современном виде, но достаточно близком. Ссылку могу найти , если интересно. У меня не было тогда времени/сил переться в вивлиофику, искать там это место, продираться сквозь него с моим нулевым немецким.
no subject
Date: 2003-08-23 05:59 pm (UTC)no subject
Date: 2003-08-23 06:25 pm (UTC)no subject
Date: 2003-08-23 07:14 pm (UTC)Не знаю, зачем это было нужно.
А как следует преподавать матлогику первокусникам и вообще?
no subject
Date: 2003-08-23 10:27 pm (UTC)no subject
Date: 2003-08-24 07:24 pm (UTC)no subject
Date: 2003-08-25 02:19 am (UTC)no subject
Date: 2003-08-24 01:28 am (UTC)no subject
Date: 2003-08-24 07:16 pm (UTC)