Combining Texts

Ideas for 'fragments/reports', 'What Does It Take to Refer?' and 'Writing the Book of the World'

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

display all the ideas for this combination of texts

12 ideas

5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
14980 There is a real issue over what is the 'correct' logic [Sider]
15000 'It is raining' and 'it is not raining' can't be legislated, so we can't legislate 'p or ¬p' [Sider]
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
15020 Classical logic is good for mathematics and science, but less good for natural language [Sider]
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
15029 Modal accounts of logical consequence are simple necessity, or essential use of logical words [Sider]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
10454 In first-order we can't just assert existence, and it is very hard to deny something's existence [Bach]
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
15019 Define logical constants by role in proofs, or as fixed in meaning, or as topic-neutral [Sider]
5. Theory of Logic / E. Structures of Logic / 3. Constants in Logic
10453 In logic constants play the role of proper names [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
10452 Proper names can be non-referential - even predicate as well as attributive uses [Bach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
10456 Millian names struggle with existence, empty names, identities and attitude ascription [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
10440 An object can be described without being referred to [Bach]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
10444 Definite descriptions can be used to refer, but are not semantically referential [Bach]
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
15001 'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted [Sider]