<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/"><channel><title>Concepts on Moonment</title><link>https://moonment.net/en/tags/concepts/</link><description>Moon's notes on concepts, real projects, and reasoning open to review.</description><generator>Hugo</generator><language>en-US</language><managingEditor>Moon</managingEditor><webMaster>Moon</webMaster><copyright>© 2026 Moonment</copyright><lastBuildDate>Tue, 29 Sep 2026 15:04:00 +0800</lastBuildDate><atom:link href="https://moonment.net/en/tags/concepts/index.xml" rel="self" type="application/rss+xml"/><item><title>Conceptual and Logical Thinking: From Classification to Action</title><link>https://moonment.net/en/notes/conceptual-and-logical-thinking/</link><pubDate>Tue, 29 Sep 2026 12:59:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/conceptual-and-logical-thinking/</guid><description>Conceptual thinking organizes classifications and logical thinking constrains inference. This essay maps perception, causation, probability, creativity, criticism, systems, strategy, decision, and metacognition.</description><content:encoded><![CDATA[<p>Human thinking includes recognition, classification, memory, imagination, inference, causal explanation, uncertainty management, evaluation, planning, and action. No single faculty exhausts that work.</p>
<p>Terms such as <em>conceptual thinking</em>, <em>logical thinking</em>, <em>critical thinking</em>, <em>systems thinking</em>, and <em>creative thinking</em> highlight different functions. They do not name isolated mental organs, and they do not form one perfectly exclusive taxonomy.</p>
<blockquote>
<p><strong>A useful classification of thinking should tell us which cognitive problem each mode addresses, how it interacts with the others, and which errors it can correct.</strong></p>
</blockquote>
<p>The focus here is how conceptual and logical thinking function alongside other modes of inquiry. <a href="/en/notes/what-is-a-concept/">Concepts</a> and <a href="/en/notes/what-is-logic/">Logic</a> examine those subjects in their own right; this essay maps their roles in a broader activity rather than proposing a new unified discipline.</p>
<h2 id="conceptual-thinking-organizes-experience">Conceptual thinking organizes experience</h2>
<p>Conceptual thinking is the activity of forming, applying, comparing, and revising concepts so that experience can be classified and understood.</p>
<p>The phrase does not name a single discipline with one fixed theory. In philosophy, psychology, and education it overlaps with concept formation, categorization, abstraction, and conceptual reasoning. Used functionally, it includes at least six operations.</p>
<h3 id="distinction">Distinction</h3>
<p>Thought first separates what should not be collapsed: need from desire, intention from purpose, product from commodity, fact from opinion, and rule from principle.</p>
<h3 id="abstraction">Abstraction</h3>
<p>Abstraction ignores some differences in order to preserve a structure relevant to the inquiry. Across many transactions, for example, one may isolate agents, objects, terms, and exchange.</p>
<p>Abstraction is selective rather than simply reductive. Which details can be ignored depends on the question.</p>
<h3 id="classification">Classification</h3>
<p>Classification places a new case under a category or motivates a new category. A paid online service may be a product, a commodity, a service, or an object with several roles at once.</p>
<h3 id="boundary-work">Boundary work</h3>
<p>Conceptual thinking examines central cases, exclusions, and difficult border cases. A category that classifies only familiar examples has not yet demonstrated general usefulness.</p>
<h3 id="relation">Relation</h3>
<p>Concepts become informative when connected:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">situation → need → goal → intention → action
</span></span><span class="line"><span class="cl">capability → product → commodity → exchange → outcome
</span></span><span class="line"><span class="cl">evidence → judgment → inference → decision → feedback
</span></span></code></pre></div><h3 id="revision">Revision</h3>
<p>Counterexamples, new evidence, and new practices can force a concept to change. A category protected from every correction becomes a label for defending an existing view rather than a tool for inquiry.</p>
<h2 id="logical-thinking-organizes-commitments">Logical thinking organizes commitments</h2>
<p>Logical thinking turns judgments into arguments and examines whether conclusions follow from premises.</p>
<p>It asks:</p>
<ul>
<li>Are the claims mutually consistent?</li>
<li>Which premises does the conclusion require?</li>
<li>Is a step missing?</li>
<li>Does the conclusion exceed the premises?</li>
<li>Is there a counterexample in which the premises hold and the conclusion fails?</li>
<li>Has a key term changed meaning during the argument?</li>
</ul>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Successful products satisfy a need.
</span></span><span class="line"><span class="cl">This product satisfies a need.
</span></span><span class="line"><span class="cl">Therefore this product will succeed.
</span></span></code></pre></div><p>The argument affirms the consequent. Satisfying a need may be necessary for success without being sufficient. Logical analysis exposes the unsupported move.</p>
<h2 id="conceptual-and-logical-thinking-are-not-identical">Conceptual and logical thinking are not identical</h2>
<p>Conceptual thinking asks:</p>
<blockquote>
<p>What are we talking about, and how should it be distinguished and classified?</p>
</blockquote>
<p>Logical thinking asks:</p>
<blockquote>
<p>Given these claims, what follows?</p>
</blockquote>
<p>They interact in a feedback loop:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">experience
</span></span><span class="line"><span class="cl">→ conceptual formation and classification
</span></span><span class="line"><span class="cl">→ judgments
</span></span><span class="line"><span class="cl">→ logical inference
</span></span><span class="line"><span class="cl">→ new judgments
</span></span><span class="line"><span class="cl">→ empirical test
</span></span><span class="line"><span class="cl">→ revision of concepts and premises
</span></span></code></pre></div><p>Without concepts, logic lacks meaningful content to organize. Without logic, conceptual connections can remain arbitrary or contradictory.</p>
<p>Yet conceptual thinking is wider than inference. Creating a new distinction, redrawing a boundary, and redescribing a problem are not merely deductions from fixed premises.</p>
<blockquote>
<p><strong>Conceptual thinking supplies objects, classifications, and meanings for inference. Logical thinking constrains the judgments and transitions built from them.</strong></p>
</blockquote>
<h2 id="conceptual-and-abstract-thinking">Conceptual and abstract thinking</h2>
<p>Abstract thinking extracts general structures from particular cases. Conceptual thinking also includes applying established concepts, comparing them, managing border cases, and revising a conceptual system.</p>
<p>Abstraction is therefore one major operation within conceptual thought. It is not a guarantee of truth. A thinker can abstract the wrong common feature or ignore a difference that later proves causally or morally important.</p>
<p>An abstraction earns its place by supporting successful classification, explanation, inference, or action across new cases.</p>
<h2 id="perception-and-intuition">Perception and intuition</h2>
<p>Perception makes features of a situation available. Intuition often appears as rapid pattern recognition.</p>
<p>An experienced physician may notice an abnormal pattern before articulating it. A designer may immediately sense a hierarchy problem in an interface. Such judgments can result from compressed experience rather than mysterious access to truth.</p>
<p>Intuition is valuable for detecting signals and generating hypotheses. It is also vulnerable to biased samples, affect, and misplaced familiarity, so it needs later checking.</p>
<p>Embodied approaches to cognition further challenge the idea that thinking is only abstract symbol manipulation inside the head. Cognitive activity may depend on bodily capacities, environmental structure, and action.<a href="https://plato.stanford.edu/entries/embodied-cognition/">Stanford Encyclopedia of Philosophy: Embodied Cognition</a></p>
<h2 id="causal-thinking">Causal thinking</h2>
<p>Causal thinking asks what produces or changes an outcome.</p>
<p>It examines mechanisms, temporal order, counterfactual dependence, confounding, selection, and intervention:</p>
<ul>
<li>Why did users abandon checkout?</li>
<li>Would changing price alter conversion?</li>
<li>Would the outcome have occurred without the policy?</li>
<li>Is the observed variable a cause, an effect, a common consequence, or merely a predictor?</li>
</ul>
<p>Logic can test the form of a causal argument. It cannot identify real causes from form alone. Causal claims need evidence and a defensible model of the system.</p>
<h2 id="probabilistic-thinking">Probabilistic thinking</h2>
<p>Probabilistic thinking represents uncertainty. Instead of asking only whether a proposition is true, it asks how strongly current information supports alternative possibilities.</p>
<p>It requires a thinker to:</p>
<ul>
<li>separate possibility, probability, and necessity;</li>
<li>attend to base rates and conditioning information;</li>
<li>update with new evidence;</li>
<li>combine likelihood with consequence;</li>
<li>distinguish one realized outcome from a long-run pattern or model.</li>
</ul>
<p>Logic governs valid transformations within probabilistic reasoning, while probability supplies graded support that deduction alone does not express.</p>
<h2 id="critical-thinking">Critical thinking</h2>
<p>Critical thinking is disciplined evaluation, not habitual opposition. It examines concepts, evidence, sources, inferences, counterexamples, alternative explanations, and the influence of perspective.</p>
<p>It asks whether:</p>
<ul>
<li>key terms are clear;</li>
<li>evidence is relevant and reliable;</li>
<li>a source is credible for the claim at issue;</li>
<li>the inference is valid or adequately supported;</li>
<li>contrary cases have been ignored;</li>
<li>confidence exceeds the evidence;</li>
<li>the thinker would revise the conclusion under specified conditions.</li>
</ul>
<p>Its scope is wider than formal logic because natural-language interpretation, evidential quality, and intellectual self-correction also matter.<a href="https://iep.utm.edu/critical-thinking/">Internet Encyclopedia of Philosophy: Critical Thinking</a></p>
<h2 id="creative-thinking">Creative thinking</h2>
<p>Creative thinking expands the space of candidate concepts, explanations, and actions. It uses association, analogy, recombination, reframing, cross-domain transfer, and counterfactual imagination.</p>
<p>Generation and evaluation perform different work:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">creative thinking produces candidates
</span></span><span class="line"><span class="cl">→ critical thinking tests them
</span></span><span class="line"><span class="cl">→ discovered weaknesses motivate new candidates
</span></span></code></pre></div><p>Generation without evaluation produces many unusable ideas. Evaluation without generation can make inquiry converge before serious alternatives exist.</p>
<h2 id="systems-thinking">Systems thinking</h2>
<p>Systems thinking situates an object within interacting relationships. It attends to:</p>
<ul>
<li>feedback loops;</li>
<li>delays between action and effect;</li>
<li>local optimization and global outcomes;</li>
<li>boundary choices;</li>
<li>adaptation by other parts of the system;</li>
<li>unintended consequences.</li>
</ul>
<p>A lower price may attract more users while changing support costs, customer composition, perceived quality, and future positioning. A single-variable explanation misses these interactions.</p>
<p>Systems and causal thinking overlap. Systems thinking places greater emphasis on feedback, boundaries, multi-variable interaction, and behavior over time.</p>
<h2 id="dialectical-thinking">Dialectical thinking</h2>
<p><em>Dialectical thinking</em> has different meanings across philosophical traditions. In a broad functional sense, it draws attention to relation, change, internal tension, and the possibility that the same object behaves differently under different conditions.</p>
<p>This orientation can correct static and isolated analysis. It becomes empty, however, when “everything is dialectical” replaces explicit concepts, mechanisms, evidence, and conditions.</p>
<h2 id="strategic-and-game-theoretic-thinking">Strategic and game-theoretic thinking</h2>
<p>Strategic thinking concerns long-term direction under limited resources and changing conditions. It coordinates goals, tradeoffs, capability building, timing, and sequences of action.</p>
<p>Game-theoretic thinking adds strategic interdependence: an agent&rsquo;s outcome depends on what others do, while others anticipate and respond to that agent.</p>
<p>Both require some systems awareness. Strategic thinking emphasizes direction and resource allocation; game-theoretic thinking emphasizes mutual prediction, response, and equilibrium among agents.</p>
<h2 id="decision-thinking">Decision thinking</h2>
<p>Decision thinking converts understanding into a commitment to act. It integrates:</p>
<ul>
<li>facts and information quality;</li>
<li>probabilities of outcomes;</li>
<li>causal and controllable conditions;</li>
<li>goals and values;</li>
<li>cost, risk, and opportunity cost;</li>
<li>reversibility;</li>
<li>authority and responsibility.</li>
</ul>
<p>Many “thinking models” serve decisions, but not every model is a decision model. Classification models identify kinds, causal models explain changes, predictive models estimate future states, and decision models connect possible states and actions to preferences or values.</p>
<h2 id="metacognition">Metacognition</h2>
<p>Metacognition monitors and regulates cognition itself:</p>
<ul>
<li>Which premises am I using?</li>
<li>Do I understand this concept or merely repeat its label?</li>
<li>Does my confidence exceed the evidence?</li>
<li>Am I searching only for confirmation?</li>
<li>What observation would change my mind?</li>
<li>Should I continue analysis or move into action and feedback?</li>
</ul>
<p>Metacognition does not answer the original question directly. It helps select, interrupt, and revise the process used to answer it.</p>
<h2 id="these-modes-occupy-different-levels">These modes occupy different levels</h2>
<p>A functional map makes the relationships clearer:</p>
<table>
  <thead>
      <tr>
          <th>Function</th>
          <th>Prominent modes</th>
          <th>Central question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>detection</td>
          <td>perception, intuition</td>
          <td>What pattern is present?</td>
      </tr>
      <tr>
          <td>representation</td>
          <td>conceptual, abstract</td>
          <td>What is this, and how is it classified?</td>
      </tr>
      <tr>
          <td>consequence</td>
          <td>logical</td>
          <td>What follows from these premises?</td>
      </tr>
      <tr>
          <td>uncertainty</td>
          <td>probabilistic</td>
          <td>How strongly is each possibility supported?</td>
      </tr>
      <tr>
          <td>explanation</td>
          <td>causal</td>
          <td>What would make the outcome change?</td>
      </tr>
      <tr>
          <td>generation</td>
          <td>creative</td>
          <td>What other concepts, explanations, or actions are possible?</td>
      </tr>
      <tr>
          <td>evaluation</td>
          <td>critical</td>
          <td>Are the concepts, evidence, and inferences adequate?</td>
      </tr>
      <tr>
          <td>interaction</td>
          <td>systems, dialectical</td>
          <td>How do parts interact and change over time?</td>
      </tr>
      <tr>
          <td>strategic interdependence</td>
          <td>game-theoretic</td>
          <td>How will other agents respond?</td>
      </tr>
      <tr>
          <td>direction and commitment</td>
          <td>strategic, decision</td>
          <td>What should be pursued and chosen now?</td>
      </tr>
      <tr>
          <td>self-correction</td>
          <td>metacognitive</td>
          <td>How should the thinking process change?</td>
      </tr>
  </tbody>
</table>
<p>The table assigns each mode a prominent function, not an exclusive territory. Concepts operate throughout the process. Logic enters probability and causal analysis. Critical thinking can inspect every stage.</p>
<h2 id="a-cycle-from-world-to-action">A cycle from world to action</h2>
<p>The modes can be connected without reducing them to one method:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">world and perception: what is happening?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">concepts and representation: what is it?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">logic, evidence, and probability: what is supported?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">causal and systems inquiry: why did it happen, and what could change it?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">creative and critical work: what alternatives survive examination?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">values, strategy, and decision: what should be pursued and chosen?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">action and outcome: what changed in the world?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">feedback and metacognition: what must be revised?
</span></span><span class="line"><span class="cl">└────────────────────→ return to concepts, premises, and models
</span></span></code></pre></div><p>Real thought moves backward and sideways through this cycle. New evidence can change a concept. Resource limits can reshape a goal. An action can disconfirm the causal story that originally justified it.</p>
<h2 id="different-failures-need-different-repairs">Different failures need different repairs</h2>
<p>A <strong>conceptual error</strong> uses an inadequate category. Saying that customers buy only functions may exclude trust, experience, identity, and risk reduction.</p>
<p>A <strong>logical error</strong> makes an unsupported transition. Inferring guaranteed success from need satisfaction affirms the consequent.</p>
<p>A <strong>factual error</strong> begins from a premise that does not match the world, even if the inference is valid.</p>
<p>A <strong>probabilistic error</strong> treats a low-probability realized event as proof that the earlier probability estimate was necessarily irrational.</p>
<p>A <strong>causal error</strong> treats association or predictive usefulness as evidence that intervention on the variable will change the result.</p>
<p>A <strong>practical or normative error</strong> can occur when the facts and inference are correct but the goal is unjustified or the cost unacceptable.</p>
<p>Diagnosis comes before repair. The thinker must know whether to revise a category, inference, dataset, causal model, or objective.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Conceptual and logical thinking are foundational, but neither is the whole of thought.</p>
<p>Conceptual thinking builds and revises the classifications through which a world becomes intelligible. Logical thinking constrains the commitments formed from those classifications. Probabilistic, causal, creative, critical, systems, strategic, decision, and metacognitive thinking address uncertainty, explanation, alternatives, evaluation, interaction, action, and correction.</p>
<blockquote>
<p><strong>Good thinking does not apply one favored method everywhere. It identifies the level of the present problem, uses the method suited to it, and allows outcomes to revise the concepts, premises, and models that guided the action.</strong></p>
</blockquote>
]]></content:encoded></item><item><title>Concepts: How We Classify and Understand the World</title><link>https://moonment.net/en/notes/what-is-a-concept/</link><pubDate>Tue, 29 Sep 2026 12:57:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-a-concept/</guid><description>Concepts make recognition, classification, and inference possible. This essay separates concepts, words, and objects, then examines intension, extension, prototypes, boundaries, counterexamples, and revision.</description><content:encoded><![CDATA[<p>A concept enables a thinker to treat different encounters as instances of a kind. We meet individual trees, purchases, emotions, products, and utterances. Conceptual capacities allow us to recognize them as trees, transactions, anger, products, or expressions of intention.</p>
<blockquote>
<p><strong>A concept is not the object itself. It is part of the way an object becomes intelligible as something.</strong></p>
</blockquote>
<p>This essay asks what a concept is, how its boundaries form, and how counterexamples can revise it. <a href="/en/notes/words-concepts-and-objects/">Words, Concepts, and Objects</a> examines expression and reference; <a href="/en/notes/conceptual-and-logical-thinking/">Conceptual and Logical Thinking</a> follows the use of concepts in judgment.</p>
<p>This gives concepts a double role. They reduce complexity enough for thought and communication, but every reduction highlights some differences and ignores others. Concepts make knowledge possible, and poorly formed concepts make systematic error possible.</p>
<h2 id="concepts-words-and-objects-are-different">Concepts, words, and objects are different</h2>
<p>A word is a public expression. A concept is the content or capacity involved in understanding and using such expressions. An object is what the expression and concept may concern.</p>
<table>
  <thead>
      <tr>
          <th>Level</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>object</td>
          <td>a particular phone</td>
      </tr>
      <tr>
          <td>expression</td>
          <td>the word <em>product</em></td>
      </tr>
      <tr>
          <td>conceptual content</td>
          <td>an organized capability or experience made available to users</td>
      </tr>
  </tbody>
