Combining Texts

All the ideas for 'fragments/reports', 'The Emergence of Probability' and 'Mathematical Methods in Philosophy'

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

19 ideas

1. Philosophy / C. History of Philosophy / 4. Later European Philosophy / b. Seventeenth century philosophy
7454 Gassendi is the first great empiricist philosopher [Hacking]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
18739 Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18741 Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18744 Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
7. Existence / A. Nature of Existence / 1. Nature of Existence
18740 If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
10. Modality / B. Possibility / 6. Probability
7447 Probability was fully explained between 1654 and 1812 [Hacking]
7448 Probability is statistical (behaviour of chance devices) or epistemological (belief based on evidence) [Hacking]
7449 Epistemological probability based either on logical implications or coherent judgments [Hacking]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
18745 A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
18747 The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
18748 Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
18746 Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
18750 Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
13. Knowledge Criteria / B. Internal Justification / 3. Evidentialism / a. Evidence
7450 In the medieval view, only deduction counted as true evidence [Hacking]
7451 Formerly evidence came from people; the new idea was that things provided evidence [Hacking]
14. Science / A. Basis of Science / 3. Experiment
7452 An experiment is a test, or an adventure, or a diagnosis, or a dissection [Hacking, by PG]
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
7459 Follow maths for necessary truths, and jurisprudence for contingent truths [Hacking]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]