structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic

[Sommers's modern updating of syllogistic logic]

5 ideas
'Predicable' terms come in charged pairs, with one the negation of the other [Engelbretsen on Sommers]
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
Logic would be more natural if negation only referred to predicates [Dummett]
Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward]
Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen]