Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'Logic (Port-Royal Art of Thinking)' and 'A Theory of Conditionals'

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


9 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]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
In nearby worlds where A is true, 'if A,B' is true or false if B is true or false [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
A possible world is the ontological analogue of hypothetical beliefs [Stalnaker]
12. Knowledge Sources / B. Perception / 3. Representation
We can only know the exterior world via our ideas [Arnauld,A/Nicole,P]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]