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:
“Do we call this the land of the free? What is it to be free from King George and continue the slaves of King Prejudice? What is it to be born free and not to live free? What is the value of any political freedom, but as a means to moral freedom? Is it a freedom to be slaves, or a freedom to be free, of which we boast?”
—Henry David Thoreau (1817–1862)
“There is no morality by instinct.... There is no social salvation—in the end—without taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (1879–1944)