Dual Axiomatics

In Mario Augusto Bunge, Michael R. Matthews, Guillermo M. Denegri, Eduardo L. Ortiz, Heinz W. Droste, Alberto Cordero, Pierre Deleporte, María Manzano, Manuel Crescencio Moreno, Dominique Raynaud, Íñigo Ongay de Felipe, Nicholas Rescher, Richard T. W. Arthur, Rögnvaldur D. Ingthorsson, Evandro Agazzi, Ingvar Johansson, Joseph Agassi, Nimrod Bar-Am, Alberto Cupani, Gustavo E. Romero, Andrés Rivadulla, Art Hobson, Olival Freire Junior, Peter Slezak, Ignacio Morgado-Bernal, Marta Crivos, Leonardo Ivarola, Andreas Pickel, Russell Blackford, Michael Kary, A. Z. Obiedat, Carolina I. García Curilaf, Rafael González del Solar, Luis Marone, Javier Lopez de Casenave, Francisco Yannarella, Mauro A. E. Chaparro, José Geiser Villavicencio- Pulido, Martín Orensanz, Jean-Pierre Marquis, Reinhard Kahle, Ibrahim A. Halloun, José María Gil, Omar Ahmad, Byron Kaldis, Marc Silberstein, Carolina I. García Curilaf, Rafael González del Solar, Javier Lopez de Casenave, Íñigo Ongay de Felipe & Villavicencio-Pulid (eds.), Mario Bunge: A Centenary Festschrift. Springer Verlag. pp. 633-642 (2019)
  Copy   BIBTEX

Abstract

Mario Bunge forcefully argues for Dual Axiomatics, i.e., an axiomatic method applied to natural sciences which explicitly takes into account semantic aspects of the concepts involved in an axiomatization. In this paper we will discuss how dual axiomatics is equally important in mathematics; both historically in Hilbert and Bernays’s conception as well as today in a set-theoretical environment.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-030-16673-1_35

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

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

Through your library

My notes

Similar books and articles

Why Axiomatize?Mario Bunge - 2017 - Foundations of Science 22 (4):695-707.
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.
Axiomatics Without Foundations. On the Model-theoretical Viewpoint In Modern Axiomatics.Johannes Lenhard - 2005 - Philosophia Scientiae 9:97-107.
On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others.Dirk Schlimm - 2011 - Synthese 183 (1):47-68.
Axiomatics and Problematics as Two Modes of Formalisation: Deleuze's Epistemology of Mathematics'.Daniel W. Smith - 2006 - In Simon B. Duffy (ed.), Virtual Mathematics: The Logic of Difference. Clinamen. pp. 145--168.
Carnap’s Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - Vienna Circle Institute Yearbook 16:13-36.
Carnap's Untersuchungen: Logicism, Formal Axiomatics, and Metatheory.Georg Schiemer - 2012 - In R. Creath (ed.), Vienna Circle Institute Yearbook. Springer Verlag. pp. 13--36.
Dual-use decision making: relational and positional issues.Nicholas G. Evans - 2014 - Monash Bioethics Review 32 (3-4):268-283.
Cut-rule axiomatization of the syntactic calculus NL.Wojciech Zielonka - 2000 - Journal of Logic, Language and Information 9 (3):339-352.
Cut-rule axiomatization of the syntactic calculus L.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):339-352.
Hilbert's axiomatic method and Carnap's general axiomatics.Michael Stöltzner - 2015 - Studies in History and Philosophy of Science Part A 53:12-22.
Cut-Rule Axiomatization of the Syntactic Calculus L0.Wojciech Zielonka - 2001 - Journal of Logic, Language and Information 10 (2):233-236.
Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown

Analytics

Added to PP
2020-06-17

Downloads
7 (#1,316,802)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Kahle
University Tübingen

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references