</table>
<p>The three levels do not map one-to-one.</p>
<p>One word can express several concepts. <em>Product</em> may mean a manufactured item, the output of an operation, a market offering, or a managed digital service. Several expressions can also approach the same conceptual content. And a concept can represent something that does not exist, such as a unicorn, an ideal circle, or a fictional institution.</p>
<p>Consulting a dictionary is therefore only a beginning. Conceptual analysis also asks what is included, what is excluded, which contrasts matter, and whether the same expression changes meaning during an argument.</p>
<h2 id="three-philosophical-accounts-of-concepts">Three philosophical accounts of concepts</h2>
<p>Contemporary philosophy does not offer one uncontested ontology of concepts. Three families of views organize much of the debate.</p>
<h3 id="concepts-as-mental-representations">Concepts as mental representations</h3>
<p>On a representational view, concepts are components of mental states that carry content. They help explain how a person can think about cats in their absence, combine CAT with other concepts, and draw new conclusions.</p>
<p>A representation need not be a vivid inner picture. It may be symbolic, prototype-like, schematic, or distributed across a cognitive system. What matters is that it represents something and participates in cognition. Mental representation is consequently a central theoretical construct in cognitive science.<a href="https://plato.stanford.edu/entries/mental-representation/">Stanford Encyclopedia of Philosophy: Mental Representation</a></p>
<h3 id="concepts-as-abilities">Concepts as abilities</h3>
<p>An ability view emphasizes what a competent thinker can do. Possessing the concept CAT may involve discriminating cats from relevant non-cats, understanding claims about cats, and drawing appropriate inferences.</p>
<p>This account explains why repeating a definition is insufficient evidence of understanding. Concept possession appears in recognition, application, explanation, and inference.</p>
<h3 id="concepts-as-abstract-objects">Concepts as abstract objects</h3>
<p>An abstract-object view treats concepts as shareable contents rather than private mental episodes. Two people can think about the same concept even though their neural and psychological states differ. Mathematical, legal, and scientific concepts can remain available within a public practice after particular individuals forget them.</p>
<p>The Stanford Encyclopedia of Philosophy presents mental representations, abilities, and abstract objects as the three leading options. They emphasize psychological realization, competent use, and public content respectively.<a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<p>These positions need not be casually collapsed into one theory. They answer different questions: what realizes a concept in a mind, what possessing it enables an agent to do, and what makes conceptual content shareable.</p>
<h2 id="intension-extension-and-boundary">Intension, extension, and boundary</h2>
<p>The <strong>intension</strong> of a concept concerns the properties, conditions, and relations used to characterize it. The <strong>extension</strong> concerns the things to which it applies.</p>
<p>For a concept such as COMMODITY, the intension might include availability for exchange under economic conditions. Its extension may include food, clothing, subscriptions, and standardized services.</p>
<p>Changing the intension commonly changes the extension. Requiring physical form would remove software from the extension. Removing exchange conditions might make almost every useful object a commodity.</p>
<p>The boundary between inclusion and exclusion is often where the real analysis begins:</p>
<ul>
<li>Is free software a product?</li>
<li>Is personal data a commodity?</li>
<li>Is an informal promise a contract?</li>
<li>Is a simulated agent an entity?</li>
</ul>
<p>Boundary cases reveal assumptions hidden by central examples.</p>
<h2 id="definitions-and-prototypes-do-different-work">Definitions and prototypes do different work</h2>
<p>Some concepts are governed by explicit criteria. Others are organized partly around prototypes and family resemblances.</p>
<p>A sparrow is a prototypical bird. A penguin is still a bird despite lacking the prototype&rsquo;s ability to fly. Prototype-based recognition is fast and useful, but a prototype is not automatically a definition.</p>
<p>This distinction matters in product design, law, and AI. A model trained on typical cases can fail on valid but unusual cases. A policy based only on familiar examples can exclude people or situations that satisfy the actual standard.</p>
<p>Definitions also differ in purpose. A lexical definition reports established usage. A stipulative definition introduces a usage for a particular inquiry. A theoretical definition situates something inside an explanatory theory. A legal or institutional definition may help constitute a status.</p>
<p>Asking “What is the correct definition?” is incomplete until the purpose and domain are specified.</p>
<h2 id="concepts-form-networks">Concepts form networks</h2>
<p>Concepts rarely function as isolated entries. They occupy inferential and practical networks:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">need → goal → intention → action
</span></span><span class="line"><span class="cl">need → product → commodity → exchange
</span></span><span class="line"><span class="cl">fact → judgment → inference → decision
</span></span><span class="line"><span class="cl">value → principle → rule → constraint
</span></span></code></pre></div><p>To understand a concept is partly to understand what follows from applying it, what would count against applying it, and how it differs from neighboring categories.</p>
<p>This is why a topic word can serve as an index entry without yet being a developed concept. A useful concept record needs distinctions, criteria, examples, counterexamples, relations, and revision conditions.</p>
<h2 id="concepts-represent-more-than-objects">Concepts represent more than objects</h2>
<p>Concepts can concern different ontological and grammatical categories:</p>
<table>
  <thead>
      <tr>
          <th>Kind</th>
          <th>Examples</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>entities</td>
          <td>person, company, product</td>
      </tr>
      <tr>
          <td>events</td>
          <td>election, purchase, collision</td>
      </tr>
      <tr>
          <td>actions</td>
          <td>choosing, buying, inferring</td>
      </tr>
      <tr>
          <td>states</td>
          <td>anger, poverty, stability</td>
      </tr>
      <tr>
          <td>properties</td>
          <td>legal, rational, positive</td>
      </tr>
      <tr>
          <td>relations</td>
          <td>causation, competition, ownership</td>
      </tr>
      <tr>
          <td>processes</td>
          <td>learning, evolution, production</td>
      </tr>
      <tr>
          <td>quantitative structures</td>
          <td>probability, expected value</td>
      </tr>
      <tr>
          <td>normative structures</td>
          <td>rules, principles, responsibility</td>
      </tr>
      <tr>
          <td>abstract organizations</td>
          <td>systems, logics, strategies</td>
      </tr>
  </tbody>
</table>
<p>Treating every concept as a name for a thing produces category mistakes. Causation is not another physical object sitting beside causes and effects. Probability is not located somewhere in space. Responsibility may depend on relations among agents, norms, knowledge, and control.</p>
<h2 id="how-concepts-are-formed">How concepts are formed</h2>
<p>No single process explains every concept. Concept formation can involve:</p>
<ul>
<li>perceptual discrimination among recurring features;</li>
<li>abstraction from particular instances;</li>
<li>classification under learned categories;</li>
<li>linguistic correction within a social practice;</li>
<li>embodied interaction and practical feedback;</li>
<li>institutional rules that create statuses;</li>
<li>scientific theories that reorganize ordinary categories.</li>
</ul>
<p>Some concepts are learned through repeated examples. Some are explicitly defined. Some are created by institutions. Others change when a theory explains why familiar classifications were misleading.</p>
<p>Scientific concepts illustrate the difference between preserving a word and preserving a concept. Everyday language may keep the word <em>heat</em> while physics gives it a more precise theoretical role. Conceptual continuity cannot be inferred from verbal continuity alone.</p>
<h2 id="why-conceptual-disputes-persist">Why conceptual disputes persist</h2>
<p>At least four kinds of disagreement are easily conflated.</p>
<p>First, speakers may attach different criteria to the same word. One person may define a product by production, another by user value, and another by market offering.</p>
<p>Second, the category itself may have vague boundaries. <em>Game</em>, <em>art</em>, <em>intelligence</em>, and <em>consciousness</em> resist simple criteria that cover every accepted case.</p>
<p>Third, descriptive and evaluative content may be mixed. <em>Normal</em>, <em>successful</em>, <em>progressive</em>, and <em>civilized</em> can describe patterns while also conveying approval.</p>
<p>Fourth, disciplines may construct different concepts for different explanatory purposes. <em>Entity</em> does different work in metaphysics, databases, natural-language processing, and law.</p>
<p>Good analysis does not erase these differences. It states which concept is being used, in which domain, for which purpose, and with which exclusions.</p>
<h2 id="reification-and-other-conceptual-errors">Reification and other conceptual errors</h2>
<p>Conceptual mistakes take recurring forms:</p>
<ul>
<li><strong>word-object confusion</strong>: assuming that every noun names a separate entity;</li>
<li><strong>equivocation</strong>: shifting a term&rsquo;s meaning during an argument;</li>
<li><strong>category mistake</strong>: asking of one kind of thing a question appropriate to another;</li>
<li><strong>reification</strong>: treating an abstraction such as “the market” as a unified intentional agent;</li>
<li><strong>unwarranted essentialism</strong>: assuming every useful category has one timeless hidden essence;</li>
<li><strong>prototype substitution</strong>: treating a familiar example as the full criterion;</li>
<li><strong>descriptive-normative collapse</strong>: inferring what ought to be from what is common;</li>
<li><strong>level confusion</strong>: mixing an object, a model of the object, and an evaluation of the model.</li>
</ul>
<p>These errors cannot always be repaired by gathering more data. Sometimes the categories used to organize the data must be repaired first.</p>
<h2 id="a-method-for-analyzing-a-concept">A method for analyzing a concept</h2>
<p>A reusable inquiry can ask:</p>
<ol>
<li>Which expressions are used for the concept?</li>
<li>What kinds of entities, events, properties, or relations does it concern?</li>
<li>How do ordinary and specialized uses differ?</li>
<li>What criteria make up its intension?</li>
<li>What central cases belong to its extension?</li>
<li>Which boundary cases are difficult?</li>
<li>Which neighboring concepts must be separated?</li>
<li>Which counterexamples challenge the current account?</li>
<li>What cognitive or practical work does the concept perform?</li>
<li>What evidence or practice would justify revising it?</li>
</ol>
<p>Conceptual analysis is not the search for a sentence immune to change. It builds a public, usable distinction and specifies how reality can correct it.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Concepts let finite thinkers move beyond isolated experiences. They make recognition, communication, judgment, and inquiry possible.</p>
<p>Every concept also selects. It makes some differences visible and leaves others in the background. Responsible concept use therefore requires criteria, boundaries, contrasts, counterexamples, and revision.</p>
<blockquote>
<p><strong>To possess a concept is not merely to know a word. It is to identify, distinguish, apply, infer, and revise with it.</strong></p>
</blockquote>
]]></content:encoded></item><item><title>Expectation: Belief, Hope, Norms, and Action</title><link>https://moonment.net/en/notes/what-is-expectation/</link><pubDate>Sun, 27 Sep 2026 23:00:27 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-expectation/</guid><description>Expectation can be a forecast, a hope, a social standard, or a belief about what action can achieve. This essay separates those meanings and connects them to intention, decision, and feedback.</description><content:encoded><![CDATA[<p>An expectation is not simply a hope about the future. It can be a forecast, a background assumption, a standard imposed on someone, or a belief about what an action will produce.</p>
<p>The ambiguity matters because these attitudes answer different questions:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">What do I think will happen?
</span></span><span class="line"><span class="cl">What do I want to happen?
</span></span><span class="line"><span class="cl">What is someone supposed to do?
</span></span><span class="line"><span class="cl">What do I believe my action can bring about?
</span></span></code></pre></div><p>When these questions are compressed into one word, desire can masquerade as evidence, prediction can sound like obligation, and another person&rsquo;s demand can be treated as a fact about the future.</p>
<h2 id="a-working-definition">A working definition</h2>
<p>An expectation can be defined as:</p>
<blockquote>
<p><strong>An expectation is an attitude toward an outcome that remains unresolved for an agent, representing that outcome as likely, anticipated, required, or connected to action.</strong></p>
</blockquote>
<p>The outcome is usually future-directed, but it need not concern an event that has not yet occurred. Someone may say, “I expect the package has already arrived,” when the delivery is complete but its status remains unknown to them. The important condition is epistemic openness: the agent does not yet know the outcome.</p>
<p>Every expectation therefore contains at least:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">an agent
</span></span><span class="line"><span class="cl">+ an unresolved outcome
</span></span><span class="line"><span class="cl">+ a way of representing that outcome
</span></span><span class="line"><span class="cl">+ some attitude toward its occurrence
</span></span></code></pre></div><p>The last element determines which kind of expectation is involved.</p>
<h2 id="expectation-expectancy-hope-and-anticipation">Expectation, expectancy, hope, and anticipation</h2>
<p>English separates several ideas that ordinary conversation often blends.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Central question</th>
          <th>Typical emphasis</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>expectation</td>
          <td>What is likely, normal, or required?</td>
          <td>belief, baseline, or standard</td>
      </tr>
      <tr>
          <td>expectancy</td>
          <td>What outcome can this action produce?</td>
          <td>an action–outcome belief, especially in psychology</td>
      </tr>
      <tr>
          <td>hope</td>
          <td>What desirable possibility remains open?</td>
          <td>desire plus possibility</td>
      </tr>
      <tr>
          <td>anticipation</td>
          <td>How am I oriented toward what is approaching?</td>
          <td>attention and emotion before an event</td>
      </tr>
      <tr>
          <td>forecast</td>
          <td>What does a method or model predict?</td>
          <td>evidence-based prediction</td>
      </tr>
      <tr>
          <td>intention</td>
          <td>What am I committed to trying to do?</td>
          <td>agency and action commitment</td>
      </tr>
  </tbody>
</table>
<p>Hope has both a cognitive and a conative side. A standard philosophical account treats hope as involving a desired outcome together with belief that the outcome remains possible. A person can therefore hope for an outcome that they regard as very unlikely. That same person would not honestly say that they expect it.<a href="https://plato.stanford.edu/entries/hope/">Stanford Encyclopedia of Philosophy: Hope</a></p>
<p>Expectation usually places more weight on belief. Hope places more weight on desirability. Anticipation adds an affective and attentional orientation toward an approaching event.</p>
<h2 id="predictive-expectations">Predictive expectations</h2>
<p>A predictive expectation represents what an agent thinks will happen.</p>
<blockquote>
<p>Given the current release data, I expect adoption to grow next month.</p>
</blockquote>
<p>This is an epistemic judgment. It should answer to evidence, and it should change when the evidence changes.</p>
<p>A predictive expectation may be precise:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">There is a 70% chance that demand will exceed capacity.
</span></span></code></pre></div><p>It may also be qualitative:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Demand will probably remain stable.
</span></span></code></pre></div><p>Neither statement guarantees the outcome. Both summarize what the agent currently takes the evidence to support.</p>
<p>This kind of expectation should be kept separate from desire:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">I want A to happen.
</span></span><span class="line"><span class="cl">I currently expect B to happen.
</span></span></code></pre></div><p>There is no contradiction in holding both attitudes. Rational agency often begins by acknowledging that the desired outcome is not the most likely one.</p>
<h2 id="expectancy-as-an-actionoutcome-belief">Expectancy as an action–outcome belief</h2>
<p>In psychology, <em>expectancy</em> often refers to a belief that an action can produce a particular outcome. The APA Dictionary describes it both as a mental set shaping how a person approaches a situation and, in motivation theory, as a belief that one&rsquo;s actions can attain an outcome.<a href="https://dictionary.apa.org/expectancy">APA Dictionary of Psychology: Expectancy</a></p>
<p>This introduces agency:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">If I perform action A under conditions C,
</span></span><span class="line"><span class="cl">how likely is outcome O?
</span></span></code></pre></div><p>Such beliefs influence effort and persistence. If someone believes that preparation can change performance, preparation becomes instrumentally intelligible. If they believe that nothing they do can affect the result, motivation may collapse even when the desired outcome remains valuable.</p>
<p>Expectancy is still not intention. Believing that an action would work does not mean that the agent has decided to perform it.</p>
<h2 id="normative-expectations">Normative expectations</h2>
<p>An expectation can also express a standard rather than a forecast:</p>
<blockquote>
<p>The organization expects employees to protect confidential information.</p>
</blockquote>
<p>This sentence need not predict universal compliance. It states what employees are required or supposed to do.</p>
<p>Normative expectations organize families, workplaces, institutions, and social roles. They also raise questions of authority:</p>
<ul>
<li>Who sets the expectation?</li>
<li>On what grounds?</li>
<li>Who bears the cost of compliance?</li>
<li>What follows from refusal?</li>
<li>Can the expectation be contested or renegotiated?</li>
</ul>
<p>The fact that a standard is widely expected does not establish that it is justified. A social regularity, a role demand, and a moral obligation are different things.</p>
<h2 id="expectations-can-alter-outcomes">Expectations can alter outcomes</h2>
<p>Expectations shape attention, interpretation, effort, and interaction. This can create a feedback loop:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation
</span></span><span class="line"><span class="cl">→ attention and behavior
</span></span><span class="line"><span class="cl">→ changes in the situation or in other people
</span></span><span class="line"><span class="cl">→ observed outcome
</span></span><span class="line"><span class="cl">→ reinforcement or revision of the expectation
</span></span></code></pre></div><p>If someone expects to fail, they may prepare less, withdraw earlier, or interpret ambiguous feedback as confirmation. The resulting behavior can make failure more likely. In social interaction, a perceiver&rsquo;s expectation may elicit behavior from another person that appears to confirm the original belief, a process described as behavioral confirmation.<a href="https://dictionary.apa.org/behavioral-confirmation">APA Dictionary of Psychology: Behavioral Confirmation</a></p>
<p>This does not mean that thought directly controls reality. Expectations influence outcomes only through causal pathways such as attention, effort, communication, coordination, and the reactions of other people. External constraints and chance remain real.</p>
<h2 id="expectation-is-not-intention">Expectation is not intention</h2>
<p>Expectation belongs to a larger chain of agency:</p>
<table>
  <thead>
      <tr>
          <th>Concept</th>
          <th>Question answered</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>need</td>
          <td>What condition or capability is missing?</td>
      </tr>
      <tr>
          <td>desire</td>
          <td>What outcome do I want?</td>
      </tr>
      <tr>
          <td>expectation</td>
          <td>What outcome seems likely, normal, or required?</td>
      </tr>
      <tr>
          <td>intention</td>
          <td>What am I committed to trying to do?</td>
      </tr>
      <tr>
          <td>goal</td>
          <td>What state has been selected as an objective?</td>
      </tr>
      <tr>
          <td>decision</td>
          <td>Which available course receives priority?</td>
      </tr>
      <tr>
          <td>action</td>
          <td>What was actually done?</td>
      </tr>
      <tr>
          <td>outcome</td>
          <td>What did action and environment produce together?</td>
      </tr>
  </tbody>
