Combining Texts

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

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

13 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
10153 In everyday language, truth seems indefinable, inconsistent, and illogical [Tarski]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
19141 Tarski thought axiomatic truth was too contingent, and in danger of inconsistencies [Tarski, by Davidson]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
18170 The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
10048 There is no clear boundary between the logical and the non-logical [Tarski]
5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=
10694 Logical consequence is when in any model in which the premises are true, the conclusion is true [Tarski, by Beall/Restall]
10479 Logical consequence: true premises give true conclusions under all interpretations [Tarski, by Hodges,W]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
10157 Tarski improved Hilbert's geometry axioms, and without set-theory [Tarski, by Feferman/Feferman]
7. Existence / C. Structure of Existence / 7. Abstract/Concrete / b. Levels of abstraction
10502 We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
12. Knowledge Sources / B. Perception / 3. Representation
18258 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
16784 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
10499 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
10501 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
10500 No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]