Philosophy Lexicon of Arguments

Author Item Excerpt Meta data
Kripke, Saul Aaron
Books on Amazon
Number Theory EMD II 383f
Substitutional Quantification/sQ/Number Theory/KripkeVsWallace: the object language should be written substitutionally: the substitution class then consists of the number names: 0,0",0""... - the meta language needs a referential variable about the expressions of the object language - could we replace it with Gödel numbers? No! - Because the question was whether an ontology of numbers was used in the meta language, in addition to the ontology of expressions. - We cannot even ask this question if we identify expressions with numbers, - The two have asked the wrong question twice: 1) By having treated the object language variables as referential about numbers rather than as a substitutional with number names as substitutes. - 2) By interpreting the referential variables of the meta language as Gödel numbers instead of as symbol chains of the object language. - Usually, identification of expressions with their Gödel numbers is harmless - but here we must distinguish numbers and expressions.

S.A. Kripke
Name und Notwendigkeit Frankfurt 1981

S. A. Kripke
Outline of a Theory of Truth (1975)
Recent Essays on Truth and the Liar Paradox, R. L. Martin (Hg), Oxford/NY 1984

G. Evans/J. McDowell
Truth and Meaning Oxford 1977

Ev I
G. Evans
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989

> Counter arguments against Kripke

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
Ed. Martin Schulz, access date 2017-04-24