Free Logic

[Revised entry by John Nolt on June 13, 2014. Changes to: Main text, Bibliography] Classical logic requires each singular term to denote an object in the domain of quantification - which is
Philosophy News image
[Revised entry by John Nolt on June 13, 2014. Changes to: Main text, Bibliography] Classical logic requires each singular term to denote an object in the domain of quantification - which is usually understood as the set of "existing" objects. Free logic does not. Free logic is therefore useful for analyzing discourse containing singular terms that either are or might be empty. A term is empty if it either has no referent or refers to an object outside the domain....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus