Combining Texts

Ideas for 'Function and Concept', 'De Veritate (On Truth)' and 'Letters to Leibniz'

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 / 2. Syllogistic Logic
Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt]
     Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic.
     From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2
     A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped.
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.