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

DOI10.1007/S11229-008-9355-1zbMATH Open1169.03005OpenAlexW2057923130MaRDI QIDQ1024117FDOQ1024117

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

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

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

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

Cited In (7)

• Carnap's Ramseyfications defended
• More on Putnam's models: a reply to Bellotti
• Title not available (Why is that?)
• 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)