more from this thinker     |     more from this text

Single Idea 18907

[filed under theme 4. Formal Logic / A. Syllogistic Logic / 3. Term Logic ]

Full Idea

That terms can be negated, that such negation is distinguishable from denial, and that propositions can be construed syntactically as predicationally tied pairs of terms, are important for the tree theory of predication, and for term logic.

Gist of Idea

Term logic rests on negated terms or denial, and that propositions are tied pairs

Source

George Engelbretsen (Trees, Terms and Truth [2005], 2)

Book Ref

'The Old New Logic', ed/tr. Oderberg,David S. [MIT 2005], p.32

The 5 ideas with the same theme [Sommers's modern updating of syllogistic logic]:

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