Abstract
Self-deductibility is the Stoic version of the law of identity : if A, then A. After a discussion on its role, we suggest a natural system of axioms and rules for a logic in which this law is not valid, based on a simple model where proofs are families of strictly injective maps. Finally we develop some general theory of taxonomies (i.e. “categories without identities”) and place this particular example into a more general algebraic picture.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pierre Ageron, Structure des logiques et logique des structures: logiques, catégories, esquisses, thèse de doctorate, Université Paris 7, 1991
Pierre Ageron, Effective taxonomies and crossed taxonomies, Cahiers de topologie et de géométrie différentielle catégoriques XXXVII (1996), 82–90
Richard Dedekind, Was sind und was sollen die Zahlen ?, Vieweg, Braunschweig, 1888
Décio Krause and Jean-Yves Béziau, Relativizations of the principle of identity, Logic Journal of the Interest Group in Pure and Applied Logic 5 (1997), 327–338
Joachim Lambek, Deductive systems and categories. I: Syntactic calculus and residuated categories, Mathematical System Theory 2 (1968), 287–318
F. William Lawvere, Some thoughts on the future of category theory, in: Category Theory, Proceedings of the International Conference (Como, 1990), Lectures Notes in Mathematics 1488, Springer, Heidelberg-New York-Berlin, 1991, 1–13
Marie-Anne Moens, Ugo Berni-Catani and Francis Borceux, On regular presheaves and regular semicategories, Cahiers de topologie et de géométrie différentielle catégoriques XLIII (2002) 163–190
Charles Peirce, On the algebra of logic: a contribution to the philosophy of notation, American Journal of Mathematics 7 (1885), 180–202
Isar Stubbe, Categorical structures enriched in a quantaloid: categories and semicategories, dissertation doctorate, Universitü catholique de Louvain-la-Neuve, 2003
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Birkhäuser Verlag Basel/Switzerland
About this paper
Cite this paper
Ageron, P. (2005). Logic without Self-Deductibility. In: Beziau, JY. (eds) Logica Universalis. Birkhäuser Basel. https://doi.org/10.1007/3-7643-7304-0_5
Download citation
DOI: https://doi.org/10.1007/3-7643-7304-0_5
Publisher Name: Birkhäuser Basel
Print ISBN: 978-3-7643-7259-0
Online ISBN: 978-3-7643-7304-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)