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

Abstract

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.