A semantica algebrica para as logicas modais e seu interesse filosofico

Detalhes bibliográficos
Ano de defesa: 2008
Autor(a) principal: Gorsky, Samir, 1981-
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Filosofia
Lógica - Estudo e ensino
Semântica
Álgebra
Ontologia
Epistemologia
Philosophy
Logic
Semantics
Algebra
Ontology
Epistemology
Link de acesso: https://hdl.handle.net/20.500.12733/1607290
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_617ebb0307db24f9c273ea3ed182c9ef
oai_identifier_str oai::426950
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling A semantica algebrica para as logicas modais e seu interesse filosoficoAlgebraic semantics for modal logics and its philosophical interestFilosofiaLógica - Estudo e ensinoSemânticaÁlgebraOntologiaEpistemologiaPhilosophyLogicSemanticsAlgebraOntologyEpistemologyOrientador: Walter Alexandre CarnielliDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: No século XX tivemos um considerável avanço sobre o entendimento formal do significado das modalidades. Os trabalhos de Jónsson, McKinsey e Tarski na década de quarenta permitiram a construção dos resultados de completude algébrica para os sistemas modais. Estes resultados, porém, não receberam a devida atenção. Na década de cinqüenta, Kripke propôs uma semântica interessante para estes sistemas. Tal semântica, hoje conhecida como semântica de Kripke ou semântica dos mundos possíveis, causou um grande impacto no âmbito da filosofia analítica. Os artigos escritos por Lemmon na década de 60 têm por objetivo apresentar uma síntese destas duas semânticas. Um interessante resultado mostrado nestes artigos c que a completude semântica pode ser deduzida de resultados algébricos por meio de um teorema central. Um dos resultados mais surpreendente e interessante do trabalho do Lemmon é o teorema da representação. Esse teorema de representação para a lógica modal tem como conseqüência a conexão entre o ponto de vista algébrico e o ponto de vista da semântica dos mundos possíveis (ou semântica de Kripke). O objetivo inicial do presente trabalho era estender este mesmo resultado algébrico para os sistemas da classe "Gmnpq" proposta por Lemmon e Scott nas "Lemmon notes". Argumentaremos que as semânticas algébricas para as lógicas modais podem servir de base para respostas às diversas críticas direcionadas ao desenvolvimento da lógica modal. Mostraremos, por fim, como que a semântica algébrica, sendo uma semântica que não usa o conceito de mundos possíveis, pode ser considerada útil por defensores do antirealismo modalAbstract: In XX century we had a considerable advance on the understanding of the formal meaning of modalities. The Jonsson, McKinsey and Tarski works in fourties enabled the construction of the results of algebraic completeness for the modal systems. In fifties Kripkc proposed a interesting semantic for these systems. Such semantics, today known as possible world's semantics, or Kripke's semantics, caused a great impact in the context of analytical philosophy. Articles written by Lemmon in the decade of 60 are supposed to present a synthesis of these two semantics, the algebraic semantic and the possible world's semantic. One interesting result shown in these articles is that the semantic completeness can be inferred from algebraic results through a central theorem. One of the most surprising and interesting results in the paper of Leuunon is the theorem or representation for modal algebras. This theorem of representation for the modal algebra is as a result the connection between the point of view and algebraic point of view of the semantics of possible worlds (or Kripkc's semantics). The initial objective of the present work was to extend this same result for algebraic systems of Class "Gmnpq" proposed by Lemmon and Scott in the "Lemmon notes". We argue that the algebraic semantic for modal logic can serve as a basis for answers to the various criticisms directed to the development of modal logic. We'll show, finally, that the algebraic semantics, as a semantics that does not use the concept of possible worlds, may be deemed useful by supporters of modal ant i realismMestradoFilosofiaMestre em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Coniglio, Marcelo EstebanFinger, MarceloUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASGorsky, Samir, 1981-20082008-04-07T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf110p. : il.https://hdl.handle.net/20.500.12733/1607290GORSKY, Samir. A semantica algebrica para as logicas modais e seu interesse filosofico. 2008. 110p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607290. Acesso em: 15 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/426950porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T05:13:30Zoai::426950Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T05:13:30Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv A semantica algebrica para as logicas modais e seu interesse filosofico
Algebraic semantics for modal logics and its philosophical interest
title A semantica algebrica para as logicas modais e seu interesse filosofico
spellingShingle A semantica algebrica para as logicas modais e seu interesse filosofico
Gorsky, Samir, 1981-
Filosofia
Lógica - Estudo e ensino
Semântica
Álgebra
Ontologia
Epistemologia
Philosophy
Logic
Semantics
Algebra
Ontology
Epistemology
title_short A semantica algebrica para as logicas modais e seu interesse filosofico
title_full A semantica algebrica para as logicas modais e seu interesse filosofico
title_fullStr A semantica algebrica para as logicas modais e seu interesse filosofico
title_full_unstemmed A semantica algebrica para as logicas modais e seu interesse filosofico
title_sort A semantica algebrica para as logicas modais e seu interesse filosofico
author Gorsky, Samir, 1981-
author_facet Gorsky, Samir, 1981-
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Coniglio, Marcelo Esteban
Finger, Marcelo
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Gorsky, Samir, 1981-
dc.subject.por.fl_str_mv Filosofia
Lógica - Estudo e ensino
Semântica
Álgebra
Ontologia
Epistemologia
Philosophy
Logic
Semantics
Algebra
Ontology
Epistemology
topic Filosofia
Lógica - Estudo e ensino
Semântica
Álgebra
Ontologia
Epistemologia
Philosophy
Logic
Semantics
Algebra
Ontology
Epistemology
description Orientador: Walter Alexandre Carnielli
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-04-07T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1607290
GORSKY, Samir. A semantica algebrica para as logicas modais e seu interesse filosofico. 2008. 110p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607290. Acesso em: 15 mai. 2024.
url https://hdl.handle.net/20.500.12733/1607290
identifier_str_mv GORSKY, Samir. A semantica algebrica para as logicas modais e seu interesse filosofico. 2008. 110p. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1607290. Acesso em: 15 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/426950
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
110p. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1799139874358427648

Registros relacionados