Combining Texts

All the ideas for 'Time Without Change', 'Logicism and Ontological Commits. of Arithmetic' and 'A Completeness Theorem in Modal Logic'

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

21 ideas

2. Reason / A. Nature of Reason / 9. Limits of Reason
8594 People have had good reasons for thinking that the circle has been squared [Shoemaker]
3. Truth / F. Semantic Truth / 2. Semantic Truth
10017 Truth in a model is more tractable than the general notion of truth [Hodes]
10018 Truth is quite different in interpreted set theory and in the skeleton of its language [Hodes]
4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
10163 Propositional modal logic has been proved to be complete [Kripke, by Feferman/Feferman]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / a. Systems of modal logic
10760 With possible worlds, S4 and S5 are sound and complete, but S1-S3 are not even sound [Kripke, by Rossberg]
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16189 The variable domain approach to quantified modal logic invalidates the Barcan Formula [Kripke, by Simchen]
15132 The Barcan formulas fail in models with varying domains [Kripke, by Williamson]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10015 Higher-order logic may be unintelligible, but it isn't set theory [Hodes]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10011 Identity is a level one relation with a second-order definition [Hodes]
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
10016 When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / a. Numbers
10027 Mathematics is higher-order modal logic [Hodes]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
10026 Arithmetic must allow for the possibility of only a finite total of objects [Hodes]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
10021 It is claimed that numbers are objects which essentially represent cardinality quantifiers [Hodes]
10022 Numerical terms can't really stand for quantifiers, because that would make them first-level [Hodes]
7. Existence / D. Theories of Reality / 4. Anti-realism
8596 Inability to measure equality doesn't make all lengths unequal [Shoemaker]
8597 We couldn't verify the earth's rotation if everyone simultaneously fell asleep [Shoemaker]
7. Existence / D. Theories of Reality / 7. Fictionalism
10023 Talk of mirror images is 'encoded fictions' about real facts [Hodes]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
8593 Maybe billions of changeless years have elapsed since my last meal [Shoemaker]
26. Natural Theory / C. Causation / 9. General Causation / a. Constant conjunction
8598 If things turn red for an hour and then explode, we wouldn't say the redness was the cause [Shoemaker]
27. Natural Reality / D. Time / 1. Nature of Time / e. Eventless time
4226 If three regions 'freeze' every three, four and five years, after sixty years everything stops for a year [Shoemaker, by Lowe]
8595 If three regions freeze every 3rd, 4th and 5th year, they all freeze together every 60 years [Shoemaker]