display all the ideas for this combination of texts
2 ideas
22610 | It is difficult to handle presentism in first-order logic [Ingthorsson] |
Full Idea: Contemporary philosophers are not comfortable with presentism, because it is difficult to deal with presentism in the language of first-order predicate logic. | |
From: R.D. Ingthorsson (A Powerful Particulars View of Causation [2021], 1.8) | |
A reaction: Presumable that logic relies on objects which endure through time, or at least have a past. Second-order logic is better able to deal with processes, which only exist in the present, but nevertheless have an integral past and future. ? |
1526 | Almost everyone except Plato thinks that time could not have been generated [Plato, by Aristotle] |
Full Idea: With a single exception (Plato) everyone agrees about time - that it is not generated. Democritus says time is an obvious example of something not generated. | |
From: report of Plato (works [c.375 BCE]) by Aristotle - Physics 251b14 |