Суждения существования и воображаемая логика Н.А. Васильева

  • Антонина Викторовна Конькова к.филос.н., старший преподаватель, Московский государственный университет имени М.В. Ломоносова (Москва)
  • Владимир Ильич Маркин д.филос.н., профессор, Московский государственный университет имени М.В. Ломоносова (Москва)
Ключевые слова: суждения существования, воображаемая логика, Николай Васильев, формализованный язык, формальная семантика, аналитические таблицы, разрешающая процедура

Аннотация

В статье предпринимается попытка экспликации суждений воображаемой логики Н.А. Васильева с использованием суждений существования. Под суждением существования в традиционной логике понималось суждение, предикатом которого является термин «существует», а в качестве субъекта выступает некий термин или последовательность терминов. По мнению некоторых предшественников современной логики, суждения существования имеют более фундаментальный статус по сравнению с атрибутивными суждениями, в том смысле, что вторые могут быть редуцированы к первым. В качестве современной реконструкции воображаемой логики в статье рассматривается логика IL, предложенная в работе Т.П. Костюк и В.И. Маркина «Формальная реконструкция воображаемой логики Н.А. Васильева» (1998). На основе анализа текстов Васильева показано, что формальная семантика данной системы вполне соответствует интерпретации суждений воображаемой логики, которую имел в виду сам ее автор. Построен язык, позволяющий осуществлять формальную запись суждений существования для случая, когда с каждым общим термином связываются три экстенсиональные характеристики: не только его объем и антиобъем, но и противоречивая относительно этого термина область. Для данного языка сформулирована семантика, в которой используется тот же класс моделей, что и в логике IL. Задан перевод формул языка IL в этот язык; доказано, что условия истинности суждений воображаемой логики эквивалентны условиям истинности их переводов в «воображаемой» логике суждений существования (логике ILΥ. Последнее означает, что данный перевод погружает IL в ILΥ. Осуществлена аналитико-табличная формализация логики ILΥ. Доказаны метатеоремы о семантической непротиворечивости и полноте. Сформулирована разрешающая процедура, позволяющая решать вопрос о доказуемости или недоказуемости произвольной формулы языка ILΥ методом аналитических таблиц. Данная процедура обеспечивает адекватный алгоритм проверки на валидность любого утверждения (в том числе любого силлогизма) воображаемой логики.

Скачивания

Данные скачивания пока не доступны.
Опубликован
2025-09-28
Как цитировать
Конькова А. В., & Маркин В. И. (2025). Суждения существования и воображаемая логика Н.А. Васильева. Philosophy Journal of the Higher School of Economics, 9(3), 42-66. https://doi.org/10.17323/2587-8719-2025-3-42-66
Раздел
Исследования