In the previous chapter, we presented the syntactical notions pertaining to first-order theories. However, in general, mathematical theories are not developed syntactically. There is, of course, one serious exception to this: essentially, due to its foundational nature, axiomatic set theory is developed syntactically. Since set theory is needed for proving independence results, the syntactical approach is quite important for mathematics. In this chapter we give the semantics of first-order languages to connect the syntactical description of a theory with the setting in which a mathematical theory is generally developed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2008). Semantics of First-Order Languages. In: A Course on Mathematical Logic. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-0-387-76277-7_2
Download citation
DOI: https://doi.org/10.1007/978-0-387-76277-7_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-76275-3
Online ISBN: 978-0-387-76277-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)