Natural theology, once also termed physico-theology, is a type of theology that provides arguments for the existence of God based on reason and ordinary experience of nature. Natural theology, once also termed physico-theology, is a type of theology that provides arguments for the existence of God based on reason and ordinary experience of nature. This distinguishes it from revealed theology, which is based on scripture and/or religious experiences, and from transcendental theology, which is based on a priori reasoning. It is thus a type of philosophy, with the aim of explaining the nature of the gods, or of one supreme God. For monotheistic religions, this principally involves arguments about the attributes or non-attributes of God, and especially the existence of God, using arguments that do not involve recourse to supernatural revelation. Marcus Terentius Varro (116–27 BC) established a distinction between political theology (the social functions of religion), natural theology and mythical theology. His terminology became part of the Stoic tradition and then Christianity through Augustine of Hippo and Thomas Aquinas. Besides Zarathushtra's Gathas, Plato gives the earliest surviving account of a natural theology. In the Timaeus, written c. 360 BC, we read: 'We must first investigate concerning that primary question which has to be investigated at the outset in every case, — namely, whether it has always existed, having no beginning or generation, or whether it has come into existence, having begun from some beginning.' In the Laws, in answer to the question as to what arguments justify faith in the gods, Plato affirms: 'One is our dogma about the soul...the other is our dogma concerning the ordering of the motion of the stars'. Varro (Marcus Terentius Varro) in his (lost) Antiquitates rerum humanarum et divinarum (Antiquities of Human and Divine Things) established a distinction between three kinds of theology: civil (political) (theologia civilis), natural (physical) (theologia naturalis) and mythical (theologia mythica). The theologians of civil theology are 'the people', asking how the gods relate to daily life and the state (imperial cult). The theologians of natural theology are the philosophers, asking about the nature of the gods, and the theologians of mythical theology are the poets, crafting mythology. From the 8th century AD, the Mutazilite school of Islam, compelled to defend their principles against the orthodox Islam of their day, used philosophy for support, and were among the first to pursue a rational Islamic theology, termed Ilm-al-Kalam (scholastic theology). The teleological argument was later presented by the early Islamic philosophers Alkindus and Averroes, while Avicenna presented both the cosmological argument and the ontological argument in The Book of Healing (1027). Thomas Aquinas (c. 1225 – 1274) presented several versions of the cosmological argument in his Summa Theologica, and of the teleological argument in his Summa contra Gentiles. He presented the ontological argument, but rejected it in favor of proofs that invoke cause and effect alone. His quinque viae ('five ways') in those books attempted to prove the existence of God in different ways, including (as way No. 5) the goal-directed actions seen in nature.