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)

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)

Cites work

• 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?)
• 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
• 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)

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

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)