|Logic: logic is the doctrine of the admissibility or inadmissibility of relations between statements and thus the validity of the compositions of these statements. In particular, the question is whether conclusions can be obtained from certain presuppositions such as premises or antecedents. Logical formulas are not interpreted at first. Only the interpretation, i. e. the insertion of values, e.g. objects instead of the free variables, makes the question of their truth meaningful.|
Books on Amazon
|Brandom I 494
Logic/Dummett: per wide view: the derivability relation is decisive, not theorems. - Validity is based on antecedent sets of multi-values. - I.e., synthetic, not analytic application of the apparatus. - Not informal assertional validity but formal inferential validity.
Brandom: per extension to material inferences.
Ursprünge der analytischen Philosophie Frankfurt 1992
Wahrheit Stuttgart 1982
Expressive Vernunft Frankfurt 2000
Begründen und Begreifen Frankfurt 2001