Combining Texts

Ideas for 'fragments/reports', 'The Limits of Reason' and 'On Sense and Reference'

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

display all the ideas for this combination of texts

14 ideas

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 / 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 / a. Names
18772 We can treat designation by a few words as a proper name [Frege]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
14075 Proper name in modal contexts refer obliquely, to their usual sense [Frege, by Gibbard]
10424 A Fregean proper name has a sense determining an object, instead of a concept [Frege, by Sainsbury]
18773 People may have different senses for 'Aristotle', like 'pupil of Plato' or 'teacher of Alexander' [Frege]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
4978 The meaning of a proper name is the designated object [Frege]
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
10510 Frege ascribes reference to incomplete expressions, as well as to singular terms [Frege, by Hale]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
18937 If sentences have a 'sense', empty name sentences can be understood that way [Frege, by Sawyer]
18940 It is a weakness of natural languages to contain non-denoting names [Frege]
18939 In a logically perfect language every well-formed proper name designates an object [Frege]
5. Theory of Logic / I. Semantics of Logic / 6. Intensionalism
9462 Frege is intensionalist about reference, as it is determined by sense; identity of objects comes first [Frege, by Jacquette]
18936 Frege moved from extensional to intensional semantics when he added the idea of 'sense' [Frege, by Sawyer]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18694 Permutation Theorem: any theory with a decent model has lots of models [Button]