</table>
<p>“I expect the article to reach more readers” expresses a belief or hope about an outcome. “I intend to revise the title and opening” introduces an action commitment. “I will revise the title today” is a more specific decision.</p>
<p>The full loop is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation
</span></span><span class="line"><span class="cl">→ intention
</span></span><span class="line"><span class="cl">→ decision
</span></span><span class="line"><span class="cl">→ action
</span></span><span class="line"><span class="cl">→ outcome
</span></span><span class="line"><span class="cl">→ revised expectation
</span></span></code></pre></div><p>The arrows are not automatic. An expectation may never become an intention. An intention may not survive execution. Action does not control every cause of the final result.</p>
<h2 id="expectation-gaps-and-reference-points">Expectation gaps and reference points</h2>
<p>Expectations also become standards against which outcomes are experienced.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation gap = observed outcome − reference expectation
</span></span></code></pre></div><p>The same outcome can feel favorable when it exceeds the reference point and disappointing when it falls below it. The outcome has not changed; the comparison has.</p>
<p>Managing expectations should therefore not mean adopting permanent pessimism. A better practice is to separate four questions:</p>
<ol>
<li><strong>Desired outcome:</strong> What would I like to happen?</li>
<li><strong>Predictive judgment:</strong> What does the current evidence make likely?</li>
<li><strong>Controllable action:</strong> Which conditions can I influence?</li>
<li><strong>Risk boundary:</strong> What can I tolerate if the desired result does not occur?</li>
</ol>
<p>This preserves ambition without converting desire into prediction.</p>
<h2 id="how-to-examine-an-expectation">How to examine an expectation</h2>
<p>When a person or institution says, “I expect…,” ask:</p>
<ol>
<li>Who holds the expectation?</li>
<li>What outcome remains unresolved?</li>
<li>Is this a prediction, a hope, a standard, or an action–outcome belief?</li>
<li>If it is predictive, what evidence supports it?</li>
<li>If it is normative, who has authority and who bears the cost?</li>
<li>Which causal conditions can the agent influence?</li>
<li>Has the expectation become an intention, decision, or plan?</li>
<li>What observation would require revision?</li>
</ol>
<h2 id="a-final-definition">A final definition</h2>
<blockquote>
<p><strong>Expectation is an agent&rsquo;s orientation toward an unresolved outcome: a representation of what is likely, desired, normal, required, or achievable through action.</strong></p>
</blockquote>
<p>The concept spans three domains that must remain distinguishable:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">epistemic: what is likely to happen
</span></span><span class="line"><span class="cl">evaluative: what would be good to happen
</span></span><span class="line"><span class="cl">normative: what is supposed to happen
</span></span></code></pre></div><p>Once these are separated, expectations can be tested as beliefs, discussed as values, challenged as standards, and converted into action without being mistaken for guarantees.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://plato.stanford.edu/entries/hope/">Stanford Encyclopedia of Philosophy: Hope</a></li>
<li><a href="https://dictionary.apa.org/expectancy">APA Dictionary of Psychology: Expectancy</a></li>
<li><a href="https://dictionary.apa.org/behavioral-confirmation">APA Dictionary of Psychology: Behavioral Confirmation</a></li>
</ul>
]]></content:encoded></item><item><title>Systems: Boundaries, Interactions, and AI</title><link>https://moonment.net/en/notes/what-is-a-system/</link><pubDate>Sun, 27 Sep 2026 21:07:57 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-a-system/</guid><description>A system is more than a collection of parts. This essay explains boundaries, interactions, state, feedback, emergence, purpose, and why an AI model is only one component of an AI system.</description><content:encoded><![CDATA[<p>A pile of parts is not yet a system. A list of employees is not yet an organization. A language model is not, by itself, the complete application that a user encounters.</p>
<p>The word <em>system</em> becomes useful when parts are related in ways that produce persistent behavior at the level of a whole.</p>
<blockquote>
<p><strong>A system is a bounded set of interdependent elements whose organization and interactions produce behavior over time within an environment.</strong></p>
</blockquote>
<p>This definition contains several commitments. A system has elements, but it cannot be understood from an inventory alone. It has a boundary, though that boundary depends partly on the question being asked. It has a state that can change. It interacts with an environment. Its overall behavior depends on relations among parts, not merely on the parts considered separately.</p>
<h2 id="the-word-and-its-central-idea">The word and its central idea</h2>
<p>English <em>system</em> comes through Latin <em>systema</em> from Greek <em>systēma</em>, an organized whole composed of parts. Its roots carry the idea of things standing together rather than existing as an unrelated assortment.<a href="https://www.etymonline.com/word/system">Etymonline: system</a></p>
<p>The term now covers very different objects:</p>
<ul>
<li>the solar system;</li>
<li>a nervous system;</li>
<li>an ecosystem;</li>
<li>a legal system;</li>
<li>an organization;</li>
<li>a payment system;</li>
<li>a software system;</li>
<li>an AI system.</li>
</ul>
<p>These examples do not share one material composition or one kind of purpose. What they share is an analytical form: distinguishable elements participate in relations that sustain some pattern of behavior at the level of a whole.</p>
<h2 id="what-must-a-system-contain">What must a system contain?</h2>
<p>The smallest useful account of a system normally identifies:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">elements
</span></span><span class="line"><span class="cl">+ relations
</span></span><span class="line"><span class="cl">+ a boundary
</span></span></code></pre></div><p>An account of how the system operates also needs:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">state
</span></span><span class="line"><span class="cl">+ rules or mechanisms of change
</span></span><span class="line"><span class="cl">+ an environment
</span></span><span class="line"><span class="cl">+ inputs and outputs
</span></span><span class="line"><span class="cl">+ time
</span></span></code></pre></div><p>For an engineered system, further questions become central:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">intended purpose
</span></span><span class="line"><span class="cl">+ constraints
</span></span><span class="line"><span class="cl">+ performance criteria
</span></span><span class="line"><span class="cl">+ authority and responsibility
</span></span></code></pre></div><p>Engineering standards commonly define a system as interacting elements organized to achieve one or more stated purposes.<a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso-iec-ieee%3A42020%3Aed-1%3Av1%3Aen">ISO/IEC/IEEE 42020:2019</a></p>
<p>That purpose-centered definition is appropriate for engineered systems. It should not be projected onto every natural system. A climate system and a river system display organized behavior without needing intentions of their own.</p>
<h2 id="a-system-is-not-an-inventory">A system is not an inventory</h2>
<p>Suppose an online publishing operation contains an author, articles, Markdown files, a Git repository, a static-site generator, a deployment service, a domain, search engines, and readers.</p>
<p>The list tells us what might be present. It does not yet explain the system. The explanation begins with relations:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">author ──writes──&gt; article
</span></span><span class="line"><span class="cl">article ──stored as──&gt; Markdown
</span></span><span class="line"><span class="cl">Git ──records──&gt; revision
</span></span><span class="line"><span class="cl">site generator ──transforms──&gt; web page
</span></span><span class="line"><span class="cl">deployment service ──publishes──&gt; site
</span></span><span class="line"><span class="cl">reader ──visits──&gt; page
</span></span><span class="line"><span class="cl">search engine ──indexes──&gt; content
</span></span></code></pre></div><p>The system exists as an organized pattern of dependencies, transformations, permissions, and flows. If those relations disappear, the same objects may remain, but the publishing capability does not.</p>
<p>This is why a system is not simply the sum of its components. Organization is causally relevant.</p>
<h2 id="how-is-a-system-different-from-a-collection">How is a system different from a collection?</h2>
<p>A collection is defined mainly by membership. A system is defined by interdependence and organization.</p>
<table>
  <thead>
      <tr>
          <th>Collection</th>
          <th>System</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Answers which members are included</td>
          <td>Answers how elements interact</td>
      </tr>
      <tr>
          <td>Members may remain independent</td>
          <td>Changes can propagate among elements</td>
      </tr>
      <tr>
          <td>Removing one member may only change the count</td>
          <td>Changing one part may alter overall behavior</td>
      </tr>
      <tr>
          <td>Does not require a shared capacity</td>
          <td>Organization may create a capacity of the whole</td>
      </tr>
  </tbody>
</table>
<p>One hundred chairs in a warehouse form a collection. Players, coaches, rules, training, communication, and matches may form a team system. A contact list is a collection of records. Communication, roles, authority, and feedback can turn a group of people into an operating organization.</p>
<h2 id="boundaries-make-system-analysis-possible">Boundaries make system analysis possible</h2>
<p>Everything is connected to something else. If every remote influence must be included, the system expands until it becomes indistinguishable from the world. A useful analysis therefore defines a boundary.</p>
<p>A boundary answers:</p>
<blockquote>
<p>Which elements and relations belong to the system under study, and which belong to its environment?</p>
</blockquote>
<p>Consider a coffee shop. An analysis of waiting time may include customers, ordering, baristas, equipment, and queue rules. An analysis of profitability may add rent, suppliers, delivery platforms, and pricing. A food-safety analysis may include storage, temperature control, cleaning, and regulation.</p>
<p>The coffee shop has not become three different objects. The analytical boundary changes because the question changes.</p>
<p>INCOSE describes the environment as the part of the outside world that significantly interacts with and affects a system, often as the source of inputs and destination of outputs. Defining the boundary and environment is therefore a basic step in systems thinking.<a href="https://www.incose.org/wp-content/uploads/2026/01/INCOSEContent-410.pdf">INCOSE: Systems Thinking 101</a></p>
<p>The boundary is selected, but it is not arbitrary. A model cannot exclude a major causal influence merely because including it would make the diagram untidy.</p>
<h2 id="open-systems-exchange-with-an-environment">Open systems exchange with an environment</h2>
<p>An environment may provide information, energy, materials, users, prices, legal constraints, threats, and disturbances. A system may return products, decisions, services, waste, risk, and social effects.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">environment
</span></span><span class="line"><span class="cl">    ↓ input
</span></span><span class="line"><span class="cl">system state and operation
</span></span><span class="line"><span class="cl">    ↓ output
</span></span><span class="line"><span class="cl">changed environment
</span></span><span class="line"><span class="cl">    ↓ new input
</span></span><span class="line"><span class="cl">continued operation
</span></span></code></pre></div><p>Most systems studied in biology, society, organizations, and computing are open in this sense. They depend on continued exchange.</p>
<p>A closed system is often an analytical idealization. It means that particular exchanges can be ignored for a particular purpose, not that the object has no relation to anything outside it.</p>
<h2 id="systems-have-state-and-history">Systems have state and history</h2>
<p>A system is not only an architecture diagram. It occupies states, changes state, and carries effects from its history.</p>
<p>A website may be healthy, building, partially deployed, unavailable because of DNS, or updated in a repository while production still serves an earlier release. The same components and nominal connections can therefore produce different outcomes at different moments.</p>
<p>A simple dynamic description is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">current state + input + transition rules
</span></span><span class="line"><span class="cl">                    ↓
</span></span><span class="line"><span class="cl">             next state + output
</span></span></code></pre></div><p>Time delays matter. A page may be live before a search engine indexes it. A product may improve before public expectations change. A policy may appear effective in the short term while accumulating a long-term cost.</p>
<p>Ignoring delay turns a dynamic system into a misleading snapshot.</p>
<h2 id="feedback-changes-subsequent-behavior">Feedback changes subsequent behavior</h2>
<p>Feedback occurs when an output or consequence returns as an influence on later system behavior.</p>
<p><strong>Negative feedback</strong> counteracts a deviation. A thermostat detects a falling temperature, turns on heating, and later turns it off as the room returns to range. Negative feedback often supports stability.</p>
<p><strong>Positive feedback</strong> reinforces a change. More engagement may produce more recommendation exposure, which produces more engagement. Positive feedback may create growth, lock-in, polarization, or collapse.</p>
<p>The words <em>positive</em> and <em>negative</em> do not mean good and bad. They describe whether the loop amplifies or counteracts change.</p>
<p>Delayed feedback can cause overshoot and oscillation. Missing feedback can allow a system to optimize a proxy long after the proxy has stopped representing the intended result.</p>
<h2 id="emergence-comes-from-organization">Emergence comes from organization</h2>
<p>“The whole is greater than the sum of its parts” is a familiar systems slogan. It is suggestive but imprecise.</p>
<p>What the inventory omits is organization: spatial arrangement, causal interaction, timing, feedback, and constraints. Those relations allow a whole to display properties that isolated parts do not display.</p>
<ul>
<li>A single vehicle does not constitute a traffic jam; many mutually constraining vehicles can.</li>
<li>A single market participant does not determine a market price; structured interaction among many participants may produce one.</li>
<li>A single neuron does not perform the full cognitive work of a nervous system; organized neural activity supports higher-level capacities.</li>
<li>A molecule does not have the thermodynamic temperature of a macroscopic body; temperature characterizes a collective state.</li>
</ul>
<p>Systems biology likewise studies components in the context of their interactions and the constraints imposed by the whole.<a href="https://plato.stanford.edu/entries/systems-synthetic-biology/">Stanford Encyclopedia of Philosophy: Philosophy of Systems and Synthetic Biology</a></p>
<p>Emergence should not be used as a label for mystery. An emergent property still calls for an explanation of arrangement, interaction, scale, constraint, and time.</p>
<h2 id="does-every-system-have-a-goal">Does every system have a goal?</h2>
<p>No. Purpose, function, and intention must be distinguished.</p>
<p>An engineered payment system is built for stated purposes. An organization may pursue several partly conflicting objectives. A heart performs a biological function that can be explained through physiology and evolution without attributing intention to the organ. A solar system displays lawful behavior without pursuing a goal.</p>
<p>Even in designed systems, four things can diverge:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">stated purpose
</span></span><span class="line"><span class="cl">designer intention
</span></span><span class="line"><span class="cl">metric actually optimized
</span></span><span class="line"><span class="cl">outcome actually produced
</span></span></code></pre></div><p>A recommendation service may claim to improve user satisfaction while optimizing clicks. Higher click-through rates may coexist with lower trust, worse information quality, or compulsive use.</p>
<p>A system should therefore be evaluated by its operation and effects, not only by its declared purpose.</p>
<h2 id="system-structure-mechanism-process-and-model">System, structure, mechanism, process, and model</h2>
<p>These terms answer different questions.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Central question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>System</td>
          <td>Which elements interact within which boundary, producing what behavior?</td>
      </tr>
      <tr>
          <td>Structure</td>
          <td>How are elements arranged, connected, and layered?</td>
      </tr>
      <tr>
          <td>Mechanism</td>
          <td>Through which causal organization is an outcome produced?</td>
      </tr>
      <tr>
          <td>Process</td>
          <td>In what temporal sequence do activities and transformations occur?</td>
      </tr>
      <tr>
          <td>Function</td>
          <td>What capacity or contribution does a whole or part provide?</td>
      </tr>
      <tr>
          <td>Organization</td>
          <td>How are people, roles, rules, and authority coordinated?</td>
      </tr>
      <tr>
          <td>Network</td>
          <td>What topology is formed by nodes and links?</td>
      </tr>
      <tr>
          <td>Model</td>
          <td>How is the object represented for understanding, explanation, or prediction?</td>
      </tr>
  </tbody>
</table>
<p>A publishing system has a structure of repositories, builders, and servers; a mechanism that converts Markdown into HTML; a process of drafting, review, commit, build, and deployment; and a function of making content reliably accessible.</p>
<p>The system is the object under study. A system model is a selective representation of that object. A diagram may omit details usefully, but success in the diagram does not guarantee success in the world.</p>
<h2 id="systems-entities-and-ontology">Systems, entities, and ontology</h2>
<p>An entity analysis asks which particular object is being referred to. A system analysis asks how entities and relations are organized into behavior over time. An ontology specifies which kinds of entities and relations a domain recognizes.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">entity: an identifiable object
</span></span><span class="line"><span class="cl">relation: a way objects are connected
</span></span><span class="line"><span class="cl">system: organized objects and relations operating over time
</span></span><span class="line"><span class="cl">ontology: an account of the recognized kinds and relations
</span></span></code></pre></div><p>A system can itself be treated as an entity. A payment system may have an owner, version, status, service boundary, and lifecycle. At a lower level, the same system contains account, order, fraud-control, channel, and settlement subsystems.</p>
<p>Something can therefore be a system at one level and a component of a larger system at another. The relevant level depends on the question.</p>
<p>Related discussions appear in <a href="/en/notes/what-is-an-entity/">“What Is an Entity? Identity, Reference, and AI Systems”</a> and <a href="/en/notes/what-is-ontology/">“What Is Ontology? From What Exists to What AI Can Represent”</a>.</p>
<h2 id="subsystems-and-systems-of-systems">Subsystems and systems of systems</h2>
<p>Complex systems are often nested:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">component
</span></span><span class="line"><span class="cl">    ↓
</span></span><span class="line"><span class="cl">subsystem
</span></span><span class="line"><span class="cl">    ↓
</span></span><span class="line"><span class="cl">system
</span></span><span class="line"><span class="cl">    ↓
</span></span><span class="line"><span class="cl">larger system
</span></span></code></pre></div><p>A payment interface may belong to an order-and-payment subsystem, which belongs to an e-commerce platform, which participates in a broader commercial and logistics environment.</p>
<p>A <strong>system of systems</strong> joins systems that can still operate and be managed with substantial independence. Urban mobility, for example, may involve roads, buses, rail, navigation, ticketing, traffic control, taxis, and ride-hailing platforms. No single component completely determines the whole, yet their interactions shape citywide movement.</p>
<p>This creates coordination problems that cannot be solved by optimizing one subsystem alone.</p>
<h2 id="are-systems-discovered-or-constructed">Are systems discovered or constructed?</h2>
<p>Both descriptions capture part of the truth.</p>
<p>Real interactions, dependencies, feedback loops, and constraints are not invented merely by drawing a boundary. Traffic congestion, ecological exchange, institutional authority, and software calls have real effects.</p>
<p>Yet the choice of boundary, scale, state variables, and level of abstraction depends on what the investigator needs to explain. The same person can participate in biological, family, legal, organizational, economic, and information systems.</p>
<p>A useful position is:</p>
<blockquote>
<p><strong>Interactions are constrained by reality; system boundaries and levels are selected for inquiry and action.</strong></p>
</blockquote>
<p>The model must remain answerable to observed behavior. A convenient boundary that excludes decisive effects is a bad boundary.</p>
<h2 id="system-boundaries-also-carry-values-and-power">System boundaries also carry values and power</h2>
<p>Boundary choices determine what becomes visible.</p>
<p>When a system defines who counts as a user, which outcomes count as benefits, which harms count as externalities, which metric receives optimization pressure, and who may change the rules, it embeds practical and political judgments.</p>
<p>A delivery platform that measures only completed orders per hour may improve its internal efficiency while moving safety risk, waiting pressure, and road danger onto workers and the public.</p>
<p>The system did not eliminate the cost. Its measurement boundary excluded the cost.</p>
<p>Systems analysis therefore asks more than whether an operation is efficient:</p>
<ul>
<li>Efficient for whom?</li>
<li>Which outcomes are measured?</li>
<li>Who absorbs failure and delay?</li>
<li>Who has authority to change the objective or boundary?</li>
<li>Which effects appear only in a larger system?</li>
</ul>
<h2 id="what-is-an-ai-system">What is an AI system?</h2>
<p>An AI system is not synonymous with an AI model.</p>
<p>A deployed language-model application may include:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">users and operators
</span></span><span class="line"><span class="cl">+ interface
</span></span><span class="line"><span class="cl">+ prompts and context
</span></span><span class="line"><span class="cl">+ one or more models
</span></span><span class="line"><span class="cl">+ retrieval and knowledge sources
</span></span><span class="line"><span class="cl">+ memory and state
</span></span><span class="line"><span class="cl">+ tools and external services
</span></span><span class="line"><span class="cl">+ orchestration and control flow
</span></span><span class="line"><span class="cl">+ identity and permissions
</span></span><span class="line"><span class="cl">+ runtime infrastructure
</span></span><span class="line"><span class="cl">+ logging and evaluation
</span></span><span class="line"><span class="cl">+ human review
</span></span><span class="line"><span class="cl">+ outcome feedback
</span></span></code></pre></div><p>The model performs part of the inference. The surrounding system decides what reaches the model, which external state is available, which tools may run, whose authority applies, how outputs are checked, and what changes in the world.</p>
<p>The OECD definition describes an AI system as a machine-based system that infers from inputs how to produce predictions, content, recommendations, or decisions that can influence physical or virtual environments. Its explanatory material describes a model as a core component of such a system.<a href="https://oecd.ai/en/wonk/ai-system-definition-update">OECD: Updated Definition of an AI System</a></p>
<p>NIST emphasizes that AI systems are sociotechnical: their benefits and risks emerge from technical components together with operators, users, other systems, and the social context of deployment.<a href="https://nvlpubs.nist.gov/nistpubs/ai/NIST.AI.100-1.pdf">NIST AI Risk Management Framework</a></p>
<h2 id="a-model-can-answer-while-the-system-still-fails">A model can answer while the system still fails</h2>
<p>A language model may generate a correct article draft. Publishing that article reliably requires a larger system to:</p>
<ul>
<li>resolve the intended article and language versions;</li>
<li>read repository rules;</li>
<li>modify the correct files;</li>
<li>preserve identity and authorization boundaries;</li>
<li>validate the build;</li>
<li>commit and push with the correct repository identity;</li>
<li>wait for deployment;</li>
<li>verify the live pages, canonical URLs, language links, and sitemap.</li>
</ul>
<p>Failure can occur at any boundary. The model may be correct while retrieval supplies stale facts. The plan may be correct while a tool targets the wrong entity. The code may build locally while deployment fails. The page may be live while search metadata is missing.</p>
<p>Therefore:</p>
<blockquote>
<p><strong>Model capability does not by itself establish system reliability.</strong></p>
</blockquote>
<p>Evaluation must match the system boundary. A model benchmark measures a model under specified conditions. It does not automatically measure the complete product, workflow, organization, or real-world outcome.</p>
<h2 id="a-practical-method-for-analyzing-a-system">A practical method for analyzing a system</h2>
<ol>
<li><strong>State the question.</strong> Are you trying to explain, design, improve, control, or evaluate the system?</li>
<li><strong>Draw the boundary.</strong> What belongs inside, what belongs to the environment, and why?</li>
<li><strong>Identify elements.</strong> Include people, software, physical objects, rules, institutions, data, and resources.</li>
<li><strong>Map relations and flows.</strong> Track information, material, money, authority, and dependency.</li>
<li><strong>Describe states and transitions.</strong> What states can occur, and what changes one state into another?</li>
<li><strong>Find feedback loops.</strong> Which consequences reinforce or counteract earlier behavior?</li>
<li><strong>Examine delays.</strong> When do outputs and consequences become observable?</li>
<li><strong>Separate goals from metrics.</strong> What outcome is intended, and what variable actually receives optimization pressure?</li>
<li><strong>Locate constraints and authority.</strong> Who can change which element, rule, or boundary?</li>
<li><strong>Inspect excluded effects.</strong> Which people, costs, and risks appear only when the boundary expands?</li>
</ol>
<h2 id="a-final-definition">A final definition</h2>
<p>A system can be defined as:</p>
<blockquote>
<p><strong>A system is a bounded whole in which interdependent elements operate through some organization and rules, change state over time, interact with an environment, and thereby produce behavior or capacities at the level of the whole.</strong></p>
</blockquote>
<p>For designed systems, that account must also include purpose, constraints, metrics, authority, and responsibility.</p>
<p>A system is not merely many things placed together, and it is not merely an architecture diagram. It exists as organized interaction: changes in one part affect others, relations alter outcomes, and the condition of the whole constrains what its parts can do.</p>
<p>Identifying entities tells us what is present. Understanding a system tells us how those entities operate together and why the observed result occurs.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://www.etymonline.com/word/system">Etymonline: system</a></li>
<li><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso-iec-ieee%3A42020%3Aed-1%3Av1%3Aen">ISO/IEC/IEEE 42020:2019</a></li>
<li><a href="https://www.incose.org/wp-content/uploads/2026/01/INCOSEContent-410.pdf">INCOSE: Systems Thinking 101</a></li>
<li><a href="https://plato.stanford.edu/entries/systems-synthetic-biology/">Stanford Encyclopedia of Philosophy: Philosophy of Systems and Synthetic Biology</a></li>
<li><a href="https://oecd.ai/en/wonk/ai-system-definition-update">OECD: Updated Definition of an AI System</a></li>
<li><a href="https://nvlpubs.nist.gov/nistpubs/ai/NIST.AI.100-1.pdf">NIST AI Risk Management Framework</a></li>
</ul>
]]></content:encoded></item><item><title>Entities: Identity, Reference, and AI Systems</title><link>https://moonment.net/en/notes/what-is-an-entity/</link><pubDate>Thu, 24 Sep 2026 16:31:31 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-an-entity/</guid><description>An entity is something treated as having a distinguishable identity. This essay separates mentions, names, classes, records, and real-world referents across philosophy and AI.</description><content:encoded><![CDATA[<p>People, companies, cities, products, documents, events, and fictional characters are very different kinds of things. Yet an information system may treat all of them as entities.</p>
<p>The word is broad because it does not describe a particular material composition. It describes a role within thought, language, or a model:</p>
<blockquote>
<p><strong>An entity is something treated as having a distinguishable identity, so that it can be referred to, described, related to other things, tracked over time, or acted upon.</strong></p>
</blockquote>
<p>An entity need not be tangible. It need not exist independently. It need not even exist in the actual world. What it needs, within a particular domain, is enough identity for the system to treat it as the same subject across multiple statements or operations.</p>
<h2 id="where-does-the-word-entity-come-from">Where does the word “entity” come from?</h2>
<p>English <code>entity</code> comes through Medieval Latin <code>entitas</code>, formed from <code>ens</code>, a being or something that is, which in turn is related to the Latin verb <code>esse</code>, to be. The word therefore carries an ontological background: it concerns something considered as a being or item of existence.<a href="https://www.ahdictionary.com/word/search.html?q=entity">American Heritage Dictionary: entity</a></p>
<p>That history explains why <code>entity</code> can be used so widely. It may refer to a physical object, a person, an institution, an event, a number, a proposition, or another item admitted by a theory. In philosophy, <code>thing</code>, <code>being</code>, <code>entity</code>, and <code>object</code> may all compete for the role of a maximally general term for whatever a system acknowledges.<a href="https://plato.stanford.edu/entries/object/">Stanford Encyclopedia of Philosophy: Object</a></p>
<p>No single list of entities is philosophically neutral. A physicalist ontology, a mathematical ontology, a legal ontology, and a fictional world may recognize different kinds of things. Calling something an entity is therefore both a semantic move and, in many contexts, an ontological commitment.</p>
<h2 id="an-entity-is-not-merely-a-physical-object">An entity is not merely a physical object</h2>
<p>A physical object usually has material structure and some spatial boundary. An entity need not.</p>
<p>A corporation has no single body. It depends on law, records, roles, property, contracts, and continued institutional recognition. A meeting is not a durable object, but it can have participants, a time, a location, an agenda, and an outcome. An account exists only within a platform and its rules, yet the platform must still distinguish one account from another.</p>
<p>All three can function as entities because each can be identified and become the subject of further claims.</p>
<p>The English words <code>entity</code> and <code>substance</code> should also be separated. An entity is any item treated as a being or object of reference. A substance, in major philosophical traditions, is more specifically something taken to exist relatively independently or to bear properties. Events, relations, numbers, and properties may count as entities without counting as substances in that stronger sense.<a href="https://plato.stanford.edu/entries/substance/">Stanford Encyclopedia of Philosophy: Substance</a></p>
<h2 id="reference-does-not-establish-real-existence">Reference does not establish real existence</h2>
<p>Sherlock Holmes can be named, described, compared with other characters, and placed in a network of fictional relations. He is an entity in literary discourse and may be an entity in a knowledge base. None of this makes him a historical person.</p>
<p>At least three questions must therefore remain separate:</p>
<table>
  <thead>
      <tr>
          <th>Level</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Discourse entity</td>
          <td>Has language introduced something that can be referred to again?</td>
      </tr>
      <tr>
          <td>Model entity</td>
          <td>Does an information system represent it as a distinct item?</td>
      </tr>
      <tr>
          <td>Real-world entity</td>
          <td>Is there sufficient evidence for a corresponding thing in the actual world?</td>
      </tr>
  </tbody>
