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:
“The ingrained idea that, because there is no king and they despise titles, the Americans are a free people is pathetically untrue.... There is a perpetual interference with personal liberty over there that would not be tolerated in England for a week.”
—Margot Asquith (1864–1945)
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)