Свободная логика
- Свободная логика имеет меньше экзистенциальных предпосылок, чем классическая логика.
- Свободная логика допускает термины, которые не обозначают объекты.
- Свободная логика также допускает модели с пустым доменом, что делает ее инклюзивной логикой.
- Классическая логика имеет теоремы, которые предполагают наличие чего-то в области дискурса.
- В свободной логике заменяются некоторые теоремы, имеющие экзистенциальное значение.
- Аксиоматизация свободной логики была дана различными авторами.
- Карел Ламберт рассматривает свободную логику как теорию о единичном существовании.
- Отказ от концепции свободной логики требует отказа от философии Куайна.
- Свободная логика обеспечивает формализм, который не подразумевает конкретной онтологии.
- Формализация теорий сингулярного существования в свободной логике облегчает анализ их следствий.
Полный текст статьи: