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:
“He who is upright in his way of life and free from sin.”
—Horace [Quintus Horatius Flaccus] (65–8 B.C.)
“We want in every man a long logic; we cannot pardon the absence of it, but it must not be spoken. Logic is the procession or proportionate unfolding of the intuition; but its virtue is as silent method; the moment it would appear as propositions and have a separate value, it is worthless.”
—Ralph Waldo Emerson (1803–1882)