Concept
Reductio ad absurdum
Related concepts (16)
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or logical truths. It studies how conclusions follow from premises due to the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. It examines arguments expressed in natural language while formal logic uses formal language.
Aporia
In philosophy, an aporia (aporíā) is a conundrum or state of puzzlement. In rhetoric, it is a declaration of doubt, made for rhetorical purpose and often feigned. In philosophy, an aporia is a philosophical puzzle or a seemingly irresoluble impasse in an inquiry, often arising as a result of equally plausible yet inconsistent premises (i.e. a paradox). It can also denote the state of being perplexed, or at a loss, at such a puzzle or impasse.
Buddhapālita
Buddhapālita (; , fl. 5th-6th centuries CE) was an Indian Mahayana Buddhist commentator on the works of Nagarjuna and Aryadeva. His Mūlamadhyamaka-vṛtti is an influential commentary to the Mūlamadhyamakakarikā. Buddhapālita's commentarial approach works was criticised by his contemporary Bhāviveka, and then defended by the later Candrakīrti (c. 600–650). Later Tibetan scholasticism (11th century onwards) would characterize the two approaches as the prasaṅgika (Buddhapālita-Candrakīrti) and svatantrika (Bhāviveka's) schools of Madhyamaka philosophy (but these terms do not appear in Indian Sanskrit sources).
Principle of explosion
In classical logic, intuitionistic logic and similar logical systems, the principle of explosion (ex falso [sequitur] quodlibet, 'from falsehood, anything [follows]'; or ex contradictione [sequitur] quodlibet), or the principle of Pseudo-Scotus (falsely attributed to Duns Scotus), is the law according to which any statement can be proven from a contradiction. That is, from a contradiction, any proposition (including its negation) can be inferred from it; this is known as deductive explosion.
Contradiction
In traditional logic, a contradiction occurs when a proposition conflicts either with itself or established fact. It is often used as a tool to detect disingenuous beliefs and bias. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "It is impossible that the same thing can at the same time both belong and not belong to the same object and in the same respect.
Bhāviveka
Bhāviveka, also called Bhāvaviveka (; ), and Bhavya was a sixth-century (c. 500 – c. 570) madhyamaka Buddhist philosopher. Alternative names for this figure also include Bhavyaviveka, Bhāvin, Bhāviviveka, Bhagavadviveka and Bhavya. Bhāviveka is the author of the Madhyamakahrdaya (Heart of the Middle), its auto-commentary the Tarkajvālā (Blaze of Reasoning) and the Prajñāpradīpa (Lamp for Wisdom). In Tibetan Buddhism Bhāviveka is regarded as the founder of the svātantrika tradition of mādhyamaka, as opposed to the prāsaṅgika madhyamaka of Chandrakirti.
Mūlamadhyamakakārikā
The Mūlamadhyamakakārikā (मूलमध्यमककारिका), abbreviated as MMK, is the foundational text of the Madhyamaka school of Mahāyāna Buddhist philosophy. It was composed by the Indian philosopher Nāgārjuna (approximately around 150 CE). The MMK makes use of reductio arguments to show how all phenomena (dharmas) are empty of svabhava (which has been variously translated as essence, own-being, or inherent existence). The MMK is widely regarded as one of the most influential and widely studied texts in the history of Buddhist philosophy.
Material conditional
The material conditional (also known as material implication) is an operation commonly used in logic. When the conditional symbol is interpreted as material implication, a formula is true unless is true and is false. Material implication can also be characterized inferentially by modus ponens, modus tollens, conditional proof, and classical reductio ad absurdum. Material implication is used in all the basic systems of classical logic as well as some nonclassical logics.
Validity (logic)
In logic, specifically in deductive reasoning, an argument is valid if and only if it takes a form that makes it impossible for the premises to be true and the conclusion nevertheless to be false. It is not required for a valid argument to have premises that are actually true, but to have premises that, if they were true, would guarantee the truth of the argument's conclusion. Valid arguments must be clearly expressed by means of sentences called well-formed formulas (also called wffs or simply formulas).
Nagarjuna
Nāgārjuna [c. 150 – c. 250 CE (disputed)] was an Indian Mahāyāna Buddhist thinker, scholar-monk, philosopher, and the founder of the Middle Way School. He is widely considered one of the most important Buddhist philosophers. Jan Westerhoff considers him to be "one of the greatest thinkers in the history of Asian philosophy." Nāgārjuna is widely considered to be the founder of the Madhyamaka (centrism, middle-way) school of Buddhist philosophy and a defender of the Mahāyāna movement.