Combining Texts

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

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

15 ideas

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]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
23445 Naïve set theory says any formula defines a set, and coextensive sets are identical [Linnebo]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
23447 In classical semantics singular terms refer, and quantifiers range over domains [Linnebo]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
23443 The axioms of group theory are not assertions, but a definition of a structure [Linnebo]
23444 To investigate axiomatic theories, mathematics needs its own foundational axioms [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
23446 You can't prove consistency using a weaker theory, but you can use a consistent theory [Linnebo]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
23448 Mathematics is the study of all possible patterns, and is thus bound to describe the world [Linnebo]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
23441 Logical truth is true in all models, so mathematical objects can't be purely logical [Linnebo]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
23442 Game Formalism has no semantics, and Term Formalism reduces the semantics [Linnebo]
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]