|
Mantiq
Early Islamic law placed importance on formulating standards of argument, which gave rise to a "novel approach to logic" ( ''manṭiq'' "speech, eloquence") in Kalam (Islamic scholasticism). However, with the rise of the Mu'tazili philosophers, who highly valued Aristotle's ''Organon'', this approach was displaced by the older ideas from Hellenistic philosophy. The works of al-Farabi, Avicenna, al-Ghazali and other Muslim logicians who often criticized and corrected Aristotelian logic and introduced their own forms of logic, also played a central role in the subsequent development of European logic during the Renaissance. Scholars who have studied Islamic logic include Nicholas Rescher, who in a 1964 work contextualized some 170 Arabic-language logicians, without the book being exhaustive. There have been hundreds of original treatises in the subject as well thousands of later commentaries or supra-commentaries. According to the Routledge Encyclopedia of Philosophy: Importa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Al-Ghazali
Al-Ghazali ( – 19 December 1111), archaically Latinized as Algazelus, was a Shafi'i Sunni Muslim scholar and polymath. He is known as one of the most prominent and influential jurisconsults, legal theoreticians, muftis, philosophers, theologians, logicians and mystics in Islamic history. He is considered to be the 11th century's '' mujaddid'',William Montgomery Watt, ''Al-Ghazali: The Muslim Intellectual'', p. 180. Edinburgh University Press, 1963. a renewer of the faith, who, according to the prophetic hadith, appears once every 100 years to restore the faith of the Islamic community.Dhahabi, Siyar, 4.566 Al-Ghazali's works were so highly acclaimed by his contemporaries that he was awarded the honorific title "Proof of Islam" ('' Ḥujjat al-Islām''). Al-Ghazali was a prominent mujtahid in the Shafi'i school of law. Much of Al-Ghazali's work stemmed around his spiritual crises following his appointment as the head of the Nizamiyya University in Baghdad - which was ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kalam
''Ilm al-kalam'' or ''ilm al-lahut'', often shortened to ''kalam'', is the scholastic, speculative, or rational study of Islamic theology ('' aqida''). It can also be defined as the science that studies the fundamental doctrines of Islamic faith ('' usul al-din''), proving their validity, or refuting doubts regarding them. Kalām was born out of the need to establish and defend the tenets of Islam against the philosophical doubters, and to defend against heretical and religious innovations (''bidʿah''). A scholar of ''kalam'' is referred to as a ''mutakallim'' (plural ''mutakallimun''), a role distinguished from those of Islamic philosophers and jurists. After its first beginnings in the late Umayyad period, the Kalām experienced its rise in the early Abbasid period, when the Caliph al-Mahdi commissioned Mutakallimūn to write books against the followers of Iranian religions, and the Barmakid vizier Yahya ibn Khalid held Kalām discussions with members of various re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Islamic Law
Sharia, Sharī'ah, Shari'a, or Shariah () is a body of religious law that forms a part of the Islamic tradition based on scriptures of Islam, particularly the Qur'an and hadith. In Islamic terminology ''sharīʿah'' refers to immutable, intangible divine law; contrary to ''fiqh'', which refers to its interpretations by Islamic scholars. Sharia, or fiqh as traditionally known, has always been used alongside customary law from the very beginning in Islamic history; has been elaborated and developed over the centuries by legal opinions issued by qualified jurists – reflecting the tendencies of different schools – and integrated and with various economic, penal and administrative laws issued by Muslim rulers; and implemented for centuries by judges in the courts until recent times, when secularism was widely adopted in Islamic societies. Traditional theory of Islamic jurisprudence recognizes four sources for Ahkam al-sharia: the Qur'an, ''sunnah'' (or authentic ahadi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Routledge Encyclopedia Of Philosophy
The ''Routledge Encyclopedia of Philosophy'' is an encyclopedia of philosophy edited by Edward Craig that was first published by Routledge in 1998. Originally published in both 10 volumes of print and as a CD-ROM, in 2002 it was made available online on a subscription basis. The online version is regularly updated with new articles and revisions to existing articles. It has 1,300 contributors providing over 2,000 scholarly articles. Single-volume editions Two single-volume editions of the encyclopedia have been published, ''The Concise Routledge Encyclopedia of Philosophy'', first published in 1999 (), and ''The Shorter Routledge Encyclopedia of Philosophy'', first published in 2005 (). The ''Concise'' version has the same number of entries as the ten-volume set, each entry in the ''Concise'' version being the summary of the topic that precedes each article in the 10-volume work. The ''Shorter'' version has over 900 articles, each with more in depth coverage than the correspondin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scientific Citation
Scientific citation is the process of systematically acknowledging sources from which information, data, ideas, or direct quotations are drawn in Academic writing, scholarly work.Sources in science are typically previously-published Peer review, peer-reviewed Academic journal, journal articles, books, Thesis, theses or dissertations, Conference proceedings, conference papers, and rarely private or public communications. Citations connect a researcher’s work with existing Literature review, literature, ensuring transparency, academic integrity, and safe outcomes such as in medical science. Effective citation practices require clear, standardized mechanisms for referencing materials, particularly crucial as electronic publishing and online data repositories expand rapidly. Scientists generate Epistemology, new knowledge by practicing the scientific method on the thoughts, ideas, and work that scientists did before them. By applying scholarly principles, scientists may report thei ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inductive Reasoning
Inductive reasoning refers to a variety of method of reasoning, methods of reasoning in which the conclusion of an argument is supported not with deductive certainty, but with some degree of probability. Unlike Deductive reasoning, ''deductive'' reasoning (such as mathematical induction), where the conclusion is ''certain'', given the premises are correct, inductive reasoning produces conclusions that are at best ''probable'', given the evidence provided. Types The types of inductive reasoning include generalization, prediction, statistical syllogism, argument from analogy, and causal inference. There are also differences in how their results are regarded. Inductive generalization A generalization (more accurately, an ''inductive generalization'') proceeds from premises about a Sample (statistics), sample to a conclusion about the statistical population, population. The observation obtained from this sample is projected onto the broader population. : The proportion Q of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Modal Logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields it is used as a tool for understanding concepts such as knowledge, obligation, and causality, causation. For instance, in epistemic modal logic, the well-formed_formula, formula \Box P can be used to represent the statement that P is known. In deontic modal logic, that same formula can represent that P is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula \Box P \rightarrow P as a Tautology_(logic), tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false. Modal logics are formal systems that include unary operation, unary operators such as \Diamond and \Box, representing possibility and necessi ... [...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 it ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypothetical Syllogism
In classical logic, a hypothetical syllogism is a valid argument form, a deductive syllogism with a conditional statement for one or both of its premises. Ancient references point to the works of Theophrastus and Eudemus for the first investigation of this kind of syllogisms. Types Hypothetical syllogisms come in two types: mixed and pure. A ''mixed'' hypothetical syllogism has two premises: one conditional statement and one statement that either affirms or denies the antecedent or consequent of that conditional statement. For example, :If P, then Q. :P. :∴ Q. In this example, the first premise is a conditional statement in which "P" is the antecedent and "Q" is the consequent. The second premise "affirms" the antecedent. The conclusion, that the consequent must be true, is deductively valid. A mixed hypothetical syllogism has four possible forms, two of which are valid, while the other two are invalid. A valid mixed hypothetical syllogism either affirms the anteceden ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
System Of Logic
A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in mathematics. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Concepts A formal system has the following: * Formal language, which is a set of well-formed formulas, which are strings of symbols from an alphabet, formed by a formal grammar (consisting of production rules or formation rules). * Deductive system, deductive apparatus, or proof system, which has rules of inference that take axioms and infers theorems, both of which are part of the formal language. A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable sets or semid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Syllogism
A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true. In its earliest form (defined by Aristotle in his 350 BC book '' Prior Analytics''), a deductive syllogism arises when two true premises (propositions or statements) validly imply a conclusion, or the main point that the argument aims to get across. For example, knowing that all men are mortal (major premise), and that Socrates is a man (minor premise), we may validly conclude that Socrates is mortal. Syllogistic arguments are usually represented in a three-line form: All men are mortal. Socrates is a man. Therefore, Socrates is mortal.In antiquity, two rival syllogistic theories existed: Aristotelian syllogism and Stoic syllogism. From the Middle Ages onwards, ''categorical syllogism'' and ''syllogism'' were usually used interchangeably. This article is concern ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition (philosophy)
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have been ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
