schwalbeman's Journal

Логический фатализм и логический солипсизм

Благодаря доброму

blackimola@lj я вновь обрел книжицу, которую очень любил, с которой расстался более пятнадцати лет назад, и по которой очень скучал. Это «Фатализм будущего. Логический анализ» А. С. Карпенко, труд, благодаря которому я, наверное, одним из немногих студентов-математиков моего потока, знал, что кроме математической логики есть еще другая, причем тоже заслуживающая уважения. До прошлой недели я в последний раз открывал эту книжку еще фактически подростком, и все, что мне удалось пронести за эти годы, свелось к формулировке тезиса логического фатализма, и смутному ощущению чуда: основы основ оказались многократно сложнее, чем выглядели, и это было прекрасно. Очень хорошо помню, как напряженно я думал тогда над вопросом, казавшимся мне необычайно важным: основой чего является логика: мироздания или человеческого разума? С горечью я обнаружил тогда, что прямого и ясного ответа не дают ни книги, ни уважаемые и образованные люди, а потом вопрос, выражаясь языком диалектики, «снялся». Как ответил один инженер на вопрос «что такое интеграл?», «я сначала не знал, а потом привык» (сейчас я могу выбирать между несколькими весьма авторитетными мнениями по данному вопросу, но ответы уже совершенно не радуют, возможно, именно ввиду своей многочисленности).( Читать далее )