An analysis of bivaluations from society semantics point of view

Autor: Edson Vinicius Bezerra
Přispěvatelé: Carnielli, Walter Alexandre, 1952, Bueno-Soler, Juliana, 1976, Leite, Alexandre Fernandes Batista Costa, Coniglio, Marcelo Esteban, Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, UNIVERSIDADE ESTADUAL DE CAMPINAS
Jazyk: portugalština
Rok vydání: 2017
Předmět:
Zdroj: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
Popis: Orientadores: Walter Alexandre Carnielli, Juliana Bueno-Soler Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas Resumo: Este trabalho pretende investigar as bivalorações lógicas do ponto de vista das Semânticas de Sociedades. Discutimos a importância da Tese de Suszko no contexto das bivalorações lógicas bem como a importância de fornecer bivalorações que sejam intuitivas, que sejam capazes de mostrar em que sentido as lógicas multivaloradas podem ser interessantes. Nesse sentido, defendemos que as Semânticas de Sociedades são interessantes para essas lógicas, mostrando que tais lógicas podem descrever contextos de informações contraditórias e contextos de informações incompletas. Nesta investigação, abordamos algumas lógicas multivaloradas para as quais essas semânticas foram apresentadas, tais como as lógicas P1 e I1$ e L3$. Após a exposição dessas lógicas, definimos tais semânticas para a Lógica do Paradoxo (LP), para a lógica relevante RM3 e para a lógica trivalorada de Kleene K3. Além disso, apresentamos as lógicas multivaloradas LFI1 e L4$ para as quais a definição de semântica de sociedades depende dos conectivos chamados de conectivos de restauração local Abstract: This work investigates logical bivaluations from the perspective of Society Semantics. We discuss the importance of Suszko's Thesis in the context of logical bivaluations as well as the importance of proposing intuitive bivaluations, which shows in what sense many-valued logics can be interesting. In this sense, we argue that Society Semantics are interesting semantics for these logics, showing that such logics can describe contexts of contradictory information and contexts of incomplete information. We expose some many-valued logics such as P1, I1 and L3 for which Society Semantics were presented for. We characterize the logics LP, RM3 and K3 by means of Society Semantics. Moreover, we present the logics LFI1 and L4$ to show how the local restoration connectives are important to define a Society Semantics for these logics Mestrado Filosofia Mestre em Filosofia CNPQ 131467/2015-8
Databáze: OpenAIRE