Душный синтаксис
Мендельсон, чья книга является настольной у московскоязычных логиков пишет две вещи. Но они вводят в заблуждение. Во-первых, неужели если изучаются «нематематические» рассуждения, то мы имеем дело с какой-то другой, нематематической, логикой, которая не…
Открываем русскоязычную книгу по матлогике и видим аналогичную картину.
А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
🥰2
Душный синтаксис
Открываем русскоязычную книгу по матлогике и видим аналогичную картину. А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
Но первая часть это хорошо, уже ближе к Карри и более адекватно, менее притязательно и узурпаторски
Душный синтаксис
Открываем русскоязычную книгу по матлогике и видим аналогичную картину. А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
Хочу обратить внимание вновь на то, что рассуждение в духе «Всякий человек, если настанет гололёд, будет падать, а потому если настанет гололёд, всякий человек будет падать», соответствующее аксиоме пронесения квантора, не является «математическим»
Душный синтаксис
Открываем русскоязычную книгу по матлогике и видим аналогичную картину. А я думал, что у математиков всё чотка, а это философы чего-то там спекулируют)
Можно определить математическое рассуждение как рассуждение математика о рассуждении. Тогда этот абзац, где в конце есть своего рода ‘therefore’, можно рассмотреть как рассуждение.
Кстати, оно так себе
Кстати, оно так себе