Concept
Temporal logic
Overview
In logic, a temporal logic is any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time (for example, "I am always hungry", "I will eventually be hungry", or "I will be hungry until I eat something").
Temporal logic has found an important application in formal verification, where it is used to state requirements of hardware or software systems. For instance, one may wish to say that whenever a request is made, access to a resource is eventually granted, but it is never granted to two requestors simultaneously. Such a statement can conveniently be expressed in a temporal logic.
The term temporal logic is also sometimes used to refer specifically to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s, with important contributions by Hans Kamp. It has been further developed by computer scientists, notably Amir Pnueli, and logicians.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Possible passages
Found by search and not yet checked by a person; they may only mention the idea in passing.
And the reasoning (speaking) soul, if it engages itself upon the sciences, its activity is called mind or intellect, and it is accordingly called speculative or theoretical mind: which I have already described. And if it engages itself upon overcoming blameworthy powers, that entice unto wrongdoing through their excess, unto folly through their abandonment, unto impetuosity through their agitation, unto cowardice…
Avicenna, A Compendium on the Soul
States what Temporal logic is; the author is tied to Temporal logic in the knowledge graph.
For if 'two' exists, it follows directly that 'one' must exist, but if 'one' exists, it does not follow necessarily that 'two' exists: thus the sequence subsisting cannot be reversed. It is agreed, then, that when the sequence of two things cannot be reversed, then that one on which the other depends is called 'prior' to that other. In the third place, the term 'prior' is used with reference to any order, as in the…
Aristotle, The Categories
States what Temporal logic is; the author is tied to Temporal logic in the knowledge graph.
It must be admitted, however, that there is something natural in it: because different things are pleasant to different men and a preference of some particular objects to chance ones is universal. Well then, in the case of the desires which are strictly and properly natural few men go wrong and all in one direction, that is, on the side of too much: I mean, to eat and drink of such food as happens to be on the table…
Aristotle, The Nicomachean ethics of Aristotle
States what Temporal logic is; the author is tied to Temporal logic in the knowledge graph.
Philosophers who discussed Temporal logic
- Avicenna
- Georg Henrik von Wright
- Nuel Belnap
- Arthur Prior
- Nicholas Rescher
- Charles Leonard Hamblin
- Hans Kamp
Related ideas
- First-order logic
- Journal of Symbolic Logic
- Lwów–Warsaw school
- Logical connective
- Propositional logic
- Modus ponens
- Reflexive relation
- Sentence (mathematical logic)
- Predestination
- Principle of bivalence
- Formal verification
- Time
- Jan Łukasiewicz
- Aristotle
- Arthur Prior
- University of Oxford
- Modal logic
- Wellington
- Modal operator
- Well-formed formula
- Atomic formula
- Tautology (logic)
- Logic
- Free will
Place in the tradition
Part of Outline of philosophy.
Narrower topics: