Why Axiomatize?

Foundations of Science 22 (4):695-707 (2017)
  Copy   BIBTEX

Abstract

Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert. The aims of this paper are to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning of the key concepts; and to suggest that every instance of dual axiomatics presupposes some philosophical view or other. To illustrate these points, a theory of solidarity will be crafted and axiomatized, and certain controversies in both classical and quantum physics, as well as in the philosophy of mind, will be briefly discussed. The upshot of this paper is that dual axiomatics, unlike the purely formal axiomatics favored by the structuralists school, is not a luxury but a tool helping resolve some scientific controversies.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatics and progress in the light of 20th century philosophy of science and mathematics.Dirk Schlimm - 2006 - In Benedikt Löwe, Volker Peckhaus & T. Rasch (eds.), Foundations of the Formal Sciences IV. College Publications. pp. 233–253.
Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics.Johannes Lenhard - 2005 - Philosophia Scientiae 9 (2: Aperçus philosophiques en log):97-107.
Philosophy as Total Axiomatics: Serious Metaphysics, Scrutability Bases, and Aesthetic Evaluation.Uriah Kriegel - 2016 - Journal of the American Philosophical Association 2 (2):272-290.
Quantum Mechanics as a Dynamic Construction.Yuri A. Rylov - 1998 - Foundations of Physics 28 (2):245-272.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.
Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
Hilbert's Axiomatics as ‘Symbolic Form’?Rossella Lupacchini - 2014 - Perspectives on Science 22 (1):1-34.
On Axiomatization of Łukasiewicz's Four-Valued Modal Logic.Marcin Tkaczyk - 2011 - Logic and Logical Philosophy 20 (3):215-232.

Analytics

Added to PP
2016-04-05

Downloads
87 (#195,524)

6 months
10 (#272,956)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Mario Bunge
Last affiliation: McGill University

Citations of this work

Présentation. Mεtascience et l’alternative Bunge.François Maurice - 2020 - Mεtascience: Discours Général Scientifique 1:5-14.

Add more citations

References found in this work

The logical structure of mathematical physics.C. A. Hooker - 1975 - Tijdschrift Voor Filosofie 37 (1):151-152.
Naive Set Theory.Paul R. Halmos & Patrick Suppes - 1961 - Synthese 13 (1):86-87.

View all 17 references / Add more references