Combining Texts

Ideas for 'works', 'Intellectual Autobiography' and 'The DhammaPada'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

4. Formal Logic / A. Syllogistic Logic / 3. Term Logic
'Predicable' terms come in charged pairs, with one the negation of the other [Sommers, by Engelbretsen]
     Full Idea: Sommers took the 'predicable' terms of any language to come in logically charged pairs. Examples might be red/nonred, massive/massless, tied/untied, in the house/not in the house. The idea that terms can be negated was essential for such pairing.
     From: report of Fred Sommers (Intellectual Autobiography [2005]) by George Engelbretsen - Trees, Terms and Truth 2
     A reaction: If, as Rumfitt says, we learn affirmation and negation as a single linguistic operation, this would fit well with it, though Rumfitt doubtless (as a fan of classical logic) prefers to negation sentences.
Logic which maps ordinary reasoning must be transparent, and free of variables [Sommers]
     Full Idea: What would a 'laws of thought' logic that cast light on natural language deductive thinking be like? Such a logic must be variable-free, conforming to normal syntax, and its modes of reasoning must be transparent, to make them virtually instantaneous.
     From: Fred Sommers (Intellectual Autobiography [2005], 'How We')
     A reaction: This is the main motivation for Fred Sommers's creation of modern term logic. Even if you are up to your neck in modern symbolic logic (which I'm not), you have to find this idea appealing. You can't leave it to the psychologists.
4. Formal Logic / G. Formal Mereology / 1. Mereology
Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki]
     Full Idea: Aristotle proposes to relativise unity and plurality, so that a single object can be both one (indivisible) and many (divisible) simultaneously, without contradiction, relative to different measures. Wholeness has degrees, with the strength of the unity.
     From: report of Aristotle (works [c.330 BCE]) by Kathrin Koslicki - The Structure of Objects 7.2.12
     A reaction: [see Koslicki's account of Aristotle for details] As always, the Aristotelian approach looks by far the most promising. Simplistic mechanical accounts of how parts make wholes aren't going to work. We must include the conventional and conceptual bit.