Кстати о глубоких исследованиях, которых не было до возникновения оживлённого интереса к неевклидовой геометрии и появления стремления обосновать анализ.
Даже если опустить кучу подробностей, которые связаны в появлением стимулов к обновлению логики, а также все дискуссии и идеи, что ряд логических идей прошлого явно не менее глубоко, чем таблички истинности, то вот интересно, то, что делали Пирс или Буль или Де Морган, например, уже считалось чем-то глубоким логически?
Ладно Пирс, но неужели мы и Буля выпишем из математических математиков, которые математическими методами исследовали математическую логику, которая связана с математическими рассуждениями в математике (азаза)?
Post #17
289
Душный синтаксис Мендельсон, чья книга является настольной у московскоязычных логиков пишет две вещи. Но они вводят в заблуждение. Во-первых, неужели если изучаются «нематематические» рассуждения, то мы имеем дело с какой-то другой, нематематической, логикой, которая не…
- 🌚 2
- 😱 1