Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Confessio naturae contra atheistas' and 'Assertion'

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


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
9. Objects / A. Existence of Objects / 5. Individuation / c. Individuation by location
A body is that which exists in space [Leibniz]
19. Language / F. Communication / 2. Assertion
An assertion aims to add to the content of a context [Stalnaker, by Magidor]
19. Language / F. Communication / 5. Pragmatics / b. Implicature
An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]