Combining Texts

Ideas for 'The Modularity of Mind', 'Letters to Leibniz' and 'Frege'

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 / B. Propositional Logic PL / 1. Propositional Logic
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?
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
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.