The logical study of science

DOI10.1007/BF00485263MaRDI QIDQ1164615zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1982

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00485263

zbMATH Keywords

eliminability of theoretical termslogical explicationslogical relations between different theoriesmodel-theoretic definabilityphilosophy of sciencescientific theory

Mathematics Subject Classification ID

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

Cites work

• A comparison of the meaning and uses of models in mathematics and the empirical sciences
• 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
• Causality Implies the Lorentz Group
• Finite Axiomatizability using additional predicates
• Generalized net structures of empirical theories. I
• scientific article; zbMATH DE number 3118779 (Why is no real title available?)
• scientific article; zbMATH DE number 3125691 (Why is no real title available?)
• scientific article; zbMATH DE number 3134285 (Why is no real title available?)
• scientific article; zbMATH DE number 3151263 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• scientific article; zbMATH DE number 3623555 (Why is no real title available?)
• scientific article; zbMATH DE number 3624817 (Why is no real title available?)
• scientific article; zbMATH DE number 3637808 (Why is no real title available?)
• scientific article; zbMATH DE number 1329018 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• scientific article; zbMATH DE number 3264890 (Why is no real title available?)
• scientific article; zbMATH DE number 3052782 (Why is no real title available?)
• scientific article; zbMATH DE number 3078474 (Why is no real title available?)
• Kazimierz Ajdukiewicz: The scientific worl-perspective and other essays, 1931-1963
• Ramsey eliminability
• Sentences true in all constructive models
• Some kinds of modal completeness
• 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
• The logical structure of mathematical physics
• The method of analysis. Its geometrical origin and its general significance
• Vagueness, truth and logic

Cited in

(8)

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

Describes a project that uses

Uses Software

• Automath

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

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