A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites".
In
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 of logical truths. It is a formal science investigating how conclusions follow from premises ...
, many paradoxes exist that are known to be
invalid
Invalid may refer to:
* Patient, a sick person
* one who is confined to home or bed because of illness, disability or injury (sometimes considered a politically incorrect term)
* .invalid, a top-level Internet domain not intended for real use
As t ...
arguments, yet are nevertheless valuable in promoting
critical thinking
Critical thinking is the analysis of available facts, evidence, observations, and arguments to form a judgement. The subject is complex; several different definitions exist, which generally include the rational, skeptical, and unbiased analysis ...
, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused
axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
of mathematics and logic to be re-examined. One example is
Russell's paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains a ...
, which questions whether a "list of all lists that do not contain themselves" would include itself, and showed that attempts to found
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
on the identification of sets with
properties
Property is the ownership of land, resources, improvements or other tangible objects, or intellectual property.
Property may also refer to:
Mathematics
* Property (mathematics)
Philosophy and science
* Property (philosophy), in philosophy and ...
or
predicates
Predicate or predication may refer to:
* Predicate (grammar), in linguistics
* Predication (philosophy)
* several closely related uses in mathematics and formal logic:
**Predicate (mathematical logic)
**Propositional function
**Finitary relation, ...
were flawed.
Others, such as
Curry's paradox
Curry's paradox is a paradox in which an arbitrary claim ''F'' is proved from the mere existence of a sentence ''C'' that says of itself "If ''C'', then ''F''", requiring only a few apparently innocuous logical deduction rules. Since ''F'' is arbi ...
, cannot be easily resolved by making foundational changes in a logical system.
Examples outside logic include the
ship of Theseus
The Ship of Theseus is a thought experiment about whether an object that has had all of its original components replaced remains the same object. According to legend, Theseus, the mythical Greek founder-king of Athens, had rescued the children of ...
from philosophy, a paradox that questions whether a ship repaired over time by replacing each and all of its wooden parts, one at a time, would remain the same ship. Paradoxes can also take the form of images or other media. For example,
M.C. Escher
Maurits Cornelis Escher (; 17 June 1898 – 27 March 1972) was a Dutch graphic artist who made Mathematics and art, mathematically inspired woodcuts, lithography, lithographs, and mezzotints.
Despite wide popular interest, Escher was for ...
featured
perspective-based paradoxes in many of his drawings, with walls that are regarded as floors from other points of view, and staircases that appear to climb endlessly.
In common usage, the word "paradox" often refers to statements that are
ironic
Irony (), in its broadest sense, is the juxtaposition of what on the surface appears to be the case and what is actually the case or to be expected; it is an important rhetorical device and literary technique.
Irony can be categorized into ...
or unexpected, such as "the paradox that standing is more tiring than walking".
Introduction
Common themes in paradoxes include
self-reference
Self-reference occurs in natural or formal languages when a sentence, idea or formula refers to itself. The reference may be expressed either directly—through some intermediate sentence or formula—or by means of some encoding. In philoso ...
,
infinite regress
An infinite regress is an infinite series of entities governed by a recursive principle that determines how each entity in the series depends on or is produced by its predecessor. In the epistemic regress, for example, a belief is justified beca ...
,
circular definition
A circular definition is a description that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characteris ...
s, and confusion or equivocation between different levels of
abstraction
Abstraction in its main sense is a conceptual process wherein general rules and concepts are derived from the usage and classification of specific examples, literal ("real" or "concrete") signifiers, first principles, or other methods.
"An abstr ...
.
Patrick Hughes outlines three laws of the paradox:
;Self-reference:An example is the statement "This statement is false", a form of the
liar paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth ...
. The statement is referring to itself. Another example of self-reference is the question of whether the
barber
A barber is a person whose occupation is mainly to cut, dress, groom, style and shave men's and boys' hair or beards. A barber's place of work is known as a "barbershop" or a "barber's". Barbershops are also places of social interaction and publi ...
shaves himself in the
barber paradox
The barber paradox is a puzzle derived from Russell's paradox. It was used by Bertrand Russell as an illustration of the paradox, though he attributes it to an unnamed person who suggested it to him.''The Philosophy of Logical Atomism'', reprin ...
. Yet another example involves the question "Is the answer to this question 'No'?"
;Contradiction:"This statement is false"; the statement cannot be false and true at the same time. Another example of contradiction is if a man talking to a genie wishes that wishes couldn't come true. This contradicts itself because if the genie grants their wish, they did not grant their wish, and if the genie refuses to grant their wish, then he did indeed grant their wish, therefore making it impossible either to grant or not grant their wish without leading to a contradiction.
;Vicious circularity, or infinite regress: "This statement is false"; if the statement is true, then the statement is false, thereby making the statement true. Another example of
vicious circularity is the following group of statements:
:: "The following sentence is true."
:: "The previous sentence is false."
Other paradoxes involve false statements and
half-truth
A half-truth is a deceptive statement that includes some element of truth. The statement might be partly true, the statement may be totally true, but only part of the whole truth, or it may use some deceptive element, such as improper punctuation, ...
s ("'impossible' is not in my vocabulary") or rely on hasty assumptions (A father and his son are in a car crash; the father is killed and the boy is rushed to the hospital. The doctor says, "I can't operate on this boy. He's my son." There is no paradox, the doctor is the boy's mother.).
Paradoxes that are not based on a hidden error generally occur at the fringes of context or
language
Language is a structured system of communication. The structure of a language is its grammar and the free components are its vocabulary. Languages are the primary means by which humans communicate, and may be conveyed through a variety of met ...
, and require extending the context or language in order to lose their paradoxical quality. Paradoxes that arise from apparently intelligible uses of language are often of interest to
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 of logical truths. It is a formal science investigating how conclusions follow from premises ...
ians and
philosopher
A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...
s. "This sentence is false" is an example of the well-known
liar paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth ...
: it is a sentence that cannot be consistently interpreted as either true or false, because if it is known to be false, then it can be inferred that it must be true, and if it is known to be true, then it can be inferred that it must be false.
Russell's paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains a ...
, which shows that the notion of ''the
set
Set, The Set, SET or SETS may refer to:
Science, technology, and mathematics Mathematics
*Set (mathematics), a collection of elements
*Category of sets, the category whose objects and morphisms are sets and total functions, respectively
Electro ...
of all those sets that do not contain themselves'' leads to a contradiction, was instrumental in the development of modern logic and set theory.
Thought-experiment
A thought experiment is a hypothetical situation in which a hypothesis, theory, or principle is laid out for the purpose of thinking through its consequences.
History
The ancient Greek ''deiknymi'' (), or thought experiment, "was the most anci ...
s can also yield interesting paradoxes. The
grandfather paradox
A temporal paradox, time paradox, or time travel paradox is a paradox, an apparent contradiction, or logical contradiction associated with the idea of time and time travel. The notion of time travel to the future complies with current understanding ...
, for example, would arise if a
time-travel
Time travel is the concept of movement between certain points in time, analogous to movement between different points in space by an object or a person, typically with the use of a hypothetical device known as a time machine. Time travel is a w ...
er were to kill his own grandfather before his mother or father had been conceived, thereby preventing his own birth. This is a specific example of the more general observation of the
butterfly effect, or that a time-traveller's interaction with the past—however slight—would entail making changes that would, in turn, change the future in which the time-travel was yet to occur, and would thus change the circumstances of the time-travel itself.
Often a seemingly paradoxical conclusion arises from an inconsistent or inherently contradictory definition of the initial premise. In the case of that apparent paradox of a time-traveler killing his own grandfather, it is the inconsistency of defining the past to which he returns as being somehow different from the one that leads up to the future from which he begins his trip, but also insisting that he must have come to that past from the same future as the one that it leads up to.
Quine's classification
W. V. O. Quine W. may refer to:
* SoHo (Australian TV channel) (previously W.), an Australian pay television channel
* ''W.'' (film), a 2008 American biographical drama film based on the life of George W. Bush
* "W.", the fifth track from Codeine's 1992 EP ''Bar ...
(1962) distinguished between three classes of paradoxes:
According to Quine's classification of paradoxes:
* A veridical paradox produces a result that appears absurd, but is demonstrated to be true nonetheless. The paradox of Frederic's birthday in ''
The Pirates of Penzance
''The Pirates of Penzance; or, The Slave of Duty'' is a comic opera in two acts, with music by Arthur Sullivan and libretto by W. S. Gilbert, W. S. Gilbert. Its official premiere was at the Fifth Avenue Theatre in New York City on 31 ...
'' establishes the surprising fact that a twenty-one-year-old would have had only five birthdays had he been born on a
leap day
February 29, also known as leap day or leap year day, is a date added to leap years. A leap day is added in various solar calendars (calendars based on the Earth's revolution around the Sun), including the Gregorian calendar standard in mo ...
. Likewise,
Arrow's impossibility theorem
Arrow's impossibility theorem, the general possibility theorem or Arrow's paradox is an impossibility theorem in social choice theory that states that when voters have three or more distinct alternatives (options), no ranked voting electoral syste ...
demonstrates difficulties in mapping voting results to the will of the people.
Monty Hall paradox
The Monty Hall problem is a brain teaser, in the form of a probability puzzle, loosely based on the American television game show ''Let's Make a Deal'' and named after its original host, Monty Hall. The problem was originally posed (and solved) ...
(or equivalently
three prisoners problem) demonstrates that a decision that has an intuitive fifty–fifty chance is in fact heavily biased towards making a decision that, given the intuitive conclusion, the player would be unlikely to make. In 20th-century science,
Hilbert's paradox of the Grand Hotel
Hilbert's paradox of the Grand Hotel (colloquial: Infinite Hotel Paradox or Hilbert's Hotel) is a thought experiment which illustrates a counterintuitive property of infinite sets. It is demonstrated that a fully occupied hotel with infinitely m ...
,
Schrödinger's cat
In quantum mechanics, Schrödinger's cat is a thought experiment that illustrates a paradox of quantum superposition. In the thought experiment, a hypothetical cat may be considered simultaneously both alive and dead, while it is unobserved in ...
,
Wigner's friend
Wigner's friend is a thought experiment in theoretical quantum physics, first conceived by the physicist Eugene Wigner in 1961, Reprinted in and further developed by David Deutsch in 1985. The scenario involves an indirect observation of a quantum ...
or
Ugly duckling theorem
The ugly duckling theorem is an argument showing that classification is not really possible without some sort of bias. More particularly, it assumes finitely many properties combinable by logical connectives, and finitely many objects; it asserts ...
are famously vivid examples of a theory being taken to a logical but paradoxical end.
* A falsidical paradox establishes a result that not only ''appears'' false but actually ''is'' false, due to a
fallacy
A fallacy is the use of invalid or otherwise faulty reasoning, or "wrong moves," in the construction of an argument which may appear stronger than it really is if the fallacy is not spotted. The term in the Western intellectual tradition was intr ...
in the demonstration. The various
invalid mathematical proofs (e.g., that 1 = 2) are classic examples of this, often relying on a hidden
division by zero
In mathematics, division by zero is division (mathematics), division where the divisor (denominator) is 0, zero. Such a division can be formally expression (mathematics), expressed as \tfrac, where is the dividend (numerator). In ordinary ari ...
. Another example is the inductive form of the
horse paradox, which falsely generalises from true specific statements.
Zeno's paradoxes
Zeno's paradoxes are a set of philosophical problems generally thought to have been devised by Greek philosopher Zeno of Elea (c. 490–430 BC) to support Parmenides' doctrine that contrary to the evidence of one's senses, the belief in pluralit ...
are 'falsidical', concluding, for example, that a flying arrow never reaches its target or that a speedy runner cannot catch up to a tortoise with a small head-start. Therefore, falsidical paradoxes can be classified as
fallacious arguments.
* A paradox that is in neither class may be an
antinomy
Antinomy (Greek ἀντί, ''antí'', "against, in opposition to", and νόμος, ''nómos'', "law") refers to a real or apparent mutual incompatibility of two laws. It is a term used in logic and epistemology, particularly in the philosophy of I ...
, which reaches a self-contradictory result by properly applying accepted ways of reasoning. For example, the
Grelling–Nelson paradox
The Grelling–Nelson paradox is an antinomy, or a semantic self-referential paradox, concerning the applicability to itself of the word "heterological", meaning "inapplicable to itself". It was formulated in 1908 by Kurt Grelling and Leonard Nels ...
points out genuine problems in our understanding of the ideas of truth and description.
A fourth kind, which may be alternatively interpreted as a special case of the third kind, has sometimes been described since Quine's work:
* A paradox that is both true and false at the same time and in the same sense is called a ''
dialetheia
Dialetheism (from Greek 'twice' and 'truth') is the view that there are statements that are both true and false. More precisely, it is the belief that there can be a true statement whose negation is also true. Such statements are called "true ...
''. In Western logics, it is often assumed, following
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of phil ...
, that no ''dialetheia'' exist, but they are sometimes accepted in Eastern traditions (e.g. in the
Mohists
Mohism or Moism (, ) was an ancient Chinese philosophy of ethics and logic, rational thought, and science developed by the academic scholars who studied under the ancient Chinese philosopher Mozi (c. 470 BC – c. 391 BC), embodied in an epon ...
,
[The ]Logicians
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
(Warring States period
The Warring States period () was an era in History of China#Ancient China, ancient Chinese history characterized by warfare, as well as bureaucratic and military reforms and consolidation. It followed the Spring and Autumn period and concluded ...
"Miscellaneous paradoxes"
''Stanford Encyclopedia of Philosophy'' the
Gongsun Longzi
Gongsun Long (, BCLiu 2004, p. 336), courtesy name Zibing (子秉), was a Chinese philosopher and writer who was a member of the School of Names (Logicians) of ancient Chinese philosophy. He also ran a school and enjoyed the support of rulers, ...
,
[Graham, Angus Charles. (1990). ] and in
Zen
Zen ( zh, t=禪, p=Chán; ja, text= 禅, translit=zen; ko, text=선, translit=Seon; vi, text=Thiền) is a school of Mahayana Buddhism that originated in China during the Tang dynasty, known as the Chan School (''Chánzong'' 禪宗), and ...
) and in
paraconsistent logic
A paraconsistent logic is an attempt at a logical system to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing "inconsistency-tolerant" syste ...
s. It would be mere equivocation or a matter of degree, for example, to both affirm and deny that "John is here" when John is halfway through the door, but it is self-contradictory simultaneously to affirm and deny the event.
Ramsey's classification
Frank Ramsey drew a distinction between logical paradoxes and semantic paradoxes, with
Russell's paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox discovered by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains a ...
belonging to the former category, and the
liar paradox
In philosophy and logic, the classical liar paradox or liar's paradox or antinomy of the liar is the statement of a liar that they are lying: for instance, declaring that "I am lying". If the liar is indeed lying, then the liar is telling the truth ...
and Grelling’s paradoxes to the latter.
Ramsey introduced the by-now standard distinction between logical and semantical contradictions. Logical contradictions involve mathematical or logical terms like ''class'' and ''number'', and hence show that our logic or mathematics is problematic. Semantical contradictions involve, besides purely logical terms, notions like ''thought'', ''language'', and ''symbolism'', which, according to Ramsey, are empirical (not formal) terms. Hence these contradictions are due to faulty ideas about thought or language, and they properly belong to
epistemology
Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics.
Episte ...
.
In philosophy
A taste for paradox is central to the philosophies of
Laozi
Laozi (), also known by numerous other names, was a semilegendary ancient Chinese Taoist philosopher. Laozi ( zh, ) is a Chinese honorific, generally translated as "the Old Master". Traditional accounts say he was born as in the state
...
,
Zeno of Elea
Zeno of Elea (; grc, Ζήνων ὁ Ἐλεᾱ́της; ) was a pre-Socratic Greek philosopher of Magna Graecia and a member of the Eleatic School founded by Parmenides. Aristotle called him the inventor of the dialectic. He is best known fo ...
,
Zhuangzi Zhuangzi may refer to:
* ''Zhuangzi'' (book) (莊子), an ancient Chinese collection of anecdotes and fables, one of the foundational texts of Daoism
**Zhuang Zhou
Zhuang Zhou (), commonly known as Zhuangzi (; ; literally "Master Zhuang"; als ...
,
Heraclitus
Heraclitus of Ephesus (; grc-gre, Ἡράκλειτος , "Glory of Hera"; ) was an ancient Greek pre-Socratic philosopher from the city of Ephesus, which was then part of the Persian Empire.
Little is known of Heraclitus's life. He wrote ...
,
Bhartrhari,
Meister Eckhart
Eckhart von Hochheim ( – ), commonly known as Meister Eckhart, Master Eckhart , among many others. Søren Kierkegaard, for example, writes in the ''
Philosophical Fragments
''Philosophical Fragments'' (Danish title: ) is a Christian philosophical work written by Danish philosopher Søren Kierkegaard in 1844. It was the second of three works written under the pseudonym ''Johannes Climacus''; the other two were ''De o ...
'' that:
But one must not think ill of the paradox, for the paradox is the passion of thought, and the thinker without the paradox is like the lover without passion: a mediocre fellow. But the ultimate potentiation of every passion is always to will its own downfall, and so it is also the ultimate passion of the understanding to will the collision, although in one way or another the collision must become its downfall. This, then, is the ultimate paradox of thought: to want to discover something that thought itself cannot think.
In medicine
A
paradoxical reaction A paradoxical reaction (or paradoxical effect) is an effect of a chemical substance, such as a medical drug, that is opposite to what would usually be expected. An example of a paradoxical reaction is pain caused by a pain relief medication.
Parado ...
to a
drug
A drug is any chemical substance that causes a change in an organism's physiology or psychology when consumed. Drugs are typically distinguished from food and substances that provide nutritional support. Consumption of drugs can be via insuffla ...
is the opposite of what one would expect, such as becoming agitated by a
sedative
A sedative or tranquilliser is a substance that induces sedation by reducing irritability or excitement. They are CNS depressants and interact with brain activity causing its deceleration. Various kinds of sedatives can be distinguished, but t ...
or sedated by a
stimulant
Stimulants (also often referred to as psychostimulants or colloquially as uppers) is an overarching term that covers many drugs including those that increase activity of the central nervous system and the body, drugs that are pleasurable and inv ...
. Some are common and are used regularly in medicine, such as the use of stimulants such as
Adderall
Adderall and Mydayis are trade names for a combination drug called mixed amphetamine salts containing four salts of amphetamine. The mixture is composed of equal parts racemic amphetamine and dextroamphetamine, which produces a (3:1) ratio bet ...
and
Ritalin
Methylphenidate, sold under the brand names Ritalin and Concerta among others, is the most widely prescribed central nervous system (CNS) stimulant medication used to treat attention deficit hyperactivity disorder (ADHD) and, to a lesser extent ...
in the treatment of
attention deficit hyperactivity disorder
Attention deficit hyperactivity disorder (ADHD) is a neurodevelopmental disorder characterised by excessive amounts of inattention, hyperactivity, and impulsivity that are pervasive, impairing in multiple contexts, and otherwise age-inap ...
(also known as ADHD), while others are rare and can be dangerous as they are not expected, such as severe agitation from a
benzodiazepine
Benzodiazepines (BZD, BDZ, BZs), sometimes called "benzos", are a class of depressant drugs whose core chemical structure is the fusion of a benzene ring and a diazepine ring. They are prescribed to treat conditions such as anxiety disorders, ...
.
The actions of
antibodies
An antibody (Ab), also known as an immunoglobulin (Ig), is a large, Y-shaped protein used by the immune system to identify and neutralize foreign objects such as pathogenic bacteria and viruses. The antibody recognizes a unique molecule of the ...
on
antigen
In immunology, an antigen (Ag) is a molecule or molecular structure or any foreign particulate matter or a pollen grain that can bind to a specific antibody or T-cell receptor. The presence of antigens in the body may trigger an immune response. ...
s can rarely take paradoxical turns in certain ways. One example is
antibody-dependent enhancement
Antibody-dependent enhancement (ADE), sometimes less precisely called immune enhancement or disease enhancement, is a phenomenon in which binding of a virus to suboptimal antibodies enhances its entry into host cells, followed by its replic ...
(immune enhancement) of a disease's virulence; another is the
hook effect
The hook effect refers to the prozone phenomenon, also known as antibody excess or the Postzone phenomenon, also known as antigen excess. It is an immunologic phenomenon whereby the effectiveness of antibodies to form immune complexes can be impai ...
(prozone effect), of which there are several types. However, neither of these problems is common, and overall, antibodies are crucial to health, as most of the time they do their protective job quite well.
In the
smoker's paradox
Tobacco use has predominantly negative effects on human health and concern about health effects of tobacco has a long history. Research has focused primarily on cigarette smoking.
Tobacco smoke contains more than 70 chemicals that cause ca ...
, cigarette smoking, despite its
proven harms, has a surprising inverse correlation with the epidemiological incidence of certain diseases.
See also
References
Notes
Bibliography
*
Frode Alfson Bjørdal
Frode Alfson Bjørdal is philosophy professor emeritus at the University of Oslo, Norway.
Education
Bjørdal did his undergraduate studies in philosophy, logic, mathematics and economics at the University of Bergen, Norway, and was a DAAD- ...
, ''Librationist Closures of the Paradoxes'', Logic and Logical Philosophy, Vol. 21 No. 4 (2012), pp. 323–361.
* Mark Sainsbury, 1988, Paradoxes, Cambridge: Cambridge University Press
* William Poundstone, 1989, Labyrinths of Reason: Paradox, Puzzles, and the Frailty of Knowledge, Anchor
* Roy Sorensen, 2005, A Brief History of the Paradox: Philosophy and the Labyrinths of the Mind, Oxford University Press
*
Patrick Hughes, 2011, Paradoxymoron: Foolish Wisdom in Words and Pictures, Reverspective
External links
*
*
*
*
*
*
{{Authority control
Concepts in epistemology
Concepts in logic
Concepts in metaphysics
Critical thinking
Philosophical logic
Thought