Logic In Islamic Philosophy
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 Persian 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. According to the Routledge Encyclopedia of Philosophy: Important developments made by Muslim logicians included the development of "Avicennian logic" as a replacement of Aristotelian logic. Avicenna's system of logic was responsible for the introduction of hypothetical syllogism, temporal modal logic and inductive logic. Other important development ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Islamic Law
Sharia (; ar, شريعة, sharīʿa ) is a body of religious law that forms a part of the Islamic tradition. It is derived from the religious precepts of Islam and is based on the sacred scriptures of Islam, particularly the Quran and the Hadith. In Arabic, the term ''sharīʿah'' refers to God's immutable divine law and is contrasted with ''fiqh'', which refers to its human scholarly interpretations. In the historical course, fiqh sects have emerged that reflect the preferences of certain societies and state administrations on behalf of people who are interested in the theoretical (method) and practical application (Ahkam / fatwa) studies of laws and rules, but sharia has never been a valid legal system on its own. It has been used together with " customary (Urf) law" since Omar or the Umayyads. It may also be wrong to think that the Sharia, as a religious argument or belief, is entirely within or related to Allah's commands and prohibitions. Several non-graded crimes ar ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Metaphysics
Metaphysics is the branch of philosophy that studies the fundamental nature of reality, the first principles of being, identity and change, space and time, causality, necessity, and possibility. It includes questions about the nature of consciousness and the relationship between mind and matter, between substance and attribute, and between potentiality and actuality. The word "metaphysics" comes from two Greek words that, together, literally mean "after or behind or among he study ofthe natural". It has been suggested that the term might have been coined by a first century CE editor who assembled various small selections of Aristotle's works into the treatise we now know by the name ''Metaphysics'' (μετὰ τὰ φυσικά, ''meta ta physika'', 'after the ''Physics'' ', another of Aristotle's works). Metaphysics studies questions related to what it is for something to exist and what types of existence there are. Metaphysics seeks to answer, in an abstract and fu ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Analogy
Analogy (from Greek ''analogia'', "proportion", from ''ana-'' "upon, according to" lso "against", "anew"+ ''logos'' "ratio" lso "word, speech, reckoning" is a cognitive process of transferring information or meaning from a particular subject (the analog, or source) to another (the target), or a linguistic expression corresponding to such a process. In a narrower sense, analogy is an inference or an argument from one particular to another particular, as opposed to deduction, induction, and abduction, in which at least one of the premises, or the conclusion, is general rather than particular in nature. The term analogy can also refer to the relation between the source and the target themselves, which is often (though not always) a similarity, as in the biological notion of analogy. Analogy plays a significant role in problem solving, as well as decision making, argumentation, perception, generalization, memory, creativity, invention, prediction, emotion, explanation, concep ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ijtihad
''Ijtihad'' ( ; ar, اجتهاد ', ; lit. physical or mental ''effort'') is an Islamic legal term referring to independent reasoning by an expert in Islamic law, or the thorough exertion of a jurist's mental faculty in finding a solution to a legal question. It is contrasted with ''taqlid'' (imitation, conformity to legal precedent). According to classical Sunni theory, ''ijtihad'' requires expertise in the Arabic language, theology, revealed texts, and principles of jurisprudence (''usul al-fiqh''), and is not employed where authentic and authoritative texts (Qur'an and Hadith) are considered unambiguous with regard to the question, or where there is an existing scholarly consensus (''ijma''). ''Ijtihad'' is considered to be a religious duty for those qualified to perform it. An Islamic scholar who is qualified to perform ''ijtihad'' is called as a "'' mujtahid''". Throughout the first five Islamic centuries, the practice of ''ijtihad'' continued both theoretically and practica ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scientific Method
The scientific method is an empirical method for acquiring knowledge that has characterized the development of science since at least the 17th century (with notable practitioners in previous centuries; see the article history of scientific method for additional detail.) It involves careful observation, applying rigorous skepticism about what is observed, given that cognitive assumptions can distort how one interprets the observation. It involves formulating hypotheses, via induction, based on such observations; the testability of hypotheses, experimental and the measurement-based statistical testing of deductions drawn from the hypotheses; and refinement (or elimination) of the hypotheses based on the experimental findings. These are ''principles'' of the scientific method, as distinguished from a definitive series of steps applicable to all scientific enterprises. Although procedures vary from one field of inquiry to another, the underlying process is frequently the sa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Isnad
Hadith studies ( ar, علم الحديث ''ʻilm al-ḥadīth'' "science of hadith", also science of hadith, or science of hadith criticism or hadith criticism) consists of several religious scholarly disciplines used by Muslim scholars in the study and evaluation of the Islamic hadith—i.e. the record of the words, actions, and the silent approval of the Islamic prophet, Muhammad. Determining authenticity of hadith is enormously important in Islam because along with the Quran, the ''Sunnah'' of the Islamic prophet—his words, actions, and the silent approval—are considered the explanation of the divine revelation ('' wahy''), and the record of them (i.e. hadith) provides the basis of Islamic law (Sharia). In addition, while the number of verses pertaining to law in the Quran is relatively few, hadith give direction on everything from details of religious obligations (such as '' Ghusl'' or ''Wudu'', ablutions An-Nawawi, ''Riyadh As-Salihin'', 1975: p.203 for ''salat'' pra ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scientific Citation
Scientific citation is providing detailed reference in a scientific publication, typically a paper or book, to previous published (or occasionally private) communications which have a bearing on the subject of the new publication. The purpose of citations in original work is to allow readers of the paper to refer to cited work to assist them in judging the new work, source background information vital for future development, and acknowledge the contributions of earlier workers. Citations in, say, a review paper bring together many sources, often recent, in one place. To a considerable extent the quality of work, in the absence of other criteria, is judged on the number of citations received, adjusting for the volume of work in the relevant topic. While this is not necessarily a reliable measure, counting citations is trivially easy; judging the merit of complex work can be very difficult. Previous work may be cited regarding experimental procedures, apparatus, goals, previous the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Inductive Reasoning
Inductive reasoning is a method of reasoning in which a general principle is derived from a body of observations. It consists of making broad generalizations based on specific observations. Inductive reasoning is distinct from ''deductive'' reasoning. If the premises are correct, the conclusion of a deductive argument is ''certain''; in contrast, the truth of the conclusion of an inductive argument is '' probable'', based upon the evidence given. Types The types of inductive reasoning include generalization, prediction, statistical syllogism, argument from analogy, and causal inference. Inductive generalization A generalization (more accurately, an ''inductive generalization'') proceeds from a premise about a sample to a conclusion about the population. The observation obtained from this sample is projected onto the broader population. : The proportion Q of the sample has attribute A. : Therefore, the proportion Q of the population has attribute A. For example, say there ... [...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 at ... [...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 its ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Hypothetical Syllogism
In classical logic, a hypothetical syllogism is a valid argument form, a syllogism with a conditional statement for one or both of its premises. An example in English: :If I do not wake up, then I cannot go to work. :If I cannot go to work, then I will not get paid. :Therefore, if I do not wake up, then I will not get paid. The term originated with Theophrastus. Propositional logic In propositional logic, hypothetical syllogism is the name of a valid rule of inference (often abbreviated HS and sometimes also called the chain argument, chain rule, or the principle of transitivity of implication). The rule may be stated: :\frac where the rule is that whenever instances of "P \to Q", and "Q \to R" appear on lines of a proof, "P \to R" can be placed on a subsequent line. Hypothetical syllogism is closely related and similar to disjunctive syllogism, in that it is also a type of syllogism, and also the name of a rule of inference. Applicability The rule of hypothetical syllogi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
System Of Logic
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system. A formal system is essentially an "axiomatic system". In 1921, David Hilbert proposed to use such a system as the foundation for the knowledge in mathematics. A formal system may represent a well-defined system of abstract thought. 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. Background Each formal system is described by primitive symbols (which collectively form an alphabet) to finitely construct a formal language from a set of axioms through inferential rules of formation. The system thus consists of valid formulas built up through finite combinations of the primitive symbols—combinations that are formed from ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |