Resumos
Como é possível que a partir da negação do racional (isto é, do colapso na representação do conhecimento, dado pela presença de informações contraditórias) 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 (default). 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 (à qual me refiro como "semântica de traduções possíveis"). 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.
Inconsistência e trivialidade; lógicas paraconsistentes; sistema meta; semântica das lógicas paraconsistentes; semântica das traduções possíveis
How is it possible that beginning from the negation of rational thoughts (i.e. from the failure in the representation of knowledge, taking place through the presence of contradictory informations) 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.
Inconsistency and triviality; paraconsistent logics; meta systems; semantics of paraconsistent logics; semantics of possible translations
ARTIGOS ORIGINAIS
Razão e irracionalidade na representação do conhecimento
Reason and irrationality in the representation of knowledge
Walter A. CarnielliI; Mamede Lima MarquesII
IUNICAMP - IMECC e CLE - CP - 6065 - 13081 - Campinas - SP
IIUniversité Paul Sabatier - IRIT - Toulouse - França
RESUMO
Como é possível que a partir da negação do racional (isto é, do colapso na representação do conhecimento, dado pela presença de informações contraditórias) 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 (default). 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 (à qual me refiro como "semântica de traduções possíveis"). 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.
Unitermos: Inconsistência e trivialidade; lógicas paraconsistentes; sistema meta; semântica das lógicas paraconsistentes; semântica das traduções possíveis.
ABSTRACT
How is it possible that beginning from the negation of rational thoughts (i.e. from the failure in the representation of knowledge, taking place through the presence of contradictory informations) 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.
Keywords: Inconsistency and triviality; paraconsistent logics; meta systems; semantics of paraconsistent logics; semantics of possible translations.
Texto completo disponível apenas em PDF.
Full text available only in PDF format.
- 1. ANDERSON, A. R., BELNAP, JR. N. D. Entailment: the logic of relevance and necessity. Princeton: Princeton University Press, 1975.
- 2. ARRUDA, A. A survey of paraconsistent logic. In: ARRUDA, A., COSTA, N. C. A. da, CHUAQUI, R., ed. Mathematical logic in Latin America. Amsterdam: North Holland, 1980. p. 1-41.
- 3. BELNAP, N. D. A useful four-valued logic. In: DUNN, J. M., ed. Modern uses of multiple-valued logic. Boston: D. Reidel, 1977. p. 8-37.
- 4. BESNARD, P. Introduction to default reasoning. Berlin: Springer, 1989.
- 5. CARNIELLI, W. A. Many-valued logics and plausible reasoning. In: INTERNATIONAL SYMPOSIUM MULTIPLE-VALUED LOGIC, 1990, Charlotte. Proceedings... Charlóte: IEEE, 1990.
- 6. CARNIELLI, W. A., LIMA MARQUES, M. Reasoning under inconsistent knowledge. Toulouse: Institute de Recherche en Informatique. IRIT, France, 1990. (Technical Report IRIT/90-15R).
- 7. COSTA, N. C. A. da. Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus d Académie des Sciences de Paris, v.257, p. 3790-3792, 1963.
- 8. COSTA, N. C. A. da. On the theory of inconsistent formal system. Notre Dame journal of Formal Logic, Notre Dame, v.11, p.497-510, 1974,
- 9. COSTA, N. C. A. da. The philosophical import of paraconsistent logic. The Journal of Non-Classical Logic, Campinas, v.1, n.1, p. 1-19, 1982.
- 10. EPSTEIN. R. L. The semantic foundation of logics: propositional logics. Dordrecht: Kluwer Academic, 1990.
- 11. REITER, R. A logic for default reasoning. Artificial Intelligence, Amsterdam, v. 13,1980.
- 12. TURNER, R. Truth and modality for knowledge representation. London: Pitman, 1990.
- 13. WITTGENSTEIN, L. Remarks on the foundations of mathematics. Oxford: Basil Black well, 1956.
Datas de Publicação
-
Publicação nesta coleção
28 Nov 2011 -
Data do Fascículo
Dez 1991
