Some remarks on the bearing of model theory on the theory of theories

DOI10.1007/S11229-008-9355-1zbMath1169.03005OpenAlexW2057923130MaRDI QIDQ1024117

William Demopoulos

Publication date: 16 June 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9355-1

zbMATH Keywords

structuralismRamsey sentenceCarnap sentenceCraig interpolation lemmaCraig transcriptiontheoretical analyticity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Interpolation, preservation, definability (03C40) Other classical first-order model theory (03C68)

Cites Work

• Unnamed Item
• Unnamed Item
• What languages have Tarski truth definitions?
• Rudolf Carnap, logical empiricist. Materials and perspectives
• Ramsey eliminability
• Rudolf Carnap, logical empiricist
• Finite Axiomatizability using additional predicates
• Conventionalism and Modern Physics: A Re-Assessment
• On the Rational Reconstruction of our Theoretical Knowledge
• Empirical Adequacy and Ramsification

Related Items (5)

On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) ⋮ More on Putnam's models: a reply to Bellotti ⋮ Carnap's Ramseyfications defended ⋮ Armchair philosophy naturalized ⋮ Realism and empirical equivalence

This page was built for publication: Some remarks on the bearing of model theory on the theory of theories