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.
