Najm Al-Din Al-Qazwini Al-Katibi
Najm al-Dīn 'Alī ibn 'Umar al-Qazwīnī al-Kātibī (died AH 675 / 1276 CE) was a Persian Islamic philosopher and logician of the Shafi`i school. A student of Athīr al-Dīn al-Abharī. His most important works are a treatise on logic, ''Al-Risala al-Shamsiyya'', and one on metaphysics and the natural sciences, ''Hikmat al-'Ain''. He helped establish the Maragha observatory along with Nasir al-Din al-Tusi and several other astronomers. Logic His work on logic, the ''al-Risāla al-Shamsiyya'' (''Logic for Shams al-Dīn''), was commonly used as the first major text on logic in madrasahs, right down until the twentieth century and is "perhaps the most studied logic textbook of all time". Al-Katibi's logic was largely inspired by the formal Avicennian system of temporal modal logic, but is more elaborate and departs from it in several ways. While Avicenna considered ten modalities and examined six of them, al-Katibi considers many more modalized propositions and examines thirteen ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Persian People
The Persians are an Iranian ethnic group who comprise over half of the population of Iran. They share a common cultural system and are native speakers of the Persian language as well as of the languages that are closely related to Persian. The ancient Persians were originally an ancient Iranian people who had migrated to the region of Persis (corresponding to the modern-day Iranian province of Fars) by the 9th century BCE. Together with their compatriot allies, they established and ruled some of the world's most powerful empires that are well-recognized for their massive cultural, political, and social influence, which covered much of the territory and population of the ancient world.. Throughout history, the Persian people have contributed greatly to art and science. Persian literature is one of the world's most prominent literary traditions. In contemporary terminology, people from Afghanistan, Tajikistan, and Uzbekistan who natively speak the Persian language are ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
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. Motivation Consider the statement "I am hungry". Though i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
13th-century Iranian Philosophers
The 13th century was the century which lasted from January 1, 1201 ( MCCI) through December 31, 1300 ( MCCC) in accordance with the Julian calendar. The Mongol Empire was founded by Genghis Khan, which stretched from Eastern Asia to Eastern Europe. The conquests of Hulagu Khan and other Mongol invasions changed the course of the Muslim world, most notably the Siege of Baghdad (1258), the destruction of the House of Wisdom and the weakening of the Mamluks and Rums which, according to historians, caused the decline of the Islamic Golden Age. Other Muslim powers such as the Mali Empire and Delhi Sultanate conquered large parts of West Africa and the Indian subcontinent, while Buddhism witnessed a decline through the conquest led by Bakhtiyar Khilji. The Southern Song dynasty would begin the century as a prosperous kingdom but would eventually be invaded and annexed into the Yuan dynasty of the Mongols. The Kamakura Shogunate of Japan would be invaded by the Mongols. Goryeo resiste ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Iranian Chemists
Iranian may refer to: * Iran, a sovereign state * Iranian peoples, the speakers of the Iranian languages. The term Iranic peoples is also used for this term to distinguish the pan ethnic term from Iranian, used for the people of Iran * Iranian languages, a branch of the Indo-Iranian languages * Iranian diaspora, Iranian people living outside Iran * Iranian architecture, architecture of Iran and parts of the rest of West Asia * Iranian foods, list of Iranian foods and dishes * Iranian.com, also known as ''The Iranian'' and ''The Iranian Times'' See also * Persian (other) * Iranians (other) * Languages of Iran * Ethnicities in Iran * Demographics of Iran * Indo-Iranian languages * Irani (other) * List of Iranians This is an alphabetic list of notable people from Iran or its historical predecessors. In the news * Ali Khamenei, supreme leader of Iran * Ebrahim Raisi, president of Iran, former Chief Justice of Iran. * Hassan Rouhani, former president ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Year Of Birth Unknown
A year or annus is the orbital period of a planetary body, for example, the Earth, moving in its orbit around the Sun. Due to the Earth's axial tilt, the course of a year sees the passing of the seasons, marked by change in weather, the hours of daylight, and, consequently, vegetation and soil fertility. In temperate and subpolar regions around the planet, four seasons are generally recognized: spring, summer, autumn and winter. In tropical and subtropical regions, several geographical sectors do not present defined seasons; but in the seasonal tropics, the annual wet and dry seasons are recognized and tracked. A calendar year is an approximation of the number of days of the Earth's orbital period, as counted in a given calendar. The Gregorian calendar, or modern calendar, presents its calendar year to be either a common year of 365 days or a leap year of 366 days, as do the Julian calendars. For the Gregorian calendar, the average length of the calendar year ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alchemists Of The Medieval Islamic World
Alchemy (from Arabic: ''al-kīmiyā''; from Ancient Greek: χυμεία, ''khumeía'') is an ancient branch of natural philosophy, a philosophical and protoscientific tradition that was historically practiced in China, India, the Muslim world, and Europe. In its Western form, alchemy is first attested in a number of pseudepigraphical texts written in Greco-Roman Egypt during the first few centuries AD.Principe, Lawrence M. The secrets of alchemy'. University of Chicago Press, 2012, pp. 9–14. Alchemists attempted to purify, mature, and perfect certain materials. Common aims were chrysopoeia, the transmutation of "base metals" (e.g., lead) into "noble metals" (particularly gold); the creation of an elixir of immortality; and the creation of panaceas able to cure any disease. The perfection of the human body and soul was thought to result from the alchemical ''magnum opus'' ("Great Work"). The concept of creating the philosophers' stone was variously connected with all of th ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Islamic Philosophers
Muslim philosophers both profess Islam and engage in a style of philosophy situated within the structure of the Arabic language and Islam, though not necessarily concerned with religious issues. The sayings of the companions of Muhammad contained little philosophical discussion. In the eighth century, extensive contact with the Byzantine Empire led to a drive to translate philosophical works of Ancient Greek Philosophy (especially the texts of Aristotle) into Arabic. The ninth-century Al-Kindi is considered the founder of Islamic peripatetic philosophy (800–1200)./ref> , - , Averroes , , Spain (Andalusia) , 1126–1198 , Peripatetic , Being described as "founding father of secular thought in Western Europe", He was known by the nickname ''the Commentator'' for his precious commentaries on Aristotle's works. His main work was '' The Incoherence of the Incoherence'' in which he defended philosophy against al-Ghazali's claims in '' The Incoherence of the Philosophers''. His othe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
13th-century Iranian Mathematicians
The 13th century was the century which lasted from January 1, 1201 ( MCCI) through December 31, 1300 ( MCCC) in accordance with the Julian calendar. The Mongol Empire was founded by Genghis Khan, which stretched from Eastern Asia to Eastern Europe. The conquests of Hulagu Khan and other Mongol invasions changed the course of the Muslim world, most notably the Siege of Baghdad (1258), the destruction of the House of Wisdom and the weakening of the Mamluks and Rums which, according to historians, caused the decline of the Islamic Golden Age. Other Muslim powers such as the Mali Empire and Delhi Sultanate conquered large parts of West Africa and the Indian subcontinent, while Buddhism witnessed a decline through the conquest led by Bakhtiyar Khilji. The Southern Song dynasty would begin the century as a prosperous kingdom but would eventually be invaded and annexed into the Yuan dynasty of the Mongols. The Kamakura Shogunate of Japan would be invaded by the Mongols. Goryeo resiste ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1276 Deaths
1 (one, unit, unity) is a number representing a single or the only entity. 1 is also a numerical digit and represents a single unit of counting or measurement. For example, a line segment of ''unit length'' is a line segment of length 1. In conventions of sign where zero is considered neither positive nor negative, 1 is the first and smallest positive integer. It is also sometimes considered the first of the infinite sequence of natural numbers, followed by 2, although by other definitions 1 is the second natural number, following 0. The fundamental mathematical property of 1 is to be a multiplicative identity, meaning that any number multiplied by 1 equals the same number. Most if not all properties of 1 can be deduced from this. In advanced mathematics, a multiplicative identity is often denoted 1, even if it is not a number. 1 is by convention not considered a prime number; this was not universally accepted until the mid-20th century. Additionally, 1 is the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Modal Logic
Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend other systems by adding unary operators \Diamond and \Box, representing possibility and necessity respectively. For instance the modal formula \Diamond P can be read as "possibly P" while \Box P can be read as "necessarily P". Modal logics can be used to represent different phenomena depending on what kind of necessity and possibility is under consideration. When \Box is used to represent epistemic necessity, \Box P states that P is epistemically necessary, or in other words that it is known. When \Box is used to represent deontic necessity, \Box P states that P is a moral or legal obligation. In the standard relational semantics for modal logic, formulas are assigned truth values relative to a '' possible world''. A formula's truth value ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Avicennian Logic
Ibn Sina ( fa, ابن سینا; 980 – June 1037 CE), commonly known in the West as Avicenna (), was a Persian polymath who is regarded as one of the most significant physicians, astronomers, philosophers, and writers of the Islamic Golden Age, and the father of early modern medicine. Sajjad H. Rizvi has called Avicenna "arguably the most influential philosopher of the pre-modern era". He was a Muslim Peripatetic philosopher influenced by Greek Aristotelian philosophy. Of the 450 works he is believed to have written, around 240 have survived, including 150 on philosophy and 40 on medicine. His most famous works are ''The Book of Healing'', a philosophical and scientific encyclopedia, and ''The Canon of Medicine'', a medical encyclopedia which became a standard medical text at many medieval universities and remained in use as late as 1650. Besides philosophy and medicine, Avicenna's corpus includes writings on astronomy, alchemy, geography and geology, psychology, Isl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Islamic
Islam (; ar, ۘالِإسلَام, , ) is an Abrahamic monotheistic religion centred primarily around the Quran, a religious text considered by Muslims to be the direct word of God (or ''Allah'') as it was revealed to Muhammad, the main and final Islamic prophet.Peters, F. E. 2009. "Allāh." In , edited by J. L. Esposito. Oxford: Oxford University Press. . (See alsoquick reference) " e Muslims' understanding of Allāh is based...on the Qurʿān's public witness. Allāh is Unique, the Creator, Sovereign, and Judge of mankind. It is Allāh who directs the universe through his direct action on nature and who has guided human history through his prophets, Abraham, with whom he made his covenant, Moses/Moosa, Jesus/Eesa, and Muḥammad, through all of whom he founded his chosen communities, the 'Peoples of the Book.'" It is the world's second-largest religion behind Christianity, with its followers ranging between 1-1.8 billion globally, or around a quarter of the world's popu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |