Paraconsistencia e modalidade
Daniel Liberalino Monte
DISSERTAÇÃO
Português
T/UNICAMP M764p
[Paraconsistency and modality]
Campinas, SP : [s.n.], 2009.
122 p. : il.
Orientador: Itala M. Loffredo D'Ottaviano
Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Resumo: O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador...
Ver mais
Resumo: O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resultados envolvendo os operadores modais e paraconsistentes, como as lógicas modais normais K, T, S4, S5 e outras lógicas modais; algumas lógicas paraconsistentes, incluindo a lógica modal paraconsistente Z. Além disso, realizamos uma análise crítica concernente às relações entre o conhecido Quadrado de Oposições Aristotélico e a negação paraconsistente, contribuindo para o tema com alguns argumentos. Finalmente, investigamos a questão de como a generalização do Quadrado de Oposições Aristotélico, dita Teoria de n-Oposições, se relaciona com o tema da modalidade, da paraconsistência e da geometrização lógica, propondo idéias para este último.
Ver menos
Abstract: The present work aims to investigate, under the logical-philosophical perspective of paraconsistency and modality, relations between the logical-philosophical-formal concept of paraconsistent negation and the concept of modality. Our main task is the analysis of a modal operator of...
Ver mais
Abstract: The present work aims to investigate, under the logical-philosophical perspective of paraconsistency and modality, relations between the logical-philosophical-formal concept of paraconsistent negation and the concept of modality. Our main task is the analysis of a modal operator of paraconsistent negation. We have examined some known results involving modal and paraconsistent operators, such as the modal normal logics K, T, S4, S5 and other modal logics; some paraconsistent logics, including modal paraconsistent logic Z. We also have proceeded a critical analysis concerning relations between the well known Aristotle's Square of Oppositions and paraconsistent negation, contributing to the theme with some arguments. Finally, we have investigated the question of how the generalization of the Square of Oppositions, through the n-Oppositions Theory, may be related to the themes of modality, paraconsistency and logic geometrization, proposing some ideas.
Ver menos
Paraconsistencia e modalidade
Daniel Liberalino Monte
Paraconsistencia e modalidade
Daniel Liberalino Monte
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra