Last updated: 2026-09-27

P
Postgraduate research

First- and Second-Order Thinking: The Process and the Watcher of the Process

Thinking" covers two different activities. One is working on a problem. The other is watching yourself work on it, noticing that an idea is arriving, that a line of reasoning feels shaky, or that the answer showed up before the argument for it. Cognitive science has two well-known ways of cutting thought in half, and they cut along different lines. Dual-process theory separates thinking by how it runs: fast and automatic, or slow and deliberate. Second-order cybernetics separates it by what it is about: the world, or the system doing the observing. This page keeps the two apart, then crosses them.

The starting point is a description of what thinking is like from the inside. A problem arrives and many candidate patterns light up at once. They settle into a single output, a word or a design or a solution. A slower, serial stream then turns that output into language and checks it, while something else watches how the settling is going. We treat this as a report to be tested against the literature, not as a finding.

A Report, Not a Measurement

People are poor witnesses to their own cognitive processes. Nisbett and Wilson reviewed the evidence and concluded that there may be little or no direct introspective access to higher-order processes: when people explain why they responded as they did, they are drawing on implicit causal theories about which stimuli plausibly cause which responses, and their reports do not rest on true introspection1. A vivid description of one's own thinking is therefore a hypothesis about the mechanism. It suggests what to look for. Every section below asks what supports it.

First-Order Thinking: A Field Settling Ephemeral / ToolingKnowledge that evolves in months to a year — check for updates

The nearest scientific match for the "many candidates, one output" picture is predictive processing. Clark's review describes perception, action and cognition as products of hierarchical prediction: the brain keeps generative models at several levels, predicts its inputs, and revises the models when the predictions fail2. Friston's free-energy principle offers one mathematical unification of this, in which perception, action and learning all serve to minimise a single quantity3. In both accounts competing hypotheses are held at once and weighed against evidence, which is what the introspective picture describes.

Two parts of the picture go further than these papers do. Whether the settling is best called a collapse, a competition or a relaxation is a choice of metaphor, not a result. And describing the winner as an attractor state or a local energy minimum borrows vocabulary from dynamical systems that neither paper claims for the brain.

The connectionist tradition supplies the other half of the story: how a serial stream can sit on top of a parallel one. Smolensky argued that connectionist systems are massively parallel numerical computers, and that their behaviour can be described at a higher level as sequential rule application4. On that view the slow, step-by-step thinking that feels like a separate faculty is a description of what the parallel machinery is doing, seen from a coarser scale.serial is a description, not a separate mechanism

Second-Order Thinking: The Process Turned on Itself FoundationalKnowledge that endures for decades — core principles

Second-order thinking takes the thinking as its subject. Three literatures give it a precise form.

  • Metacognition. Nelson and Narens model cognition as two levels. The object level does the task, and the meta level holds a model of the object level. Information flows in two directions: monitoring carries the state of the object level up to the meta level, and control carries decisions back down5. A "watcher of the process" is the meta level.
  • Second-order cybernetics. Von Foerster distinguished the cybernetics of observed systems from the cybernetics of observing systems, where the observer's own model is part of what is being described6. The Hype Cycle as a Second-Order Cybernetic System applies the idea to a community whose model of a technology shapes the evidence used to revise that model.
  • Higher-order theories of consciousness. Rosenthal holds that a mental state is conscious when another state represents it7. Does a Self-Model Get You Anywhere Near an Analogue of Consciousness? sets this against transparent self-models.

The control channel is what makes the second-order level more than a spectator. A watcher that changes what it watches belongs to the system it describes. That is von Foerster's point in miniature: the observing loop and the observed loop cannot be separated cleanly.

Two Axes, Not One Applied / MethodologicalKnowledge with a 5–10 year half-life — stable practice

Kahneman's book made the labels System 1 and System 2 familiar: a fast, automatic mode and a slow, effortful one8. Evans and Stanovich argue that the labels blur two things. What defines the split is the kind of process: Type 1 processes are autonomous and place no load on working memory, while Type 2 processes use working memory and support mental simulation and hypothetical thinking. Speed and effort are correlates, and "two systems" is shorthand for two types of process9. The picture of System 1 as a parallel GPU cluster and System 2 as a single-threaded CPU is a useful image. The working-memory bottleneck is what makes Type 2 serial.like speed, effort is a correlate

The mapping of System 1 onto subsymbolic processing and System 2 onto symbolic processing is also contested. Latapie and colleagues argue that both kinds of processing carry symbolic and subsymbolic information, and that the difference lies in the kind of attention involved: fast, distributed and subconscious against slow, deliberate and conscious10.

Fast versus slow describes the mode of a process. First-order versus second-order describes its object. The two are independent, so crossing them gives four cases.

Fast, automatic (Type 1)Slow, deliberate (Type 2)
About the problem (first-order)The word that arrives; recognising a familiar structure; an expert's first moveWorking through a proof or a plan step by step
About the thinking (second-order)A sense that something is off before you can say whatReviewing your own reasoning; choosing a different strategy on purpose

This grid is our own arrangement of ideas from three literatures, and we do not attribute it to any of the sources. Its use is that it separates two things the introspective description runs together. In that description the serial stream that formats language is slow and first-order, while the watcher of the settling is second-order. The watcher can itself be slow and deliberate, or fast and felt, and only the slow kind can be described in words as it happens.

What the Watcher Can See Ephemeral / ToolingKnowledge that evolves in months to a year — check for updates

Some people report noticing candidate patterns before they settle. One explanation is weaker filtering of what reaches awareness, usually discussed under the name latent inhibition. The best-known study links reduced latent inhibition to greater creative achievement in high-functioning people, and reads the result as a wider stream of material reaching awareness that high intelligence can put to use11. That study measured creative achievement, not access to one's own thinking. The step from weaker filtering to a clearer view of one's own cognition is a hypothesis, and the introspection problem from the first section applies to any evidence for it: a stronger sense of watching the process does not show that the watching is accurate.

A Checklist for Agent Design Applied / MethodologicalKnowledge with a 5–10 year half-life — stable practice

The grid becomes practical when designing systems that think. Ask of any agent architecture what runs fast, what runs deliberately, and what watches each. A language model producing a token is a fast first-order process. Explicit step-by-step reasoning layered on top is slow and first-order. Monitors, audit trails and confidence checks are second-order, and their control channel is the design question that matters most: what a monitor is allowed to change, and how quickly. Sense, Model, Think, Predict, Act lays out the loop, Symbolic and Connectionist Reasoning covers the two styles of "think", and Designing Auditable, Robust Agentic Systems covers the watching.

References


  1. Nisbett, R. E., & Wilson, T. D. (1977). Telling more than we can know: Verbal reports on mental processes. Psychological Review, 84(3), 231–259. ↩

  2. Clark, A. (2013). Whatever next? Predictive brains, situated agents, and the future of cognitive science. Behavioral and Brain Sciences, 36(3), 181–204. https://doi.org/10.1017/S0140525X12000477 ↩

  3. Friston, K. (2010). The free-energy principle: a unified brain theory? Nature Reviews Neuroscience, 11(2), 127–138. https://doi.org/10.1038/nrn2787 ↩

  4. Smolensky, P. (1988). On the proper treatment of connectionism. Behavioral and Brain Sciences, 11(1), 1–23. ↩

  5. Nelson, T. O., & Narens, L. (1990). Metamemory: A theoretical framework and new findings. In G. H. Bower (Ed.), The Psychology of Learning and Motivation (Vol. 26, pp. 125–173). Academic Press. ↩

  6. von Foerster, H. (Ed.). (1974). Cybernetics of Cybernetics: Or, the Control of Control and the Communication of Communication. University of Illinois Biological Computer Laboratory. (2nd ed. 1995, Future Systems.) Source of the first-order/second-order cybernetics distinction. ↩

  7. Rosenthal, D. M. (1986). Two concepts of consciousness. Philosophical Studies, 49(3), 329–359. ↩

  8. Kahneman, D. (2011). Thinking, Fast and Slow. Farrar, Straus and Giroux. ↩

  9. Evans, J. St. B. T., & Stanovich, K. E. (2013). Dual-process theories of higher cognition: Advancing the debate. Perspectives on Psychological Science, 8(3), 223–241. https://doi.org/10.1177/1745691612460685 ↩

  10. Latapie, H., Kilic, O., Thórisson, K. R., Wang, P., & Hammer, P. (2022). Neurosymbolic systems of perception and cognition: The role of attention. Frontiers in Psychology, 13, 806397. https://doi.org/10.3389/fpsyg.2022.806397 ↩

  11. Carson, S. H., Peterson, J. B., & Higgins, D. M. (2003). Decreased latent inhibition is associated with increased creative achievement in high-functioning individuals. Journal of Personality and Social Psychology, 85(3), 499–506. https://doi.org/10.1037/0022-3514.85.3.499 ↩