display all the ideas for this combination of philosophers
2 ideas
22609 | 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). |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |