Kripke's Theory of Semantics of Fixed Points

Though Tarski's theory of semantics is still the main theory in many branches of philosophy such as logic, epistemology, and philosophy of language, in the last 50 years, however, it has been widely criticized. This has paved the way for rival theories. One of such rivals is Saul Kripke's theory of fixed points presented in 1975. The main properties in which this theory differs from that of Tarski are, in brief, as follows: first, this semantics is based on a three-value logic; second, unlike Tarski's theory which defines predicate of truth in meta-language, here we have a language which includes its own predicate of truth. The present article describes Kripke's theory and, in addition, discusses some critiques posed against it.