JК
Диалоги (июнь 2003 г.) :: Гордон Александр
Страница: 102 из 340Он не в этом, скорее, критик был, он был критик в том, что нельзя теорему Гёделя экстраполировать в сферы философии или даже в основания математики, она работает только для формально логических систем.
В.Р. Но ведь «Логико-философский трактат», собственно говоря, и был такой формально логической системой. Ведь что такое «Логико-философский трактат»? Как писал Витгенштейн своему другу Людвигу фон Фикеру, «Логико-философский трактат» состоит из двух частей: первая написана, а вторая не написана».
И вот в этом, собственно говоря, предвосхищение теоремы о неполноте. В том, что он писал очень жёстко, даже в каком-то смысле ещё более жёстко, чем Рассел в «Principia Mathematica» – там каждое предложение зарубрицировано, причём, публикация идёт иерархическая: «1.1.1», потом «1.1.2» и так далее. Причём в очень сжатой, конденсированной форме решается глобальнейшая проблема.
Но потом он говорит, что «тот, кто меня поймёт, тот отбросит мои предложения, как бессмысленные, потому что о чём можно говорить, о том нужно говорить ясно, а о чём невозможно говорить – о том просто нужно молчать». И вот, собственно говоря, это соотношение дедуктивности, которая выплёскивается в такую воронку молчания, это я и называю предвосхищением теоремы Гёделя о неполноте.
О.А. Это слишком вольно, на мой взгляд, потому что тогда вообще вся венская традиция – это предвосхищения теоремы Гёделя.
В.Р. Я так и считаю.
О.А. Недописанный роман Музиля, Кафка, который хочет, чтобы его произведения Макс Брод сжёг после его смерти.
В.Р. Но ведь «Логико-философский трактат», собственно говоря, и был такой формально логической системой. Ведь что такое «Логико-философский трактат»? Как писал Витгенштейн своему другу Людвигу фон Фикеру, «Логико-философский трактат» состоит из двух частей: первая написана, а вторая не написана».
И вот в этом, собственно говоря, предвосхищение теоремы о неполноте. В том, что он писал очень жёстко, даже в каком-то смысле ещё более жёстко, чем Рассел в «Principia Mathematica» – там каждое предложение зарубрицировано, причём, публикация идёт иерархическая: «1.1.1», потом «1.1.2» и так далее. Причём в очень сжатой, конденсированной форме решается глобальнейшая проблема.
Но потом он говорит, что «тот, кто меня поймёт, тот отбросит мои предложения, как бессмысленные, потому что о чём можно говорить, о том нужно говорить ясно, а о чём невозможно говорить – о том просто нужно молчать». И вот, собственно говоря, это соотношение дедуктивности, которая выплёскивается в такую воронку молчания, это я и называю предвосхищением теоремы Гёделя о неполноте.
О.А. Это слишком вольно, на мой взгляд, потому что тогда вообще вся венская традиция – это предвосхищения теоремы Гёделя.
В.Р. Я так и считаю.
О.А. Недописанный роман Музиля, Кафка, который хочет, чтобы его произведения Макс Брод сжёг после его смерти.