What is the axiomatic method?

DOI10.1007/S11229-009-9668-8MaRDI QIDQ408327zbMATH OpenOpenAlexFDO

Authors Jaakko Hintikka

Publication date 5 April 2012

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-009-9668-8

zbMATH Keywords

axiomatic methodinformationcompletenessset theorylogical consequence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Methodology of mathematics (00A35)

Recommendations

• The axiomatic method in theory and in practice
• On the constructive axiomatic method
• Axioms as definitions: revisiting Poincaré and Hilbert
• What is Required of a Foundation for Mathematics?
• scientific article; zbMATH DE number 2216774

Cites work

• scientific article; zbMATH DE number 5910684 (Why is no real title available?)
• scientific article; zbMATH DE number 3134285 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 833166 (Why is no real title available?)
• scientific article; zbMATH DE number 972408 (Why is no real title available?)
• scientific article; zbMATH DE number 3045762 (Why is no real title available?)
• Behavioral criteria of radical translation
• Ernst Zermelo. An approach to his life and work. In cooperation with Volker Peckhaus
• IF-logic and truth-definition
• Independence-friendly logic and axiomatic set theory
• Post-Tarskian truth
• The Architecture of Mathematics
• The artist and the mathematician. The story of Nicolas Bourbaki, the genius mathematician who never existed
• Truth, negation and other basic notions of logic

Cited in

(6)

• What are implicit definitions?
• Carnap's \textit{Untersuchungen}: logicism, formal axiomatics, and metatheory
• The axiomatic method in theory and in practice
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• On the constructive axiomatic method
• Hilbert, duality, and the geometrical roots of model theory

This page was built for publication: What is the axiomatic method?

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