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:
“You want to be free and break new ground, speak your mind, fear no man, have the neighbours acknowledge that you’re a good man; and at the same time you want to be a success, make money, join the country club, get the votes and kick the other man in the teeth and off the ladder.”
—Christina Stead (1902–1983)
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)