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.
|Title of host publication||Mario Bunge: A Centenary Festschrift|
|Editors||M. R. Matthews|
|Place of Publication||Cham|
|Publication status||Published - 2019|