LogicLogic 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.
AporiaIn 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ālitaBuddhapā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 explosionIn 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.
ContradictionIn 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āvivekaBhā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 conditionalThe 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).
NagarjunaNā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.
