Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279514
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.descriptionOrientador: Walter Alexandre Carniellipt_BR
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanaspt_BR
dc.format.extent110p. : il.pt_BR
dc.format.mimetypeapplication/pdfpt_BR
dc.languagePortuguêspt_BR
dc.typeDISSERTAÇÃOpt_BR
dc.titleA semantica algebrica para as logicas modais e seu interesse filosoficopt_BR
dc.title.alternativeAlgebraic semantics for modal logics and its philosophical interestpt_BR
dc.contributor.authorGorsky, Samir, 1981-pt_BR
dc.contributor.advisorCarnielli, Walter Alexandre, 1952-pt_BR
dc.contributor.institutionUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanaspt_BR
dc.contributor.nameofprogramPrograma de Pós-Graduação em Filosofiapt_BR
dc.subjectFilosofiapt_BR
dc.subjectLógica - Estudo e ensinopt_BR
dc.subjectSemânticapt_BR
dc.subjectÁlgebrapt_BR
dc.subjectOntologiapt_BR
dc.subjectEpistemologiapt_BR
dc.subject.otherlanguagePhilosophyen
dc.subject.otherlanguageLogicen
dc.subject.otherlanguageSemanticsen
dc.subject.otherlanguageAlgebraen
dc.subject.otherlanguageOntologyen
dc.subject.otherlanguageEpistemologyen
dc.description.abstractResumo: 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 modalpt
dc.description.abstractAbstract: 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 realismen
dc.publisher[s.n.]pt_BR
dc.date.issued2008pt_BR
dc.identifier.citationGORSKY, 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: <http://www.repositorio.unicamp.br/handle/REPOSIP/279514>. Acesso em: 11 ago. 2018.pt_BR
dc.description.degreelevelMestradopt_BR
dc.description.degreedisciplineFilosofiapt_BR
dc.description.degreenameMestre em Filosofiapt_BR
dc.contributor.committeepersonalnameConiglio, Marcelo Estebanpt_BR
dc.contributor.committeepersonalnameFinger, Marcelopt_BR
dc.date.defense2008-04-07T00:00:00Zpt_BR
dc.date.available2018-08-11T08:51:47Z-
dc.date.accessioned2018-08-11T08:51:47Z-
dc.description.provenanceMade available in DSpace on 2018-08-11T08:51:47Z (GMT). No. of bitstreams: 1 Gorsky_Samir_M.pdf: 690814 bytes, checksum: 2435beecaa8f0656155bf7b65f58df5b (MD5) Previous issue date: 2008en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/279514-
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Gorsky_Samir_M.pdf674.62 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.