</table>
<p>An entity can exist at the first two levels without satisfying the third. Plans, hypothetical products, possible events, mistaken identities, and fictional characters all demonstrate why representation and reality must not be collapsed.</p>
<h2 id="identity-is-the-central-problem">Identity is the central problem</h2>
<p>Finding a noun is easy. Determining what makes something the same entity is harder.</p>
<p>A person may change names and addresses while remaining the same person. A corporation may replace every employee and continue as the same legal organization. An article may be revised many times while retaining one publication history. A product may keep its commercial name while its capabilities, components, or terms change substantially.</p>
<p>Different types of entities require different <strong>identity criteria</strong>:</p>
<table>
  <thead>
      <tr>
          <th>Entity type</th>
          <th>Possible basis of identity</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Person</td>
          <td>legal records, bodily and biographical continuity</td>
      </tr>
      <tr>
          <td>Corporation</td>
          <td>legal registration, organizational and contractual continuity</td>
      </tr>
      <tr>
          <td>Document</td>
          <td>identifier, provenance, content hash, or version history</td>
      </tr>
      <tr>
          <td>Article</td>
          <td>authorship and publication lineage, slug, revision history</td>
      </tr>
      <tr>
          <td>Product model</td>
          <td>model definition, capability boundary, specification</td>
      </tr>
      <tr>
          <td>Commercial item</td>
          <td>SKU, serial number, batch, or unit of sale</td>
      </tr>
      <tr>
          <td>Online account</td>
          <td>platform, stable account ID, control and authentication</td>
      </tr>
      <tr>
          <td>Event</td>
          <td>participants, time, place, and occurrence structure</td>
      </tr>
  </tbody>
</table>
<p>A name is not an identity. Two people can share a name, and one person can use several names. A set of properties is not automatically an identity either. Properties change, records conflict, and two objects may resemble one another closely without being the same object.</p>
<p>A useful entity representation usually needs more than a label:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">stable identifier
</span></span><span class="line"><span class="cl">+ entity type
</span></span><span class="line"><span class="cl">+ attributes
</span></span><span class="line"><span class="cl">+ relationships
</span></span><span class="line"><span class="cl">+ temporal state
</span></span><span class="line"><span class="cl">+ provenance
</span></span><span class="line"><span class="cl">+ confidence in the identity match
</span></span></code></pre></div><h2 id="how-does-ontology-relate-to-entities">How does ontology relate to entities?</h2>
<p>An entity does not become a useful modeling unit in isolation. A system must decide what kinds of entities it recognizes, which attributes they may have, which relations may connect them, and what counts as persistence or change.</p>
<p>Those decisions form part of an ontology.</p>
<blockquote>
<p><strong>An entity is a particular item recognized within a domain; an ontology states which kinds of items the domain recognizes and how they may be organized.</strong></p>
</blockquote>
<p>“Shanghai” may be stored as a string in a simple customer table. In a geographical knowledge system, it may be represented as an entity with coordinates, administrative status, districts, and relationships to other places. The difference depends on whether the system needs to identify Shanghai independently and reason about it.</p>
<p>Philosophical ontology asks what exists and how different kinds of beings exist. Computational ontology turns a domain commitment into an explicit model of classes, entities, properties, relations, and constraints. A fuller account appears in <a href="/en/notes/what-is-ontology/">“What Is Ontology? From What Exists to Models AI Can Use”</a>. Here ontology matters because it supplies the type system and identity conditions within which entities can be distinguished.</p>
<h2 id="what-does-entity-mean-in-ai">What does “entity” mean in AI?</h2>
<p>In AI, an entity is usually an object distinguished from text, images, records, or an environment because the system needs to understand, retrieve, remember, reason about, or act on it.</p>
<p>The term changes meaning across tasks. Named-entity recognition, entity linking, entity resolution, knowledge graphs, computer vision, databases, and AI agents do not operate at exactly the same level.</p>
<h2 id="named-entity-recognition-finds-mentions-not-verified-objects">Named-entity recognition finds mentions, not verified objects</h2>
<p>Consider the sentence:</p>
<blockquote>
<p>Apple plans to announce a new phone in Shanghai tomorrow.</p>
</blockquote>
<p>A named-entity recognition system may label:</p>
<ul>
<li><code>Apple</code> as an organization;</li>
<li><code>Shanghai</code> as a location;</li>
<li><code>tomorrow</code> as a date.</li>
</ul>
<p>At this stage, the system has identified <strong>mentions</strong>: spans of language that appear to refer to named or otherwise categorized entities. In engineering terms, a conventional NER component predicts labeled token spans. spaCy, for example, describes its entity recognizer as identifying non-overlapping labeled spans.<a href="https://spacy.io/api/entityrecognizer/">spaCy: EntityRecognizer</a></p>
<p>The output does not yet prove that <code>Apple</code> refers to Apple Inc. rather than a different organization, a title, or an annotation mistake. Nor does it establish that the announced phone is a particular product with a known identity.</p>
<p>The distinction is fundamental:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">entity mention ≠ entity identity
</span></span><span class="line"><span class="cl">entity name ≠ unique referent
</span></span><span class="line"><span class="cl">entity type ≠ proof of existence
</span></span></code></pre></div><h2 id="entity-linking-connects-a-mention-to-a-canonical-entity">Entity linking connects a mention to a canonical entity</h2>
<p>Entity linking attempts to determine which known entity a mention refers to.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">“Apple” in a sentence
</span></span><span class="line"><span class="cl">        ↓ disambiguation
</span></span><span class="line"><span class="cl">Apple Inc.
</span></span><span class="line"><span class="cl">        ↓ normalization
</span></span><span class="line"><span class="cl">knowledge-base ID: company/apple-inc
</span></span></code></pre></div><p>This requires at least two forms of reasoning:</p>
<ul>
<li><strong>Disambiguation:</strong> Which entity with this name fits the context?</li>
<li><strong>Coreference and normalization:</strong> Do <code>Apple</code>, <code>Apple Inc.</code>, and <code>the Cupertino company</code> refer to the same entity here?</li>
</ul>
<p>Linking converts a piece of language into an addressable object in a knowledge system. It is still fallible. The selected knowledge-base entry may be wrong, duplicated, incomplete, or out of date.</p>
<h2 id="entity-resolution-asks-whether-records-describe-the-same-thing">Entity resolution asks whether records describe the same thing</h2>
<p>Entity linking usually begins with language and a knowledge base. <strong>Entity resolution</strong> often begins with records.</p>
<p>A customer system may contain:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Li Ming, Shanghai, 138****1234
</span></span><span class="line"><span class="cl">Ming Li, 上海市, 138****1234
</span></span><span class="line"><span class="cl">李明, Pudong, 138****1234
</span></span></code></pre></div><p>Do these records describe one person, two people, or three? Shared fields provide evidence, but they do not make the answer automatic. Phone numbers can be reassigned, addresses can be shared, and names can collide.</p>
<p>Entity resolution may involve:</p>
<ul>
<li>deduplicating records;</li>
<li>matching aliases and transliterations;</li>
<li>detecting that one entity has split or merged in a source system;</li>
<li>preserving conflicting claims rather than forcing a premature merge;</li>
<li>recording why two records were considered the same.</li>
</ul>
<p>This is an identity decision under uncertainty. A useful system keeps the evidence and confidence behind the match instead of treating similarity as certainty.</p>
<h2 id="knowledge-graphs-place-entities-in-a-network-of-claims">Knowledge graphs place entities in a network of claims</h2>
<p>In a knowledge graph, entities are commonly represented as nodes connected by typed relations:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Apple Inc. ──headquartered in──&gt; Cupertino
</span></span><span class="line"><span class="cl">Apple Inc. ──released──&gt; iPhone
</span></span><span class="line"><span class="cl">iPhone ──instance of──&gt; smartphone product
</span></span></code></pre></div><p>This representation distinguishes:</p>
<ul>
<li>entities such as Apple Inc., Cupertino, and an iPhone model;</li>
<li>classes such as company, city, and product;</li>
<li>attributes such as dates and names;</li>
<li>relations such as <code>headquartered in</code> and <code>released</code>.</li>
</ul>
<p>RDF represents claims as subject–predicate–object triples. Its notion of a resource is deliberately broad: a resource may denote a physical thing, a document, an abstract concept, or another item in the universe of discourse.<a href="https://www.w3.org/TR/rdf11-concepts/">W3C: RDF 1.1 Concepts and Abstract Syntax</a></p>
<p>An ontology supplies general rules, while a knowledge graph contains particular claims:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">ontology: a company may release a product
</span></span><span class="line"><span class="cl">claim: Apple Inc. released a particular iPhone model
</span></span></code></pre></div><p>A graph node is not automatically a verified real-world object. It may represent a class, a fictional entity, a planned object, an uncertain hypothesis, or an erroneous record. Provenance and status remain necessary.</p>
<h2 id="concepts-classes-entities-identifiers-and-records">Concepts, classes, entities, identifiers, and records</h2>
<p>Several layers are easily confused:</p>
<table>
  <thead>
      <tr>
          <th>Layer</th>
          <th>What does it provide?</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Word or phrase</td>
          <td>an expression used in language</td>
      </tr>
      <tr>
          <td>Name</td>
          <td>a conventional way to refer to something</td>
      </tr>
      <tr>
          <td>Concept</td>
          <td>a general structure used to understand things</td>
      </tr>
      <tr>
          <td>Class</td>
          <td>a modeled category of possible members</td>
      </tr>
      <tr>
          <td>Entity</td>
          <td>the particular item currently referred to</td>
      </tr>
      <tr>
          <td>Identifier</td>
          <td>a stable handle used by a system</td>
      </tr>
      <tr>
          <td>Record</td>
          <td>stored claims about an entity</td>
      </tr>
      <tr>
          <td>Real-world referent</td>
          <td>whatever, if anything, exists beyond the model</td>
      </tr>
  </tbody>
</table>
<p><code>Company</code> may be a concept and a class. Apple Inc. may be an entity. <code>Apple</code> may be a name or mention. <code>company_001</code> may be an internal identifier. A row in a database may contain claims about the company. None of these layers is identical to the organization itself.</p>
<p>One entity may have many names and records. One record may accidentally combine facts about several entities. A unique database key guarantees uniqueness inside a table; it does not prove that the row corresponds correctly to one real-world thing.</p>
<h2 id="when-should-something-be-modeled-as-an-entity">When should something be modeled as an entity?</h2>
<p>Not every noun phrase needs its own entity. Six questions help:</p>
<ol>
<li><strong>Does it need a distinct identity?</strong> Must the system distinguish this item from similar items?</li>
<li><strong>Will it be referred to repeatedly?</strong> Will multiple documents, records, or tasks mention it?</li>
<li><strong>Does it have its own attributes?</strong> Must the system store a status, date, location, or owner?</li>
<li><strong>Does it participate in relationships?</strong> Must it be connected to other objects?</li>
<li><strong>Does it persist through time?</strong> Must the system recognize it after some properties change?</li>
<li><strong>Can the system act on it?</strong> Will it be queried, edited, sent, authorized, purchased, deleted, or monitored?</li>
</ol>
<p>If most answers are yes, an entity is often appropriate. Otherwise a literal value, label, or temporary span may be enough.</p>
<p>Entity modeling is not free. Every entity type introduces identity rules, lifecycle questions, merge and split behavior, provenance requirements, and access-control consequences.</p>
<h2 id="can-events-states-and-intentions-become-entities">Can events, states, and intentions become entities?</h2>
<p>Grammatical categories do not map directly onto model categories. Nouns do not always denote entities, and verbs do not always remain mere relations.</p>
<p>“Maya signed Contract C36” can be represented as a simple relation:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Maya ──signed──&gt; Contract C36
</span></span></code></pre></div><p>If the system must record the date, location, version, witnesses, method, and legal status, the signing can become an event entity:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Signing Event E1024
</span></span><span class="line"><span class="cl">├── signer: Maya
</span></span><span class="line"><span class="cl">├── object: Contract C36
</span></span><span class="line"><span class="cl">├── time: 2026-09-24
</span></span><span class="line"><span class="cl">├── place: Shanghai
</span></span><span class="line"><span class="cl">└── status: effective
</span></span></code></pre></div><p>An intention can likewise be modeled as a mental-state entity when the system needs to record whose intention it is, what outcome it concerns, when it was inferred, which evidence supports the inference, and how uncertain the interpretation remains.</p>
<p>Reification makes an event, relation, or state available for further description. It is useful when the system needs that detail, but it should not be mistaken for a discovery that the world naturally divides itself in exactly that form.</p>
<h2 id="how-do-large-language-models-handle-entities">How do large language models handle entities?</h2>
<p>A standard large language model receives tokens and computes distributed representations shaped by training data and current context. It can learn that <code>Apple</code> often occurs near company, product, iPhone, and Cupertino, and it can frequently disambiguate the word from the fruit.</p>
<p>This competence does not imply that the model contains a single, explicit, canonical Apple Inc. record comparable to a carefully maintained knowledge base. Entity information may be distributed across parameters and reconstructed probabilistically in context.</p>
<p>Consequently, a language model may:</p>
<ul>
<li>resolve an entity correctly in one context and confuse it in another;</li>
<li>conflate a company, its brand, its products, and its website;</li>
<li>recall an old property without knowing that it has changed;</li>
<li>invent a plausible person, paper, organization, or product;</li>
<li>answer without a stable source for the entity claim.</li>
</ul>
<p>For tasks that require reliable action, model output is usually only one layer:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">language model
</span></span><span class="line"><span class="cl">+ domain ontology
</span></span><span class="line"><span class="cl">+ entity IDs and resolution
</span></span><span class="line"><span class="cl">+ current state and provenance
</span></span><span class="line"><span class="cl">+ time-aware records
</span></span><span class="line"><span class="cl">+ permissions and action rules
</span></span></code></pre></div><p>The language model interprets open-ended language. The ontology defines possible types and relations. Entity services determine identity. Data sources establish current state. Authorization determines which operations are permitted.</p>
<h2 id="why-do-ai-agents-need-explicit-entity-identity">Why do AI agents need explicit entity identity?</h2>
<p>Consider the instruction:</p>
<blockquote>
<p>Update yesterday’s article about needs on Moonment.</p>
</blockquote>
<p>The request contains several unresolved references:</p>
<table>
  <thead>
      <tr>
          <th>Expression</th>
          <th>Entity question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>yesterday</td>
          <td>Which timezone and time interval?</td>
      </tr>
      <tr>
          <td>the article about needs</td>
          <td>Which document and slug?</td>
      </tr>
      <tr>
          <td>update</td>
          <td>Edit a draft, commit a repository, or publish a website?</td>
      </tr>
      <tr>
          <td>Moonment</td>
          <td>Which project, repository, deployment, and domain?</td>
      </tr>
      <tr>
          <td>article version</td>
          <td>Chinese, English, or both?</td>
      </tr>
      <tr>
          <td>requesting user</td>
          <td>Which permissions and prior authorization apply?</td>
      </tr>
  </tbody>
