Temporal logic in the context of "Early Islamic philosophy"

⭐ In the context of Early Islamic philosophy, temporal logic is considered a notable development alongside which other logical approaches?

Ad spacer

⭐ Core Definition: Temporal logic

In logic, 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"). It is sometimes also used to refer 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.

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.

↓ Menu

>>>PUT SHARE BUTTONS HERE<<<

👉 Temporal logic in the context of Early Islamic philosophy

Early Islamic philosophy or classical Islamic philosophy is a period of intense philosophical development beginning in the 2nd century AH of the Islamic calendar (early 9th century CE) and lasting until the 6th century AH (late 12th century CE). The period is known as the Islamic Golden Age, and the achievements of this period had a crucial influence in the development of modern philosophy and science. For Renaissance Europe, "Muslim maritime, agricultural, and technological innovations, as well as much East Asian technology via the Muslim world, made their way to western Europe in one of the largest technology transfers in world history." This period starts with al-Kindi in the 9th century and ends with Averroes (Ibn Rushd) at the end of 12th century. The death of Averroes effectively marks the end of a particular discipline of Islamic philosophy usually called the Peripatetic Arabic School, and philosophical activity declined significantly in Western Islamic countries, namely in Islamic Spain and North Africa, though it persisted for much longer in the Eastern countries, in particular Persia and India where several schools of philosophy continued to flourish: Avicennism, Illuminationist philosophy, Mystical philosophy, and Transcendent theosophy.

Intellectual innovations, achievements, and advancements of this period included, within jurisprudence, the development of ijtihad, a method or methodological approach to legal reasoning, interpretation, and argument based on independent inquiry and analogical deduction; within science and the philosophy of science, the development of empirical research methods emphasizing controlled experimentation, observational evidence, and reproducibility, as well as early formulations of empiricist epistemologies; commentaries and developments in Aristotelian logic, as well as innovations in non-Aristotelian temporal modal logic and inductive logic; and developments in research practice and methodology, including, within medicine, the first documented peer review process and within jurisprudence and theology, a strict science of citation, the isnad or "backing".

↓ Explore More Topics
In this Dossier

Temporal logic in the context of Arthur Prior

Arthur Norman Prior (4 December 1914 – 6 October 1969), usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).

↑ Return to Menu