display all the ideas for this combination of texts
2 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? |
16519 | No one can conceive of a possible substance, apart from those which God has created [Arnauld] |
Full Idea: I am much mistaken if there is anyone who dares to say that he can conceive of a purely possible substance, …for although one talks so much of them, one never conceives them except according to the notion of those which God has created. | |
From: Antoine Arnauld (Letters to Leibniz [1686], 1686.05.13), quoted by David Wiggins - Sameness and Substance 4.2 | |
A reaction: This idea cashes out in the 'necessitism' of Tim Williamson, and views on the Barcan formulae in modal logic. |