The logical study of science

DOI10.1007/BF00485263zbMath0486.03007MaRDI QIDQ1164615

J. F. A. K. van Benthem

Publication date: 1982

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

philosophy of sciencescientific theoryeliminability of theoretical termslogical explicationslogical relations between different theoriesmodel-theoretic definability

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Interpolation, preservation, definability (03C40)

Related Items (8)

Alternative Semantics for Normative Reasoning with an Application to Regret and Responsibility ⋮ Elementary categorial logic, predicates of variable degree, and theory of quantity ⋮ The logic of empirical theories revisited ⋮ From compositional to systematic semantics ⋮ Finite-Variable Logics Do Not Have Weak Beth Definability Property ⋮ An axiomatization for until and since over the reals without the IRR rule ⋮ Logic in general philosophy of science: Old things and new things ⋮ Logical semantics as an empirical science

Uses Software

• Automath

Cites Work

• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• The concept of a proposition in classical and quantum physics
• Some kinds of modal completeness
• Vagueness, truth and logic
• The method of analysis. Its geometrical origin and its general significance
• A set theoretic versus a model theoretic approach to the logical structure of physical theories. Some comments on J. Sneed's The logical structure of mathematical physics. With discussions by Ryszard Wojcicki, Jozef Misiek and Edmund Skarzynski
• Kazimierz Ajdukiewicz: The scientific worl-perspective and other essays, 1931-1963
• Generalized net structures of empirical theories. I
• Ramsey eliminability
• A comparison of the meaning and uses of models in mathematics and the empirical sciences
• Finite Axiomatizability using additional predicates
• Sentences true in all constructive models
• Causality Implies the Lorentz Group
• The logical structure of mathematical physics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The logical study of science