Top News, Articles, and Interviews in Philosophy

First-order Model Theory

Philosophy News image
[Revised entry by Wilfrid Hodges and Thomas Scanlon on December 10, 2018. Changes to: Main text, Bibliography] First-order model theory, also known as classical model theory, is a branch of mathematics that deals with the relationships between descriptions in first-order languages and the structures that satisfy these descriptions. From one point of view, this is a vibrant area of mathematical research that brings logical methods (in particular the theory of definition) to bear on deep problems of classical mathematics. From another point of view, first-order model theory is...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus