Philosophy Lexicon of Arguments

Author Item Excerpt Meta data

Books on Amazon
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.

Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

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

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-09-26