Meeting Hintikka's Challenge to Paraconsistentism
Em uma série de seminários e conferências no Brasil em 2008, Jaakko Hintikka, em uma série de palestras no Brasil em 2008, defendeu que a “IF-lógica” (“independence friendly logic”) e a lógica paraconsistente são, em certo sentido, bastante similares. A partir do esboço de um novo sistema paraconsis...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2009-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19675 |
| Summary: | Em uma série de seminários e conferências no Brasil em 2008, Jaakko Hintikka, em uma série de palestras no Brasil em 2008, defendeu que a “IF-lógica” (“independence friendly logic”) e a lógica paraconsistente são, em certo sentido, bastante similares. A partir do esboço de um novo sistema paraconsistente, ele afirma que várias potencialidades da IF-lógica podem ser reproduzidas na lógica paraconsistente. Uma das grandes dificuldades, deixada como um desafio, seria a formulação de condições de verdade para esta nova linguagem paraconsistente de primeira ordem, com vistas a garantir uma maior inter-relação entre esta e a IF-lógica. Argumento que tais condições de verdade não somente sugerem uma abordagem inovadora em semântica de jogos para a paraconsistência, mas também que a partir deste ponto de vista as “Lógicas da Inconsistência Formal” podem modelar a lógica interna dos elencos socráticos. Pretendo discutir estes e outros pontos levantados por Hintikka, tomando-os como desafios e oportunidades para o paraconsistentismo e para a IF-lógica, bem como levantar algumas críticas sobre a visão de Hintikka sobre a paraconsistência. |
|---|---|
| ISSN: | 1414-4247 1808-1711 |