Combining Texts

All the ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Conceptions of Consequence' and 'Predest.,God's foreknowledge and contingents'

expand these ideas     |    start again     |     specify just one area for these texts


3 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)]
7. Existence / E. Categories / 5. Category Anti-Realism
Our words and concepts don't always correspond to what is out there [William of Ockham]
11. Knowledge Aims / A. Knowledge / 2. Understanding
Aristotle's proofs give understanding, so it can't be otherwise, so consequence is necessary [Smiley, by Rumfitt]