Philosophy Lexicon of Arguments

Search  
 
Introduction, philosophy: the introduction of objects establishes rules for the use of linguistic expressions for the objects, not a determination or description of these objects. See also definitions, use, language, expressiveness, localization.
 
Author Item Excerpt Meta data
Belnap, Nuel
 
Books on Amazon:
Nuel Belnap
Introduction Brandom II 94
Definition "tonk"/Belnap:
1. rule: licenses the transition from p to p tonk q for any q.
2. Rule: licenses the transition from p tonk q to q. Thus we have a "network map for inferences": any possible conclusion is allowed!
---
II 93
Conservativity/Conservative Expansion/Dummett: If a logical constant is introduced by introduction and elimination rules, we may call it a conservative extension of language.
---
II 94
For example, this might be true of Belnaps "tonk": the introduction rule of the disjunction and the elimination rule of the conjunction.
PriorVsBelnap/PriorVsGentzen: this is the bankruptcy of definitions in the style of Gentzens.
BelnapVsPrior: if one introduces logical vocabulary, one can restrict such definitions by the condition that the rule does not allow inferences with only old vocabulary that was not already allowed before the introduction of the logical vocabulary. (Conservative expansion).
Such a restriction is necessary and sufficient.
Brandom: the expressive analysis of the logical vocabulary provides us with a deep reason for this condition: only in this way the logical vocabulary can perform its expressive function.
The introduction of new vocabulary would allow new material inferences without the constraining condition (conservativity) and would thus change the contents correlated with the old vocabulary.

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

Bra I
R. Brandom
Expressive Vernunft Frankfurt 2000

Bra II
R. Brandom
Begr√ľnden und Begreifen Frankfurt 2001


> Counter arguments against Belnap



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