Correction: (max 500 charact.)
The complaint will not be published.
I 164
Logic/Brandom: is not only restrict to formally valid inferences.
BrandomVsFormalism: one should assume silent premises and implicit logic rules with everyone - Dummett: one should not define logical consequences in concepts of logical truth.
I 167
Achilles and the tortoise/Carroll: however, some inferential definitions must be implied. - There must be rules, not only truths. >
Rules .
---
II 47
Tells us something about the conceptual contents task: not proving something - the formal accuracies are derived from the material accuracies, which contain much more non-logical vocabulary.
---
I 175
Logic/Frege/Brandom: the task is an expressive one: not to prove something, but to say it - even in science concepts are formed arbitrarily - Goal: not a certain kind of truth but of inferences.
I 176
Conceptual contents are considered to be identified through their inferential role - which requires that one can speak meaningfully about consequences, even before a specific logical vocabulary is introduced. >
Inferential role .
I 542
Logic/Brandom: the use of identity and quantifiers requires the use of singular terms and predicates.
>
Quantifiers , >
Singular terms , >
Predicates .
Terms (symmetric) must be interchangeable (identity) - predicates (asymmetric) must provide the frame for expressing incompatibilities - BrandomVsFormalism: Accuracies of inference are not always the same as logical correctness.
---
II 24
Logic/tradition: bottom-up: from the analysis of the meanings of the singular terms to the judgments.
II 25
Brandom, New: top-down: Pragmatism: first, the use of terms - ((s) always in complete sentences.)