South American Journal of Logic 6 (2):163-171 (2020)

Luis Felipe Bartolo Alegre
Universidad Nacional Mayor de San Marcos
Logic systems that can handle contradictions were being used for some time without having a general technical name. One of the main proposers of these systems, Newton da Costa, asked Francisco Miró Quesada to suggest him a name for those systems. In the historical letter that here we translate into English for the first time, Miró Quesada suggests three names to da Costa for this purpose: ‘ultraconsistent’, ‘metaconsistent’, and ‘paraconsistent’; explaining their pros and cons. Paper based on a letter by Francisco Miró Quesada Cantuarias to Newton da Costa, edited, translated, and annotated by Luis Felipe Bartolo Alegre.
Keywords naming logics  inconsistent systems  non-classical logics  heterodox logics  paraconsistent logics
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Fifty Years of Parainconsistent Logics.Jerzy Perzanowski - 1999 - Logic and Logical Philosophy 7:21-24.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Paraconsistency, Self-Extensionality, Modality.Arnon Avron & Anna Zamansky - 2020 - Logic Journal of the IGPL 28 (5):851-880.
The Inapplicability of (Selected) Paraconsistent Logics.Rafal Urbaniak & Paweł Siniło - 2014 - Journal of Applied Non-Classical Logics 24 (4):368-383.
Defining LFIs and LFUs in Extensions of Infectious Logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
Paraconsistent Logic.David Ripley - 2015 - Journal of Philosophical Logic 44 (6):771-780.
Game Theoretical Semantics for Some Non-Classical Logics.Can Başkent - 2016 - Journal of Applied Non-Classical Logics 26 (3):208-239.
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - 1996 - In Wilfrid Hodges (ed.), Logic: Foundations to Applications. Oxford: pp. 1-32.
Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Some Multi-Conclusion Modal Paralogics.Casey McGinnis - 2007 - Logica Universalis 1 (2):335-353.
Maximality and Refutability.Tom Skura - 2004 - Notre Dame Journal of Formal Logic 45 (2):65-72.


Added to PP index

Total views
69 ( #169,847 of 2,533,585 )

Recent downloads (6 months)
16 ( #52,452 of 2,533,585 )

How can I increase my downloads?


My notes