Окамова темпорална логика за разклоняващо се време – Уилям Окам и Артър Прайър
Ockham ̓s Temporal Logic for Branching Time – William Occam and Arthur Prior

Summary/Abstract: Temporal logic is one of the most fascinating fields in logic and philosophy nowadays. There are different types of temporal logic that depend on what the understanding of time is– if is it linear or circle, branching or not, with or without beginning and ending, and so on. One type of temporal logic is Ockhamist branching-time temporal logic which was originally formulated by Arthur Prior based on Ockham’s analysis of temporal proposition. The main problem in Ockham’s analysis is how God knows who will be saved and nevertheless no one is predestinated or how God knows future contingent proposition. Prior again has a problem with determinism and with the Diodorus Cronus’ Master Argument to which Ockhamist branching-time temporal logic is one of the solutions suggested by Prior. Prior formulated another type of branching time temporal logic which was based on Peirce’s philosophy which Prior prefers over Ockhamist one. However, the development of temporal logic shows that Ockhamist branching-time temporal logic has had a greater influence on scientific research in this field.

• Details
• Contents