Meeting Hintikka's Challenge to Paraconsistentism
Autor(a) principal: | |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Artigo |
Idioma: | por |
Título da fonte: | Principia (Florianópolis. Online) |
Texto Completo: | https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p283 |
Resumo: | 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. |
id |
UFSC-5_d7d13cb87cd68e8f768fb1dd7c04f989 |
---|---|
oai_identifier_str |
oai:periodicos.ufsc.br:article/19675 |
network_acronym_str |
UFSC-5 |
network_name_str |
Principia (Florianópolis. Online) |
repository_id_str |
|
spelling |
Meeting Hintikka's Challenge to ParaconsistentismEm 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.Federal University of Santa Catarina – UFSC2009-01-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p28310.5007/1808-1711.2009v13n3p283Principia: an international journal of epistemology; Vol. 13 No. 3 (2009); 283-297Principia: an international journal of epistemology; Vol. 13 Núm. 3 (2009); 283-297Principia: an international journal of epistemology; v. 13 n. 3 (2009); 283-2971808-17111414-4247reponame:Principia (Florianópolis. Online)instname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p283/18035Copyright (c) 2021 Walter Carnielliinfo:eu-repo/semantics/openAccessCarnielli, Walter2020-01-22T08:40:41Zoai:periodicos.ufsc.br:article/19675Revistahttps://periodicos.ufsc.br/index.php/principiaPUBhttps://periodicos.ufsc.br/index.php/principia/oaiprincipia@contato.ufsc.br||principia@contato.ufsc.br1808-17111414-4247opendoar:2020-01-22T08:40:41Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.none.fl_str_mv |
Meeting Hintikka's Challenge to Paraconsistentism |
title |
Meeting Hintikka's Challenge to Paraconsistentism |
spellingShingle |
Meeting Hintikka's Challenge to Paraconsistentism Carnielli, Walter |
title_short |
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_sort |
Meeting Hintikka's Challenge to Paraconsistentism |
author |
Carnielli, Walter |
author_facet |
Carnielli, Walter |
author_role |
author |
dc.contributor.author.fl_str_mv |
Carnielli, Walter |
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. |
publishDate |
2009 |
dc.date.none.fl_str_mv |
2009-01-01 |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p283 10.5007/1808-1711.2009v13n3p283 |
url |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p283 |
identifier_str_mv |
10.5007/1808-1711.2009v13n3p283 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2009v13n3p283/18035 |
dc.rights.driver.fl_str_mv |
Copyright (c) 2021 Walter Carnielli info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Copyright (c) 2021 Walter Carnielli |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Federal University of Santa Catarina – UFSC |
publisher.none.fl_str_mv |
Federal University of Santa Catarina – UFSC |
dc.source.none.fl_str_mv |
Principia: an international journal of epistemology; Vol. 13 No. 3 (2009); 283-297 Principia: an international journal of epistemology; Vol. 13 Núm. 3 (2009); 283-297 Principia: an international journal of epistemology; v. 13 n. 3 (2009); 283-297 1808-1711 1414-4247 reponame:Principia (Florianópolis. Online) instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Principia (Florianópolis. Online) |
collection |
Principia (Florianópolis. Online) |
repository.name.fl_str_mv |
Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
principia@contato.ufsc.br||principia@contato.ufsc.br |
_version_ |
1789435111344701440 |