|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
Definition logic/Mates: theory of conlcusion relation. Task: to find general laws about what follows from what - correct thinking is not a contribution to logic.
Logic/Aristotle/Mates: no yet a distinction mention/use - it is the same: if a thing is contained in another, and when each is stated of the other.
First clear use of variables in history - for these names are used - variables/Stoics: "the first", "the second", etc. (unlike Aristotle).
I 262 "Zukommen"/Aristotle
Goes in both directions - which shows that there is no distinction between concept and object.
Terms for "Zukommen" are nouns, sensual beings, human, for "Nicht Zukommen" substance, sensual being, number.
Logic/Hobbes/Mates: influential (misleading) Argument: necessary truths would just come about through the random way how people like to use their words.
Elementare Logik Göttingen 1969