</table>
<p>The agent may understand the general intention while still acting on the wrong file, project, account, language version, or deployment.</p>
<p>A safer path is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">natural-language request
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">mention and reference detection
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">type assignment and coreference
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">entity linking and resolution
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">relation, event, and intent interpretation
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">state, provenance, and authorization checks
</span></span><span class="line"><span class="cl">        ↓
</span></span><span class="line"><span class="cl">action on the resolved entity
</span></span></code></pre></div><p>Intent specifies the change the user appears to seek. Entity resolution determines what the intended action applies to. Authorization determines whether the action may be performed. None can substitute for the others.</p>
<h2 id="can-ai-establish-that-an-entity-really-exists">Can AI establish that an entity really exists?</h2>
<p>Language alone cannot establish existence.</p>
<p>An AI system can estimate that a phrase is probably a person’s name, that context probably indicates a company, or that a mention probably links to a known record. Real-world verification requires additional evidence, such as:</p>
<ul>
<li>an authoritative registry or primary source;</li>
<li>a current database record;</li>
<li>a file that actually exists in the relevant filesystem;</li>
<li>a live website or API;</li>
<li>an authenticated identity and permission system;</li>
<li>a sensor observation or human confirmation.</li>
</ul>
<p>The following claims are distinct:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">the text mentions something
</span></span><span class="line"><span class="cl">≠ the model identified it correctly
</span></span><span class="line"><span class="cl">≠ the system linked the correct record
</span></span><span class="line"><span class="cl">≠ the record is accurate and current
</span></span><span class="line"><span class="cl">≠ the corresponding thing exists now
</span></span><span class="line"><span class="cl">≠ the user is authorized to act on it
</span></span></code></pre></div><p>Model confidence is not proof of existence. It describes a model’s judgment under particular inputs and assumptions. It does not replace provenance or verification.</p>
<h2 id="a-checklist-for-entity-design-in-ai-systems">A checklist for entity design in AI systems</h2>
<ol>
<li>Which entity types does the system recognize, and why?</li>
<li>Are mentions, names, classes, entities, identifiers, and records kept separate?</li>
<li>What establishes identity for each entity type?</li>
<li>How are aliases, namesakes, renaming, and duplicate records handled?</li>
<li>Do attributes and relations carry time and provenance?</li>
<li>Are events and changing states being flattened into misleading static fields?</li>
<li>Are extraction, linking, resolution, and real-world verification separate stages?</li>
<li>Can the system distinguish fictional, planned, hypothetical, and actual entities?</li>
<li>What happens to historical claims when entities merge, split, or change type?</li>
<li>Before acting, how does the system verify identity, current state, and permission?</li>
</ol>
<p>An entity-rich system can still be unreliable. Without identity criteria, provenance, temporal state, and authorization, it merely attaches confident-looking labels to uncertain referents.</p>
<h2 id="entities-connect-language-to-action">Entities connect language to action</h2>
<p>Entities form an interface between language, knowledge, and operations:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">objects, events, and states in a domain
</span></span><span class="line"><span class="cl">                ↓
</span></span><span class="line"><span class="cl">names and descriptions in language
</span></span><span class="line"><span class="cl">                ↓
</span></span><span class="line"><span class="cl">entity, attribute, and relation recognition
</span></span><span class="line"><span class="cl">                ↓
</span></span><span class="line"><span class="cl">links to records and external evidence
</span></span><span class="line"><span class="cl">                ↓
</span></span><span class="line"><span class="cl">interpretation of needs and intentions
</span></span><span class="line"><span class="cl">                ↓
</span></span><span class="line"><span class="cl">authorized action and recorded outcomes
</span></span></code></pre></div><p>An entity answers, “Which particular thing are we talking about?” An attribute answers, “What is it like?” A relation answers, “How is it connected?” An event answers, “What happened?” An intention answers, “What outcome is an agent trying to bring about?”</p>
<p>The most serious entity error in AI is not failing to label a noun. It is treating an ambiguous expression as though it already named one verified, current, and actionable object.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://www.ahdictionary.com/word/search.html?q=entity">American Heritage Dictionary: entity</a></li>
<li><a href="https://plato.stanford.edu/entries/object/">Stanford Encyclopedia of Philosophy: Object</a></li>
<li><a href="https://plato.stanford.edu/entries/substance/">Stanford Encyclopedia of Philosophy: Substance</a></li>
<li><a href="https://plato.stanford.edu/entries/logic-ontology/">Stanford Encyclopedia of Philosophy: Logic and Ontology</a></li>
<li><a href="https://spacy.io/api/entityrecognizer/">spaCy: EntityRecognizer</a></li>
<li><a href="https://spacy.io/usage/linguistic-features#named-entities">spaCy: Linguistic Features—Named Entity Recognition</a></li>
<li><a href="https://www.w3.org/TR/rdf11-concepts/">W3C: RDF 1.1 Concepts and Abstract Syntax</a></li>
<li><a href="https://www.w3.org/TR/owl2-primer/">W3C: OWL 2 Web Ontology Language Primer</a></li>
</ul>
]]></content:encoded></item><item><title>Ontology: What Exists and What AI Can Represent</title><link>https://moonment.net/en/notes/what-is-ontology/</link><pubDate>Thu, 24 Sep 2026 16:07:16 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-ontology/</guid><description>Ontology concerns what exists, the categories and identity conditions of entities, and their basic relations. In AI, those commitments become an explicit domain model.</description><content:encoded><![CDATA[<h2 id="ontology-is-an-account-of-what-there-is">Ontology Is an Account of What There Is</h2>
<p>At its broadest, ontology asks:</p>
<blockquote>
<p><strong>What exists, what kinds of things exist, and what basic structures relate them?</strong></p>
</blockquote>
<p>An inventory is only the beginning. An ontology must also address whether objects, events, properties, relations, numbers, institutions, and mental states exist in the same way. It must say what makes an entity the same entity through change and whether some things depend on other things for their existence.</p>
<p>A rock and a corporation can both be treated as entities. The rock persists through a physical organization of matter. The corporation depends on legal rules, records, offices, agreements, and collective practices. Both can be real without having the same mode of existence or the same conditions of identity.</p>
<p>Ontology therefore concerns more than a hidden substance behind appearances. It studies the inventory, categories, identity conditions, dependence relations, and general structure of a world.</p>
<h2 id="the-term-and-its-scope">The Term and Its Scope</h2>
<p>The word <em>ontology</em> combines Greek roots associated with being or that which is, and with study or account. The discipline is often introduced through the question “What is there?” Yet contemporary ontology also investigates the most general features of what there is and the ways different entities relate. The term itself became a disciplinary label in early modern philosophy rather than arriving unchanged as an ancient Greek field name. <a href="https://plato.stanford.edu/entries/metaphysics/">Stanford Encyclopedia of Philosophy: Metaphysics</a></p>
<p>This broad scope matters because ontology is sometimes reduced to one of two narrower projects:</p>
<ul>
<li>a search for the ultimate material from which everything is made;</li>
<li>a search for the essential definition of each kind of thing.</li>
</ul>
<p>Both can raise ontological questions, but neither exhausts the field. Ontology also asks whether events are entities, whether properties can exist independently of their instances, how social institutions depend on collective practices, and what makes a person or organization persist over time.</p>
<h2 id="four-dimensions-of-an-ontology">Four Dimensions of an Ontology</h2>
<h3 id="inventory-what-does-the-theory-admit">Inventory: what does the theory admit?</h3>
<p>Every theory relies on some account of what it takes to be real or indispensable to explanation. A physical theory may quantify over fields and particles. A theory of mind may include experiences, beliefs, intentions, or functional states. A social theory may refer to institutions, norms, roles, and collective agents.</p>
<p>Using a noun does not automatically settle the ontology. A theory may speak conveniently about an “average consumer” without treating that consumer as an individual entity. The ontological question is whether the theory is committed to such a thing as part of its account of the world.</p>
<p>This is why ontology includes the study of ontological commitment: what must exist, or be treated as existing, if a set of claims is true?<a href="https://plato.stanford.edu/entries/logic-ontology/">Stanford Encyclopedia of Philosophy: Logic and Ontology</a></p>
<h3 id="categories-what-kinds-of-entities-are-there">Categories: what kinds of entities are there?</h3>
<p>Ontologies distinguish among general kinds:</p>
<table>
  <thead>
      <tr>
          <th>Category</th>
          <th>Examples</th>
          <th>Typical question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Concrete object</td>
          <td>a person, tree, phone</td>
          <td>What fixes its boundary and identity?</td>
      </tr>
      <tr>
          <td>Abstract object</td>
          <td>a number, set, structure</td>
          <td>Does it depend on minds or symbols?</td>
      </tr>
      <tr>
          <td>Property</td>
          <td>redness, mass, ability</td>
          <td>Can a property exist without a bearer?</td>
      </tr>
      <tr>
          <td>Relation</td>
          <td>ownership, similarity, causation</td>
          <td>Is the relation part of reality or only a description?</td>
      </tr>
      <tr>
          <td>Event</td>
          <td>a meeting, purchase, collision</td>
          <td>What determines where one event begins and ends?</td>
      </tr>
      <tr>
          <td>Process</td>
          <td>learning, growth, evolution</td>
          <td>How does change form one continuing process?</td>
      </tr>
      <tr>
          <td>Mental state</td>
          <td>belief, desire, intention</td>
          <td>How is it related to experience, body, and behavior?</td>
      </tr>
      <tr>
          <td>Institutional entity</td>
          <td>a company, currency, state</td>
          <td>How does it depend on rules and recognition?</td>
      </tr>
  </tbody>
