Philosophy and model theory

DOI10.1093/OSO/9780198790396.001.0001zbMATH Open1384.03001OpenAlexW2794786258MaRDI QIDQ4610152FDOQ4610152

Authors: Tim Button, Sean Walsh 

Publication date: 5 April 2018

Full work available at URL: https://discovery.ucl.ac.uk/id/eprint/10137288/

Recommendations

• A Course on Basic Model Theory
• Beyond first order model theory
• scientific article; zbMATH DE number 1237866
• Some uses of logic in rigorous philosophy
• scientific article; zbMATH DE number 3933024

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Applications of model theory (03C98)

Cited In (31)

• Troubles with the Canberra plan
• A step towards absolute versions of metamathematical results
• Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems
• Bicontextualism
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• THE POTENTIAL IN FREGE’S THEOREM
• Conceptual orthospaces -- convexity meets negation
• Fibered universal algebra for first-order logics
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Set theory and the analyst
• RAMSIFICATION AND SEMANTIC INDETERMINACY
• Reflective mereology
• Proofs and Models in Philosophical Logic
• Logic as a methodological discipline
• INTERPRETATION, LOGIC AND PHILOSOPHY: JEAN NICOD’S GEOMETRY IN THE SENSIBLE WORLD
• Andrzej Mostowski and the notion of a model
• LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY
• LEVEL THEORY, PART 3: A BOOLEAN ALGEBRA OF SETS ARRANGED IN WELL-ORDERED LEVELS
• Grounding, quantifiers, and paradoxes
• Beyond linguistic interpretation in theory comparison
• On Morita equivalence and interpretability
• AGAINST CUMULATIVE TYPE THEORY
• How to count structure
• Internal categoricity, truth and determinacy
• A.D. Taimanov and model theory in Kazakhstan
• Rescuing implicit definition from abstractionism
• Structural relativity and informal rigour
• The Thomsen-Bachmann correspondence in metric geometry. I
• The Thomsen-Bachmann correspondence in metric geometry. II
• Hierarchical multiverse of sets
• On the virtue of categoricity

This page was built for publication: Philosophy and model theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4610152)