.
Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
.
Vol. 1(8), 2001 (Section Logic)
.
On a Problem of da Costa
.
João Marcos
Personal web-page
.
Revised Version: September 26th, 2005
.
 
Previous Versions:
Posted: December, 02nd 2001   [PDF]    [PS]

Publication Information
The final version of this paper is published as:
.
João Marcos, In: Giandomenico Sica, editor, Essays on the Foundations of Mathematics and Logic, v. 2, pp. 53-69. Monza: Polimetrica, 2005.

.
Abstract
.
The two founders of paraconsistent logic, Stanislaw Jaskowski and Newton da Costa, built their systems on different grounds.  Starting from different projects, they used different tools and ultimately designed quite different calculi to attend their needs.  How sucessful were their enterprises?  Here we discuss the problem of defining paraconsistent logics following the original instructions laid down by da Costa.  We present a new approach to P1, the first full solution –proposed by A. M. Sette– to the problem of da Costa, and argue in favor of yet another solution we shall introduce here:  the logic P2.
.
.
.
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE
Last Update: October, 14th, 2005
Problems, sugestions and questions about this site?
Contact: emerson@cle.unicamp.br