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 paraconsi...

Full description

Saved in:
Bibliographic Details
Main Author: Walter Carnielli
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
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1850209999371894784
author Walter Carnielli
author_facet Walter Carnielli
author_sort Walter Carnielli
collection DOAJ
description 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.
format Article
id doaj-art-ef12ebbe4cc2416cb5d2fb32b5d93aec
institution OA Journals
issn 1808-1711
language English
publishDate 2009-01-01
publisher Universidade Federal de Santa Catarina
record_format Article
series Principia: An International Journal of Epistemology
spelling doaj-art-ef12ebbe4cc2416cb5d2fb32b5d93aec2025-08-20T02:09:52ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112009-01-0113310.5007/1808-1711.2009v13n3p28315178Meeting Hintikka's Challenge to ParaconsistentismWalter Carnielli0Centre for Logic, Epistemology and the History of Science – CLE and Department of Philosophy State University of Campinas – UNICAMP 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. https://periodicos.ufsc.br/index.php/principia/article/view/19675
spellingShingle Walter Carnielli
Meeting Hintikka's Challenge to Paraconsistentism
Principia: An International Journal of Epistemology
title Meeting Hintikka's Challenge to Paraconsistentism
title_full Meeting Hintikka's Challenge to Paraconsistentism
title_fullStr Meeting Hintikka's Challenge to Paraconsistentism
title_full_unstemmed Meeting Hintikka's Challenge to Paraconsistentism
title_short Meeting Hintikka's Challenge to Paraconsistentism
title_sort meeting hintikka s challenge to paraconsistentism
url https://periodicos.ufsc.br/index.php/principia/article/view/19675
work_keys_str_mv AT waltercarnielli meetinghintikkaschallengetoparaconsistentism