display all the ideas for this combination of texts
2 ideas
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 |
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
Full Idea: There is no way within Aristotelian logic that you can give a proper expression for the logical form of such a proposition as 'Everyone loves someone'. | |
From: Roger M. White (Wittgenstein's 'Tractatus Logico-Philosophicus' [2006], 1 'Frege') | |
A reaction: This needs a combination of two different quantifiers. |