|Abstract||The aim of this paper is two-fold: (1) To contribute to a better knowledge of the method of the Argentinean mathematicians Lia Oubifia and Jorge Bosch to formulate category theory independently of set theory. This method suggests a new ontology of mathematical objects, and has a profound philosophical significance (the underlying logic of the resulting category theory is classical iirst—order predicate calculus with equality). (2) To show in outline how the Oubina-Bosch theory can be modified to give rise to a strong paraconsistent category theory; strong enough to be taken as the basis for a paraconsistent mathematics which encompasses all classical mathematical results|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
F. A. Muller (2001). Sets, Classes, and Categories. British Journal for the Philosophy of Science 52 (3):539-573.
Jean-Pierre Marquis (1995). Category Theory and the Foundations of Mathematics: Philosophical Excavations. Synthese 103 (3):421 - 447.
Graham Priest (1991). Minimally Inconsistent LP. Studia Logica 50 (2):321 - 331.
Elaine Landry & Jean-Pierre Marquis (2005). Categories in Context: Historical, Foundational, and Philosophical. Philosophia Mathematica 13 (1):1-43.
Elias H. Alves (1984). Paraconsistent Logic and Model Theory. Studia Logica 43 (1-2):17 - 32.
Elaine Landry (1999). Category Theory: The Language of Mathematics. Philosophy of Science 66 (3):27.
Makmiller Pedroso (2009). On Three Arguments Against Categorical Structuralism. Synthese 170 (1):21 - 31.
Added to index2009-02-09
Total downloads72 ( #11,673 of 549,087 )
Recent downloads (6 months)1 ( #63,317 of 549,087 )
How can I increase my downloads?