Формальная философия – 36

25 апреля состоялось 36-е заседание научно-теоретического семинара «Формальная философия». Паоло Валоре (Миланский университет) выступил с докладом «Критика стандартной концепции онтологических обязательств: затруднения квантификационного подхода».

Под стандартной концепцией онтологических обязательств подразумевается концепция Уилларда Куайна, согласно которой, источником онтологии (то есть представления о том, из каких объектов состоит действительность) должны служить «лучшие» современные научные теории, рассмотренные с точки зрения «критерия Куайна». Этот критерий предназначен для выявления того, существование каких объектов постулирует теория: объект считается существующим, если при переводе теории на язык логики предикатов первого порядка он оказывается значением квантифицированной переменной.

В докладе Паоло Валоре показано, что использование этого критерия сталкивается с рядом трудностей. Среди них в первую очередь следует указать на отсутствие объективного (независимого от собственных метафизических предпочтений философа) способа перевода предложений рассматриваемой теории на язык логики. Использование кванторов в логических формулах зависит от перефразировки, которой философ подвергает исходные естественно-языковые предложения теории.

Можно предположить, что предпочтение, отдаваемое тому или иному варианту, должно основываться на определенных критериях, предъявляемых к построению философской онтологии. Например, в качестве подобных критериев может предлагаться экономичность («онтологическая парсимония») и простота. Однако наделение приоритетом одного из критериев также можно считать произвольным, а их совокупное применение невозможно. Так, упомянутые критерии экономичности и простоты противоречат друг другу: с точки зрения первого предпочтителен номинализм (отказ от постулирования существования абстрактных объектов), а с точки зрения второго — реализм (понимаемый как утверждение существования абстрактных объектов).

Вывод Паоло Валоре сформулирован в виде лозунга: «Метафизика, добро пожаловать назад!». Любая онтология при критическом рассмотрении оказывается основанной на метафизике, под которой Паоло Валоре подразумевает базовые мотивы, в силу которых философ отдает предпочтение той или иной онтологической картине.