>«Лейбниц занимался матлогикой и был религиозен, поэтому религия логична» - где я это говорила? Это обсуждалось в ветке, в которой вы высказались в защиту моего оппонента, после чего, видимо, начали спорить не со мной в контексте ветки, а просто так неизвестно с кем.
>Способность к деятельности в области формальной логики и способность логично рассуждать во всех областях есть одна и та же способность. Вот мое утверждение. Вы против? Конечно, против. Как я утверждал чуть выше, «действовать в области формальной логики» без проблем может компьютер, в том числе доказывая теоремы, см. Coq или Agda как примеры современных достижений в области. Кроме того, логически рассуждая, замкнутость и асоциальность аутистов нелогична и вредна им самим. Тем не менее это не мешает им заниматься в том числе формальной логикой. Таким образом, способность решать головоломки под названием «математический ум» вообще никак не связана со способностью к критическому анализу собственных убеждений, чувств и ощущений. Собственно, это же утверждал товарищ terekhov в ветке, в которой мы ведём эту беседу.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2012-01-10 04:35 pm (UTC)Это обсуждалось в ветке, в которой вы высказались в защиту моего оппонента, после чего, видимо, начали спорить не со мной в контексте ветки, а просто так неизвестно с кем.
>Способность к деятельности в области формальной логики и способность логично рассуждать во всех областях есть одна и та же способность. Вот мое утверждение. Вы против?
Конечно, против. Как я утверждал чуть выше, «действовать в области формальной логики» без проблем может компьютер, в том числе доказывая теоремы, см. Coq или Agda как примеры современных достижений в области.
Кроме того, логически рассуждая, замкнутость и асоциальность аутистов нелогична и вредна им самим. Тем не менее это не мешает им заниматься в том числе формальной логикой. Таким образом, способность решать головоломки под названием «математический ум» вообще никак не связана со способностью к критическому анализу собственных убеждений, чувств и ощущений. Собственно, это же утверждал товарищ terekhov в ветке, в которой мы ведём эту беседу.