display all the ideas for this combination of texts
2 ideas
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |
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. ? |