Unified Grounding

Erkenntnis 81 (5):993-1010 (2016)
  Copy   BIBTEX

Abstract

This paper offers a unification and systematization of the grounding approaches to truth, denotation, classes and abstraction. Its main innovation is a method for “kleenifying” bivalent semantics so as to ensure that the trivalent semantics used for various linguistic elements are perfectly analogous to the semantics used by Kripke, rather than relying on intuition to achieve similarity. The focus is on generalizing strong Kleene semantics, but one section is devoted to supervaluation, and the unification method also extends to weak Kleene semantics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2015-10-20

Downloads
37 (#445,119)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Casper Storm Hansen
Institute of Philosophy, Chinese Academy of Sciences

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
Doubt truth to be a liar.Graham Priest - 2006 - New York: Oxford University Press.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.

View all 17 references / Add more references