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.
Read more about Free Logic: Explanation, Interpretation
Famous quotes containing the words free and/or logic:
“Poor shad! where is thy redress? When Nature gave thee instinct, gave she thee the heart to bear thy fate? Still wandering the sea in thy scaly armor to inquire humbly at the mouths of rivers if man has perchance left them free for thee to enter.”
—Henry David Thoreau (1817–1862)
“Somebody who should have been born
is gone.
Yes, woman, such logic will lead
to loss without death. Or say what you meant,
you coward . . . this baby that I bleed.”
—Anne Sexton (1928–1974)