Combining Texts

All the ideas for 'Wiener Logik', 'The Theory of Transfinite Numbers' and 'Conditionals'

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

9 ideas

2. Reason / D. Definition / 2. Aims of Definition
18261 A simplification which is complete constitutes a definition [Kant]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
9616 A set is a collection into a whole of distinct objects of our intuition or thought [Cantor]
5. Theory of Logic / A. Overview of Logic / 3. Value of Logic
22275 Logic gives us the necessary rules which show us how we ought to think [Kant]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
15896 Cantor needed Power Set for the reals, but then couldn't count the new collections [Cantor, by Lavine]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
13768 Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington]
10. Modality / B. Possibility / 8. Conditionals / b. Types of conditional
13770 There are many different conditional mental states, and different conditional speech acts [Edgington]
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
13764 Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington]
13765 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington]
13. Knowledge Criteria / A. Justification Problems / 3. Internal or External / b. Pro-externalism
18260 If we knew what we know, we would be astonished [Kant]