Top News, Articles, and Interviews in Philosophy

Church’s Type Theory

Philosophy News image
[Revised entry by Christoph Benzmüller and Peter Andrews on May 21, 2019. Changes to: Main text, Bibliography, notes.html] Church's type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics of natural language. When...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus