Ideas from 'Intellectual Autobiography' by Fred Sommers [2005], by Theme Structure
[found in 'The Old New Logic' (ed/tr Oderberg,David S.) [MIT 2005,0262651068]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18901

Truthmakers are facts 'of' a domain, not something 'in' the domain

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

'Predicable' terms come in charged pairs, with one the negation of the other

18895

Logic which maps ordinary reasoning must be transparent, and free of variables

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
18897

Predicate logic has to spell out that its identity relation '=' is an equivalent relation

5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18896

Aristotle places terms at opposite ends, joined by a quantified copula

18893

Translating into quantificational idiom offers no clues as to how ordinary thinkers reason

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
18903

Sommers promotes the old idea that negation basically refers to terms

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
18894

Predicates form a hierarchy, from the most general, down to names at the bottom

7. Existence / A. Nature of Existence / 8. Criterion for Existence
18899

Frege takes the existence of horses to be part of their concept

7. Existence / D. Theories of Reality / 1. Realism
18900

Unfortunately for realists, modern logic cannot say that some fact exists

19. Language / C. Reference / 1. Reference theories
18898

In standard logic, names are the only way to refer
