Temporal Logic: From Ancient Ideas to Artificial Intelligence
Springer Science & Business Media, Sep 30, 1995 - Computers - 413 pages
Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal logic in computer science and the understanding of natural language.
Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole.
What people are saying - Write a review
We haven't found any reviews in the usual places.
PART 1 TIME AND LOGIC FROM SYNTHESIS TO DISSOCIATION
11 The Seafight Tomorrow
13 The Study of Tenses in the Middle Ages
14 Temporal Ampliation
15 The Duration of the Present
16 The Logic of Beginning and Ending
17 Time and Consequents
27 Tense Logic and Special Relativity
28 Some Basic Systems of Temporal Logic
29 Four Grades of TenseLogical Involvement
210 Metric Tense Logic
31 Two Paradigms of Temporal Logic
32 Indeterministic Tense Logic
33 Leibnizian Tense Logic
18 Temporalis the Logic of WHILE
110 The Downfall of Medieval Tenselogic
111 Logic as a Timeless Science
Part 2 Time and Logic Reunited
21 The 19th century and Boolean logic
Time and Modality
to Temporal logic
24 A ThreePoint Structure of Tenses
25 AN Priors Tenselogic
26 The Idea of Branching Time
A-concepts A. N. Prior According analysis Anselm antecedent argued Aristotle assume assumption axioms B-logic B-theory before(a,b,x Borges branching Buridan causal chapter CIMP computer science concept conceptual graphs consequence consequentia considered contingent future corresponding counterfactual crucial defined definition Diodorus discussion durations equivalent example existential graphs fact false formulated Hamblin history of logic idea implication instant propositions interpretation ISBN Jespersen Lavenham Leibniz logicians Lukasiewicz Master Argument means medieval logic medieval logicians metric tense logic modal logic natural language necessity notion obviously Ockham Ockhamistic operator past Peirce Peirce's Peircean philosophical predicate present Prior problem Proof provable proved question reason regarding Reichenbach rejected relation relevant rule Scholastic sea-fight semantics Socrates sophism statement Stephen Albert structure symbolic tempo-modal temporal logic temporal proposition temporalis tense logic tense-logical theorem theory thesis tomorrow true truth value unbroken cuts valid William of Ockham Yu Tsun
Page 1 - What then is time? If no one asks me. I know; if I wish to explain it to one that asketh, I know not...