✦ LIBER ✦

Impossible futures and determinism

✍ Scribed by Marc Voorhoeve; Sjouke Mauw

Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 134 KB
Volume: 80
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(01)00217-4

No coin nor oath required. For personal study only.

✦ Synopsis

We present a class n of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the preorder 2 (impossible futures) an axiomatization is given.

📜 SIMILAR VOLUMES

On the impossibility of any future metap

On the impossibility of any future metaphysics

✍ Norwood Russell Hanson 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

## STUDIES recommended in the conclusion of the argument is the best course open to the agent." 2 Since there is no indication on his part that Baier does not wish the above assertions taken at face value, one is forced to conclude that in this instance he has based his argument on an elementary m

Determinism and Chance

✍ Barry Loewer 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 109 KB

Determinism and predictability

✍ N. G. Kampen 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 509 KB

Theoretical determinism, as it is usually ascribed to Laplace, is neither verifiable nor falsifiable and has therefore no real content. It is not the same as predictability of actually observable phenomena. On the other hand, predictability is not an abstract principle; rather it is true to a certai

Determinism and Inevitability

✍ H. C. Steward 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 236 KB

Jonathan Edwards and determinism

✍ Ryan D. Tweney 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

This paper argues a new interpretation of Jonathan Edwards's psychological account of human action. In Freedom of the Will (1754), Edwards adapted a sophisticated version of Newtonian determinism to the understanding of human thinking and action. Rejecting a mechanistic determinism, in which anteced

Contexts, refinement and determinism

✍ Steve Reeves; David Streader 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 426 KB

In this paper we have been influenced by those who take an ''engineering view'' of the problem of designing systems, i.e. a view that is motivated by what someone designing a real system will be concerned with, and what questions will arise as they work on their design. Specifically, we have borrowe