Combining Philosophers

All the ideas for H.Putnam/P.Oppenheim, Karl Popper and Marcus Rossberg

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

27 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
22358 Scientific objectivity lies in inter-subjective testing [Popper]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10751 Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg]
10757 Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg]
10759 There are at least seven possible systems of semantics for second-order logic [Rossberg]
5. Theory of Logic / B. Logical Consequence / 2. Types of Consequence
10753 Logical consequence is intuitively semantic, and captured by model theory [Rossberg]
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
10752 Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
10754 In proof-theory, logical form is shown by the logical constants [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
10756 A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10758 If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg]
5. Theory of Logic / K. Features of Logics / 4. Completeness
10761 Completeness can always be achieved by cunning model-design [Rossberg]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
10755 A deductive system is only incomplete with respect to a formal semantics [Rossberg]
8. Modes of Existence / C. Powers and Dispositions / 7. Against Powers
11946 Propensities are part of a situation, not part of the objects [Popper]
9. Objects / D. Essence of Objects / 11. Essence of Artefacts
12177 Human artefacts may have essences, in their purposes [Popper]
9. Objects / D. Essence of Objects / 15. Against Essentialism
5451 Popper felt that ancient essentialism was a bar to progress [Popper, by Mautner]
14. Science / A. Basis of Science / 6. Falsification
22188 Give Nobel Prizes for really good refutations? [Gorham on Popper]
18284 Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper]
7780 Falsification is the criterion of demarcation between science and non-science [Popper, by Magee]
16830 We don't only reject hypotheses because we have falsified them [Lipton on Popper]
6794 If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper]
6795 When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper]
14. Science / B. Scientific Theories / 2. Aim of Science
3856 Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith]
14. Science / C. Induction / 3. Limits of Induction
7779 There is no such thing as induction [Popper, by Magee]
14. Science / C. Induction / 4. Reason in Induction
3860 Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper]
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]
14. Science / D. Explanation / 3. Best Explanation / b. Ultimate explanation
12176 Science does not aim at ultimate explanations [Popper]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / a. Scientific essentialism
12175 Galilean science aimed at true essences, as the ultimate explanations [Popper]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / e. Anti scientific essentialism
12179 Essentialist views of science prevent further questions from being raised [Popper]