On the Sea Battle Tomorrow That May Not Happen

This book is devoted to the problem of the Master Argument - a historical argument of the Greek philosopher Diodorus Cronus. Since the original argument was lost, many contemporary logicians have tried to recreate it, using modern tools of logic. The objective of Diodorus' argument was to evidence the correctness of the temporarily defined modalities: necessity and probability. They took a deterministic form and challenged the indeterministic approach of Aristotle included in the Sea-Battle Tomorrow. In this study, the author shows that some of the reconstructions of the Master Argument allowed for the branched time structures. This is the crowning argument to prove that despite the acceptance of Diodorus' notions, the Aristotelian Sea-Battle Tomorrow may still not happen, or may as well happen.

Autorentext

Tomasz Jarmuzek is Professor of Logic at the Nicolaus Copernicus University in Torun (Poland). His research focuses on philosophical logic and its applications in philosophical problems. He is also interested in the proof theory with a special emphasis on the tableau methods.

Inhalt

Aristotle - Diodorus Cronus - Determinism - Future contigents - Master Argument - Sea-Battle Tomorrow - Structure of time - Temporal logic - Tense logic - Time