</table>
<p>There is no universally accepted final table. The dispute is partly about whether these divisions are discovered in reality, imposed by language and cognition, or produced through an interaction between the world and a purpose of inquiry.</p>
<h3 id="identity-what-makes-something-the-same-thing">Identity: what makes something the same thing?</h3>
<p>Identity through change is a central ontological problem.</p>
<ul>
<li>A person normally remains the same person after changing a name.</li>
<li>A corporation may survive a complete change of staff.</li>
<li>An essay may retain its identity across revisions because a version history connects them.</li>
<li>A product may acquire new packaging without becoming a new model.</li>
<li>A machine-learning system may be called the same product after an update even when the deployed model artifact has changed.</li>
</ul>
<p>The answer depends on the kind of entity under discussion. Legal continuity can matter for a corporation, biological continuity for an organism, provenance for a document, and a stable identifier plus version policy for a software artifact. A matching name is not enough to establish identity, and a changed property does not by itself establish a new entity.</p>
<h3 id="dependence-and-structure-what-relies-on-what">Dependence and structure: what relies on what?</h3>
<p>Some entities appear capable of existing independently; others exist only through a supporting structure.</p>
<p>A purchase depends on participants, an object of exchange, a time, and a transaction. A currency depends on institutional rules and practices. A software process depends on code and an execution environment. A fictional character can exist as an object of a story and discourse without being an actual historical person.</p>
<p>These examples separate three claims that are often conflated:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">an expression refers to something
</span></span><span class="line"><span class="cl">≠ a model represents it as an entity
</span></span><span class="line"><span class="cl">≠ a corresponding entity exists in the actual world
</span></span></code></pre></div><p>An ontology has to state which level it is describing.</p>
<h2 id="ontology-essence-epistemology-and-metaphysics">Ontology, Essence, Epistemology, and Metaphysics</h2>
<p>Ontology overlaps with several neighboring subjects but answers a distinct question.</p>
<p><strong>Essence</strong> concerns what an entity must be in order to count as the kind of thing it is. Ontology also asks whether that kind exists, how its instances persist, and how it relates to other kinds.</p>
<p><strong>Epistemology</strong> concerns knowledge, evidence, and justification. Whether intentions are mental states is an ontological issue. How an AI system can infer an intention from language and behavior is an epistemological and methodological issue. A complete inquiry needs both: an account of the target and an account of the evidence for finding it.</p>
<p><strong>Metaphysics</strong> is usually broader. It includes ontology but also ranges over causation, time, modality, freedom, grounding, and the overall structure of reality. The borders vary across traditions, so ontology should not be treated as a universally fixed department inside metaphysics.</p>
<h2 id="computational-ontology-making-commitments-explicit">Computational Ontology: Making Commitments Explicit</h2>
<p>In knowledge representation, <em>ontology</em> names an engineered artifact as well as a philosophical inquiry.</p>
<p>Thomas Gruber&rsquo;s influential formulation describes an ontology as a specification of a conceptualization. The practical aim was knowledge sharing: agents need an explicit vocabulary defining the classes, relations, functions, and other objects used in a shared domain.<a href="https://tomgruber.org/writing/ontolingua-kaj-1993/">A Translation Approach to Portable Ontology Specifications</a></p>
<p>A computational ontology can therefore be understood as:</p>
<blockquote>
<p><strong>an explicit, inspectable account of the entity types, properties, relations, and constraints that a system recognizes within a domain.</strong></p>
</blockquote>
<p>Consider a commerce domain:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Customer ──has──&gt; Need
</span></span><span class="line"><span class="cl">Brand ──offers──&gt; Product
</span></span><span class="line"><span class="cl">Merchant ──sells──&gt; MarketOffering
</span></span><span class="line"><span class="cl">MarketOffering ──realizes──&gt; Product
</span></span><span class="line"><span class="cl">Customer ──buys──&gt; MarketOffering
</span></span><span class="line"><span class="cl">Customer ──uses──&gt; Product
</span></span><span class="line"><span class="cl">Order ──contains──&gt; MarketOffering
</span></span></code></pre></div><p>The arrows do not settle the model. Designers still have to decide:</p>
<ul>
<li>Is a product a design, a model, a service capability, or an individual item?</li>
<li>Does price belong to the product, the market offering, or a time-bounded quote?</li>
<li>Are two merchants selling one product or two distinct offerings?</li>
<li>Does an offering cease to exist when it is withdrawn?</li>
<li>Does a purchase establish that a customer&rsquo;s need was met?</li>
</ul>
<p>These are ontological choices with operational consequences. They determine how data can be joined, which inferences are valid, and what an automated system can act upon.</p>
<h2 id="what-an-engineering-ontology-contains">What an Engineering Ontology Contains</h2>
<h3 id="classes-and-individuals">Classes and individuals</h3>
<p>A class represents a kind such as <code>Person</code>, <code>Organization</code>, or <code>Product</code>. An individual represents a particular member of one or more classes. In OWL 2, classes can be understood as sets of individuals, while properties express relations among individuals or between individuals and data values.<a href="https://www.w3.org/TR/owl2-primer/">W3C: OWL 2 Primer</a></p>
<p>Class membership need not be exclusive. One individual might be both a customer and an employee. A useful ontology states when multiple classifications are compatible and when classes are disjoint.</p>
<h3 id="properties-and-relations">Properties and relations</h3>
<p>Properties express information such as a name, status, date, or quantity. Relations connect entities through claims such as <code>worksFor</code>, <code>owns</code>, <code>published</code>, or <code>purchased</code>.</p>
<p>Whether a value should become an entity depends on the required reasoning. A city can be stored as a string if nothing else refers to it. It should usually become an identified entity if the system must connect it to regions, offices, time zones, routes, or multiple records.</p>
<h3 id="axioms-and-constraints">Axioms and constraints</h3>
<p>An ontology can state more than permitted vocabulary. It can encode claims that support validation and inference:</p>
<ul>
<li>every order has a buyer;</li>
<li>a cancelled order cannot simultaneously be awaiting payment;</li>
<li>every researcher is an employee;</li>
<li>people and organizations are disjoint kinds;</li>
<li>a relation is symmetric, transitive, functional, or inverse to another relation.</li>
</ul>
<p>Formal languages differ in what they express and in the assumptions they make. An ontology should therefore be judged partly by the reasoning task it must support, not by the size of its vocabulary.</p>
<h3 id="identity-provenance-and-time">Identity, provenance, and time</h3>
<p>Operational systems encounter aliases, duplicate records, namesakes, revisions, and claims that change over time. An ontology alone does not solve entity resolution. It has to work with identifiers, provenance, temporal data, and confidence to answer:</p>
<ul>
<li>Do two records refer to the same entity?</li>
<li>When was a property true?</li>
<li>Which source supports the assertion?</li>
<li>Is the assertion observed, inferred, or supplied by a user?</li>
</ul>
<p>Without these distinctions, a clean graph can still represent an incorrect world.</p>
<h2 id="an-ontology-is-more-than-a-taxonomy-or-schema">An Ontology Is More Than a Taxonomy or Schema</h2>
<p>A <strong>taxonomy</strong> arranges categories, often in a hierarchy. It tells a system that a researcher is a kind of employee or that a phone is a kind of product.</p>
<p>A <strong>database schema</strong> specifies storage: tables, columns, keys, and types.</p>
<p>An <strong>ontology</strong> addresses semantics: what the records represent, which relations are meaningful, what identity means, and which constraints or inferences follow.</p>
<p>The three can overlap, but they are not interchangeable:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">taxonomy: how kinds are classified
</span></span><span class="line"><span class="cl">schema: how data is stored
</span></span><span class="line"><span class="cl">ontology: what the modeled things mean and how they may relate
</span></span></code></pre></div><p>A relational database can implement an ontology. A graph database can also lack one. The storage technology does not settle whether the domain has been conceptually defined.</p>
<h2 id="does-a-large-language-model-have-an-ontology">Does a Large Language Model Have an Ontology?</h2>
<p>Language models learn many implicit categories and relations from text. They can produce statements such as “a company releases a product” and often resolve an ambiguous word from context. This behavior shows useful conceptual organization.</p>
<p>It does not establish that the model contains one explicit, stable, internally consistent ontology. Information about a company or product is distributed across parameters and contextual activations. Different prompts can elicit incompatible classifications or identity assumptions.</p>
<p>Typical failures include:</p>
<ul>
<li>treating a brand and its owning company as one entity;</li>
<li>treating a product and a purchasable offering as one object;</li>
<li>confusing a name with a verified identity;</li>
<li>confusing a discourse entity with an actually existing entity;</li>
<li>applying different identity criteria across contexts.</li>
</ul>
<p>For reliable action, an AI system often needs several layers:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">language model
</span></span><span class="line"><span class="cl">+ domain ontology
</span></span><span class="line"><span class="cl">+ current entity and state data
</span></span><span class="line"><span class="cl">+ provenance and time
</span></span><span class="line"><span class="cl">+ permissions and action rules
</span></span></code></pre></div><p>The language model interprets variable expression. The ontology constrains the objects and relations the system recognizes. Data supplies current instances and states. Authorization determines which actions are permitted. Understanding “update the essay” is insufficient until the system identifies the essay, language edition, revision, destination, and authority to publish.</p>
<h2 id="are-ontologies-discovered-or-designed">Are Ontologies Discovered or Designed?</h2>
<p>Every practical ontology is selective. The same cup of coffee can be modeled as:</p>
<ul>
<li>a physical object with a temperature and container;</li>
<li>a sellable item with a price and inventory status;</li>
<li>a nutritional object with ingredients and calories;</li>
<li>an experience with flavor and context;</li>
<li>an environmental object with a supply chain and emissions.</li>
</ul>
<p>Different purposes can justify different boundaries. Purpose, however, does not make every model equally adequate. Merging two different people, treating a temporary quote as a permanent product price, or discarding provenance can produce false claims and harmful actions.</p>
<p>A useful ontology can be examined through seven questions:</p>
<ol>
<li>What problem is the ontology intended to support?</li>
<li>Which entities does it recognize, and which does it omit?</li>
<li>Are identity conditions clear for each important kind?</li>
<li>Are objects, events, states, properties, and relations kept distinct?</li>
<li>Do the axioms support the required inferences without producing contradictions?</li>
<li>Can the model represent time, provenance, and uncertainty where they matter?</li>
<li>Can old data still be interpreted when the ontology changes?</li>
</ol>
<p>An ontology is a map of what a system takes to exist and how those things fit together. It is answerable to reality, but it should not be confused with reality itself.</p>
<h2 id="entities-are-local-ontology-is-the-framework">Entities Are Local; Ontology Is the Framework</h2>
<p>An entity is something a system can identify, describe, relate, track, or act upon. An ontology states:</p>
<ul>
<li>what can count as an entity;</li>
<li>which kinds of entity exist in the domain;</li>
<li>what makes entities identical or distinct;</li>
<li>which properties they can bear;</li>
<li>which relations and events they can enter;</li>
<li>which conditions constrain their existence and change.</li>
</ul>
<p>The relationship can be summarized in one sentence:</p>
<blockquote>
<p><strong>An entity is one recognized item; an ontology is the system&rsquo;s account of what kinds of items may be recognized and how they are organized.</strong></p>
</blockquote>
]]></content:encoded></item><item><title>Mental Models: Representation, Prediction, and Action</title><link>https://moonment.net/en/notes/mental-models/</link><pubDate>Sat, 19 Sep 2026 15:35:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/mental-models/</guid><description>Mental models simplify situations so that we can understand and simulate them. This article separates representation, explanation, inference, prediction, decision, and feedback models.</description><content:encoded><![CDATA[<h2 id="what-is-a-mental-model">What Is a Mental Model?</h2>
<p>A person can understand a room from a description, anticipate how a device will respond, imagine an alternative future, or infer a conclusion without directly manipulating the world. These abilities require some usable representation of a situation.</p>
<blockquote>
<p><strong>A mental model is a selective representation of objects, relations, mechanisms, or possible states that a thinker can inspect or manipulate in order to understand, infer, predict, or act.</strong></p>
</blockquote>
<p>The broad process is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">complex situation
</span></span><span class="line"><span class="cl">→ selective representation
</span></span><span class="line"><span class="cl">→ organized relations and mechanisms
</span></span><span class="line"><span class="cl">→ inference or simulation
</span></span><span class="line"><span class="cl">→ judgment and action
</span></span><span class="line"><span class="cl">→ correction from evidence
</span></span></code></pre></div><p>A model is useful because it leaves things out. That selectivity is also the source of its limits.</p>
<h2 id="the-scientific-term-and-the-popular-toolkit">The Scientific Term and the Popular Toolkit</h2>
<p>In cognitive science, <em>mental model</em> names a family of hypotheses about internal representation and reasoning. Philip Johnson-Laird&rsquo;s theory proposes that people reason by constructing representations of possible situations rather than only by applying formal syntactic rules. <a href="https://www.cambridge.org/core/books/abs/nature-of-reasoning/mental-models-and-reasoning/8CF61D3359CA77A11716D3AF22165472">Cambridge University Press: Mental Models and Reasoning</a></p>
<p>In business and self-education, <em>mental models</em> often refers to a toolkit: opportunity cost, Bayesian updating, feedback loops, margin of safety, inversion, or second-order effects. That use is broader. It combines internal representations, scientific models, decision rules, frameworks, and heuristics.</p>
<p>The two usages overlap but should not be treated as identical. A theory about how reasoning works is different from a curated list of techniques for improving judgment.</p>
<h2 id="a-model-is-not-a-copy-of-reality">A Model Is Not a Copy of Reality</h2>
<p>Models perform at least four operations:</p>
<ol>
<li><strong>Selection:</strong> identify objects relevant to the task;</li>
<li><strong>Compression:</strong> omit detail;</li>
<li><strong>Organization:</strong> establish categories, relations, order, or mechanism;</li>
<li><strong>Simulation:</strong> vary conditions and examine what follows.</li>
</ol>
<p>A transit map distorts geographical distance but preserves connections useful for travel. A topographic map preserves different relations and serves a different task. Neither is simply the territory at smaller scale.</p>
<p>The philosophy of science describes an important use of models as <em>surrogative reasoning</em>: investigators learn about a target system by constructing and manipulating a model of it. <a href="https://plato.stanford.edu/entries/models-science/">Stanford Encyclopedia of Philosophy: Models in Science</a></p>
<p>Model quality therefore depends on a purpose. The relevant questions are what the model preserves, what it suppresses, and whether those choices support the intended inference.</p>
<h2 id="neighboring-concepts">Neighboring Concepts</h2>
<h3 id="concept">Concept</h3>
<p>A concept supports recognition and classification. A model organizes several concepts and relations. <em>User</em>, <em>need</em>, <em>product</em>, and <em>outcome</em> are concepts; a representation of how a product changes a user&rsquo;s situation begins to form a model.</p>
<h3 id="theory">Theory</h3>
<p>A theory is normally a systematic set of claims and explanations with evidential commitments. A model can instantiate a theory, simplify it, or represent a particular case. One theory can support multiple models.</p>
<h3 id="framework">Framework</h3>
<p>A framework identifies dimensions or questions through which to inspect a subject. A model also represents how elements relate or change. A list of people, process, and technology is a framework until their interactions are specified.</p>
<h3 id="method">Method</h3>
<p>A model represents a structure or mechanism. A method specifies a procedure. A causal graph is a model; a randomized experiment is a method for identifying causal effects.</p>
<h3 id="heuristic">Heuristic</h3>
<p>A heuristic reduces search or computation through a rule of thumb. It may arise from a model but need not represent the mechanism that makes the rule successful.</p>
<h3 id="decision-model">Decision model</h3>
<p>A decision model is one functional class of model:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">mental or analytical model:
</span></span><span class="line"><span class="cl">How is this situation structured, and what might follow?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">decision model:
</span></span><span class="line"><span class="cl">Given evidence, ends, and constraints, which action should be selected?
</span></span></code></pre></div><h2 id="six-functions-of-models">Six Functions of Models</h2>
<p>This classification groups models by the work they perform. A single model can serve more than one function.</p>
<h3 id="1-representation-and-structure">1. Representation and structure</h3>
<p>These models answer: What exists in the problem, where is the boundary, and how are the parts related?</p>
<p>Maps, hierarchies, networks, process diagrams, system boundaries, and representations of a business model belong here. They determine what can be noticed and discussed before any causal claim or decision is made.</p>
<h3 id="2-explanation-and-causation">2. Explanation and causation</h3>
<p>These models answer: Why did this happen, and through what mechanism?</p>
<p>Causal chains, incentive structures, supply and demand, bottlenecks, path dependence, and feedback loops organize explanatory relations. Their characteristic failure is to turn a plausible story or correlation into an asserted mechanism without a test.</p>
<h3 id="3-inference-and-belief-revision">3. Inference and belief revision</h3>
<p>These models answer: What should be believed from these premises or this evidence?</p>
<p>Deduction, induction, abduction, Bayesian updating, base rates, counterfactual reasoning, and falsification supply different structures for inference.</p>
<p>Bayesian updating primarily changes belief:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">prior assessment
</span></span><span class="line"><span class="cl">+ evidence
</span></span><span class="line"><span class="cl">→ posterior assessment
</span></span></code></pre></div><p>It becomes a decision model only after consequences, values, constraints, and an action rule are added.</p>
<h3 id="4-prediction-and-simulation">4. Prediction and simulation</h3>
<p>These models answer: What could happen if conditions changed?</p>
<p>Scenario models, sensitivity analysis, system dynamics, second-order effects, trend models, and Monte Carlo simulation belong here. A useful predictive model exposes ranges, assumptions, uncertainty, and the conditions under which its forecast should no longer be trusted.</p>
<h3 id="5-evaluation-and-decision">5. Evaluation and decision</h3>
<p>These models answer: How should feasible actions be compared?</p>
<p>Opportunity cost, expected utility, multi-criteria analysis, minimax rules, decision trees, margin of safety, reversibility, and exploration versus exploitation connect beliefs about the world to choice.</p>
<p>They necessarily introduce value. What counts as benefit, which loss is intolerable, and whose outcomes matter cannot be derived from probability alone.</p>
<h3 id="6-action-and-feedback">6. Action and feedback</h3>
<p>These models answer: How will a decision be executed, observed, and corrected?</p>
<p>OODA, PDCA, hypothesis–experiment–feedback cycles, control loops, iterative trials, and after-action review distinguish plans from execution and execution from verified effect.</p>
<p>Without feedback, a model remains an imagined relation to the world. When consequences update the next representation and action, the system can learn.</p>
<h2 id="how-the-functions-connect">How the Functions Connect</h2>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">representation
</span></span><span class="line"><span class="cl">What are we dealing with?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">explanation
</span></span><span class="line"><span class="cl">Why does it behave this way?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">inference
</span></span><span class="line"><span class="cl">What should the evidence change?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">prediction
</span></span><span class="line"><span class="cl">What might happen under other conditions?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">decision
</span></span><span class="line"><span class="cl">Which action should receive priority?
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">feedback
</span></span><span class="line"><span class="cl">Did action change reality as expected?
</span></span></code></pre></div><p>This is a functional map, not a mandatory sequence. Failed action can force a new representation. Conflicting values can cause the option set to be redesigned. A forecast error can expose a weak causal mechanism.</p>
<h2 id="one-problem-several-models">One Problem, Several Models</h2>
<p>Consider whether to discontinue a product.</p>
<ol>
<li>A structural model defines the product, users, market, costs, and dependencies.</li>
<li>A causal model explains why adoption or retention stalled.</li>
<li>Base rates and new evidence revise confidence in competing explanations.</li>
<li>Scenarios estimate the consequences of continuing, narrowing, selling, or stopping.</li>
<li>Opportunity cost, downside, and reversibility compare actions.</li>
<li>A staged experiment and feedback loop test the commitment.</li>
</ol>
<p>No celebrated model substitutes for the whole chain. Selecting a model is itself a diagnosis: is the current uncertainty about facts, mechanism, prediction, values, or execution?</p>
<h2 id="why-popular-mental-models-look-like-decision-models">Why Popular Mental Models Look Like Decision Models</h2>
<p>Business and self-improvement writing is organized around practical questions: What should I do? What should I do first? When should I stop? How can I reduce error? That selection pressure favors models close to action.</p>
<p>Yet serving a decision is not the same as being a decision model:</p>
<ul>
<li>first-principles analysis reconstructs assumptions and problem boundaries;</li>
<li>systems thinking identifies interaction and feedback;</li>
<li>causal models estimate what intervention might change;</li>
<li>Bayesian updating revises belief;</li>
<li>opportunity cost compares actions;</li>
<li>OODA connects observation, orientation, decision, and action.</li>
</ul>
<blockquote>
<p><strong>Decision models are the action-selection subset of a wider ecology of representations, explanations, inferences, predictions, and feedback systems.</strong></p>
</blockquote>
<h2 id="how-to-evaluate-a-model">How to Evaluate a Model</h2>
<h3 id="identify-its-target">Identify its target</h3>
<p>What situation, system, or class of problems does it represent? Where is the boundary?</p>
<h3 id="state-its-function">State its function</h3>
<p>Is it describing, explaining, predicting, evaluating, deciding, or controlling? A classification model does not establish causation merely because its categories are useful.</p>
<h3 id="expose-assumptions-and-omissions">Expose assumptions and omissions</h3>
<p>Which relations are fixed? What has been left outside? Under which conditions should the model fail?</p>
<h3 id="demand-checkable-implications">Demand checkable implications</h3>
<p>A model that can accommodate every possible outcome cannot learn much from evidence.</p>
<h3 id="compare-with-simpler-alternatives">Compare with simpler alternatives</h3>
<p>Complexity should earn its cost by changing a judgment or improving prediction. More variables and terminology do not by themselves bring a model closer to reality.</p>
<h3 id="update-from-contact-with-the-world">Update from contact with the world</h3>
<p>When prediction or action fails, does the model change, or does it acquire an endless list of exceptions?</p>
<h2 id="philosophical-limits">Philosophical Limits</h2>
<p>Human beings do not encounter a complete, uninterpreted reality from nowhere. Perception, language, concepts, and measurement already select and organize. This does not imply that all models are equally good.</p>
<p>Prediction failure, blocked action, counterexamples, measurement, and other people&rsquo;s experience constrain representation. Multiple models can be useful without becoming immune to evidence.</p>
<p>Models are also not automatically value-neutral. What enters the model, which outcomes are measured, and whose risk is represented can determine which actions appear reasonable.</p>
<p>Mental models are therefore not a collection of clever labels to memorize. They are revisable structures for reducing complexity while preserving relations that matter to a task.</p>
<blockquote>
<p><strong>Models let finite minds approach reality through selective representation. Decisions ask those minds to act, and accept responsibility, before the representation can ever become complete.</strong></p>
</blockquote>
<h2 id="further-reading">Further Reading</h2>
<ul>
<li><a href="/en/notes/decision-making/">What Decision-Making Requires: Judgment, Choice, and Commitment</a></li>
<li><a href="/en/notes/mental-representation/">Mental Representation: How the Mind Represents a World</a></li>
</ul>
<h2 id="sources">Sources</h2>
<ul>
<li><a href="https://www.cambridge.org/core/books/abs/nature-of-reasoning/mental-models-and-reasoning/8CF61D3359CA77A11716D3AF22165472">Cambridge University Press: Mental Models and Reasoning</a></li>
<li><a href="https://www.modeltheory.org/publications/">The Mental Models Global Laboratory: Publications</a></li>
<li><a href="https://plato.stanford.edu/entries/mental-representation/">Stanford Encyclopedia of Philosophy: Mental Representation</a></li>
<li><a href="https://plato.stanford.edu/entries/models-science/">Stanford Encyclopedia of Philosophy: Models in Science</a></li>
<li><a href="https://plato.stanford.edu/entries/thought-experiment/">Stanford Encyclopedia of Philosophy: Thought Experiments</a></li>
</ul>
]]></content:encoded></item><item><title>Mental Representation: How Minds Carry Content</title><link>https://moonment.net/en/notes/mental-representation/</link><pubDate>Fri, 18 Sep 2026 14:30:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/mental-representation/</guid><description>Mental representations are content-bearing states involved in perception, memory, imagination, reasoning, and action. This essay examines their targets, vehicles, formats, errors, and philosophical limits.</description><content:encoded><![CDATA[<p>A person can remember a room that is no longer visible, think about a fictional animal, believe that a meeting starts at noon, and compare futures that have not happened. These cases share a basic feature: a present mental state is about something beyond itself.</p>
<p>A useful working definition is:</p>
<blockquote>
<p><strong>A mental representation is a content-bearing state through which a cognitive system presents an object, property, relation, event, or possible situation.</strong></p>
</blockquote>
<p>This definition belongs to a representational approach to mind. It does not assume that every cognitive process requires a detailed internal model, or that a representation must resemble what it represents. It marks a problem: how can a mental state carry content and make that content available to perception, memory, inference, imagination, or action?</p>
<h2 id="what-makes-a-state-representational">What Makes a State Representational?</h2>
<p>Mere correlation is not enough. Smoke correlates with fire, and a tree ring correlates with a period of growth, but neither must be a mental representation. Within a cognitive system, a representational state typically has several connected features:</p>
<ul>
<li>it is about a target or state of affairs;</li>
<li>it has content that can be used by other processes;</li>
<li>it plays a role in recognition, prediction, inference, memory, or control;</li>
<li>in many cases, it can represent its target incorrectly.</li>
</ul>
<p>A belief that the door is locked represents the door as being in a particular condition. A visual experience represents edges, colors, surfaces, and locations. A remembered route preserves relations among places. A motor plan presents a possible sequence of bodily movement.</p>
<p>The philosophical term <em>intentionality</em> names this directedness or aboutness of mental states. It should not be confused with <em>intention</em>, the practical commitment to perform an action. <a href="https://plato.stanford.edu/entries/intentionality/">Stanford Encyclopedia of Philosophy: Intentionality</a></p>
<h2 id="content-vehicle-target-and-use">Content, Vehicle, Target, and Use</h2>
<p>Four questions keep the subject clear.</p>
<table>
  <thead>
      <tr>
          <th>Question</th>
          <th>What it concerns</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>What is represented?</td>
          <td>The target: an object, property, relation, event, or possibility</td>
      </tr>
      <tr>
          <td>What carries the representation?</td>
          <td>The vehicle: a neural pattern, image, symbol, distributed state, or bodily organization</td>
      </tr>
      <tr>
          <td>How is it organized?</td>
          <td>The format: propositional, imagistic, spatial, probabilistic, motoric, or another form</td>
      </tr>
      <tr>
          <td>What does it do?</td>
          <td>Its role in perception, memory, reasoning, prediction, communication, or action</td>
      </tr>
  </tbody>
