Sobre noções de consequência generalizadas e lógicas plurivalentes
On generalized notions of consequence and plurivalent logics
| dc.creator | Blasio, Carolina, 1984-2017 | |
| dc.date | 2017 | |
| dc.date | 2017-08-25T00:00:00Z | |
| dc.date | 2018-01-05T13:17:39Z | |
| dc.date | 2018-01-05T13:17:39Z | |
| dc.date.accessioned | 2018-03-29T06:15:05Z | |
| dc.date.available | 2018-03-29T06:15:05Z | |
| dc.identifier | BLASIO, Carolina,. Sobre noções de consequência generalizadas e lógicas plurivalentes. 2017. 1 recurso online (181 p.). Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. | |
| dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/330606 | |
| dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1368065 | |
| dc.description | Orientador: Marco Antonio Caron Ruffino | |
| dc.description | Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas | |
| dc.description | Resumo: As denominadas "lógicas multivaloradas" surgem do descontentamento de que o raciocínio lógico deva se limitar apenas a enunciados verdadeiros e falsos, ou seja, não-verdadeiros. O resultado conhecido como Redução de Suszko demonstra, contudo, que todas as lógicas podem ser caracterizadas por semânticas com apenas dois valores-de-verdade. Sendo assim, as lógicas pode ser ditas bivalentes, mesmo que suas semânticas sejam multivaloradas. Como alternativa à imposição da bivalência dada por este resultado, Malinowski (1990a) introduziu uma noção de consequência generalizada, associada a formalismos trivalentes: a quase-consequência. A quase-consequência possibilitou um novo olhar sobre a plurivalência das lógicas, abrindo caminho para a definição de novas noções de consequência tais como a quase-consequência dual (Malinowski, 2000) definida para lógicas inferencialmente paraconsistentes e a consequência plausível (Frankowski, 2004a). Não obstante, estas noções de consequência associadas a lógicas plurivalentes não possuem ao menos uma dentre as propriedades mais básicas da noção de consequência padrão: a reflexividade e a transitividade. Na presente tese, apresentamos as noções de quase-conse quência e de consequência plausível em uma versão com conclusão múltipla e suas respectivas noções duais junto aos resultados de adequação destas a semânticas trivalentes. Propomos também a lógica tetravalente EB inspirada na lógica de Dunn-Belnap First Degree Entailment junto a um cálculo de se- quentes adequado. A lógica EB está associada a uma relação de consequência semântica que expressa diversos tipos de raciocínio ¿ o B-entailment. Apresentamos, a seguir, a contraparte abstrata do B-entailment, a B-consequence, e seus respectivos resultados de adequação a semânticas tetravalentes. A B-consequence generaliza e permite comparar diversas relações de consequência, incluindo a relação de consequência padrão, a quase-consequência e sua dual, a consequência plausível e sua dual, e também as relações de consequência apenas monotônicas. A B-consequence mostra-se, assim, ser um arcabouço conceitual promissor para pesquisas sobre lógicas plurivalentes e semânticas multivaloradas, incluindo semânticas não-determinísticas e parciais. Esta noção é também uma ferramenta robusta para a comparação de diferentes lógicas e para a definição de sistemas lógicos. Os estudos sobre a B-consequence ainda contribuem tanto para a compreensão do conceito de relação de consequência lógica, quanto para os debates sobre o pluralismo lógico | |
| dc.description | Abstract: The so-called "many-valued logics" arise from the dissatisfaction that the logical reasoning should be limited to only true and false, that is, non-true, statements. However, the result known as Suszko¿s Reduction proves that all logics can be characterized by semantics with only two truth-values. Thus, a logic can be said to be bivalent even if it has a multivalued semantics. As an alternative to the imposed bivalence of the logics given by this result, Mali- nowski (1990a) introduced a generalized notion of consequence associated to trivalent formalisms: the quasi-consequence. The quasi-consequence allowed a new look at the plurivalence of logics, paving the way for new notions of consequence such as the dual quasi-consequence (Malinowski, 2000) defined for inferentially paraconsistent logics and the plausible consequence relation (Frankowski, 2004a). Nevertheless, those notions of consequence associated to plurivalent logics do not enjoy at least one of most basic properties of the standard consequences: reflexivity and transitivity. In this thesis, we present the notions of quasi-consequence, plausible consequence and their respective dual notions together with the results of adequacy of these notions to triva- lent semantics. We also propose the tetravalent logic EB which is inspired on Dunn-Belnap¿s logic "First Degree Entailment". We also present a sequent calculus for EB. The logic EB is associated with an entailment relation that can express different kinds of reasoning ¿ the B-entailment.In the following, we present the abstract counterpart of the B-entailment, the B-consequence and their respective adequacy results to tetravalent semantics. After that, we show that the B-consequence generalizes and allows to compare several con- sequence relations, such as the standard consequence, the quasi-consequence and its dual, the plausible consequence and its dual, and also purely monotonic consequences. The B-consequence thus provides a way of comparing different notions of consequence and seems to be a promising framework for researches on plurivalent logics and many-valued semantics, including non-deterministic and partial semantics. The B-consequence is also a robust tool for comparing different logics and for defining logical systems. Moreover, the investigations on B-consequence also contribute both to the understanding the concept of logical consequence relation and to the debates on logical pluralism | |
| dc.description | Doutorado | |
| dc.description | Filosofia | |
| dc.description | Doutora em Filosofia | |
| dc.description | 149706/2011-1 | |
| dc.description | CNPQ | |
| dc.format | 1 recurso online (181 p.) : il., digital, arquivo PDF. | |
| dc.format | application/pdf | |
| dc.language | Português | |
| dc.publisher | [s.n.] | |
| dc.relation | Requisitos do sistema: Software para leitura de arquivo em PDF | |
| dc.subject | Relação de consequência | |
| dc.subject | Lógicas multivaloradas | |
| dc.subject | Redução de Suszko | |
| dc.subject | Lógicas plurivalentes | |
| dc.subject | Lógicas inferencialmente multivaloradas | |
| dc.subject | Consequence Relation | |
| dc.subject | Many-valued Logics | |
| dc.subject | Suszko Reduction | |
| dc.subject | Plurivalent Logics | |
| dc.subject | Inferentially Many-valued Logics | |
| dc.title | Sobre noções de consequência generalizadas e lógicas plurivalentes | |
| dc.title | On generalized notions of consequence and plurivalent logics | |
| dc.type | Tesis |