Outline of a Paraconsistent Category Theory
| 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) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
|
| Through your library | Only published papers are available at libraries |
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.
Monthly downloads |
Added to index2009-02-09Total downloads72 ( #11,673 of 549,087 )Recent downloads (6 months)1 ( #63,317 of 549,087 )How can I increase my downloads? |

