Trans/Form/Ação 14:165-177 (1991)

Authors
Walter Carnielli
University of Campinas
Abstract
How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solution would be to formulate a logic of the irrational, which offers a model for reasoning permitting to support contradictions as well as to produce knowledge from such situations. An intuition underlying the foundation of such a logic consists of the da Costa's paraconsistent logics presenting however, a different deduction theory and a whole distinct semantics, called here "the semantics of possible translations". The present proposing, following our argumentation, intends to enlight all this question, by a whole satisfactory logical point of view, being practically applicable and philosophically acceptable.Como é possível que a partir da negação do racional se possa obter conhecimento adicional? Esse problema, além de seu interesse intrínseco, adquire uma relevância adicional quando o encontramos na representação do conhecimento em bases de dados e raciocínio automático, por exemplo. Nesse caso, diversas tentativas de tratamento têm sido propostas, como as lógicas não-monotônicas, as lógicas que tentam formalizar a ideia do raciocínio por falha . Tais tentativas de solução, porém, são falhas e incompletas; proponho que uma solução possível seria formular uma lógica do irracional, que oferecesse um modelo para o raciocínio permitindo não só suportar contradições, como conseguir obter conhecimento, a partir de tais situações. A intuição subjacente à formulação de tal lógica são as lógicas paraconsistentes de da Costa, mas com uma teoria da dedução diferente e uma semântica completamente distinta . Tal proposta, como pretendo argumentar, fornece um enfoque para a questão que é ao mesmo tempo completamente satisfatório, aplicável do ponto de vista prático e aceitável do ponto de vista filosófico
Keywords Inconsistency and triviality   paraconsistent logics   meta systems     semantics of paraconsistent logics   semantics of possible translations.
Categories (categorize this paper)
DOI 10.1590/S0101-31731991000100010
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

 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

On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.
On the Theory of Inconsistent Formal Systems.Newton C. A. Da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.
A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13:81-137.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Racionalidade em Lévi-strauss.João Macedo Lourenço - 1997 - Revista Portuguesa de Filosofia 53 (2):249 - 289.
Virtude e conhecimento em As Leis.Gérson Pereira Filho - 2014 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 12:93-102.
O desejo de conhecer.Prof Dr José Roberto Abreu de Mattos - 2011 - Revista de Teologia 5 (7):03-07.
Reasoning Under Inconsistent Knowledge.Walter Alexandre Carnielli & Mamede Lima-Marques - 1992 - Journal of Applied Non-Classical Logics 2 (1):49-79.

Analytics

Added to PP index
2014-01-15

Total views
167 ( #54,946 of 2,374,855 )

Recent downloads (6 months)
10 ( #67,142 of 2,374,855 )

How can I increase my downloads?

Downloads

My notes