21 ideas
8207 | The quest for simplicity drove scientists to posit new entities, such as molecules in gases [Quine] |
8208 | In arithmetic, ratios, negatives, irrationals and imaginaries were created in order to generalise [Quine] |
19125 | If we define truth, we can eliminate it [Halbach/Leigh] |
19128 | If a language cannot name all objects, then satisfaction must be used, instead of unary truth [Halbach/Leigh] |
19120 | Semantic theories need a powerful metalanguage, typically including set theory [Halbach/Leigh] |
19127 | The T-sentences are deductively weak, and also not deductively conservative [Halbach/Leigh] |
19124 | A natural theory of truth plays the role of reflection principles, establishing arithmetic's soundness [Halbach/Leigh] |
19126 | If deflationary truth is not explanatory, truth axioms should be 'conservative', proving nothing new [Halbach/Leigh] |
19129 | The FS axioms use classical logical, but are not fully consistent [Halbach/Leigh] |
19130 | KF is formulated in classical logic, but describes non-classical truth, which allows truth-value gluts [Halbach/Leigh] |
8205 | Explaining events just by bodies can't explain two events identical in space-time [Quine] |
19121 | We can reduce properties to true formulas [Halbach/Leigh] |
19122 | Nominalists can reduce theories of properties or sets to harmless axiomatic truth theories [Halbach/Leigh] |
8206 | Necessity could be just generalisation over classes, or (maybe) quantifying over possibilia [Quine] |
17488 | Empiricist theories are sets of laws, which give explanations and reductions [Glennan] |
17493 | Modern mechanism need parts with spatial, temporal and function facts, and diagrams [Glennan] |
17487 | Mechanistic philosophy of science is an alternative to the empiricist law-based tradition [Glennan] |
17489 | Mechanisms are either systems of parts or sequences of activities [Glennan] |
17490 | 17th century mechanists explained everything by the kinetic physical fundamentals [Glennan] |
17491 | Unlike the lawlike approach, mechanistic explanation can allow for exceptions [Glennan] |
17494 | Since causal events are related by mechanisms, causation can be analysed in that way [Glennan] |