Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/332241
Type: DISSERTAÇÃO DIGITAL
Degree Level: Mestrado
Title: Semânticas de jogos para lógicas de inconsistência formal e a pragmática da paraconsistência
Title Alternative: Game semantics for logics of formal inconsistency and the pragmatics of paraconsistency
Author: Carrasqueira Zanei, Pedro Henrique, 1983-
Advisor: Carnielli, Walter Alexandre, 1952-
Abstract: Resumo: 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 LP

Abstract: 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 LP
Subject: Semântica (Filosofia)
Jogos
Lógica paraconsistente
Pragmática
Language: Português
Editor: [s.n.]
Citation: 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.
Date Issue: 2018
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Zanei_PedroHenriqueCarrasqueira_M.pdf717.15 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.