The logic of empirical theories revisited

DOI10.1007/s11229-011-9916-6zbMath1275.03076OpenAlexW2129102552MaRDI QIDQ383008

J. F. A. K. van Benthem

Publication date: 25 November 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-011-9916-6

zbMATH Keywords

model theorydynamic logiccomputationformal languageagencytheory structure

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10)

Related Items (5)

Some model-theoretic remarks on the Ramsey sentence, with a closer look at Ketland's argument ⋮ Satisfiability in a Temporal Multi-valueted Logic Based on Z ⋮ Adding logic to the toolbox of molecular biology ⋮ Structures of logic in policy and theory: identifying sub-systemic bricks for investigating, building, and understanding conceptual systems ⋮ Textual theory and complex belief systems: topological theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Artificial languages across sciences and civilizations
• Abductive reasoning. Logical investigations into discovery and explanation
• A dynamic-logical perspective on quantum behavior
• Explaining games. The epistemic programme in game theory
• Keep `hoping' for rationality: a solution to the backward induction paradox
• Possible worlds semantics: a research program that cannot fail?
• A mathematical characterization of interpretation between theories
• Circumscription - a form of non-monotonic reasoning
• The logical study of science
• A non-classical logic for physics
• Four paradoxes
• Ramsey eliminability
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Probabilistic logics and probabilistic networks
• Categorical quantum mechanics
• Logical Dynamics of Information and Interaction
• Finite Axiomatizability using additional predicates
• Module algebra
• Handbook of Spatial Logics
• When Empirical Success Implies Theoretical Reference: A Structural Correspondence Theorem
• Dynamic logic for belief revision
• Toward a Dynamic Logic of Questions
• Can Doxastic Agents Learn? On the Temporal Structure of Learning
• POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
• Empirical Adequacy and Ramsification
• The use of generalized functions and distributions in general relativity
• The logical structure of mathematical physics

This page was built for publication: The logic of empirical theories revisited