Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Luitzen E.J. Brouwer and Ian McFetridge

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

23 ideas

3. Truth / B. Truthmakers / 1. For Truthmakers
18487 We want to know what makes sentences true, rather than defining 'true' [McFetridge]
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
12452 Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
15941 For intuitionists excluded middle is an outdated historical convention [Brouwer]
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
18119 Mathematics is a mental activity which does not use language [Brouwer, by Bostock]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy
18247 Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
12451 Scientific laws largely rest on the results of counting and measuring [Brouwer]
18118 Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
12454 Intuitionists only accept denumerable sets [Brouwer]
12453 Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
8728 Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer]
7. Existence / D. Theories of Reality / 8. Facts / a. Facts
18488 We normally explain natural events by citing further facts [McFetridge]
10. Modality / A. Necessity / 6. Logical Necessity
12184 Logical necessity overrules all other necessities [McFetridge]
15083 The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale]
15084 In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale]
12180 Logical necessity requires that a valid argument be necessary [McFetridge]
12181 Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge]
12183 It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge]
12192 The mark of logical necessity is deduction from any suppositions whatever [McFetridge]
10. Modality / B. Possibility / 2. Epistemic possibility
12182 We assert epistemic possibility without commitment to logical possibility [McFetridge]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
12187 Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
12186 Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge]
14. Science / D. Explanation / 2. Types of Explanation / j. Explanations by reduction
20653 Six reduction levels: groups, lives, cells, molecules, atoms, particles [Putnam/Oppenheim, by Watson]
19. Language / A. Nature of Meaning / 5. Meaning as Verification
10117 Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]