Combining Texts

Ideas for 'Against Coherence', 'Review of 'Aenesidemus'' and 'Philosophy of Logic'

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

display all the ideas for this combination of texts

---

2 ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic

18953	Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam]
	Full Idea: In modern notation we can consider potential logical principles that Aristotle never considered because of his general practice of looking at inferences each of whose premises involved exactly two class-names.
	From: Hilary Putnam (Philosophy of Logic [1971], Ch.3)
	A reaction: Presumably you can build up complex inferences from a pair of terms, just as you do with pairs in set theory.

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic

18949	The universal syllogism is now expressed as the transitivity of subclasses [Putnam]
	Full Idea: On its modern interpretation, the validity of the inference 'All S are M; All M are P; so All S are P' just expresses the transitivity of the relation 'subclass of'.
	From: Hilary Putnam (Philosophy of Logic [1971], Ch.1)
	A reaction: A simple point I've never quite grasped. Since lots of syllogisms can be expressed as Venn Diagrams, in which the circles are just sets, it's kind of obvious really. So why does Sommers go back to 'terms'? See 'Term Logic'.