Thinking well, like any practice, requires a vocabulary. The terms gathered here are not technical ornaments but working instruments — the small set of distinctions a careful reasoner draws upon when sorting good arguments from bad, sound beliefs from comfortable ones, and reasoned judgment from the gravitational pull of intuition.
Three traditions converge in what follows. The first is logic, beginning with Aristotle's Prior Analytics and extended in the nineteenth and twentieth centuries by Frege, Russell, and Tarski, which gives us the formal grammar of inference. The second is the psychology of judgment, traceable to Bacon's "idols" but transformed by the empirical work of Kahneman, Tversky, and their successors, which catalogs the systematic ways our minds depart from the norms of logic. The third is the philosophy of science — the long argument, from Hume through Popper to Kuhn, about what counts as a legitimate appeal to evidence.
A fourth thread, native to this site, runs beneath the other three. Before any statement can be true or false, a distinction must first be drawn — a cut that separates one thing from another and makes both possible. George Spencer-Brown opened his Laws of Form (1969) with the terse dictum that "distinction is perfect continence": to mark anything at all is already to have divided a space. This logic of the distinction, elaborated in different keys by the Kyoto School philosopher Nishida Kitarō and by theorists of self-referential systems, is what gives the Trialectic framework its shape.
The terms below move in that order — from the elementary operations of inference, through the psychology that surrounds them and the methods that constrain them, to the more radical distinctions on which the rest of the site depends.
Statement (or proposition). A declarative sentence that is either true or false. "Vienna is the capital of Austria" is a statement. Questions, commands, and exclamations are not.
Atomic and compound statements. An atomic statement contains no other statement as a component; a compound statement is built from simpler statements joined by a logical connective. "It is raining" is atomic; "It is raining and the streets are wet" is compound. Standard logic recognizes five connectives: and, or, not, if … then, and if and only if.
Argument. A sequence of statements in which one — the conclusion — is offered as supported by the others, the premises. The classical example:
All human beings are mortal. (premise) Socrates is a human being. (premise) Therefore, Socrates is mortal. (conclusion)
Premise. A statement put forward as a reason for accepting the conclusion.
Conclusion. The statement the argument is meant to establish.
Truth value. Each statement, by stipulation, has exactly one of two values: true or false. More elaborate logics relax this — three-valued, fuzzy, and intuitionistic logics all do — but the bivalent assumption is the workhorse of standard reasoning.
Validity. An argument is valid when its conclusion follows necessarily from its premises: were the premises true, the conclusion could not be false. Validity is a property of form, not content. The argument
All philosophers play the violin. Wittgenstein is a philosopher. Therefore, Wittgenstein plays the violin.
is perfectly valid, despite its first premise being false.
Soundness. An argument is sound when it is valid and its premises are in fact true. Validity guarantees only that the inference machine is well built; soundness adds that the inputs are accurate. Most disputes in everyday reasoning turn not on validity but on whether the premises are true.
Logical form. The structure of an argument or sentence considered independently of its specific content. Surface grammar often obscures logical form. Russell's 1905 essay "On Denoting" offered the celebrated example: "The present King of France is bald" looks like an ordinary subject-predicate claim, but if there is no present King of France, the sentence is neither straightforwardly true nor false. Russell argued that the sentence is really a compound of three quantified claims — there is a King of France, there is only one, and he is bald — and that uncovering this hidden form dissolves the puzzle. Much of twentieth-century analytic philosophy followed the same strategy: the work is done not at the level of grammar but at the level of form.
Logic describes how reasoning ought to proceed. Psychology describes how it actually does. The gap between the two is the natural territory of critical thinking.
Critical thinking. The disciplined application of logic and doubt to one's own beliefs and to those received from others. It is less a body of doctrine than a habit of attention — the willingness, as Russell put it, to suspend assent until the evidence has had a hearing.
Meta-cognition. Thinking about thinking. The capacity to step back from a belief and ask not whether it is true but how one came to hold it. Without meta-cognition the other tools described here cannot be deployed.
Heuristic. A mental shortcut — a rule of thumb that delivers quick, often serviceable answers in place of slower, deliberate analysis. Heuristics are indispensable; the brain that reasoned every decision from first principles would never cross the street. They become hazardous when applied to problems that require precision, especially under uncertainty.
George Pólya's How to Solve It (1945) catalogs heuristics of a more constructive kind, useful for mathematical and intellectual work:
If a problem resists you, draw a picture.
If you cannot find a solution, suppose you have one and reason backward.
If the problem is abstract, examine a concrete case.
Try a more general problem first — what Pólya called the inventor's paradox: the more ambitious version is sometimes easier.
When all else fails, guess intelligently and check.
Default mode. The pattern of behavior that follows from evolved emotion and subconscious processing without the intervention of meta-cognition. Roughly what Kahneman calls System 1: fast, automatic, often right, occasionally disastrous.
Subconscious. Mental processing that occurs outside conscious awareness. Most cognition, perception, and emotional response is subconscious; consciousness is a small lit room above a much larger cellar of activity.
Cognitive dissonance. The discomfort produced by holding mutually contradictory beliefs, or by acting in ways that conflict with one's professed values. Festinger's original studies (1957) showed that people resolve dissonance not by abandoning the offending belief but, more often, by quietly revising the evidence.
Confirmation bias. The tendency to seek out, notice, and remember information that supports beliefs we already hold, and to discount or rationalize away information that does not. Bacon described it in 1620: the human understanding, once it has adopted an opinion, draws all else into agreement with it.
Fundamental attribution error. The tendency to explain other people's behavior in terms of their character — they were rude, lazy, dishonest — while explaining our own in terms of circumstance: I was tired, the traffic was bad, my boss was unreasonable. The asymmetry is so reliable that social psychologists have built a literature on it.
Cognitive bias (general). A systematic, predictable departure from a normative standard of reasoning, usually a logical or statistical norm. Hundreds have been catalogued. The lesson is not that human cognition is broken, but that it was optimized for a different problem set than the ones we now face.
Logic. The formal study of inference: the rules that determine which conclusions follow from which premises. Logic in the modern sense — symbolic, mathematical, recursive — was largely the work of Frege (Begriffsschrift, 1879) and Russell and Whitehead (Principia Mathematica, 1910–13), though its roots run back through the Stoics and Aristotle.
Methodological naturalism. The working assumption of the natural sciences that all phenomena have natural causes accessible, in principle, to empirical investigation. It is a methodological commitment rather than a metaphysical one: it does not deny the supernatural but declines to invoke it as an explanation.
Pseudoscience. A practice that adopts the surface features of science — technical vocabulary, credentials, the rhetoric of evidence — while violating its substantive norms: testability, openness to revision, honest treatment of disconfirming data. Popper's criterion of falsifiability remains the most influential attempt to draw the line.
Scientific skepticism. A disposition rather than a doctrine: the habit of treating all claims to truth as provisional, of demanding evidence proportional to the magnitude of the claim, and of cultivating awareness of the many ways one can be deceived — by others, and by oneself.
Delusion. A fixed false belief held with conviction in the face of overwhelming contrary evidence. The clinical and everyday senses overlap: in both, what marks delusion is not the falsity of the belief but the imperviousness of the believer.
Rationality is one of those words that means differently for everyone who uses it. Three broad senses are worth distinguishing.
Epistemic rationality concerns belief: holding views that track the truth, with the right strength, on the available evidence. The Bayesian tradition, from Ramsey and de Finetti through Jaynes, has done the most to make this notion precise.
Instrumental rationality concerns action: choosing the means that best serve one's ends. This is the rationality of decision theory and economics — and the kind that behavioral research (Kahneman, Thaler, Stanovich) has shown to be remarkably fragile in practice.
Reflective rationality, in something closer to Kant's sense, concerns the capacity to give reasons — to subject one's own beliefs and actions to the same standards one would apply to others. It is rationality not as an outcome but as a practice.
Stripped to slogans, rationality has been described as:
thinking in ways that systematically arrive at truth;
thinking in ways that systematically achieve one's goals;
trying, on purpose, to do better;
reasoning well in the face of massive uncertainty;
making good decisions when the decisions are hard;
knowing how one's own mind works, and using that knowledge to think more clearly.
Each is a partial portrait. None is the whole.
Five further terms mark the distinctive commitments of this site. They belong less to elementary critical thinking than to the framework — developed in Spencer-Brown's Laws of Form, in the Kyoto School, and in systems theory — within which the earlier terms are situated.
Distinction. The primitive operation of separating this from that. Every statement, every predicate, every act of identification rests on a prior cut. Spencer-Brown's calculus begins with a single mark that draws a distinction; on his account, all of logic is what follows from that mark.
Indication. The act of pointing to one side of a distinction rather than the other. A distinction without indication is inert; indication presupposes a distinction already drawn. The two are co-primordial.
Re-entry. Spencer-Brown's term for the moment when a distinction refers to itself — when the form re-enters the space it has drawn. Re-entry transforms static logic into a temporal and recursive process and offers a formal bridge between logic, time, and self-reference. Niklas Luhmann made it central to the theory of social systems.
Basho (場所, "place"). The Kyoto School philosopher Nishida Kitarō (1870–1945) proposed that subjects and objects are not fundamental; they are mutual determinations within a prior field or place that lets them appear. Basho is that field. The term has affinities with Heidegger's Lichtung and with the Lacanian field of the Other: what philosophy had taken to be the ground of thought turns out to be a figure that some more encompassing ground makes visible.
Self-contradictory identity (矛盾的自己同一, mujunteki jiko dōitsu). Nishida's late formula for the structure of any real thing: an entity is what it is only through its relation to what it is not. The "I" is constituted by the "not-I"; the present by what is no longer and not yet. Formal contradiction, from this angle, is not a logical failure but the shape of concrete reality.
The terms collected here are easy to memorize and difficult to inhabit. To know what a premise is, or to recognize confirmation bias in textbook form, is one thing; to catch oneself in the act of either is quite another. Critical thinking is less the possession of a vocabulary than the slow cultivation of a temperament — patient, self-suspicious, willing to be wrong.
Wittgenstein wrote that philosophy is a battle against the bewitchment of our intelligence by means of language. The same might be said of clear thinking generally. The enchantments are powerful and largely unconscious, and the discipline of breaking them is the work of a lifetime. What follows on the rest of this site — the catalog of fallacies, the rules for clear thinking, the elements of formal logic, Bayesian inference, the methods of science, and the deeper Trialectic terms sketched above — is best read in that spirit: not as a course to be completed, but as a set of disciplines to be practiced.
If you'd like, I can drop this into a clean Google Doc or Word file, or push any of the five Trialectic entries in a more expansive direction — the Basho entry in particular could be doubled in length with no loss of focus if you want it to carry more weight.