Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência

Detalhes bibliográficos
Autor(a) principal: Carrasqueira Zanei, Pedro Henrique, 1983-
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1634007
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_13b1c33ff83ad29af26519c94a6a7785
oai_identifier_str oai::1023202
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistênciaGame semantics for logics of formal inconsistency and the pragmatics of paraconsistencySemântica (Filosofia)JogosLógica paraconsistentePragmáticaSemantics (Philosophy)GamesParaconsistent logicPragmaticsOrientador: Walter Alexandre CarnielliDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Nesta dissertação apresento semânticas de jogos adequadas para as lógicas de inconsistências formal (LIFs) conhecidas como mbC e mbCciw, e então discuto como essas semânticas permitem a construção rigorosa de exemplos que ilustram a pragmática dessas lógicas. De um ponto de vista técnico, para se obterem essas semânticas de jogos fez-se necessária a introdução de um artifício, aqui o denominado instanciações, a fim de forçar uma forma de composicionalidade às operações lógicas não-determinísticas de mbC e mbCciw. De um ponto de vista filosófico, esses resultados permitiram, de interesse, a comparação concreta das distintas motivações e consequências do estilo de paraconsistência dessas duas LIFs com o da lógica paraconsistente conhecida como LPAbstract: In this dissertation I present adequate game semantics for the logics of formal inconsistency (LFIs) known as mbC and mbCciw, and then discuss how those semantics allow the rigorous construction of examples that illustrate the pragmatics of those logics. From a technical point of view, to obtain those game semantics it was necessary to introduce an artifice, here called instantiations, in order to force a form of compositionality upon the non-deterministic logical operations of mbC and mbCciw. From a philosophical point of view, those results allowed of interest a concrete comparison of the distinct motivations and consequences of the style of paraconsistency of those two LIFs with that of the paraconsistent logic known as LPMestradoFilosofiaMestre em FilosofiaCAPES[s.n.]Carnielli, Walter Alexandre, 1952-Ruffino, MarcoSouza, Edelcio Gonçalves deUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASCarrasqueira Zanei, Pedro Henrique, 1983-20182018-05-30T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf1 recurso online (107 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1634007CARRASQUEIRA ZANEI, Pedro Henrique. Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência. 2018. 1 recurso online (107 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634007. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/1023202Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2018-09-11T11:59:57Zoai::1023202Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-09-11T11:59:57Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
Game semantics for logics of formal inconsistency and the pragmatics of paraconsistency
title Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
spellingShingle Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
Carrasqueira Zanei, Pedro Henrique, 1983-
Semântica (Filosofia)
Jogos
Lógica paraconsistente
Pragmática
Semantics (Philosophy)
Games
Paraconsistent logic
Pragmatics
title_short Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
title_full Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
title_fullStr Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
title_full_unstemmed Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
title_sort Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
author Carrasqueira Zanei, Pedro Henrique, 1983-
author_facet Carrasqueira Zanei, Pedro Henrique, 1983-
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Ruffino, Marco
Souza, Edelcio Gonçalves de
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Carrasqueira Zanei, Pedro Henrique, 1983-
dc.subject.por.fl_str_mv Semântica (Filosofia)
Jogos
Lógica paraconsistente
Pragmática
Semantics (Philosophy)
Games
Paraconsistent logic
Pragmatics
topic Semântica (Filosofia)
Jogos
Lógica paraconsistente
Pragmática
Semantics (Philosophy)
Games
Paraconsistent logic
Pragmatics
description Orientador: Walter Alexandre Carnielli
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-05-30T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1634007
CARRASQUEIRA ZANEI, Pedro Henrique. Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência. 2018. 1 recurso online (107 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634007. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1634007
identifier_str_mv CARRASQUEIRA ZANEI, Pedro Henrique. Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência. 2018. 1 recurso online (107 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634007. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/1023202
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (107 p.) : il., digital, arquivo PDF.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189127322599424

Registros relacionados