Войти
Свободная логика является логикой с меньшим количеством экзистенциальных предпосылками, чем классическая логика. Свободная логика может допускать термины, не обозначающие какой-либо объект. Бесплатная логика также может допускать модели с пустым доменом. Свободная логика с последним свойством является инклюзивной логикой.
В классической логике есть теоремы, которые явно предполагают, что что-то есть в области дискурса. Рассмотрим следующие классически справедливые теоремы.
Действующая схема теории равенства, которая демонстрирует ту же особенность, - это
Неформально, если F равно '= y', G равно 'Пегасу', и мы заменяем y на 'Пегас', то (4), кажется, позволяет нам сделать вывод из 'все, что идентично Пегасу, есть Пегас', что нечто идентично Пегас. Проблема возникает из-за замены переменных не обозначающими константами: на самом деле мы не можем сделать это в стандартных формулировках логики первого порядка, так как нет неотмеченных констант. Классически ∃x (x = y) выводится из открытой аксиомы равенства y = y путем конкретизации (т.е. (3) выше).
В свободной логике (1) заменяется на
Аналогичные модификации вносятся в другие теоремы с экзистенциальным значением (например, Правило конкретизации становится (Ar → (E! R → ∃xAx)).
Аксиоматизацию свободной логики дали Теодор Хайлперин (1957), Яакко Хинтикка (1959), Карел Ламберт (1967) и Ричард Л. Мендельсон (1989).
Карел Ламберт писал в 1967 году: «Фактически, можно рассматривать свободную логику... буквально как теорию единичного существования в том смысле, что она устанавливает определенные минимальные условия для этой концепции». Вопрос, который касался остальной части его статьи, был тогда описанием теории и выяснением, дает ли она необходимое и достаточное условие для утверждений о существовании.
Ламберт отмечает иронию в том, что Уиллард Ван Орман Куайн столь энергично защищал форму логики, которая приспособлена только к его знаменитому изречению «Быть - значит быть значением переменной», когда логика дополняется расселловскими допущениями теории описания. Он критикует этот подход, потому что он вкладывает слишком много идеологии в логику, которая должна быть философски нейтральной. Скорее, указывает он, свободная логика не только обеспечивает критерий Куайна, но даже доказывает его! Однако это делается с помощью грубой силы, поскольку он принимает в качестве аксиом и, что аккуратно формализует изречение Куайна. Итак, утверждает Ламберт, чтобы отвергнуть его конструкцию свободной логики, вы должны отвергнуть философию Куайна, что требует некоторых аргументов, а также означает, что любая логика, которую вы разрабатываете, всегда сопровождается условием, что вы должны отвергнуть Куайна, чтобы принять эту логику. Точно так же, если вы отвергаете Куайна, вы должны отвергать свободную логику. Это составляет вклад, который свободная логика вносит в онтологию.
Однако суть свободной логики состоит в том, чтобы иметь формализм, который не предполагает какой-либо конкретной онтологии, а просто делает интерпретацию Куайна формально возможной и простой. Преимущество этого состоит в том, что формализация теорий сингулярного существования в свободной логике выявляет их следствия для облегчения анализа. Ламберт берет в пример теорию, предложенную Уэсли С. Салмоном и Джорджем Накникяном, согласно которой существование означает быть самотождественным.
