Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Belnap, Nuel
 
Books on Amazon:
Nuel Belnap
Substitutional Quantification AMD II p340
Substitutional Quantification/SQ//Belnap/Dunn: did not even require ontology of expressions - KripkeVs: it does - KripkeVsBelnap: if no ontological commitment (OC), then why should L be metalanguage of L0? - Then T (x) no predicate, then the metalanguage is a mere form without interpretation - then no truth theory
II 341
SQ/Belnap: the expressions of metalanguage designate, or they do not.
II 344
KripkeVsBelnap: cannot be answered so categorically - the answer depends on both: on L0 and on the existence of simple chain predicates - you can also define (and derive) many new symbol strings - That does not mean that the new ontology has anything to do with the alleged or real "designation" of the expressions
II 342
Truth Theory/KripkeVsWallace/VsBelnap: metalanguage may not purely formally be construed as uninterpreted - (object language may be)

Beln I
N. Belnap
Facing the Future: Agents and Choices in Our Indeterminist World Oxford 2001


> Counter arguments against Belnap
> Counter arguments in relation to Substitutional Quantification



back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-25