ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
AUTOR(ES)
SALATIEL, JOSÉ RENATO
FONTE
Manuscrito
DATA DE PUBLICAÇÃO
2022
RESUMO
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward a comprehensive understanding of the formal aspects of Peirce's triadic logic (as he called it). This paper aims to propose a new approach to Peirce's matrices for three-valued propositional logic. We suggested that his logical matrices give rise to three different systems, one of them - which we called P3 - is an original and non-explosive logic. Besides that, we will show that the P3 system can easily be transformed into paraconsistent and paracomplete calculi, adding to it, respectively, unary operators of consistency and intuitionistic negation. We conclude with a discussion about philosophical motivations.
Documentos Relacionados
- NOTE ON C. S. PEIRCE'S EXPERIMENTAL DISCUSSION OF THE LAW OF ERRORS
- Classificações de signos de C.S.Peirce: de ‘On the Logic of Science’ ao ‘Syllabus of Certain Topics of Logic’
- A New Approach for Robust Design Optimization Based on the Concepts of Fuzzy Logic and Preference Function
- Constraint Logic Programming approach to protein structure prediction
- A new approach to parathyroidectomy.