Top News, Articles, and Interviews in Philosophy

Independence Friendly Logic

Philosophy News image
[Revised entry by Tero Tulenheimo on August 24, 2018. Changes to: Main text, Bibliography, notes.html] Independence friendly logic (IF logic, IF first-order logic) is an extension of first-order logic. In it, more quantifier dependencies and independencies can be expressed than in first-order logic. Its quantifiers range over individuals only; semantically IF first-order logic, however, has the same expressive power as existential second-order logic. IF logic lacks certain metaproperties that first-order logic has (axiomatizability, Tarski-type semantics). On the other hand, IF logic admits a self-applied truth-predicate -...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus