Исходное сообщение
"Французское Национальное собрание одобрило Закон о высшем об..." Отправлено gns, 15-Июл-13 18:03
> Что, вообще от аристотелевой логики отказались? Практически. <i>Не признавая никаких априори обязательных логических принципов, Брауэр тем самым отвергал математическую задачу вывода заключений из аксиом. Следовательно, наряду с логицизмом Брауэр отвергал и аксиоматизацию математики, предпринятую в конце XIX в. Математика отнюдь не обязана почтительно относиться к правилам логики. Знание математики не требует знания формальных доказательств, и поэтому парадоксы несущественны, даже если бы мы приняли те математические понятия и построения, которые приводят к парадоксам. Парадоксы являются дефектом логики, а не собственно математики.</i> http://www.telenir.net/matematika/matematika_utrata_opredele... Ну или вот: "<i>Так, утверждение, начинающееся с квантора существования, означает наличие способа мысленного построения искомого объекта. Дизъюнкция  суждений  и  означает возможность непосредственно указать среди этих суждений верное. С этой точки зрения, суждение вида  может и не быть истинным, если проблема  не решена к настоящему времени. Отсюда видно, что закон исключённого третьего неприемлем в интуиционистской математике в качестве логического принципа.</i>" http://ru.wikipedia.org/wiki/%D0%98%D0%B...