Паранепротиворечивая математика

[mp_gratchev]

В 2007 г. на философском факультете МГУ будут проходить следующие научные конференции:
...
Философия математики: актуальные проблемы; принятые тезисы (формат PDF)
http://www.philos.msu.ru/fac/dep/scient/confdpt/2007/theses/index.html

В.А. Бажанов. Стандартные и нестандартные подходы в философии математики

[10. В связи с возникновением

Comments

[leto12]

Уважаемый М.Грачев, все-таки хотелось бы мне узнать Ваше мнение насчет философии - наука она или искусство? Или догматика, вроде теологии? Или их паранепротиворечивое трансцендентальное триединство? ;)

[mp_gratchev]

"Уважаемый М.Грачев, все-таки хотелось бы мне узнать Ваше мнение насчет философии - наука она или искусство? "

Если условно разделить методологию разрешения жизненных проблем человека на науку и искусство, то философия несомненно окажется на пересечении обеих этих форм. Поэтому я не стал бы противопоставлять научные аспекты философского знания искусству как творческому постижению мира на основе самостоятельно выработанных в течении жизни методологических подходов к предмету своей деятельности или в результате обучения у мастеров своего дела.

Что касается паранепротиворечивости, то это достаточно узкая область современной логической науки. И если В.А. Бажанов расширительно распространяет паранепротиворечивость на математику, то делает он это в пределах логического формализма и без того используемого в математике.

[leto12]

Если условно разделить методологию разрешения жизненных проблем человека на науку и искусство, то философия несомненно окажется на пересечении обеих этих форм.

Лето: Вы забыли еще про догматику. :) Чем не метод решения проблем? По моему скромному мнению, он процветает в философии... Это я про трансцендентальное - постижимое разумом, но не доступное рассудку. Или может быть, я чего-то недопонимаю? Не могли бы Вы популярно объяснить мне разницу между трансцендентальным и догматическим?

Что касается паранепротиворечивости, то это достаточно узкая область современной логической науки. И если В.А. Бажанов расширительно распространяет паранепротиворечивость на математику, то делает он это в пределах логического формализма и без того используемого в математике.

Лето: А мне нравится понятие паранепротиворечивости. Чем-то оно напоминает свободу совести. :)

[mp_gratchev]

Лето: Вы забыли еще про догматику. :)

Догматика - это уже не метод, а стиль.

[leto12]

Извиняюсь, метод. Метод веры. В отличие от рационального метода. Так надо ли верить в трансцендентальное?