Axiomatization and models of scientific theories

DOI10.1007/s10699-011-9226-yzbMath1259.03015OpenAlexW2089938298MaRDI QIDQ429827

Décio Krause, Fernando T. F. Moraes, Jonas Rafael Becker Arenhart

Publication date: 20 June 2012

Published in: Foundations of Science (Search for Journal in Brave)

Full work available at URL: http://philsci-archive.pitt.edu/5563/1/Models.pdf

zbMATH Keywords

formal languagesaxiomatization of scientific theoriesmodels of scientific theoriessemantic approachset-theoretical predicates

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10)

Related Items (2)

Ontological frameworks for scientific theories ⋮ A discussion on quantum non-individuality

Cites Work

• A logic road from special relativity to general relativity
• Remarks on the theory of quasi-sets
• Physics, inconsistency, and quasi-truth
• Definability and invariance
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• All operators on a Hilbert space are bounded
• On supernormal Ehresmann-Dedecker universes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Axiomatization and models of scientific theories