</table>
<p>The vehicle and the content are different. Marks on a paper map are the vehicle; the terrain and spatial relations presented by the map are its content. A neural pattern may implement a representation without literally containing the represented object.</p>
<p>The same content can also be carried in different formats. The prospect of rain may occur as an inner sentence, an image of dark clouds, a probability estimate, or a practical readiness to take an umbrella. The formats need not be interchangeable: a diagram makes some spatial relations easy to inspect, while a sentence makes some logical relations easier to state.</p>
<h2 id="representation-is-not-an-inner-picture">Representation Is Not an Inner Picture</h2>
<p>The picture metaphor is attractive because visual imagery is familiar. It becomes misleading when applied to every kind of thought.</p>
<p>Representations may include:</p>
<ul>
<li>perceptual organizations of the current environment;</li>
<li>images and spatial models;</li>
<li>concepts and categories;</li>
<li>proposition-like contents that can be true or false;</li>
<li>expectations about causes and outcomes;</li>
<li>affective appraisals of danger or value;</li>
<li>motor plans and action-oriented states;</li>
<li>models of other people&rsquo;s beliefs and goals.</li>
</ul>
<p>Even visual representation is not a complete internal photograph. Perception selects and organizes information according to attention, learned categories, bodily capacities, and current goals. A carpenter, a mover, and a tired traveler may represent the same chair differently because different properties matter to what each person is doing.</p>
<p>Representation is therefore selective. It reduces information in order to make relevant relations available. That compression is a source of both intelligence and error.</p>
<h2 id="absence-possibility-and-fiction">Absence, Possibility, and Fiction</h2>
<p>One reason to posit mental representation is that thought is not confined to what is currently present.</p>
<p>People can represent:</p>
<ul>
<li>a childhood home that no longer exists;</li>
<li>tomorrow&rsquo;s weather;</li>
<li>an unbuilt bridge;</li>
<li>a fictional detective;</li>
<li>a counterfactual choice;</li>
<li>an impossible geometric or logical condition.</li>
</ul>
<p>The represented object does not have to exist. What exists now is the cognitive state and its role in thought. This separation between a present state and its content makes memory, planning, fiction, hypothesis, and counterfactual reasoning possible.</p>
<p>It also creates a difficult question: if no unicorn exists, what makes one thought a thought about unicorns rather than about some other nonexistent thing? A theory of representation must explain the determination of content, not merely point to an external object.</p>
<h2 id="misrepresentation-is-a-test-case">Misrepresentation Is a Test Case</h2>
<p>A perceptual illusion, false belief, distorted memory, or failed prediction represents the world as being a way it is not.</p>
<p>Misrepresentation matters because it prevents a circular definition. If a state represented a snake only when a snake caused it, a person could never mistake a rope for a snake. Yet such mistakes are ordinary.</p>
<p>A good account must explain both success and specific error:</p>
<ul>
<li>why a state counts as representing a snake;</li>
<li>why it can occur when no snake is present;</li>
<li>why the system treats the state as relevant to fear, attention, and action;</li>
<li>how later evidence can correct it.</li>
</ul>
<p>The capacity to detach content from the immediate environment supports imagination and planning, but it also allows hallucination, prejudice, and false belief. These are consequences of the same general capacity, not separate additions to it.</p>
<h2 id="formats-of-mental-representation">Formats of Mental Representation</h2>
<p>Cognitive scientists have proposed many representational formats. Some are sentence-like and compositional: they contain parts that combine according to rules. Others preserve analog or spatial relations. Still others are distributed across patterns of activity rather than stored as discrete symbols.</p>
<p>The relevant contrast is often task-dependent.</p>
<table>
  <thead>
      <tr>
          <th>Task</th>
          <th>A useful representational format may emphasize</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Deductive reasoning</td>
          <td>proposition-like structure and logical relations</td>
      </tr>
      <tr>
          <td>Navigating a city</td>
          <td>distance, direction, landmarks, and connectivity</td>
      </tr>
      <tr>
          <td>Recognizing a face</td>
          <td>distributed patterns of features</td>
      </tr>
      <tr>
          <td>Catching a ball</td>
          <td>timing, trajectory, bodily position, and motor readiness</td>
      </tr>
      <tr>
          <td>Estimating an uncertain outcome</td>
          <td>probabilities or graded confidence</td>
      </tr>
  </tbody>
</table>
<p>No single format has to explain every cognitive achievement. Human cognition may recruit several formats and translate among them imperfectly.</p>
<h2 id="concepts-and-compositional-thought">Concepts and Compositional Thought</h2>
<p>Concepts help a thinker classify things, recognize recurring structures, and form new judgments. The concept <em>bird</em> can occur in thoughts about sparrows, migration, extinction, or flight even when the particular examples differ.</p>
<p>One influential view treats concepts as mental representations that function as constituents of thought. Other theories treat concepts as abilities, such as the ability to discriminate and infer, or as abstract objects that are not identical with events in any individual mind. <a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<p>The broader category of mental representation should therefore not be identified with concepts alone. A spatial image, a sensory expectation, and a motor plan may be representational without functioning as concepts. Nor does the usefulness of a representational model settle the metaphysical question of what concepts ultimately are.</p>
<h2 id="language-and-nonlinguistic-representation">Language and Nonlinguistic Representation</h2>
<p>Natural language gives thought durable labels, explicit syntax, and public expression. It lets people preserve distinctions, combine claims, compare reasons, and submit private judgments to social criticism.</p>
<p>But mental representation is broader than natural language. Infants and nonhuman animals can track objects, locations, quantities, and agents without possessing an adult language. Adults rely on facial recognition, musical expectation, spatial imagery, and practical skill that may resist complete verbal description.</p>
<p>The language-of-thought hypothesis proposes that some cognition uses an internal representational system with syntactic and compositional structure. Even if such a system exists, it would not follow that all thought is silent English, Chinese, or another public language. <a href="https://plato.stanford.edu/entries/language-thought/">Stanford Encyclopedia of Philosophy: The Language of Thought Hypothesis</a></p>
<p>Language and representation therefore interact in both directions. Prelinguistic representations support language learning; language then reorganizes attention, memory, abstraction, and deliberate reasoning.</p>
<h2 id="representation-for-action">Representation for Action</h2>
<p>A mind does not represent the world solely to produce detached descriptions. Representation also guides intervention.</p>
<p>Action-oriented states may encode what can be reached, avoided, grasped, followed, or changed. A driver needs to register that the distance to another car is closing dangerously. Exact measurements of every visible surface would add information without improving control.</p>
<p>A practical loop looks like this:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">perceive a situation
</span></span><span class="line"><span class="cl">→ represent task-relevant relations
</span></span><span class="line"><span class="cl">→ anticipate possible outcomes
</span></span><span class="line"><span class="cl">→ prepare and perform an action
</span></span><span class="line"><span class="cl">→ use feedback to revise the representation
</span></span></code></pre></div><p>This loop makes representation dynamic. An action changes the available information, and the new information changes the next action. Some cognitive work may be distributed across brain, body, tools, and surroundings rather than completed inside the head before movement begins.</p>
<h2 id="where-is-mental-content">Where Is Mental Content?</h2>
<p>Neuroscience can identify activity associated with recognition, memory, spatial coding, and decision. Computational models can explain how information is encoded and transformed. Functional accounts can show how a state contributes to successful behavior.</p>
<p>None of those descriptions alone answers why a state has one content rather than another. Location, causal role, learning history, biological function, and relations to the environment may all matter.</p>
<p>Internalist theories give primary weight to conditions within the individual. Externalist theories argue that at least some content depends partly on relations to objects, social practices, or historical environments outside the thinker. On an externalist account, two internally similar states need not have identical content if the subjects stand in different relations to the world.</p>
<p>The question “Where is the representation?” is therefore partly spatial, but it is also explanatory. It asks what realizes the state, what fixes its content, and what system makes that content usable.</p>
<h2 id="do-minds-need-internal-representations">Do Minds Need Internal Representations?</h2>
<p>Classical cognitive science often explains cognition through representational structures and procedures that operate on them. This approach is powerful for memory, planning, inference, and thought about absent possibilities. <a href="https://plato.stanford.edu/entries/cognitive-science/">Stanford Encyclopedia of Philosophy: Cognitive Science</a></p>
<p>Embodied, ecological, and enactive approaches challenge the idea that intelligent activity always requires a rich internal reconstruction of the world. Skilled movement can exploit stable environmental cues and continuous sensory feedback. Written notes, diagrams, and instruments can carry information that a person does not need to reproduce internally. <a href="https://plato.stanford.edu/entries/embodied-cognition/">Stanford Encyclopedia of Philosophy: Embodied Cognition</a></p>
<p>The dispute becomes more productive when it is divided by task:</p>
<ul>
<li>remembering an absent event and planning several years ahead appear to require some way of carrying unavailable content;</li>
<li>rapid sensorimotor coordination may use sparse, action-specific states;</li>
<li>external artifacts can become parts of a wider cognitive system;</li>
<li>calling every causally useful state a representation risks making the concept empty.</li>
</ul>
<p>The question is not only whether representations exist, but which tasks require which kinds of representation at which level of detail.</p>
<h2 id="mental-representation-and-ai-representation">Mental Representation and AI Representation</h2>
<p>Machine learning systems transform inputs into vectors and intermediate activation patterns. Researchers call these internal states <em>representations</em> because they preserve relations that support classification, prediction, generation, or control.</p>
<p>The comparison with human minds is informative but limited. Both biological and artificial systems can compress information, abstract across cases, preserve some relations while losing others, and produce systematic errors. Yet functional similarity does not establish identical mental status.</p>
<p>Three questions should remain separate:</p>
<ol>
<li><strong>Structural:</strong> Does the system form internal states with reusable organization?</li>
<li><strong>Functional:</strong> Do those states reliably support inference, prediction, or action?</li>
<li><strong>Phenomenal and psychological:</strong> Are those states part of a subject&rsquo;s conscious or lived mental content?</li>
</ol>
<p>Model analysis can produce evidence about the first two. It does not by itself show that a model has a point of view, conscious experience, bodily needs, or human-like understanding. The term <em>representation</em> can be legitimate in both fields while carrying different explanatory commitments.</p>
<h2 id="a-working-conclusion">A Working Conclusion</h2>
<p>Mental representation is best treated as a structured research problem rather than an inner object that everyone already understands.</p>
<p>It connects four questions:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">What is represented?
</span></span><span class="line"><span class="cl">What carries the representation?
</span></span><span class="line"><span class="cl">In what format is the content organized?
</span></span><span class="line"><span class="cl">How does the state contribute to cognition and action?
</span></span></code></pre></div><p>Representations allow a mind to respond to more than the immediate stimulus. They support memory, imagination, planning, inference, and coordination. Their selectivity also makes distortion and error possible.</p>
<p>Whether every form of cognition needs internal representation, whether content is fixed entirely inside the individual, and whether artificial representations can become genuinely mental remain open disputes. Any clear account should state which kind of representation, which task, and which explanatory level it is addressing.</p>
<h2 id="sources">Sources</h2>
<ul>
<li><a href="https://dictionary.apa.org/mental-representation">APA Dictionary of Psychology: Mental Representation</a></li>
<li><a href="https://plato.stanford.edu/entries/mental-representation/">Stanford Encyclopedia of Philosophy: Mental Representation</a></li>
<li><a href="https://plato.stanford.edu/entries/intentionality/">Stanford Encyclopedia of Philosophy: Intentionality</a></li>
<li><a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></li>
<li><a href="https://plato.stanford.edu/entries/language-thought/">Stanford Encyclopedia of Philosophy: The Language of Thought Hypothesis</a></li>
<li><a href="https://plato.stanford.edu/entries/cognitive-science/">Stanford Encyclopedia of Philosophy: Cognitive Science</a></li>
<li><a href="https://plato.stanford.edu/entries/embodied-cognition/">Stanford Encyclopedia of Philosophy: Embodied Cognition</a></li>
</ul>
]]></content:encoded></item><item><title>Human Thinking: Representation, Reasoning, and Action</title><link>https://moonment.net/en/notes/human-thinking/</link><pubDate>Thu, 17 Sep 2026 01:02:53 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/human-thinking/</guid><description>Thinking is more than inner speech or formal logic. It uses concepts, images, memory, emotion, bodily states, and external tools to build judgments, imagine possibilities, and guide action.</description><content:encoded><![CDATA[<blockquote>
<p><strong>Series: Thinking, Intention, and Action (1/4).</strong> This article explains how human thought forms judgment and action. Next: <a href="/en/notes/ai-reasoning-and-action/">How AI Systems Reason and Act</a></p>
</blockquote>
<h2 id="what-is-thinking">What Is Thinking?</h2>
<p>The word <em>thinking</em> can name an activity, a capacity, a style, or a sequence of mental contents. These uses overlap, but they should not be collapsed.</p>
<p>A useful working definition is:</p>
<blockquote>
<p><strong>Thinking is the activity through which a person organizes, transforms, relates, simulates, and evaluates information in order to form understanding, judgment, possibility, plans, or directions for action.</strong></p>
</blockquote>
<p>Thinking draws on perception, memory, emotion, language, concepts, bodily states, and prior knowledge. Its products include beliefs, questions, explanations, images, decisions, and intentions.</p>
<p>A simplified cycle looks like this:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">encounter a situation
</span></span><span class="line"><span class="cl">→ represent relevant features
</span></span><span class="line"><span class="cl">→ compare, combine, infer, or simulate
</span></span><span class="line"><span class="cl">→ form a judgment or possible action
</span></span><span class="line"><span class="cl">→ receive feedback
</span></span><span class="line"><span class="cl">→ revise the representation
</span></span></code></pre></div><p>Actual thought is rarely a neat sequence. Perception, memory, feeling, expectation, and action continually constrain one another.</p>
<h2 id="thinking-thought-reasoning-mind-and-cognition">Thinking, Thought, Reasoning, Mind, and Cognition</h2>
<p>Several English terms mark different parts of the subject.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Primary use</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td><code>thinking</code></td>
          <td>an activity or process</td>
      </tr>
      <tr>
          <td><code>thought</code></td>
          <td>a mental content, occurrence, or product</td>
      </tr>
      <tr>
          <td><code>reasoning</code></td>
          <td>transitions from some judgments to others</td>
      </tr>
      <tr>
          <td><code>mind</code></td>
          <td>the wider domain of mental states and capacities</td>
      </tr>
      <tr>
          <td><code>cognition</code></td>
          <td>processes for acquiring, organizing, retaining, and using information</td>
      </tr>
  </tbody>
