Paraconsistency and modality

dc.creatorMonte, Daniel Liberalino
dc.date2009
dc.date2017-03-30T20:05:03Z
dc.date2017-07-14T20:04:20Z
dc.date2017-03-30T20:05:03Z
dc.date2017-07-14T20:04:20Z
dc.date.accessioned2018-03-29T04:07:28Z
dc.date.available2018-03-29T04:07:28Z
dc.identifierMONTE, Daniel Liberalino. Paraconsistencia e modalidade. 2009. 122 p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://libdigi.unicamp.br/document/?code=000468700>. Acesso em: 30 mar. 2017.
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/282038
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1341211
dc.descriptionOrientador: Itala M. Loffredo D'Ottaviano
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
dc.descriptionResumo: 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.
dc.descriptionAbstract: 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.
dc.descriptionMestrado
dc.descriptionMestre em Filosofia
dc.format122 p. : il.
dc.formatapplication/pdf
dc.languagePortuguês
dc.publisher[s.n.]
dc.subjectModalidade (Lógica)
dc.subjectLógica matemática não-clássica
dc.subjectLógica simbólica e matemática
dc.subjectFilosofia
dc.subjectModality (Logic)
dc.subjectNon-classical mathematical logic
dc.subjectPhilosophy
dc.titleParaconsistencia e modalidade
dc.titleParaconsistency and modality
dc.typeTesis


Este ítem pertenece a la siguiente institución