Outline of a Paraconsistent Category Theory
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||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Sets, Classes, and Categories.F. A. Muller - 2001 - British Journal for the Philosophy of Science 52 (3):539-573.
Category Theory and the Foundations of Mathematics: Philosophical Excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
Categories in Context: Historical, Foundational, and Philosophical.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
Review of Giandomenico Sica (Ed.) What is Category Theory? Polimetrica, 2006. [REVIEW]John Symons - unknown
Category Theory: The Language of Mathematics.Elaine Landry - 1999 - Philosophy of Science 66 (3):27.
On Three Arguments Against Categorical Structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.
Added to index2009-02-09
Total downloads957 ( #784 of 2,169,644 )
Recent downloads (6 months)6 ( #49,588 of 2,169,644 )
How can I increase my downloads?