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