Concept

Free logic

Overview

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.

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Free logic

• Bas van Fraassen

Related ideas

• First-order logic
• Jaakko Hintikka
• Wesley C. Salmon
• Domain of discourse
• Willard Van Orman Quine
• Structure (mathematical logic)
• Bertrand Russell
• Logic
• Classical logic
• Axiom

Place in the tradition

Part of Existence.

Explore Free logic in the interactive graph →