Abstract
http://dx.doi.org/10.5007/1808-1711.2009v13n3p357 Neste trabalho concorda-se com a tese de I. Hacking segundo a qual o significado das constantes lógicas é dado pelas Regras de Introdução e Eliminação do cálculo de sequentes de Gentzen que caracterizam a concepção da noção de consequência lógica abstrata. Perguntamos quais são as regras mínimas que um conectivo deve satisfazer para que seja considerado uma negação genuína. Tomaremos como referência para tratar dessa questão os C-sistemas de Newton da Costa e o sistema LP de Graham Priest. Finalmente, analisaremos esses sistemas na lógica de sequentes a fim de mostrar que a negação paraconsistente ou bem carece das regras puras de eliminação e negação da negação ou ela envolve outros conectivos, o que torna difícil atribuir um significado unívoco à negação paraconsistente
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.5007/1808-1711.2009v13n3p357
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,321
Through your library

References found in this work BETA

Many-Valued Logic.Nicholas Rescher - 1969 - New York: Mcgraw-Hill.
What is Logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
An Introduction to Non-Classical Logic.Graham Priest - 2001 - Bulletin of Symbolic Logic 12 (2):294-295.
On Negation: Pure Local Rules.João Marcos - 2005 - Journal of Applied Logic 3 (1):185-219.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Wittgenstein & Paraconsistência.João Marcos - 2010 - Principia: An International Journal of Epistemology 14 (1):135-73.
Aristotle's Theory of Deduction and Paraconsistency.Evandro L. Gomes & Ítala M. L. D.?Ottaviano - 2010 - Principia: An International Journal of Epistemology 14 (1):71-97.
Não-reflexividade e quantificação.Jonas Becker Arenhart - 2012 - Principia: An International Journal of Epistemology 16 (1):33-51.
Logic and Intensionality.Guido Imaguire - 2010 - Principia: An International Journal of Epistemology 14 (1):111-24.
Truth as a Mathematical Object.Jean-Yves Béziau - 2010 - Principia: An International Journal of Epistemology 14 (1):31-46.
Inconsistent Physics.F. G. Asenjo - 2011 - Principia: An International Journal of Epistemology 15 (1):43-49.
A Model Theoretical Generalization of Steinitz’s Theorem.Alexandre Martins Rodrigues & Edelcio De Souza - 2011 - Principia: An International Journal of Epistemology 15 (1):107-110.

Analytics

Added to PP index
2013-04-12

Total views
36 ( #287,060 of 2,419,814 )

Recent downloads (6 months)
3 ( #248,793 of 2,419,814 )

How can I increase my downloads?

Downloads

My notes