Skip to main content Accessibility help
×
Home
Hostname: page-component-99c86f546-66nw2 Total loading time: 0.228 Render date: 2021-12-01T01:58:45.311Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true, "newUsageEvents": true }

8 - Model Theory and Set Theory

from PART II - THE PARADIGM SHIFT

Published online by Cambridge University Press:  19 January 2018

John T. Baldwin
Affiliation:
University of Illinois, Chicago
Get access

Summary

We chronicle here the divorce of first order model theory from set theory. Recalling Maddy's [Maddy 2007] injunction (page 13) to ‘adjudicate the methodological questions of mathematics – what makes for a good definition,’ we explain this major aspect of the paradigm shift as the decision to choose definitions of model theoretic concepts that reduce the set theoretic overhead. To explore this development we follow the prescription of Thesis 2: connect various local formalizations. That is, we look at formalized set theory ZFC and analyze its use in model theory.

These investigations expand on recent work studying the entanglement of mathematics with set theory [Kennedy 2015, Kennedy 2013, Parsons 2013, Väänänen 2012]. These works, as on page 46, find that the amount of entanglement depends crucially on the logic chosen for formalizing mathematics. Paraphrasing Väänänen [Väänänen 2012], it is very difficult to tell the difference between the second order view (mathematics is the study of higher order properties of structures) and the set theory view (formalizing mathematics in set theory); see Chapters 7.3 and 11. The high entanglement of second order logic with set theory is expressed more precisely by it being symbiotic with the power set [Kennedy 2015]. Parsons’ general theme in [Parsons 2013] is closer to the approach in this chapter. He considers, a bit more generally, logic and mathematics, and argues that the ontological commitments of first order logic are relatively weak. But his argument is not a general metaphysical one. Similarly to Maddy's Second Philosopher he precisely analyzes the commitments within second order arithmetic for specific results in the basic model theory. For example, he points to the fact [Simpson 2009] that the completeness theorem is equivalent to weak König's lemma over RCA0. Analogously we investigate the necessity in contemporary first order and infinitary model theory of specific ZFC techniques or specific axioms. To what extent should, could, or must a model theorist go beyond ZFC?

What are the specific commitments for doing model theory (as opposed to mathematics in general)? We consider six aspects of the interaction of set theory and model theory. In the first section, we describe an apparent close relation between model theory and set theory that was dissolved by the paradigm shift.

Type
Chapter
Information
Model Theory and the Philosophy of Mathematical Practice
Formalization without Foundationalism
, pp. 177 - 200
Publisher: Cambridge University Press
Print publication year: 2018

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Send book to Kindle

To send this book to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • Model Theory and Set Theory
  • John T. Baldwin, University of Illinois, Chicago
  • Book: Model Theory and the Philosophy of Mathematical Practice
  • Online publication: 19 January 2018
  • Chapter DOI: https://doi.org/10.1017/9781316987216.012
Available formats
×

Send book to Dropbox

To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox.

  • Model Theory and Set Theory
  • John T. Baldwin, University of Illinois, Chicago
  • Book: Model Theory and the Philosophy of Mathematical Practice
  • Online publication: 19 January 2018
  • Chapter DOI: https://doi.org/10.1017/9781316987216.012
Available formats
×

Send book to Google Drive

To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive.

  • Model Theory and Set Theory
  • John T. Baldwin, University of Illinois, Chicago
  • Book: Model Theory and the Philosophy of Mathematical Practice
  • Online publication: 19 January 2018
  • Chapter DOI: https://doi.org/10.1017/9781316987216.012
Available formats
×