3 ideas
7726 | Aristotelian logic dealt with inferences about concepts, and there were also proposition inferences [Weiner] |
Full Idea: Till the nineteenth century, it was a common view that Aristotelian logic could evaluate inferences whose validity was based on relations between concepts, while propositional logic could evaluate inferences based on relations between propositions. | |
From: Joan Weiner (Frege [1999], Ch.3) | |
A reaction: Venn diagrams relate closely to Aristotelian syllogisms, as each concept is represented by a circle, and shows relations between sets. Arrows seem needed to represent how to go from one proposition to another. Is one static, the other dynamic? |
9548 | A mathematical object exists if there is no contradiction in its definition [Waterfield] |
Full Idea: A mathematical object exists provided there is no contradiction implied in its definition. | |
From: Robin Waterfield (Introduction to 'Hippias Minor' [1987], p.44), quoted by Charles Chihara - A Structural Account of Mathematics 1.4 | |
A reaction: A rather bizarre criterion for existence. Not one, for example, that you would consider applying to the existence of physical objects! But then Poincaré is the father of 'conventionalism', rather than being a platonist. |
6005 | Animals are dangerous and nourishing, and can't form contracts of justice [Hermarchus, by Sedley] |
Full Idea: Hermarchus said that animal killing is justified by considerations of human safety and nourishment and by animals' inability to form contractual relations of justice with us. | |
From: report of Hermarchus (fragments/reports [c.270 BCE]) by David A. Sedley - Hermarchus | |
A reaction: Could the last argument be used to justify torturing animals? Or could we eat a human who was too brain-damaged to form contracts? |