Combining Texts

All the ideas for 'works', 'Logic [1897]' and 'Set Theory and its Logic'

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


3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B]
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal]
13. Knowledge Criteria / C. External Justification / 2. Causal Justification
Psychological logic can't distinguish justification from causes of a belief [Frege]