Combining Texts

Ideas for 'fragments/reports', 'Putnam's Paradox' and 'Introduction to Mathematical Philosophy'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

13 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
14452 All the propositions of logic are completely general [Russell]
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
14462 In modern times, logic has become mathematical, and mathematics has become logical [Russell]
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
8078 Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
14464 Logic can be known a priori, without study of the actual world [Russell]
10057 Logic can only assert hypothetical existence [Russell]
12444 Logic is concerned with the real world just as truly as zoology [Russell]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
6023 Every proposition is either true or false [Chrysippus, by Cicero]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
14458 Asking 'Did Homer exist?' is employing an abbreviated description [Russell]
10450 Russell admitted that even names could also be used as descriptions [Russell, by Bach]
14457 Names are really descriptions, except for a few words like 'this' and 'that' [Russell]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
7311 The only genuine proper names are 'this' and 'that' [Russell]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
14455 'I met a unicorn' is meaningful, and so is 'unicorn', but 'a unicorn' is not [Russell]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
14212 A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis]