Teoria da referência e semântica de Kripke: uma relação entre linguagem e lógica.

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Kaercher, Martha lattes
Orientador(a): Silva, Eleonoura Enoque da
Banca de defesa: Luna, José Marcos Gomes
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Católica de Pernambuco
Programa de Pós-Graduação: Mestrado em Filosofia
Departamento: Departamento de Pós-Graduação
País: Brasil
Palavras-chave em Português:
Palavras-chave em Inglês:
Área do conhecimento CNPq:
Link de acesso: http://tede2.unicap.br:8080/handle/tede/1645
Resumo: The objective of this work is to investigate some conceptual elements of Kripke's theory of causal reference from the perspective of modal logic. Our problem is to establish a relationship between the elements of Kripke's theory of causal reference and its relational semantics. To achieve the aim of such investigation, we used Saul Kripke's work Naming and Necessity (1980), his article A Completeness Theorem in Modal Logic (1959) and its expanded version of 1963. From the work, we analyzed the elements of the theory from the reference, and from the articles we present definitions, theorems, theorems and corollaries and constituents for Kripke's semantics. What makes our study relevant is the fact that it is explicit as relations between the concepts of the philosophy of methodology presented in the work Naming and Necessity, such: names, rigid designators and accessibility relation, with structure concepts of normal Kripke models for logic modal.