Combining Philosophers

All the ideas for Lynch,MP/Glasgow,JM, C.I. Lewis and Thoralf Skolem

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

24 ideas

4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
7791 The simplest of the logics based on possible worlds is Lewis's S5 [Lewis,CI, by Girle]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
17879 Axiomatising set theory makes it all relative [Skolem]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
13536 Skolem did not believe in the existence of uncountable sets [Skolem]
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
9358 There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
9357 Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
9364 Names represent a uniformity in experience, or they name nothing [Lewis,CI]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
17878 If a 1st-order proposition is satisfied, it is satisfied in a denumerably infinite domain [Skolem]
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
17880 Integers and induction are clear as foundations, but set-theory axioms certainly aren't [Skolem]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
17881 Mathematician want performable operations, not propositions about objects [Skolem]
7. Existence / C. Structure of Existence / 3. Levels of Reality
16062 A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow]
7. Existence / C. Structure of Existence / 5. Supervenience / c. Significance of supervenience
16061 If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow]
7. Existence / D. Theories of Reality / 6. Physicalism
16060 Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow]
16064 The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow]
10. Modality / A. Necessity / 2. Nature of Necessity
11002 Equating necessity with informal provability is the S4 conception of necessity [Lewis,CI, by Read]
10. Modality / A. Necessity / 11. Denial of Necessity
9362 Necessary truths are those we will maintain no matter what [Lewis,CI]
10. Modality / B. Possibility / 8. Conditionals / a. Conditionals
7803 Modal logic began with translation difficulties for 'If...then' [Lewis,CI, by Girle]
12. Knowledge Sources / A. A Priori Knowledge / 7. A Priori from Convention
9365 We can maintain a priori principles come what may, but we can also change them [Lewis,CI]
12. Knowledge Sources / E. Direct Knowledge / 4. Memory
21500 We rely on memory for empirical beliefs because they mutually support one another [Lewis,CI]
21501 If we doubt memories we cannot assess our doubt, or what is being doubted [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / a. Foundationalism
6556 If anything is to be probable, then something must be certain [Lewis,CI]
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
21498 Congruents assertions increase the probability of each individual assertion in the set [Lewis,CI]
18. Thought / C. Content / 8. Intension
5828 Extension is the class of things, intension is the correct definition of the thing, and intension determines extension [Lewis,CI]
18. Thought / E. Abstraction / 2. Abstracta by Selection
9361 We have to separate the mathematical from physical phenomena by abstraction [Lewis,CI]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
9363 Science seeks classification which will discover laws, essences, and predictions [Lewis,CI]