Disputed term/author/ism | Author![]() |
Entry![]() |
Reference![]() |
---|---|---|---|
Circumstances | Brandom | I 316 Circumstances/Brandom: what an interpreter assumes to be the circumstances, is an essential feature of the empirical content. >Empirical content. --- II 87 Circumstances: there must be sufficient conditions for the introduction of a term -> Gentzen: Introduction Rules. - Elemination rule: necessary consequences. II 90f Circumstances: parrot, thermometer (there are no consequences). - Emphasis on the circumstances: verification, assertibility - overemphasis of episodes: pragmatism. >Pragmatism, >Vericifation, >Assertibility. II 253 Circumstances/Brandom: always lie upstream. |
Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 |
Connectives | Brandom | II 87 Connectives/Gentzen/Brandom: connectives are defined according to their inferential role. (Epoch-making): Definition Introduction rules: sufficient conditions for the use of the connective - Definition elimination rules: necessary consequences of the use (of the connective). E.g. in order to define the inferential role of "&" in Boole you indicate that everyone who is defined on p and q thus has to be regarded as defined on p&q as well - the first part without the connective specifies the circumstances, i.e. the sets of the premises. >Cf. >Logical constants. --- II 88 Dummett transferred this to sentences, singular terms and predicates - it may be that we do not overlook all connections - conservative extension: by these two rules. Dummett |
Bra I R. Brandom Making it exlicit. Reasoning, Representing, and Discursive Commitment, Cambridge/MA 1994 German Edition: Expressive Vernunft Frankfurt 2000 Bra II R. Brandom Articulating reasons. An Introduction to Inferentialism, Cambridge/MA 2001 German Edition: Begründen und Begreifen Frankfurt 2001 |
Conservativity | Conservativity, philosophy, logic: Conservativity is the demand not to introduce a new vocabulary, or to examine, when introducing new vocabulary, which conclusions are legitimate. Firstly, new expressions may occur in premisses, but not in true conclusions. See also introduction, introduction rules, extensions, translation. |
||
Derivation | Mates | I 158 Derivability/Derivative/Mates: "Fa" can not be derived from "(Ex) Fx" as "Fa" is no implication - but you can introduce "Fa" as a premise. >Premises, >Introduction, >Introduction rules, >Quantification, >Existential quantification, >Consequence, >Inference, >Conclusion, >Derivability, >Axioms, >Axiom systems. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |
![]() |