Combining Texts

Ideas for 'Thinking About Mathematics', 'fragments/reports' and 'A Powerful Particulars View of Causation'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
Philosophers accepted first-order logic, because they took science to be descriptive, not explanatory [Ingthorsson]
     Full Idea: First-order predicate logic was accepted so easily by the philosophical community …because philosophy was already geared toward a neo-Humean view of both science and philosophy as primarily descriptive rather than explanatory.
     From: R.D. Ingthorsson (A Powerful Particulars View of Causation [2021], 1.8)
     A reaction: The point, I think, is that explanatory thinking needs second-order logic, where the properties (or powers) are players in the game, and not just adjuncts of the catalogue of objects. I find this idea mind-expanding. (That's a good thing).