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

DOI10.1007/S11229-008-9355-1MaRDI QIDQ1024117zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• The Craig interpolation theorem in abstract model theory
• Harmonious logic: Craig's interpolation theorem and its descendants
• scientific article; zbMATH DE number 3841826
• Publication:4942675
• Interpolation in extensions of first-order logic

Cites work

• scientific article; zbMATH DE number 1329029 (Why is no real title available?)
• scientific article; zbMATH DE number 3237807 (Why is no real title available?)
• Conventionalism and Modern Physics: A Re-Assessment
• Empirical Adequacy and Ramsification
• Finite Axiomatizability using additional predicates
• On the Rational Reconstruction of our Theoretical Knowledge
• Ramsey eliminability
• Rudolf Carnap, logical empiricist
• Rudolf Carnap, logical empiricist. Materials and perspectives
• What languages have Tarski truth definitions?

Cited in

(7)

• Carnap's Ramseyfications defended
• More on Putnam's models: a reply to Bellotti
• scientific article; zbMATH DE number 1086486 (Why is no real title available?)
• On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
• Armchair philosophy naturalized
• Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives
• Realism and empirical equivalence

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

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