Combining Texts

All the ideas for 'The iterative conception of Set', 'The Logical Basis of Metaphysics' and 'Reply to Richards'

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


3 ideas

1. Philosophy / E. Nature of Metaphysics / 3. Metaphysical Systems
The greatest philosophers are methodical; it is what makes them great [Grice]
     Full Idea: The greatest philosophers have been the greatest, and most self-conscious, methodologists; indeed, I am tempted to regard the fact as primarily accounting for their greatness as philosophers.
     From: H. Paul Grice (Reply to Richards [1986], p.66), quoted by Stephen Boulter - Why Medieval Philosophy Matters 3
     A reaction: I agree. Philosophy is nothing if it is not devoted to the attempt to be fully rational, and that implies consistency and coherence. If a thinker doesn't even try to be systematic, I would not consider them to be a philosopher.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy]
     Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception.
     From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
Classical negation is circular, if it relies on knowing negation-conditions from truth-conditions [Dummett]
     Full Idea: Explanations of classical negation assume that knowing what it is for the truth-condition of some statement to obtain, independently of recognising it to obtain, we thereby know what it is for it NOT to obtain; but this presupposes classical negation.
     From: Michael Dummett (The Logical Basis of Metaphysics [1991], p.299), quoted by Ian Rumfitt - The Boundary Stones of Thought 1.1
     A reaction: [compressed wording] This is Dummett explaining why he prefers intuitionistic logic, with its doubts about double negation.