Combining Texts

Ideas for 'talk', 'works' and 'The Semantic Tradition from Kant to Carnap'

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
639 Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle]
     Full Idea: Socrates aimed to establish formal logic, of whose syllogisms essences are the foundations. He developed inductive arguments and also general definitions.
     From: report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
18270 Choice suggests that intensions are not needed to ensure classes [Coffa]
     Full Idea: The axiom of choice was an assumption that implicitly questioned the necessity of intensions to guarantee the presence of classes.
     From: J. Alberto Coffa (The Semantic Tradition from Kant to Carnap [1991], 7 'Log')
     A reaction: The point is that Choice just picks out members for no particular reason. So classes, it seems, don't need a reason to exist.