Non-contradiction
In logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory propositions cannot both be true in the same sense at the same time, e. g. the two propositions "''p is the case''" and "''p is not the case''" are mutually exclusive. Formally this is expressed as the tautology ¬(p ∧ ¬p). The law is not to be confused with the law of excluded middle which states that at least one, "p is the case" or "p is not the case" holds. One reason to have this law is the principle of explosion, which states that anything follows from a contradiction. The law is employed in a ''reductio ad absurdum'' proof. To express the fact that the law is tenseless and to avoid equivocation, sometimes the law is amended to say "contradictory propositions cannot both be true 'at the same time and in the same sense'". It is one of the so called three laws of thought, along with i ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Law Of Thought
The laws of thought are fundamental axiomatic rules upon which rational discourse itself is often considered to be based. The formulation and clarification of such rules have a long tradition in the history of philosophy and logic. Generally they are taken as laws that guide and underlie everyone's thinking, thoughts, expressions, discussions, etc. However, such classical ideas are often questioned or rejected in more recent developments, such as intuitionistic logic, dialetheism and fuzzy logic. According to the 1999 ''Cambridge Dictionary of Philosophy'', laws of thought are laws by which or in accordance with which valid thought proceeds, or that justify valid inference, or to which all valid deduction is reducible. Laws of thought are rules that apply without exception to any subject matter of thought, etc.; sometimes they are said to be the object of logic. The term, rarely used in exactly the same sense by different authors, has long been associated with three equally ambig ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Reductio Ad Absurdum
In logic, (Latin for "reduction to absurdity"), also known as (Latin for "argument to absurdity") or ''apagogical arguments'', is the form of argument that attempts to establish a claim by showing that the opposite scenario would lead to absurdity or contradiction. This argument form traces back to Ancient Greek philosophy and has been used throughout history in both formal mathematical and philosophical reasoning, as well as in debate. Examples The "absurd" conclusion of a ''reductio ad absurdum'' argument can take a range of forms, as these examples show: * The Earth cannot be flat; otherwise, since Earth assumed to be finite in extent, we would find people falling off the edge. * There is no smallest positive rational number because, if there were, then it could be divided by two to get a smaller one. The first example argues that denial of the premise would result in a ridiculous conclusion, against the evidence of our senses. The second example is a mathematical proof ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Principle Of Explosion
In classical logic, intuitionistic logic and similar logical systems, the principle of explosion (, 'from falsehood, anything ollows; or ), or the principle of Pseudo-Scotus, is the law according to which any statement can be proven from a contradiction. That is, once a contradiction has been asserted, any proposition (including their negations) can be inferred from it; this is known as deductive explosion. The proof of this principle was first given by 12th-century French philosopher William of Soissons. Priest, Graham. 2011. "What's so bad about contradictions?" In ''The Law of Non-Contradicton'', edited by Priest, Beal, and Armour-Garb. Oxford: Clarendon Press. p. 25. Due to the principle of explosion, the existence of a contradiction ( inconsistency) in a formal axiomatic system is disastrous; since any statement can be proven, it trivializes the concepts of truth and falsity. Around the turn of the 20th century, the discovery of contradictions such as Russell's parad ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Ontological
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Law Of Identity
In logic, the law of identity states that each thing is identical with itself. It is the first of the historical three laws of thought, along with the law of noncontradiction, and the law of excluded middle. However, few systems of logic are built on just these laws. History Ancient philosophy The earliest recorded use of the law appears to occur in Plato's dialogue '' Theaetetus'' (185a), wherein Socrates attempts to establish that what we call "sounds" and "colours" are two different classes of thing: It is used explicitly only once in Aristotle, in a proof in the ''Prior Analytics'': Medieval philosophy Aristotle believed the law of non-contradiction to be the most fundamental law. Both Thomas Aquinas (''Met.'' IV, lect. 6) and Duns Scotus (''Quaest. sup. Met.'' IV, Q. 3) follow Aristotle in this respect. Antonius Andreas, the Spanish disciple of Scotus (d. 1320), argues that the first place should belong to the law "Every Being is a Being" (''Omne Ens est Ens'', Qq. in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Heraclitus
Heraclitus of Ephesus (; grc-gre, Ἡράκλειτος , "Glory of Hera"; ) was an ancient Greek Ancient Greek includes the forms of the Greek language used in ancient Greece and the ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic p ... Pre-Socratic philosophy, pre-Socratic philosopher from the city of Ephesus, which was then part of the Achaemenid Empire, Persian Empire. Little is known of Heraclitus's life. He wrote a single work, only fragments of which have survived. Most of the ancient stories about him are later said to be fabrications based on interpretations of the preserved fragments. His paradoxical philosophy and appreciation for wordplay and cryptic utterances has earned him the epithet "the obscure" since antiquity. He was considered a Misanthropy, misanthrope who was subject to melancholia. Consequently, he became known as "the weeping philosopher" in ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Law Of Excluded Middle
In logic, the law of excluded middle (or the principle of excluded middle) states that for every proposition, either this proposition or its negation is true. It is one of the so-called three laws of thought, along with the law of noncontradiction, and the law of identity. However, no system of logic is built on just these laws, and none of these laws provides inference rules, such as modus ponens or De Morgan's laws. The law is also known as the law (or principle) of the excluded third, in Latin ''principium tertii exclusi''. Another Latin designation for this law is ''tertium non datur'': "no third ossibilityis given". It is a tautology. The principle should not be confused with the semantical principle of bivalence, which states that every proposition is either true or false. The principle of bivalence always implies the law of excluded middle, while the converse is not always true. A commonly cited counterexample uses statements unprovable now, but provable in the future ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Socratic Method
The Socratic method (also known as method of Elenchus, elenctic method, or Socratic debate) is a form of cooperative argumentative dialogue between individuals, based on asking and answering questions to stimulate critical thinking and to draw out ideas and underlying presuppositions. It is named after the Classical Greek philosopher Socrates and is introduced by him in Plato's Theaetetus as midwifery ( maieutics) because it is employed to bring out definitions implicit in the interlocutors' beliefs, or to help them further their understanding. The Socratic method is a method of hypothesis elimination, in that better hypotheses are found by steadily identifying and eliminating those that lead to contradictions. The Socratic method searches for general commonly held truths that shape beliefs and scrutinizes them to determine their consistency with other beliefs. The basic form is a series of questions formulated as tests of logic and fact intended to help a person or group di ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Logos
''Logos'' (, ; grc, λόγος, lógos, lit=word, discourse, or reason) is a term used in Western philosophy, psychology and rhetoric and refers to the appeal to reason that relies on logic or reason, inductive and deductive reasoning. Aristotle first systemised the usage of the word, making it one of the three principles of rhetoric. This specific use identifies the word closely to the structure and content of text itself. This specific usage has then been developed through the history of western philosophy and rhetoric. The word has also been used in different senses along with ''rhema''. Both Plato and Aristotle used the term ''logos'' along with ''rhema'' to refer to sentences and propositions. It is primarily in this sense the term is also found in religion. Background grc, λόγος, lógos, lit=word, discourse, or reason is related to grc, λέγω, légō, lit=I say, label=Ancient Greek which is cognate with la, Legus, lit=law. The word derives from a Proto-In ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mutually Exclusive
In logic and probability theory, two events (or propositions) are mutually exclusive or disjoint if they cannot both occur at the same time. A clear example is the set of outcomes of a single coin toss, which can result in either heads or tails, but not both. In the coin-tossing example, both outcomes are, in theory, collectively exhaustive, which means that at least one of the outcomes must happen, so these two possibilities together exhaust all the possibilities. However, not all mutually exclusive events are collectively exhaustive. For example, the outcomes 1 and 4 of a single roll of a six-sided die are mutually exclusive (both cannot happen at the same time) but not collectively exhaustive (there are other possible outcomes; 2,3,5,6). Logic In logic, two mutually exclusive propositions are propositions that logically cannot be true in the same sense at the same time. To say that more than two propositions are mutually exclusive, depending on the context, means that one ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Interlocutor (linguistics)
In linguistics, discourse analysis, and related fields, an interlocutor is a person involved in a conversation or dialogue. Two or more people speaking to one another are each other's interlocutors. The terms ''conversation partner'', ''hearer'', or ''addressee'' are often used interchangeably with ''interlocutor''. According to Paul Grice, the behavior of interlocutors in ordinary conversation is governed by the cooperative principle. See also * Addressee honorific *Clusivity * Common ground (linguistics) *Conversation analysis *Discourse Discourse is a generalization of the notion of a conversation to any form of communication. Discourse is a major topic in social theory, with work spanning fields such as sociology, anthropology, continental philosophy, and discourse analysis. ... References Linguistics Pragmatics {{ling-stub ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |