Введение
Форма логики
Свободная логика – это логика, содержащая меньше экзистенциальных предпосылок, чем классическая логика. В свободных логиках допускаются термины, которые не обозначают ни один объект. Свободные логики также могут допускать модели с пустым областью определения. Свободная логика, обладающая последним свойством, называется инклюзивной логикой.
A free logic is a logic with fewer existential presuppositions than classical logic. Free logics may allow for terms that do not denote any object. Free logics may also allow models that have an empty domain. A free logic with the latter property is an inclusive logic.
Интерпретация
Карел Ламберт в 1967 году писал: "Фактически, свободную логику можно рассматривать буквально как теорию об индивидуальном существовании, в том смысле, что она устанавливает определенные минимальные условия для этого понятия". Вопрос, который рассматривался в остальной части его статьи, заключался в описании этой теории и исследовании того, предоставляет ли она необходимое и достаточное условие для высказываний о существовании. Ламберт отмечает иронию в том, что Уиллард Ван Орман Куайн так рьяно защищал форму логики, которая лишь согласуется с его знаменитой сентенцией "Быть – значит быть значением переменной", когда эта логика дополняется расселлианскими предположениями теории описаний. Он критикует этот подход, поскольку он вкладывает слишком много идеологии в логику, которая должна быть философски нейтральной. Скорее, он указывает, что свободная логика не только удовлетворяет критерию Куайна – она даже доказывает его! Это достигается грубой силой, поскольку он принимает в качестве аксиом и , что аккуратно формализует диктат Куайна. Таким образом, Ламберт утверждает, что для того, чтобы отвергнуть его построение свободной логики, необходимо отвергнуть философию Куайна, что требует аргументации и также означает, что любая разрабатываемая вами логика всегда сопровождается оговоркой о необходимости отвергнуть Куайна для ее принятия. Аналогично, если вы отвергаете Куайна, то вы должны отвергнуть свободную логику. В этом и заключается вклад свободной логики в онтологию. Однако цель свободной логики состоит в том, чтобы иметь формализм, который не подразумевает какой-либо конкретной онтологии, а лишь делает интерпретацию Куайна формально возможной и простой. Преимущество этого заключается в том, что формализация теорий об индивидуальном существовании в свободной логике выявляет их следствия для облегчения анализа. Ламберт приводит в пример теорию, предложенную Уэсли С. Салмоном и Джорджем Нахкникианом, согласно которой существовать – значит быть тождественным самому себе.