Unification of Mathematical Theories

Author: Wójtowicz Krzysztof  

Publisher: Springer Publishing Company

ISSN: 1233-1821

Source: Foundations of Science, Vol.3, Iss.2, 1998-11, pp. : 207-229

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

In this article the problem of unification of mathematical theories is discussed. We argue, that specific problems arise here, which are quite different than the problems in the case of empirical sciences. In particular, the notion of unification depends on the philosophical standpoint. We give an analysis of the notion of unification from the point of view of formalism, Gödel's platonism and Quine's realism. In particular we show, that the concept of “having the same object of study” should be made precise in the case of mathematical theories. In the appendix we give a working proposal of a certain understanding of this notion.