</table>
<p>Thinking is therefore neither the whole mind nor a synonym for reasoning. Reasoning is one kind of thinking. Cognition is broader than deliberate thought because perception, memory encoding, language processing, and learned recognition can occur without a person explicitly working through a problem.</p>
<p>The borders are not sharp. When a person enters a room and recognizes a door, cognition is already at work. When the person asks whether a large table will fit through that door and mentally rotates it, the activity more clearly counts as thinking.</p>
<h2 id="what-does-thinking-operate-on">What Does Thinking Operate On?</h2>
<p>Thinking is often described as operating on representations. A representation carries content: it is about an object, relation, event, possibility, or state of affairs.</p>
<p>The relevant format may include:</p>
<ul>
<li>words and propositions;</li>
<li>concepts and categories;</li>
<li>visual or spatial images;</li>
<li>sounds and rhythms;</li>
<li>motor patterns;</li>
<li>bodily and emotional signals;</li>
<li>models of situations;</li>
<li>expectations about other people;</li>
<li>simulations of possible futures.</li>
</ul>
<p>Thinking that it may rain tomorrow might involve an inner sentence, an image of dark clouds, a numerical forecast, or simply a readiness to carry an umbrella.</p>
<p>Representational theories treat thinking, reasoning, and imagining as sequences of intentional mental states. They help explain how thought can be about things that are absent or merely possible. But the nature and necessity of internal representations remain disputed, especially by embodied and enactive approaches to mind. <a href="https://plato.stanford.edu/entries/mental-representation/">Stanford Encyclopedia of Philosophy: Mental Representation</a></p>
<h2 id="thinking-is-an-activity-of-transformation">Thinking Is an Activity of Transformation</h2>
<p>Representing something is not yet enough. Thinking changes the organization of what is represented.</p>
<p>Common operations include:</p>
<ul>
<li>categorizing;</li>
<li>comparing;</li>
<li>decomposing and combining;</li>
<li>ordering;</li>
<li>abstracting;</li>
<li>associating;</li>
<li>negating;</li>
<li>inferring;</li>
<li>imagining;</li>
<li>estimating;</li>
<li>evaluating;</li>
<li>replacing one model with another.</li>
</ul>
<p>Consider the concept <em>bird</em>. A thinker does more than retain images of several birds. The thinker can extract common structure, recognize typical and atypical members, revise an expectation about flight, and explain why penguins remain birds.</p>
<p>The American Psychological Association defines thinking broadly enough to include the manipulation or experience of ideas, images, and other elements of thought, and includes processes such as imagining, remembering, problem solving, free association, and concept formation. <a href="https://dictionary.apa.org/thinking">APA Dictionary of Psychology: Thinking</a></p>
<h2 id="thinking-is-constrained">Thinking Is Constrained</h2>
<p>Human thought is not unrestricted computation. It occurs within limits set by:</p>
<ul>
<li>attention;</li>
<li>working memory;</li>
<li>available time;</li>
<li>prior knowledge;</li>
<li>learned categories;</li>
<li>language;</li>
<li>emotion;</li>
<li>bodily condition;</li>
<li>social expectations;</li>
<li>current goals;</li>
<li>the information environment.</li>
</ul>
<p>A tired, frightened, angry, or socially threatened person may notice different evidence and retrieve different memories from the same situation.</p>
<p>Limits do not merely cause errors. They also make thought possible. Concepts compress experience. Heuristics reduce search. Habits prevent every action from becoming a fresh planning problem. The question is not whether thinking uses shortcuts, but when a shortcut remains appropriate and when it hides a relevant difference.</p>
<h2 id="thinking-and-consciousness-are-not-the-same">Thinking and Consciousness Are Not the Same</h2>
<p>Consciousness concerns what is present in subjective experience. Thinking concerns how information is organized and transformed.</p>
<p>People can consciously rehearse an argument or visualize a route. Yet many processes that shape the resulting thought are not directly accessible: pattern recognition, memory retrieval, linguistic parsing, affective appraisal, and automatic association.</p>
<p>Often a person becomes conscious of an answer without becoming conscious of the process that produced it.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">awareness of a thought
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">awareness of how the thought was generated
</span></span></code></pre></div><p>Metacognition improves the monitoring and regulation of thought. It does not make the mind fully transparent to itself.</p>
<h2 id="thinking-and-language-are-interdependent-but-distinct">Thinking and Language Are Interdependent but Distinct</h2>
<p>Language gives human thinking extraordinary resources. It allows people to name distinctions, stabilize concepts, combine propositions, preserve intermediate steps, communicate reasons, and construct possibilities far removed from immediate experience.</p>
<p>Language also externalizes thought. A vague impression can be written as a claim, inspected, criticized, and revised.</p>
<p>But not all thought takes the form of sentences. Visual imagery, spatial transformation, musical expectation, motor planning, facial recognition, and some forms of problem solving can proceed without ordinary verbal expression.</p>
<p>A cautious conclusion is:</p>
<blockquote>
<p><strong>Language organizes, extends, and externalizes human thinking, but does not exhaust it.</strong></p>
</blockquote>
<p>The language-of-thought hypothesis proposes that some thinking occurs in an internal representational system with combinatorial structure. It offers an explanation of the productivity and systematicity of thought, but remains a theoretical position rather than a neutral definition of all thinking. <a href="https://plato.stanford.edu/entries/language-thought/">Stanford Encyclopedia of Philosophy: The Language of Thought Hypothesis</a></p>
<h2 id="concepts-make-reusable-thought-possible">Concepts Make Reusable Thought Possible</h2>
<p>Concepts allow different objects, events, and situations to be treated as instances of a common kind. They support categorization, inference, memory, learning, and decision-making. This makes them plausible building blocks of many thoughts, although philosophers disagree over whether concepts are mental representations, abilities, or abstract objects. <a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<p>Concepts perform at least two functions.</p>
<h3 id="they-compress-experience">They compress experience</h3>
<p>Concepts such as <em>product</em>, <em>need</em>, <em>cause</em>, and <em>intention</em> gather many cases into reusable structures.</p>
<h3 id="they-establish-distinctions">They establish distinctions</h3>
<p>The concept of causation allows a thinker to distinguish temporal sequence, association, common causes, reverse causation, and feedback.</p>
<p>Concepts can also distort. A broad category may erase relevant differences. A rigid category may divide a continuous process at the wrong place. A familiar label may create the illusion that the underlying phenomenon has already been explained.</p>
<h2 id="thinking-is-not-logic">Thinking Is Not Logic</h2>
<p>Thinking is a psychological activity. Logic supplies standards for relations among claims.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">human thinking ≠ formal logic
</span></span></code></pre></div><p>People think through images, analogies, emotions, habits, narratives, and intuitions as well as explicit arguments. Some of these processes generate insight before a valid argument is available. Others generate systematic error.</p>
<p>Logic can ask:</p>
<ul>
<li>What are the premises?</li>
<li>Does a term retain the same meaning?</li>
<li>Does the conclusion follow?</li>
<li>Are the claims mutually consistent?</li>
<li>Has an alternative been excluded without reason?</li>
</ul>
<p>Logic cannot by itself establish that the premises are true or that a goal is worth pursuing.</p>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Every high-value product has many users.
</span></span><span class="line"><span class="cl">This product has many users.
</span></span><span class="line"><span class="cl">Therefore this product has high value.
</span></span></code></pre></div><p>The inference affirms the consequent. Even after the form is repaired, empirical questions remain: what counts as value, how was use measured, and what alternative causes could explain the audience size?</p>
<p>Logic is therefore one normative instrument for improving thought, not a complete model of the human mind.</p>
<h2 id="conceptual-thinking-and-logical-thinking">Conceptual Thinking and Logical Thinking</h2>
<p>Conceptual thinking and logical thinking are closely related, but they do different work.</p>
<p>Conceptual analysis asks:</p>
<ul>
<li>What does the central term mean here?</li>
<li>Is one word carrying several concepts?</li>
<li>Which conditions define or support the category?</li>
<li>Which neighboring concepts must be separated?</li>
<li>Does the present case belong under the concept?</li>
</ul>
<p>Logical analysis asks:</p>
<ul>
<li>How do premises support a conclusion?</li>
<li>Is the inference valid or probabilistically strong?</li>
<li>Are any claims inconsistent?</li>
<li>Does the conclusion exceed the evidence?</li>
<li>Does a counterexample defeat the generalization?</li>
</ul>
<p>Take the claim:</p>
<blockquote>
<p>The user bought the product, so the product satisfied the user&rsquo;s need.</p>
</blockquote>
<p>Conceptual analysis separates purchase, use, outcome, and need satisfaction. Logical analysis then shows that the occurrence of a purchase does not entail a successful outcome.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">conceptual clarification
</span></span><span class="line"><span class="cl">→ stabilizes the units of reasoning
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">logical evaluation
</span></span><span class="line"><span class="cl">→ tests the relations among those units
</span></span></code></pre></div><p>Clear concepts do not guarantee a sound argument. Sound-looking inference cannot repair a shift in meaning.</p>
<h2 id="forms-of-thinking-are-overlapping-tools">Forms of Thinking Are Overlapping Tools</h2>
<p>Thinking can be classified in many ways, but the categories are not separate mental compartments.</p>
<h3 id="concrete-and-abstract">Concrete and abstract</h3>
<p>Concrete thought remains close to perceptible objects and particular situations. Abstract thought handles kinds, relations, rules, and structures that cannot be directly perceived.</p>
<h3 id="intuitive-and-analytic">Intuitive and analytic</h3>
<p>Intuitive thought is often fast, automatic, and holistic. Analytic thought is usually slower, attention-demanding, and easier to express in steps. Expertise can make a sophisticated judgment feel immediate, so speed alone does not reveal whether a judgment is shallow or well trained.</p>
<h3 id="deductive-inductive-and-abductive">Deductive, inductive, and abductive</h3>
<ul>
<li>Deduction derives what follows from stated premises.</li>
<li>Induction extends from observed cases to a broader pattern.</li>
<li>Abduction proposes an explanation for an observed result.</li>
</ul>
<h3 id="causal-counterfactual-and-systemic">Causal, counterfactual, and systemic</h3>
<ul>
<li>Causal thinking asks which factors change an outcome through which pathways.</li>
<li>Counterfactual thinking asks what might happen under an alternative condition.</li>
<li>Systems thinking examines interaction, feedback, delay, and aggregate behavior.</li>
</ul>
<h3 id="critical-creative-and-normative">Critical, creative, and normative</h3>
<ul>
<li>Critical thinking tests evidence, assumptions, sources, and rival explanations.</li>
<li>Creative thinking reorganizes existing material into new possibilities.</li>
<li>Normative thinking asks what should be done and what reasons favor an action.</li>
</ul>
<p>A difficult decision may require all of these at once.</p>
<h2 id="human-thinking-is-embodied-affective-and-social">Human Thinking Is Embodied, Affective, and Social</h2>
<p>The image of a solitary mind manipulating neutral propositions captures only part of human thinking.</p>
<h3 id="embodied">Embodied</h3>
<p>Fatigue, pain, hunger, stress, skill, posture, and possibilities for action shape what can be noticed and considered. Thought is implemented by a living organism, not by a detached viewpoint.</p>
<h3 id="affective">Affective</h3>
<p>Emotion changes attention, memory retrieval, risk assessment, and readiness to act. Emotion can mislead, but it also registers importance, threat, loss, and value. Removing emotion would not leave a complete decision-maker behind.</p>
<h3 id="goal-directed">Goal-directed</h3>
<p>People do not process every available fact. Needs and goals determine which features become relevant.</p>
<h3 id="social-and-distributed">Social and distributed</h3>
<p>Language, education, institutions, tools, and other people shape the structures through which individuals think. Complex thought may be distributed across:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">a brain
</span></span><span class="line"><span class="cl">+ a body
</span></span><span class="line"><span class="cl">+ language
</span></span><span class="line"><span class="cl">+ notes and diagrams
</span></span><span class="line"><span class="cl">+ software and data
</span></span><span class="line"><span class="cl">+ other people
</span></span><span class="line"><span class="cl">+ inherited social knowledge
</span></span></code></pre></div><p>External tools do more than store completed thoughts. Writing, drawing, calculating, and conversation can change the thought that becomes possible.</p>
<h3 id="reflexive">Reflexive</h3>
<p>Humans can make their own beliefs and methods into objects of inquiry: Why do I believe this? Did the meaning of a term shift? What evidence would change my mind?</p>
<h3 id="self-protective">Self-protective</h3>
<p>Reasoning may serve accuracy, but it can also protect identity, desire, group membership, and emotional stability. A polished argument can still be motivated by selective attention or defensive interpretation.</p>
<h2 id="is-thinking-for-knowledge-or-for-action">Is Thinking for Knowledge or for Action?</h2>
<p>It serves both.</p>
<p>People build models of the world in order to understand what is the case, but also to anticipate events, avoid danger, coordinate with others, choose actions, and correct unsuccessful behavior.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">perceive a situation
</span></span><span class="line"><span class="cl">→ form an interpretation
</span></span><span class="line"><span class="cl">→ anticipate outcomes
</span></span><span class="line"><span class="cl">→ choose an action
</span></span><span class="line"><span class="cl">→ observe feedback
</span></span><span class="line"><span class="cl">→ revise the interpretation
</span></span></code></pre></div><p>Usefulness and truth should not be identified. A false belief may be temporarily useful. An accurate belief may offer no immediate advantage.</p>
<p>Thinking therefore faces at least two standards:</p>
<ul>
<li><strong>epistemic:</strong> Is the judgment adequately supported and closer to the truth?</li>
<li><strong>practical:</strong> Does it guide effective action toward an end worth pursuing?</li>
</ul>
<p>Science, logic, ethics, and philosophy examine different parts of these standards.</p>
<h2 id="what-makes-thinking-more-mature">What Makes Thinking More Mature?</h2>
<p>Mature thinking is not simply more complicated thinking. It can be tested through a sequence of questions:</p>
<ol>
<li>What exactly is the object of thought?</li>
<li>Which concepts organize it?</li>
<li>Are the conceptual boundaries clear?</li>
<li>Which claims are observations, and which are interpretations?</li>
<li>Which premises remain unstated?</li>
<li>Is the inference deductive, inductive, abductive, causal, or analogical?</li>
<li>Which rival explanations remain possible?</li>
<li>How are emotion, interest, and identity shaping attention?</li>
<li>What evidence would require revision?</li>
<li>Is the conclusion descriptive, causal, evaluative, or normative?</li>
<li>What action follows, if any?</li>
<li>Did the result of action revise the original model?</li>
</ol>
<blockquote>
<p><strong>Mature thinking makes distinctions where they matter, tests what can be tested, preserves uncertainty where evidence is limited, and allows consequences to correct the model that produced the action.</strong></p>
</blockquote>
<h2 id="conclusion">Conclusion</h2>
<p>Human thinking is more than formal inference and more than a stream of inner speech.</p>
<p>It is a dynamic activity in which perception, memory, concepts, language, imagery, emotion, reasoning, goals, bodily conditions, social resources, and action participate together.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">represent a world
</span></span><span class="line"><span class="cl">→ transform and relate representations
</span></span><span class="line"><span class="cl">→ form judgments, possibilities, plans, and actions
</span></span><span class="line"><span class="cl">→ use consequences to revise the model
</span></span></code></pre></div><p>Cognition is broader than thinking. Logic provides standards for some transitions in thought. Language organizes and externalizes thought. Concepts make classification and reusable inference possible. Consciousness presents some mental contents in experience without revealing every process that produced them.</p>
<p>Conceptual thinking is one method for improving this larger activity: clarify the units of thought, separate neighboring meanings, and then test the inferences among them. It is valuable precisely because human thinking also includes nonconceptual perception, imagery, emotion, creativity, social interaction, and the organization of action.</p>
]]></content:encoded></item><item><title>Words, Concepts, and Objects: Reference and Reasoning</title><link>https://moonment.net/en/notes/words-concepts-and-objects/</link><pubDate>Tue, 15 Sep 2026 00:31:24 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/words-concepts-and-objects/</guid><description>A practical distinction among parts of speech, semantic content, ontological categories, and the roles concepts play in reasoning.</description><content:encoded><![CDATA[<p>This essay examines the form of an expression, its conceptual content, the kind of thing it concerns, and the work it does in an argument. <a href="/en/notes/what-is-a-concept/">Concepts</a> develops the question of formation and boundaries; <a href="/en/notes/conceptual-and-logical-thinking/">Conceptual and Logical Thinking</a> follows these distinctions into reasoning.</p>
<h2 id="a-word-is-not-a-concept">A Word Is Not a Concept</h2>
<p>A word is a unit of language. A concept is something used in categorization, thought, inference, memory, learning, and decision-making.</p>
<p>The English word <em>water</em> is not identical to the concept of water. The concept includes ways of identifying water, expectations about its behavior, relations to other substances, and inferences that can be drawn about it. The same concept can be expressed in different languages, while a single word can express different concepts in different contexts.</p>
<p>A dictionary is therefore a starting point rather than a complete theory. It records established senses and patterns of use. Conceptual analysis must also ask what is being represented, how the representation is structured, and what work it performs in reasoning.</p>
<p>Philosophy offers no single accepted account of what concepts themselves are. Major approaches treat them as mental representations, cognitive abilities, or abstract objects. <a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<h2 id="parts-of-speech-are-grammatical-categories">Parts of Speech Are Grammatical Categories</h2>
<p>Nouns, verbs, and adjectives describe how expressions function grammatically.</p>
<ul>
<li>Nouns commonly name or refer to people, objects, events, states, and abstractions.</li>
<li>Verbs commonly express actions, occurrences, changes, and continuing processes.</li>
<li>Adjectives commonly attribute properties, conditions, degrees, or evaluations.</li>
</ul>
<p>These patterns do not create a one-to-one map between grammar and reality.</p>
<p><em>Death</em> is a noun that can refer to an event. <em>Run</em> can be a verb naming an activity or a noun naming an instance, route, or sequence. <em>Red</em> can be an adjective attributing a color or a noun referring to the color itself. <em>Choice</em> is a noun derived from action language.</p>
<p>Grammar tells us how an expression is used in a sentence. It does not by itself settle what kind of entity, occurrence, or structure the expression is about.</p>
<h2 id="what-kinds-of-things-can-concepts-represent">What Kinds of Things Can Concepts Represent?</h2>
<h3 id="objects-and-entities">Objects and Entities</h3>
<p>Objects are typically treated as things that exist and retain some identity across change: a person, a tree, a phone, or a building.</p>
<p>Not every entity is a natural physical object. A corporation is a social and legal entity constituted by rules, roles, records, assets, and relationships.</p>
<h3 id="events">Events</h3>
<p>Events happen or take place: an arrival, an election, an explosion, a birth, or a death.</p>
<p>Philosophers often contrast objects, which exist, with events, which occur. The contrast is useful but disputed. Objects and events also differ in how they occupy space and time and in how they are identified. <a href="https://plato.stanford.edu/entries/events/">Stanford Encyclopedia of Philosophy: Events</a></p>
<h3 id="actions">Actions</h3>
<p>Actions are things agents do: promise, refuse, write, choose, repair, or work.</p>
<p>An action is not merely a bodily movement. Describing something as an action often introduces questions about intention, control, knowledge, ability, and responsibility. A movement that happens to a person and an action performed by that person may look similar while differing in agency.</p>
<h3 id="processes">Processes</h3>
<p>Processes unfold over time: learning, aging, erosion, cognition, and economic development.</p>
<p>A process may contain many events without having one natural endpoint. Learning is an extended process; passing a particular examination is an event within a longer history.</p>
<h3 id="states">States</h3>
<p>States obtain or persist for a period: knowing an answer, being unemployed, remaining stable, or feeling anxious.</p>
<p>A state description does not by itself explain its cause, permanence, or value. Calling someone anxious identifies a condition; it does not establish why the condition arose or whether it defines the person.</p>
<h3 id="properties">Properties</h3>
<p>Properties are attributed to objects, actions, and states: red, rigid, fragile, free, fair, or positive.</p>
<p>Some properties have agreed measurement procedures. Others depend on interpretive or normative standards. Length and fairness can both be predicated of something, but evidence for each is assessed differently.</p>
<h3 id="relations">Relations</h3>
<p>Relations connect two or more terms: resemblance, causation, ownership, kinship, dependence, rights, and obligations.</p>
<p>Many concepts that sound like self-contained qualities are partly relational. Significance, for example, often involves a relation among an event, an interpreter, a context, and a set of concerns.</p>
<h3 id="quantities-scales-and-models">Quantities, Scales, and Models</h3>
<p>Time, probability, price, risk, and efficiency do more than label a thing. They provide ways to order, compare, measure, or infer.</p>
<p>Their everyday uses may differ from their roles in a formal discipline. Saying that an outcome is “very likely” is not yet the same as assigning a probability under a specified model.</p>
<h3 id="institutions-rules-and-norms">Institutions, Rules, and Norms</h3>
<p>Money, offices, laws, promises, responsibilities, and justice depend on shared practices, constitutive rules, or normative judgment.</p>
<p>A banknote is a physical object, but its purchasing power cannot be explained by its physical composition alone. Institutional concepts connect material objects with recognized rules and social powers.</p>
<h3 id="abstract-objects">Abstract Objects</h3>
<p>Numbers, sets, propositions, possibilities, and perhaps concepts themselves are common candidates for abstract objects. They do not occupy ordinary physical space, yet they appear indispensable to mathematics and reasoning.</p>
<p>Whether abstract objects exist independently and how human beings could know them remain major philosophical disputes. <a href="https://plato.stanford.edu/entries/abstract-objects/">Stanford Encyclopedia of Philosophy: Abstract Objects</a></p>
<h2 id="events-processes-achievements-and-states">Events, Processes, Achievements, and States</h2>
<p>Language also distinguishes different temporal structures.</p>
<table>
  <thead>
      <tr>
          <th>Category</th>
          <th>Structure</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Activity</td>
          <td>continues without a built-in endpoint</td>
          <td>walking, thinking</td>
      </tr>
      <tr>
          <td>Accomplishment</td>
          <td>unfolds toward a completion</td>
          <td>writing a report</td>
      </tr>
      <tr>
          <td>Achievement</td>
          <td>culminates at a boundary</td>
          <td>reaching the summit</td>
      </tr>
      <tr>
          <td>State</td>
          <td>holds over time without unfolding toward a result</td>
          <td>knowing the route</td>
      </tr>
  </tbody>
</table>
<p>These distinctions matter because grammar can hide them. “She is writing the report” describes an incomplete process. “She has written the report” presents the completion. “She knows the answer” describes a state rather than an achievement now in progress.</p>
<p>The metaphysics of events and the linguistic study of aspect use related distinctions, although there is no universally accepted inventory of categories.</p>
<h2 id="concepts-also-perform-roles-in-reasoning">Concepts Also Perform Roles in Reasoning</h2>
<p>What a concept represents is only one question. A concept may also perform different tasks in an argument.</p>
<table>
  <thead>
      <tr>
          <th>Role</th>
          <th>Question</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Description</td>
          <td>What happened?</td>
          <td>The team stopped the project.</td>
      </tr>
      <tr>
          <td>Classification</td>
          <td>What kind of case is this?</td>
          <td>This is a tactical decision.</td>
      </tr>
      <tr>
          <td>Explanation</td>
          <td>Why did it happen?</td>
          <td>Repeated interruption reduced attention.</td>
      </tr>
      <tr>
          <td>Prediction</td>
          <td>What is likely to follow?</td>
          <td>Higher exposure increases risk.</td>
      </tr>
      <tr>
          <td>Evaluation</td>
          <td>Is it good, bad, or important?</td>
          <td>The rule is unfair.</td>
      </tr>
      <tr>
          <td>Norm</td>
          <td>What should be done?</td>
          <td>Rights should be respected.</td>
      </tr>
      <tr>
          <td>Action guidance</td>
          <td>What do we do now?</td>
          <td>Stop investing and revise the goal.</td>
      </tr>
  </tbody>
</table>
<p>The same term can move among these roles.</p>
<p>Calling a mood <em>positive</em> may describe affect. Calling an employee’s attitude <em>positive</em> may evaluate conduct. Saying that someone <em>should be positive</em> adds a norm. A conversation can move across all three without marking the transition, turning an observation into a moral demand.</p>
<p>Similar errors occur with facts. A fact is a state of affairs that obtains. A causal explanation is a claim about why it obtains. A recommendation requires further premises about goals and values. Facts constrain recommendations, but they do not generate a complete practical conclusion on their own.</p>
<h2 id="why-ordinary-sentences-hide-multiple-concepts">Why Ordinary Sentences Hide Multiple Concepts</h2>
<p>Natural language compresses several layers of thought.</p>
<p>Consider the sentence:</p>
<blockquote>
<p>The plan failed, so the strategy was wrong.</p>
</blockquote>
<p>It contains at least four elements:</p>
<ul>
<li><em>plan</em>: an arrangement of intended actions;</li>
<li><em>failed</em>: an event description combined with a standard of success;</li>
<li><em>strategy</em>: a system of goals, diagnosis, choices, resources, and trade-offs;</li>
<li><em>so</em>: a claimed inferential connection.</li>
</ul>
<p>One failed plan may result from execution, timing, or chance. It does not by itself establish that the strategic diagnosis was false. The concepts must be separated before the inference can be tested.</p>
<p>Conceptual analysis therefore does more than define isolated nouns. It reveals compressed relations, shifting senses, and missing premises.</p>
<h2 id="a-three-pass-method-for-conceptual-analysis">A Three-Pass Method for Conceptual Analysis</h2>
<h3 id="1-identify-the-linguistic-form">1. Identify the Linguistic Form</h3>
<p>Is the expression functioning as a noun, verb, adjective, or complete proposition? Has an action or property been nominalized and treated as a thing?</p>
<h3 id="2-identify-the-represented-category">2. Identify the Represented Category</h3>
<p>Does it concern an object, event, action, process, state, property, relation, quantity, institution, or norm? Are different speakers referring to the same category?</p>
<h3 id="3-identify-the-inferential-role">3. Identify the Inferential Role</h3>
<p>Is the expression describing, classifying, explaining, predicting, evaluating, prescribing, or guiding action? Has the argument moved from one role to another without an explicit premise?</p>
<p>After these passes, further research can address etymology, historical change, disciplinary definitions, evidence, philosophical disputes, and practical limits.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Concepts do not merely stand for “things,” and nouns do not map neatly onto objects. Thought concerns what exists, what happens, what agents do, what persists, what properties and relations obtain, and what rules or values should guide action.</p>
<p>Part of speech identifies a grammatical role. Ontological category identifies the kind of reality under discussion. Inferential role identifies what an expression is doing in an argument.</p>
<p>Keeping those three levels separate is a practical first step from word definition to conceptual analysis and from conceptual analysis to sound reasoning.</p>
]]></content:encoded></item></channel></rss>