In the name of paraconsistency

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