<?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>Philosophy on Moonment</title><link>https://moonment.net/en/tags/philosophy/</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/philosophy/index.xml" rel="self" type="application/rss+xml"/><item><title>Logic: Premises, Conclusions, and Valid Inference</title><link>https://moonment.net/en/notes/what-is-logic/</link><pubDate>Tue, 29 Sep 2026 12:58:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-logic/</guid><description>Logic studies consequence and inferential commitment. This essay explains truth, validity, soundness, deduction, induction, abduction, and the boundaries between logic, fact, probability, and causation.</description><content:encoded><![CDATA[<p>Logic studies consequence: under what conditions does a conclusion follow from a set of premises?</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">All humans are mortal.
</span></span><span class="line"><span class="cl">Socrates is human.
</span></span><span class="line"><span class="cl">Therefore Socrates is mortal.
</span></span></code></pre></div><p>The subject is not merely the three sentences considered separately. It is the relation that prevents the premises from being true while the conclusion is false.</p>
<blockquote>
<p><strong>Logic makes the commitments of an inference explicit. It asks what a reasoner is committed to once certain premises are accepted.</strong></p>
</blockquote>
<p>This essay concentrates on consequence, validity, soundness, and the limits of inference. For the strength of uncertain evidence, continue to <a href="/en/notes/logic-and-probability/">Logic and Probability</a>; the interpretations and updating of probability are developed in <a href="/en/notes/probability-and-bayes/">Probability and Bayes</a>.</p>
<p>This is narrower than every ordinary use of the word <em>logic</em>, but broader than one collection of textbook symbols.</p>
<h2 id="from-logos-to-modern-logic">From <em>logos</em> to modern logic</h2>
<p>English <em>logic</em> comes through Latin <em>logica</em> from Greek <em>logos</em>, a term whose historical range includes speech, account, reason, proportion, and ordering. That history does not make logic identical to rationality, natural law, or the order of the universe.</p>
<p>Aristotelian syllogistic, Stoic propositional reasoning, Indian logical traditions, and Chinese traditions of names and disputation developed different problems and techniques. Modern formal logic grew through the interaction of philosophy and mathematics, especially in work on algebra, proof, foundations, and language.</p>
<p>Its scope now includes classical logic, modal and temporal logics, intuitionistic logic, many-valued systems, relevance and paraconsistent logics, and formal treatments of knowledge, obligation, and computation.</p>
<h2 id="ordinary-logic-and-the-discipline-of-logic">Ordinary “logic” and the discipline of logic</h2>
<p>In ordinary English, <em>logic</em> can mean several things:</p>
<ul>
<li>an orderly train of thought;</li>
<li>the rationale behind a policy;</li>
<li>the operating mechanism of a system;</li>
<li>the incentives of a business model;</li>
<li>the pattern by which events develop;</li>
<li>the validity of an argument.</li>
</ul>
<p>“The logic of the platform rewards engagement” concerns incentives and mechanisms. “His explanation has no logic” may report inconsistency, missing reasons, or simply poor organization.</p>
<p>These uses are intelligible, but they should not be treated as interchangeable. Before evaluating a claim about “logic,” one should ask whether the issue is consequence, explanation, mechanism, coherence, or rhetoric.</p>
<h2 id="propositions-premises-conclusions-and-models">Propositions, premises, conclusions, and models</h2>
<p>Traditional presentations often move from concepts to judgments and then to inferences. Modern logic works with more explicit units:</p>
<ul>
<li>a formal language with expressions and formation rules;</li>
<li>propositions or formulas capable of truth or falsity under an interpretation;</li>
<li>premises that provide the starting commitments;</li>
<li>a conclusion claimed to follow;</li>
<li>proof rules licensing steps;</li>
<li>semantics or models that assign interpretations.</li>
</ul>
<p>A logic typically combines a language with a deductive system, a model-theoretic semantics, or both. A central question is how syntactic derivability relates to semantic validity.<a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></p>
<p>The word <em>product</em> is not by itself a true or false claim. “This service is a product” is a proposition. Only after propositions are organized as premises and conclusion does an argument appear.</p>
<h2 id="truth-validity-and-soundness">Truth, validity, and soundness</h2>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">All fish can fly.
</span></span><span class="line"><span class="cl">Carp are fish.
</span></span><span class="line"><span class="cl">Therefore carp can fly.
</span></span></code></pre></div><p>The first premise and conclusion are false, but the form is valid:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">All A are B.
</span></span><span class="line"><span class="cl">C is A.
</span></span><span class="line"><span class="cl">Therefore C is B.
</span></span></code></pre></div><p>Validity says that the premises cannot all be true while the conclusion is false. It does not say that the premises are actually true.</p>
<table>
  <thead>
      <tr>
          <th>Property</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>truth</td>
          <td>Does a proposition correctly represent the relevant facts?</td>
      </tr>
      <tr>
          <td>validity</td>
          <td>Could the premises be true and the conclusion false?</td>
      </tr>
      <tr>
          <td>soundness</td>
          <td>Is the argument valid and are its premises true?</td>
      </tr>
  </tbody>
</table>
<p>The distinction prevents two common errors. A true conclusion can be reached through an invalid argument, and a valid argument can preserve falsehood from false premises.</p>
<h2 id="logical-consequence">Logical consequence</h2>
<p>Semantic consequence is commonly written:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P ⊨ C
</span></span></code></pre></div><p>Roughly, every relevant interpretation that makes all members of <code>P</code> true also makes <code>C</code> true. Consequence is therefore often described as truth-preserving and necessary relative to a logic.</p>
<p>This rough account opens philosophical questions rather than closing them. Which interpretations count? What makes a constant logical? Is consequence primarily formal, modal, epistemic, or normative? Debates over language, meaning, context, and necessity enter the philosophy of logical consequence.<a href="https://plato.stanford.edu/entries/logical-consequence/">Stanford Encyclopedia of Philosophy: Logical Consequence</a></p>
<p>Logical consequence is also different from psychological certainty. A person can feel certain of a conclusion that does not follow, or resist a conclusion that follows from premises the person explicitly accepts.</p>
<h2 id="deduction-induction-and-abduction">Deduction, induction, and abduction</h2>
<p>Not every disciplined inference is deductive.</p>
<h3 id="deduction">Deduction</h3>
<p>Deduction asks whether premises necessitate a conclusion.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Every registered user has an identifier.
</span></span><span class="line"><span class="cl">Mina is a registered user.
</span></span><span class="line"><span class="cl">Therefore Mina has an identifier.
</span></span></code></pre></div><p>If the argument is valid and the premises are true, the conclusion cannot be false.</p>
<h3 id="induction">Induction</h3>
<p>Induction extends beyond observed cases.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Most sampled customers care strongly about price.
</span></span><span class="line"><span class="cl">Therefore customers in the target population probably care about price.
</span></span></code></pre></div><p>The conclusion is supported rather than entailed. Sampling, background knowledge, and new observations can change that support.</p>
<h3 id="abduction">Abduction</h3>
<p>Abduction proposes an explanation for what has been observed.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Checkout abandonment increased.
</span></span><span class="line"><span class="cl">Errors cluster around one payment provider.
</span></span><span class="line"><span class="cl">A provider failure is currently the best explanation.
</span></span></code></pre></div><p>The explanation remains defeasible. Competing hypotheses, additional measurements, and interventions can overturn it.</p>
<table>
  <thead>
      <tr>
          <th>Inference</th>
          <th>Central question</th>
          <th>Status of conclusion</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>deduction</td>
          <td>Must this conclusion follow?</td>
          <td>necessity under the premises</td>
      </tr>
      <tr>
          <td>induction</td>
          <td>How far does the evidence generalize?</td>
          <td>revisable support</td>
      </tr>
      <tr>
          <td>abduction</td>
          <td>Which hypothesis best explains the observations?</td>
          <td>candidate explanation</td>
      </tr>
  </tbody>
</table>
<p>Calling all three “logic” in a broad sense should not erase the difference between entailment and evidential support.</p>
<h2 id="formal-and-informal-logic">Formal and informal logic</h2>
<p>Formal logic abstracts from some subject matter to test patterns that remain stable under substitution. It is especially powerful for quantifiers, negation, conditionals, identity, and relations.</p>
<p>Informal logic examines arguments in natural language. It must also consider:</p>
<ul>
<li>suppressed premises;</li>
<li>ambiguity and context;</li>
<li>credibility of sources;</li>
<li>relevance of analogies;</li>
<li>burden of proof;</li>
<li>rhetorical framing;</li>
<li>fair representation of opposing arguments.</li>
</ul>
<p>Formalization can expose structure, but it can also omit context. Natural language preserves context, but it can hide equivocation. Neither level eliminates the need for the other.</p>
<h2 id="conditionals-and-recurring-fallacies">Conditionals and recurring fallacies</h2>
<p>Suppose:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">If the power fails, the server stops.
</span></span></code></pre></div><p>From a power failure to a stopped server is <strong>modus ponens</strong>. From a running server to no power failure is <strong>modus tollens</strong>.</p>
<p>But inferring a power failure from a stopped server affirms the consequent. The server may have stopped because of maintenance, hardware failure, or software error. Inferring that the server runs because power has not failed denies the antecedent and is also invalid.</p>
<p>These errors matter because diagnostic and causal claims often disguise an invalid conditional inference.</p>
<h2 id="logic-probability-causation-and-fact">Logic, probability, causation, and fact</h2>
<p>These relations answer different questions.</p>
<table>
  <thead>
      <tr>
          <th>Relation</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>logical</td>
          <td>What follows if these premises hold?</td>
      </tr>
      <tr>
          <td>factual</td>
          <td>What is actually the case?</td>
      </tr>
      <tr>
          <td>probabilistic</td>
          <td>How strongly does current information support each possibility?</td>
      </tr>
      <tr>
          <td>causal</td>
          <td>What change would make a difference to the outcome?</td>
      </tr>
  </tbody>
</table>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">If it rains, the ground will usually be wet.
</span></span><span class="line"><span class="cl">The ground is wet.
</span></span><span class="line"><span class="cl">Therefore it rained.
</span></span></code></pre></div><p>The conclusion is not deductively secured. A sprinkler, a leak, or cleaning could also explain the observation. Wet ground may increase the probability of rain and motivate causal investigation, but it does not entail rain.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">entailment is not factual verification
</span></span><span class="line"><span class="cl">association is not causal proof
</span></span><span class="line"><span class="cl">high probability is not logical necessity
</span></span><span class="line"><span class="cl">an intelligible explanation is not a demonstrated cause
</span></span></code></pre></div><p>Logic can organize probabilistic and causal arguments. It cannot substitute for data, experimental design, or a justified causal model.</p>
<h2 id="consistency-is-not-truth">Consistency is not truth</h2>
<p>A set of propositions is consistent when they can be true together under the relevant logic. Consistency is necessary for many rational systems, but it is insufficient for truth.</p>
<p>A fictional world can be internally consistent. A collection of false beliefs can also avoid contradiction. Conversely, real information systems can contain local inconsistencies without every claim becoming acceptable; paraconsistent logics study ways of reasoning under such conditions.</p>
<p>Finding no contradiction therefore does not establish that the premises are complete, meaningful, or empirically adequate.</p>
<h2 id="is-logic-descriptive-or-normative">Is logic descriptive or normative?</h2>
<p>People routinely commit invalid inferences. If logic merely described actual psychological behavior, it could not explain why those inferences should be corrected.</p>
<p>Logic is therefore commonly treated as normative in at least a conditional sense: if a reasoner accepts certain premises and aims to preserve truth or coherence, some conclusions are licensed and some combinations of commitments are defective.</p>
<p>The source of that normativity remains disputed. Logical laws may be understood as grounded in meaning, truth, rational commitment, structures of reality, rules of formal systems, or established inferential practices.</p>
<p>Logic is not a complete ethics of belief. It does not by itself decide which premises deserve acceptance, how much evidence is enough, or which practical goals should govern action.</p>
<h2 id="why-are-there-multiple-logics">Why are there multiple logics?</h2>
<p>Classical logic supplies one influential account of consequence, but different domains motivate different formal systems:</p>
<ul>
<li>modal logic represents necessity and possibility;</li>
<li>temporal logic represents order and change over time;</li>
<li>deontic logic represents obligation and permission;</li>
<li>intuitionistic logic ties truth more closely to constructive proof;</li>
<li>many-valued and fuzzy systems alter truth-value structures;</li>
<li>paraconsistent logics block unrestricted explosion from contradictions.</li>
</ul>
<p>Plurality does not mean that any inference rule is as good as another. A proposed logic must specify its language, semantics, proof rules, and purpose, then demonstrate that the resulting system does the work claimed for it.</p>
<h2 id="the-practical-discipline-of-logic">The practical discipline of logic</h2>
<p>Logic makes an argument answerable to public inspection:</p>
<ol>
<li>What exactly is the conclusion?</li>
<li>Which premises support it?</li>
<li>Which premises are factual, definitional, or normative?</li>
<li>Which step is an inference rather than an assumption?</li>
<li>Is there a countermodel or counterexample?</li>
<li>Does the conclusion exceed the premises?</li>
<li>Has uncertainty been presented as necessity?</li>
</ol>
<p>This discipline turns “it sounds reasonable” into a structure that others can test.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Logic is neither a database of facts nor an automatic detector of causes. It studies relations of consequence and the commitments generated by inference.</p>
<blockquote>
<p><strong>Valid reasoning can preserve truth from true premises. It cannot guarantee those premises, supply missing evidence, or decide which ends are worth pursuing.</strong></p>
</blockquote>
<p>Clear concepts, reliable observations, probability, causal inquiry, and value judgment must work with logic rather than being replaced by it.</p>
]]></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>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>Products, Goods, and What Customers Actually Buy</title><link>https://moonment.net/en/notes/products-and-goods/</link><pubDate>Mon, 21 Sep 2026 14:36:56 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/products-and-goods/</guid><description>Products organize capabilities for use; market offerings specify what is exchanged. This essay separates products, goods, services, commodities, and offerings, then connects them to needs and outcomes.</description><content:encoded><![CDATA[<p><em>Product</em>, <em>good</em>, <em>service</em>, <em>commodity</em>, and <em>offering</em> are often used as if they named the same thing. They do not.</p>
<p>A phone can be a product, a manufactured good, an item in a retailer&rsquo;s catalog, and the object transferred in a sale. Crude oil is a product of extraction and a commodity traded in standardized units. Software may be called a product even when the customer never owns a copy and only receives access to a service.</p>
<p>The material object alone does not settle the vocabulary. Each term highlights a different relation.</p>
<blockquote>
<p><strong>A product organizes capabilities for use. A market offering organizes the terms under which capabilities, goods, services, or rights are exchanged.</strong></p>
</blockquote>
<p>This distinction has to be established before asking what customers “really” buy.</p>
<h2 id="what-is-a-product">What Is a Product?</h2>
<p>In a broad business sense, a product is an organized set of capabilities and experiences made available to users in a particular context.</p>
<p>It can be a physical object, a digital system, a service, an informational work, or a combination of technology and human activity. The American Marketing Association defines a product broadly as a bundle of attributes—features, functions, benefits, and uses—capable of exchange or use. It may be an idea, a physical good, a service, or a combination. <a href="https://www.ama.org/the-definition-of-marketing-what-is-marketing/">AMA: Definitions of Marketing</a></p>
<p>A product normally gives structure to six questions:</p>
<ol>
<li>Who will use it, buy it, maintain it, or bear its effects?</li>
<li>In what situation will use occur?</li>
<li>What task, capability, or change is at stake?</li>
<li>What features, content, processes, and services make use possible?</li>
<li>How will people discover, obtain, learn, use, support, and leave it?</li>
<li>What evidence will show whether it worked and at what cost?</li>
</ol>
<p>Technology is an enabling capability. A feature is one behavior within a larger arrangement. A project is temporary work. An output is anything a process produces. None of these alone establishes a product.</p>
<p>A language model is a technical capability. A system that combines the model with an interface, accounts, context handling, file operations, safety controls, support, and continuing operation can become an AI product.</p>
<h2 id="product-good-service-commodity-and-offering">Product, Good, Service, Commodity, and Offering</h2>
<p>English separates several concepts that cannot be mapped to a single word in every context.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Primary emphasis</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Product</td>
          <td>An organized object or system offered for use or exchange</td>
      </tr>
      <tr>
          <td>Good</td>
          <td>A tangible item whose possession or ownership can usually be transferred</td>
      </tr>
      <tr>
          <td>Service</td>
          <td>An activity, performance, process, or access relationship delivered for someone</td>
      </tr>
      <tr>
          <td>Commodity</td>
          <td>A tradable item treated as sufficiently standardized and interchangeable, or a commodity-form in political economy</td>
      </tr>
      <tr>
          <td>Offering</td>
          <td>The complete proposal made to a market, including product, service, price, rights, terms, and support</td>
      </tr>
  </tbody>
</table>
<p>A laptop is a product and a good. Repair is a service. Wheat futures concern a commodity. A business laptop plan that includes hardware, financing, support, warranty, and device management is an offering.</p>
<p>The boundaries vary by discipline. Marketing often uses <em>product</em> as the umbrella. Quality management distinguishes outputs, products, and services to allocate process and delivery responsibilities. Software practice calls a continuously operated service a product because it has users, versions, capabilities, support, and an evolving value proposition. <a href="https://www.iso.org/standard/9000">ISO 9000:2026</a></p>
<p>The useful question is not which vocabulary is universally correct. It is which distinction the present analysis needs.</p>
<h2 id="what-makes-something-a-market-offering">What Makes Something a Market Offering?</h2>
<p>A usable product does not by itself specify a transaction.</p>
<p>A market offering adds answers to questions such as:</p>
<ul>
<li>What is the unit being sold?</li>
<li>What price and payment schedule apply?</li>
<li>Does the customer receive ownership, possession, access, or a license?</li>
<li>What quantity, duration, territory, or usage limit applies?</li>
<li>What support, warranty, maintenance, or service level is included?</li>
<li>What happens on cancellation, return, failure, or renewal?</li>
<li>How are privacy, liability, and risk allocated?</li>
</ul>
<p>The structure can be summarized as:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">market offering
</span></span><span class="line"><span class="cl">= product capabilities
</span></span><span class="line"><span class="cl">+ deliverables
</span></span><span class="line"><span class="cl">+ ownership, access, or license rights
</span></span><span class="line"><span class="cl">+ quantity and duration
</span></span><span class="line"><span class="cl">+ price and payment terms
</span></span><span class="line"><span class="cl">+ service commitments
</span></span><span class="line"><span class="cl">+ return, repair, renewal, and exit rules
</span></span><span class="line"><span class="cl">+ allocation of risk and responsibility
</span></span></code></pre></div><p>One knowledge-management product can appear as a free personal plan, a monthly professional subscription, a per-seat team plan, an enterprise agreement with migration and training, or a private deployment contract. The underlying capabilities overlap; the offers do not.</p>
<h2 id="a-product-can-exist-without-a-retail-sale">A Product Can Exist Without a Retail Sale</h2>
<p>The relation between product and market exchange is not one-to-one.</p>
<p>An internal tool can be managed as a product even though it is not sold outside the organization. Open-source software can be a mature product while access to the code remains free. A public service can be designed and operated as a product without charging the final user. A prototype can contain a product hypothesis before there is a stable commercial offer.</p>
<p>Conversely, being listed and sold does not establish product quality. A transaction shows that an exchange occurred under particular conditions. It does not show that the product was usable, beneficial, fair, or sustainable.</p>
<p>The same object can also change institutional roles without changing its physical form. A computer is a design object during development, a manufactured product at completion, a good in inventory, the object of a sale, the buyer&rsquo;s property after transfer, and an organizational asset when put to work.</p>
<h2 id="ownership-access-and-performance">Ownership, Access, and Performance</h2>
<p>Different offers transfer different things.</p>
<h3 id="physical-goods">Physical goods</h3>
<p>A sale usually transfers ownership or possession of an item. The buyer of a chair receives the object and, within legal and contractual limits, may use, resell, modify, or dispose of it.</p>
<h3 id="services">Services</h3>
<p>A service sale normally concerns an activity, performance, or commitment. A haircut, consultation, and journey are completed through interaction. The customer does not take possession of “the service” as a durable object.</p>
<h3 id="digital-products">Digital products</h3>
<p>Digital transactions often transfer neither a physical object nor ownership of the underlying software. They may provide:</p>
<ul>
<li>a time-limited right of access;</li>
<li>a license to run or reproduce software;</li>
<li>a usage allowance measured by seats, storage, calls, or tokens;</li>
<li>continuing operation and support;</li>
<li>rights over content or virtual items defined by platform rules.</li>
</ul>
<p>Calling all of these “buying software” hides the legal and operational differences.</p>
<h2 id="products-and-offerings-in-everyday-life">Products and Offerings in Everyday Life</h2>
<p>The distinction appears across ordinary domains.</p>
<table>
  <thead>
      <tr>
          <th>Domain</th>
          <th>Product or service</th>
          <th>What the offer may transfer</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Clothing</td>
          <td>Coat, protective gear, rental service</td>
          <td>Ownership of an item or temporary use</td>
      </tr>
      <tr>
          <td>Food</td>
          <td>Ingredient, prepared meal, restaurant, delivery</td>
          <td>A packaged good, meal, performance, or membership benefit</td>
      </tr>
      <tr>
          <td>Housing</td>
          <td>House, hotel, lease, property service</td>
          <td>Ownership, tenancy, occupancy nights, or service commitments</td>
      </tr>
      <tr>
          <td>Mobility</td>
          <td>Bicycle, car, transit, ride service</td>
          <td>Ownership, ticketed transport, access, or time-limited use</td>
      </tr>
  </tbody>
</table>
<p>Walking can satisfy a mobility need without a product purchase. Buying a bicycle usually transfers a good. Bike sharing sells temporary access. A metro ticket buys a transport service. The domain does not determine the form of exchange.</p>
<h2 id="how-does-a-product-relate-to-a-need">How Does a Product Relate to a Need?</h2>
<p>A need describes a missing or required condition in a person&rsquo;s situation. A product is one organized response.</p>
<blockquote>
<p><strong>A product turns a supplier&rsquo;s interpretation of a need into a capability that can be used and tested.</strong></p>
</blockquote>
<p>“I need a car” already contains a proposed solution. Further inquiry may reveal a chain:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">wants to buy a car
</span></span><span class="line"><span class="cl">→ must commute regularly
</span></span><span class="line"><span class="cl">→ wants to arrive reliably and comfortably
</span></span><span class="line"><span class="cl">→ needs practical control over mobility within family, work, and time constraints
</span></span></code></pre></div><p>A car may be appropriate. So may rail, cycling, moving home, car sharing, remote work, or a different schedule.</p>
<p>This is why a product is better treated as a testable supply hypothesis than as the need itself. The hypothesis survives only if relevant users can discover, understand, obtain, use, and benefit from the product in actual conditions.</p>
<h2 id="need-is-not-market-demand">Need Is Not Market Demand</h2>
<p>An urgent need does not automatically create a viable offer.</p>
<p>A person may need care without being able to pay. A user may value a tool while rejecting its subscription terms, privacy policy, switching costs, or procurement requirements. A product may work but remain inaccessible through the available channel.</p>
<p>Moving from need to purchase requires several different kinds of fit:</p>
<ol>
<li><strong>Problem fit:</strong> the situation matters to the intended user.</li>
<li><strong>Capability fit:</strong> the product supplies a relevant condition.</li>
<li><strong>Context fit:</strong> the environment allows the capability to work.</li>
<li><strong>Comprehension fit:</strong> people can find and understand the offer.</li>
<li><strong>Economic fit:</strong> price, access, and payment conditions are acceptable.</li>
<li><strong>Trust fit:</strong> the source and its promises are credible enough.</li>
<li><strong>Outcome fit:</strong> use actually improves the original situation.</li>
</ol>
<p>Need, demand, purchase, adoption, and outcome are different stages and different evidence.</p>
<h2 id="user-customer-buyer-and-beneficiary">User, Customer, Buyer, and Beneficiary</h2>
<p>The person who needs or uses a product is not always the person who buys it.</p>
<table>
  <thead>
      <tr>
          <th>Role</th>
          <th>Function</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>User</td>
          <td>Interacts with or uses the product</td>
      </tr>
      <tr>
          <td>Customer</td>
          <td>Holds the commercial or service relationship</td>
      </tr>
      <tr>
          <td>Buyer</td>
          <td>Executes the purchase</td>
      </tr>
      <tr>
          <td>Payer</td>
          <td>Supplies the money</td>
      </tr>
      <tr>
          <td>Decision-maker</td>
          <td>Authorizes the choice</td>
      </tr>
      <tr>
          <td>Beneficiary</td>
          <td>Receives the principal benefit</td>
      </tr>
      <tr>
          <td>Influencer</td>
          <td>Shapes the choice without final authority</td>
      </tr>
  </tbody>
</table>
<p>For a child&rsquo;s toy, a parent may decide, buy, and pay while the child uses and benefits. In enterprise software, executives may authorize, procurement may buy, finance may pay, employees may use, and IT or legal teams may control risk.</p>
<p>A product can satisfy users while failing to give a customer a reason to buy. An offer can satisfy procurement while imposing an unusable system on employees. Product design and commercial design must account for both sides without pretending they are the same person.</p>
<h2 id="what-does-a-customer-actually-buy">What Does a Customer Actually Buy?</h2>
<p>There are two valid answers at different levels.</p>
<h3 id="the-transaction-transfers-deliverables-rights-and-commitments">The transaction transfers deliverables, rights, and commitments</h3>
<p>A customer may receive ownership of a good, licensed use, access for a period, a quantity of service, warranty rights, support, privacy terms, or remedies when performance fails.</p>
<p>An AI subscription grants access to specified capabilities under limits and terms. It does not directly transfer a correct answer, a finished career task, or improved intelligence.</p>
<blockquote>
<p><strong>At the transaction level, the customer buys a defined bundle of deliverables, rights, commitments, and allocated risks.</strong></p>
</blockquote>
<h3 id="the-motivation-concerns-expected-progress">The motivation concerns expected progress</h3>
<p>The customer accepts that bundle because it is expected to help complete a task, save time, reduce uncertainty, avoid loss, create an experience, express identity, or preserve an option.</p>
<p>Jobs to Be Done describes customers as “hiring” products to make progress in a circumstance. Its strength is to direct attention away from features and toward what changes for the customer. <a href="https://online.hbs.edu/blog/post/jobs-to-be-done-examples">Harvard Business School Online</a></p>
<p>But saying “customers buy outcomes” goes too far.</p>
<h2 id="why-the-outcome-is-usually-not-the-product">Why the Outcome Is Usually Not the Product</h2>
<p>A course can supply instruction, practice, and feedback without guaranteeing mastery. A gym can supply equipment and coaching without guaranteeing health. A physician can provide competent treatment without guaranteeing recovery. An AI system can provide analytical capability without guaranteeing truth.</p>
<p>Outcomes commonly depend on three sources:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">capabilities and conditions supplied by the product
</span></span><span class="line"><span class="cl">+ action and contribution by the user
</span></span><span class="line"><span class="cl">+ surrounding circumstances and constraints
</span></span><span class="line"><span class="cl">= realized outcome
</span></span></code></pre></div><p>Service-dominant logic captures part of this distinction by treating firms as participants in value creation rather than as manufacturers of value fully contained inside goods. Value becomes concrete in use and context. <a href="https://doi.org/10.1007/s11747-007-0069-6">Vargo and Lusch</a></p>
<p>A precise formulation is:</p>
<blockquote>
<p><strong>A customer buys a bundle of conditions believed to improve the probability of a desired outcome, not the guaranteed outcome itself.</strong></p>
</blockquote>
<p>A contract may make a supplier responsible for a defined result. Even then, the result, measurement conditions, exclusions, and remedies have to be specified.</p>
<h2 id="exchange-value-is-not-use-value">Exchange Value Is Not Use Value</h2>
<p>A purchase demonstrates that a customer accepted an exchange under the information, alternatives, price, and constraints present at the time.</p>
<p>It does not prove that the product solved the problem, that the decision was fully informed, that the price was fair, or that third parties were unharmed. Promotion, misunderstanding, habit, conformity, lock-in, and lack of alternatives can all produce sales.</p>
<p>The evidence should remain separated:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">noticed
</span></span><span class="line"><span class="cl">→ understood
</span></span><span class="line"><span class="cl">→ considered
</span></span><span class="line"><span class="cl">→ purchased
</span></span><span class="line"><span class="cl">→ activated
</span></span><span class="line"><span class="cl">→ repeatedly used
</span></span><span class="line"><span class="cl">→ produced an intended outcome
</span></span><span class="line"><span class="cl">→ remained worthwhile over time
</span></span></code></pre></div><p>Exchange validates a transaction. Use validates adoption. Outcome evidence is required to test whether the original need was addressed.</p>
<h2 id="where-brand-enters">Where Brand Enters</h2>
<p>Customers cannot fully inspect future performance before purchase. They use source identity, prior experience, reputation, reviews, and promises to estimate uncertainty.</p>
<p>A brand compresses those signals into recognition and expectation. It can reduce search cost, make an offer easier to interpret, and identify who should be held accountable. It may also carry aesthetic, social, and identity meanings.</p>
<p>Brand can improve the exchangeability of an offer. It cannot perform the user&rsquo;s task. The brand forms an expectation, the offer defines a transaction, the product enters use, and the result confirms or corrects the expectation.</p>
<h2 id="a-test-for-product-and-offering-claims">A Test for Product and Offering Claims</h2>
<p>Before saying that a product “meets demand,” ask:</p>
<ol>
<li>What capabilities are organized into the product?</li>
<li>Who uses it, in what context, and for what task?</li>
<li>What precisely is included in the offer?</li>
<li>Which ownership, access, license, support, and exit rights transfer?</li>
<li>Who uses, buys, pays, decides, benefits, and bears risk?</li>
<li>Which need is the product intended to address?</li>
<li>What commercial and noncommercial alternatives exist?</li>
<li>Which outcomes can the supplier control?</li>
<li>Does purchase lead to adoption?</li>
<li>Does use improve the original situation after total cost and side effects are counted?</li>
</ol>
<p>These questions test product structure, transaction structure, and need fit separately.</p>
<h2 id="conclusion">Conclusion</h2>
<p>A product and a market offering are related but distinct.</p>
<blockquote>
<p><strong>A product organizes capabilities so that value can occur in use. An offering organizes exchange by specifying what the customer obtains, under which rights, obligations, prices, and risks.</strong></p>
</blockquote>
<p>Needs enter the account after those boundaries are clear. A need describes a condition required in a situation. A product is a testable response. An offering turns that response into a transaction.</p>
<p>Customers acquire deliverables, rights, and commitments because they expect those conditions to help them make progress. Whether value was realized remains a question for use and outcomes, not for the sales record alone.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://www.ama.org/the-definition-of-marketing-what-is-marketing/">American Marketing Association — Definitions of Marketing</a></li>
<li><a href="https://www.iso.org/standard/9000">ISO 9000:2026 — Quality management: Fundamentals and vocabulary</a></li>
<li><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso%3A9241%3A-115%3Aed-1%3Av1%3Aen">ISO 9241-115:2024 — User needs and user requirements</a></li>
<li><a href="https://online.hbs.edu/blog/post/jobs-to-be-done-examples">Harvard Business School Online — Jobs to Be Done</a></li>
<li><a href="https://doi.org/10.1007/s11747-007-0069-6">Vargo and Lusch — Service-dominant logic: continuing the evolution</a></li>
<li><a href="https://www.marxists.org/archive/marx/works/1867-c1/ch01.htm">Karl Marx — Capital, Volume I, Chapter One</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>Causation: Difference-Making, Mechanisms, and Reasons</title><link>https://moonment.net/en/notes/causality-causes-and-reasons/</link><pubDate>Wed, 16 Sep 2026 23:12:56 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/causality-causes-and-reasons/</guid><description>A causal claim says more than one event followed or predicted another. It connects difference-making, intervention, counterfactual dependence, and mechanism while separating causes from evidence, reasons, and purposes.</description><content:encoded><![CDATA[<h2 id="what-does-a-causal-claim-say">What Does a Causal Claim Say?</h2>
<p>To call one thing a cause of another is to make a claim about how a difference is produced.</p>
<blockquote>
<p><strong>A factor is causally relevant to an outcome when its presence, absence, or variation makes a difference to how that outcome occurs, usually through conditions and processes that connect the two.</strong></p>
</blockquote>
<p>The factor may be an event, a standing condition, a behavior, a mental state, an institution, or a structural feature. The outcome may be a discrete event, but it may also be a change in magnitude, timing, form, or probability.</p>
<p>This definition is deliberately broader than determinism. Smoking can cause cancer without every smoker developing cancer. A treatment can cause recovery in the relevant population without curing every patient. Causes often alter the distribution of possible outcomes rather than fixing one outcome with certainty.</p>
<p>A minimal causal claim therefore has at least three parts:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">causal factor → connecting process → outcome
</span></span></code></pre></div><p>It also has a scope. A factor may be causal under one set of conditions and inert under another.</p>
<h2 id="causes-and-effects-are-roles-within-a-process">Causes and Effects Are Roles Within a Process</h2>
<p>An item is not permanently a cause or permanently an effect. Its role depends on which part of a process is under examination.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">sleep deprivation
</span></span><span class="line"><span class="cl">→ impaired executive control
</span></span><span class="line"><span class="cl">→ more operational errors
</span></span><span class="line"><span class="cl">→ greater accident risk
</span></span></code></pre></div><p>Impaired executive control is an effect of sleep deprivation and a cause of later errors. An error can be an effect within one relation and a cause within the next.</p>
<p>This matters because causal language can create the illusion that the world has already been divided into two kinds of object. In practice, inquiry chooses an outcome and asks which earlier conditions and pathways help explain its production.</p>
<h2 id="sequence-association-and-prediction-are-not-yet-causation">Sequence, Association, and Prediction Are Not Yet Causation</h2>
<p>Three weaker relations are routinely mistaken for causal ones.</p>
<h3 id="temporal-sequence">Temporal sequence</h3>
<p>A cause normally precedes its effect, but precedence alone establishes very little. The rooster crows before sunrise; silencing the rooster does not delay the sun.</p>
<h3 id="statistical-association">Statistical association</h3>
<p>If conditioning on X changes the probability of Y,</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(Y | X) ≠ P(Y)
</span></span></code></pre></div><p>then X and Y are probabilistically dependent. This describes a distributional relation, not why it exists. Several structures remain possible:</p>
<table>
  <thead>
      <tr>
          <th>Structure</th>
          <th>Interpretation</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td><code>X → Y</code></td>
          <td>X causes Y</td>
      </tr>
      <tr>
          <td><code>X ← Y</code></td>
          <td>Y causes X</td>
      </tr>
      <tr>
          <td><code>X ← Z → Y</code></td>
          <td>Z is a common cause</td>
      </tr>
      <tr>
          <td><code>Xₜ → Yₜ → Xₜ₊₁</code></td>
          <td>X and Y form a feedback loop</td>
      </tr>
      <tr>
          <td>selection affects the sample</td>
          <td>the observed association is induced by who enters the data</td>
      </tr>
  </tbody>
</table>
<p>People who carry lighters may have a higher incidence of lung cancer. The lighter is not the relevant cause. Smoking helps explain both carrying the lighter and the increased risk.</p>
<p>Selection can induce an association that is absent in the wider population. Suppose severe illness and inadequate home care both increase the probability of hospitalization. Restricting a study to hospitalized patients conditions on their common effect. Within that selected sample, illness severity and home care can appear associated even when they were independent before selection. This is a form of collider or selection bias.</p>
<p>Small samples, repeated comparisons, changing measurement definitions, and correlated measurement errors can also produce unstable associations.</p>
<h3 id="prediction">Prediction</h3>
<p>A barometer can help predict a storm. Manipulating the needle does not change the weather. A predictor answers whether knowing X improves a forecast of Y. A causal variable answers whether changing X would change Y.</p>
<p>This distinction matters whenever a model is used for action. A system can predict accurately from proxies while offering no effective intervention. Predictive success does not by itself identify what should be changed.</p>
<p>Frequent customer-support contact may predict churn because product defects cause both help requests and departure:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">product defect → support contact
</span></span><span class="line"><span class="cl">product defect → churn
</span></span></code></pre></div><p>Removing the support channel would reduce the recorded predictor without repairing the defect. It could make churn worse. A predictor may be useful for finding risk while being the wrong target for intervention.</p>
<h2 id="most-outcomes-have-a-causal-architecture-not-a-single-cause">Most Outcomes Have a Causal Architecture, Not a Single Cause</h2>
<p>The demand for “the root cause” often compresses several explanatory tasks into one phrase.</p>
<p>A fire may depend on combustible material, oxygen, heat, building design, delayed detection, failed suppression, and organizational practices. One factor triggers ignition, another accelerates spread, another removes a barrier, and another explains why the dangerous configuration existed.</p>
<p>Useful distinctions include:</p>
<table>
  <thead>
      <tr>
          <th>Causal role</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Necessary condition</td>
          <td>Could the outcome occur without it?</td>
      </tr>
      <tr>
          <td>Sufficient condition</td>
          <td>Would it produce the outcome given the stated background?</td>
      </tr>
      <tr>
          <td>Contributing factor</td>
          <td>Does it raise the probability or severity?</td>
      </tr>
      <tr>
          <td>Trigger</td>
          <td>Does it initiate a prepared process?</td>
      </tr>
      <tr>
          <td>Background condition</td>
          <td>Does it enable other factors to operate?</td>
      </tr>
      <tr>
          <td>Sustaining cause</td>
          <td>Does it keep an existing outcome in place?</td>
      </tr>
      <tr>
          <td>Inhibitor</td>
          <td>Does it block or weaken a pathway?</td>
      </tr>
      <tr>
          <td>Structural cause</td>
          <td>Does it systematically shape many local conditions?</td>
      </tr>
  </tbody>
</table>
<p>Necessary and sufficient conditions should not be confused. Oxygen is necessary for ordinary combustion, but oxygen alone is not sufficient for a building fire.</p>
<p>Many causes are components of a larger sufficient package. Different packages may also produce the same outcome. This is why removing one factor may fail to prevent an effect even when that factor was causally active: another sufficient pathway may remain.</p>
<h2 id="causal-relations-form-chains-forks-and-feedback-loops">Causal Relations Form Chains, Forks, and Feedback Loops</h2>
<p>Several basic patterns recur.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">multiple causes:      X₁ + X₂ + X₃ → Y
</span></span><span class="line"><span class="cl">multiple effects:     X → Y₁, Y₂, Y₃
</span></span><span class="line"><span class="cl">mediation:            X → M₁ → M₂ → Y
</span></span><span class="line"><span class="cl">common cause:         X ← Z → Y
</span></span><span class="line"><span class="cl">feedback over time:   Xₜ → Yₜ → Xₜ₊₁
</span></span></code></pre></div><p>The time index is essential in feedback systems. Stress may produce insomnia, which produces more stress on the following day. Popularity may generate reviews, and those reviews may become social proof that produces later popularity.</p>
<p>Without time, the relation looks circular. With time, it becomes a sequence of reciprocal effects.</p>
<h2 id="probabilistic-causation-does-not-mean-mere-correlation">Probabilistic Causation Does Not Mean Mere Correlation</h2>
<p>A first approximation says that a cause raises the probability of its effect:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(Y | X) &gt; P(Y | not-X)
</span></span></code></pre></div><p>But this remains an observational comparison. If X is more common among people who differ in other relevant ways, the inequality may reflect confounding rather than an effect of X.</p>
<p>The causal question is closer to:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(Y | do(X)) &gt; P(Y | do(not-X))
</span></span></code></pre></div><p>The <code>do</code> operator represents setting X by intervention while preserving the rest of the causal model as specified. It distinguishes observing X from changing X. That distinction is central to structural approaches to causal inference associated with Judea Pearl. <a href="https://ftp.cs.ucla.edu/pub/stat_ser/ACMBook-published-2022.pdf">Probabilistic and Causal Inference: The Works of Judea Pearl</a></p>
<p>A probabilistic cause can be real even when:</p>
<ul>
<li>the effect does not occur in a particular case;</li>
<li>the effect sometimes occurs without that cause;</li>
<li>the same cause has different effects in different contexts;</li>
<li>several causal pathways compete.</li>
</ul>
<p>Individual outcomes and population effects are different claims. One patient recovering without treatment does not show that the treatment has no causal effect. One treated patient failing to recover does not show that the treatment is ineffective in the relevant population.</p>
<h2 id="causation-and-causal-inference-are-different-problems">Causation and Causal Inference Are Different Problems</h2>
<p>Causation concerns relations in the world:</p>
<blockquote>
<p>What actually contributed to the production of the outcome?</p>
</blockquote>
<p>Causal inference concerns our epistemic position:</p>
<blockquote>
<p>What justifies believing that a particular factor was causal?</p>
</blockquote>
<p>The distinction is basic:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">causal relation ≠ method for discovering a causal relation
</span></span></code></pre></div><p>A causal relation can exist before anyone recognizes it. An elegant explanation can be accepted even though its causal structure is wrong.</p>
<p>Inquiry usually begins with an observed effect. It then works backward to candidate causes and forward again to predictions. This requires several forms of reasoning.</p>
<h2 id="how-are-causes-inferred">How Are Causes Inferred?</h2>
<h3 id="abduction-generates-candidate-explanations">Abduction generates candidate explanations</h3>
<p>Wet pavement may be explained by rain, a broken pipe, a street-cleaning vehicle, or deliberate watering. Abduction asks which hypothesis would best explain the observation.</p>
<p>Abduction is ampliative: its conclusion goes beyond what is logically contained in the evidence. Its appeal to explanatory considerations distinguishes it from induction based primarily on observed frequencies. <a href="https://plato.stanford.edu/entries/abduction/">Stanford Encyclopedia of Philosophy: Abduction</a></p>
<p>Generating a good explanation is not the same as proving it.</p>
<h3 id="deduction-derives-consequences">Deduction derives consequences</h3>
<p>If a pipe is broken, water should continue under specified weather conditions, concentrate near the line, and respond to a closed valve. Deduction turns a hypothesis into testable expectations.</p>
<p>Failure of a prediction can weaken the hypothesis. Success does not uniquely confirm it when rival hypotheses predict the same evidence.</p>
<h3 id="induction-extends-patterns">Induction extends patterns</h3>
<p>Repeated observations can support a generalization. The inference remains vulnerable to unrepresentative samples, environmental change, hidden common causes, and selective observation.</p>
<h3 id="rival-explanations-must-be-compared">Rival explanations must be compared</h3>
<p>The strongest evidence is often not evidence that fits one hypothesis. It is evidence that one hypothesis predicts and its competitors do not.</p>
<h3 id="bayesian-updating-revises-confidence">Bayesian updating revises confidence</h3>
<p>For a hypothesis H and evidence E:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(H | E) = P(E | H)P(H) / P(E)
</span></span></code></pre></div><p>Bayes&rsquo; rule disciplines how confidence changes when evidence arrives. It does not identify the causal graph by itself. Priors, likelihoods, variable choices, and the hypothesis space all depend on substantive assumptions.</p>
<p>A fuller cycle is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">observe an outcome
</span></span><span class="line"><span class="cl">→ generate candidate causes
</span></span><span class="line"><span class="cl">→ derive discriminating predictions
</span></span><span class="line"><span class="cl">→ collect evidence or intervene
</span></span><span class="line"><span class="cl">→ update confidence
</span></span><span class="line"><span class="cl">→ revise the causal model
</span></span></code></pre></div><h2 id="counterfactuals-ask-what-would-have-happened-otherwise">Counterfactuals Ask What Would Have Happened Otherwise</h2>
<p>Counterfactual analysis asks:</p>
<blockquote>
<p>If X had not occurred, would Y still have occurred?</p>
</blockquote>
<p>This captures a central intuition: causes make a difference. But the unobserved alternative creates the fundamental problem of causal inference. The same patient cannot both receive and not receive a treatment at the same moment. The same firm cannot simultaneously adopt and reject the same strategy under identical conditions.</p>
<p>Randomized trials, matched comparisons, natural experiments, historical controls, and causal models are different ways of estimating the missing alternative.</p>
<p>Simple counterfactual dependence is not a complete theory. If two independent fires were each sufficient to destroy a building, removing one would not prevent the destruction. Preemption and overdetermination show why actual causation can be more complex than a single but-for test. <a href="https://plato.stanford.edu/entries/causation-counterfactual/">Stanford Encyclopedia of Philosophy: Counterfactual Theories of Causation</a></p>
<h2 id="interventions-ask-what-changing-a-variable-would-do">Interventions Ask What Changing a Variable Would Do</h2>
<p>Observational questions compare naturally occurring groups. Interventional questions ask what would happen if a variable were deliberately set.</p>
<p>Suppose patients receiving a treatment are sicker on average. The treatment may appear associated with worse outcomes because severity influenced who received it. Random allocation can reduce this source of confounding by making groups comparable in expectation.</p>
<p>Experiments are not automatically decisive. Attrition, noncompliance, measurement error, short follow-up, small samples, and differences between the study setting and the target setting can all limit a conclusion.</p>
<p>Observational studies can still support causal claims when their design, assumptions, controls, and sensitivity analyses address the relevant alternatives. The real question is how well the design separates the proposed effect from competing explanations.</p>
<h2 id="mechanisms-explain-how-the-difference-is-produced">Mechanisms Explain How the Difference Is Produced</h2>
<p>Mechanistic inquiry opens the arrow:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">X → M₁ → M₂ → Y
</span></span></code></pre></div><p>For example:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">chronic sleep loss
</span></span><span class="line"><span class="cl">→ impaired executive function
</span></span><span class="line"><span class="cl">→ weaker attentional control
</span></span><span class="line"><span class="cl">→ more errors
</span></span></code></pre></div><p>Mechanisms can identify intervention points, explain variation across contexts, and show why a relationship should generalize. They also reveal mediators that should not be treated as independent background variables.</p>
<p>A plausible mechanism is not enough. Post hoc stories are easy to invent. The intermediate stages need independent evidence.</p>
<p>Counterfactual, interventional, and mechanistic approaches answer different questions:</p>
<table>
  <thead>
      <tr>
          <th>Approach</th>
          <th>Central question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Counterfactual</td>
          <td>What would happen without X?</td>
      </tr>
      <tr>
          <td>Intervention</td>
          <td>What would happen if X were changed?</td>
      </tr>
      <tr>
          <td>Mechanism</td>
          <td>Through what process does X affect Y?</td>
      </tr>
  </tbody>
</table>
<p>The approaches reinforce one another without becoming interchangeable.</p>
<h2 id="the-direction-of-explanation-can-oppose-the-direction-of-causation">The Direction of Explanation Can Oppose the Direction of Causation</h2>
<p>The causal direction may be:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">rain → wet pavement
</span></span></code></pre></div><p>The direction of inference may be:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">wet pavement → evidence for recent rain
</span></span></code></pre></div><p>The pavement does not cause the earlier rain. The effect supplies evidence about its possible cause.</p>
<p>Medicine, engineering diagnosis, historical inquiry, and accident investigation routinely reason from traces to causes. The mistake is not beginning with an effect. The mistake is treating an explanation that fits the effect as a cause already established.</p>
<h2 id="when-an-effect-is-mistaken-for-a-cause">When an Effect Is Mistaken for a Cause</h2>
<p>Several distinct errors are often grouped together.</p>
<h3 id="reverse-causation">Reverse causation</h3>
<p>Severe illness may increase treatment uptake. A raw association between treatment and severity can then be misread as evidence that treatment caused the severity.</p>
<h3 id="feedback">Feedback</h3>
<p>An effect at one stage can become a cause at the next. Initial popularity produces reviews; reviews produce social proof; social proof contributes to later popularity. This is a real causal loop over time, not simply a mistaken direction.</p>
<h3 id="selection-on-successful-cases">Selection on successful cases</h3>
<p>If successful people often wake early, early rising may be a cause, an effect of their circumstances, a correlate of other traits, or a minor contributor. The unsuccessful early risers omitted from the sample matter.</p>
<h3 id="hindsight-and-outcome-bias">Hindsight and outcome bias</h3>
<p>After a success, risk-taking is called vision. After a failure, the same behavior is called recklessness. Knowing the outcome changes the story told about the decision.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">quality of a decision ≠ quality of its realized outcome
</span></span></code></pre></div><p>A decision should be assessed using the information, probabilities, aims, and constraints available when it was made.</p>
<h2 id="causes-evidence-and-reasons-answer-different-questions">Causes, Evidence, and Reasons Answer Different Questions</h2>
<p>The sentence “because the pavement is wet, it probably rained” cites evidence. “Because it rained, the pavement became wet” cites a cause.</p>
<p>Human action introduces further distinctions.</p>
<h3 id="motivating-reasons">Motivating reasons</h3>
<p>A person may resign because she believes continued work is harming her health. The consideration under which she acts is her motivating reason.</p>
<h3 id="normative-reasons">Normative reasons</h3>
<p>Actual harm to health may count in favor of resigning. A normative reason concerns what supports or justifies an action, whether or not the agent acted for it.</p>
<h3 id="explanatory-reasons">Explanatory reasons</h3>
<p>Exhaustion, fear, or resentment may explain an action without justifying it.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">what explains an action ≠ what justifies it
</span></span></code></pre></div><h3 id="stated-reasons">Stated reasons</h3>
<p>What an agent says afterward may be an accurate report, a partial account, a socially acceptable presentation, or a rationalization.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">stated reason ≠ actual motivation ≠ normative justification
</span></span></code></pre></div><p>Contemporary philosophy of action commonly distinguishes normative, motivating, and explanatory reasons according to whether they favor, guide, or explain action. <a href="https://plato.stanford.edu/entries/reasons-just-vs-expl/">Stanford Encyclopedia of Philosophy: Reasons for Action</a></p>
<p>Donald Davidson argued that explaining an intentional action by the agent&rsquo;s reasons can also be causal explanation. A relevant belief and desire do not merely make an action intelligible; when they actually produce it, they are among its causes. <a href="https://plato.stanford.edu/entries/davidson/">Stanford Encyclopedia of Philosophy: Donald Davidson</a></p>
<h2 id="purposes-are-represented-in-the-present">Purposes Are Represented in the Present</h2>
<p>“She exercises in order to become healthier” can sound as if a future outcome causes a present action. The future state does not reach backward in time.</p>
<p>The operative causal structure is present:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">desire for better health
</span></span><span class="line"><span class="cl">+ belief that exercise will help
</span></span><span class="line"><span class="cl">+ intention to exercise
</span></span><span class="line"><span class="cl">→ present action
</span></span></code></pre></div><p>Purpose concerns the outcome an agent seeks. Expectation concerns what the agent believes will occur. Intention organizes present and future action. The actual outcome is what later happens. These can diverge.</p>
<p>A self-fulfilling expectation follows the same pattern. The future outcome is not its own earlier cause. A present expectation changes behavior, and the changed behavior helps produce the expected outcome.</p>
<h2 id="why-philosophers-disagree-about-causation">Why Philosophers Disagree About Causation</h2>
<p>Different theories emphasize different parts of the concept.</p>
<p>Aristotle&rsquo;s four causes addressed material, form, source of change, and end. His notion of <em>aitia</em> was broader than the modern search for efficient production. It organized several kinds of answer to a why-question.</p>
<p>Hume challenged the idea that necessary connection is directly perceived. Experience presents succession and repeated conjunction; the necessity attributed to the sequence requires further explanation.</p>
<p>Kant treated causal ordering as a condition for objective experience. A sequence of perceptions must be distinguished from a perception of an objective sequence of events.</p>
<p>Modern families of theory isolate different features:</p>
<table>
  <thead>
      <tr>
          <th>Family</th>
          <th>Emphasis</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Regularity theories</td>
          <td>stable patterns between cause and effect</td>
      </tr>
      <tr>
          <td>Probabilistic theories</td>
          <td>changes in the probability of an outcome</td>
      </tr>
      <tr>
          <td>Counterfactual theories</td>
          <td>what would differ without the cause</td>
      </tr>
      <tr>
          <td>Mechanistic theories</td>
          <td>processes that transmit causal influence</td>
      </tr>
      <tr>
          <td>Interventionist theories</td>
          <td>systematic changes under manipulation</td>
      </tr>
      <tr>
          <td>Structural causal models</td>
          <td>variables, equations, graphs, and counterfactual states</td>
      </tr>
  </tbody>
</table>
<p>No single entry in the table should be treated as the whole meaning of causation in every domain. Together they explain why causal judgment involves regularity, difference-making, production, and control.</p>
<h2 id="a-practical-causal-analysis">A Practical Causal Analysis</h2>
<p>When asked why something happened, proceed in this order:</p>
<ol>
<li><strong>Specify the outcome.</strong> Replace broad labels with an observable event, state, or measure.</li>
<li><strong>Add time.</strong> Mark when candidate causes, intermediate stages, and outcomes occurred.</li>
<li><strong>List rival structures.</strong> Include reverse causation, common causes, selection, and feedback.</li>
<li><strong>Draw the pathways.</strong> Identify confounders, mediators, inhibitors, and alternative routes.</li>
<li><strong>Ask the counterfactual.</strong> What would probably happen without the factor?</li>
<li><strong>Seek a comparison or intervention.</strong> What design could reveal the difference made by changing it?</li>
<li><strong>Test the mechanism.</strong> What intermediate evidence should exist if the account is correct?</li>
<li><strong>Separate causes from reasons.</strong> Is the claim about production, evidence, motivation, or justification?</li>
<li><strong>State assumptions and scope.</strong> Which conclusions depend on which model and population?</li>
<li><strong>Keep uncertainty visible.</strong> Distinguish a supported causal claim from an unresolved hypothesis.</li>
</ol>
<p>A responsible conclusion may therefore read:</p>
<blockquote>
<p>Under the stated assumptions and current evidence, X probably raises the risk of Y through mechanism M. Z remains a plausible source of residual confounding.</p>
</blockquote>
<p>That is not evasive language. It specifies what is known, why it is believed, and where the inference can fail.</p>
<h2 id="a-product-experiment-across-logic-probability-and-causation">A Product Experiment Across Logic, Probability, and Causation</h2>
<p>Suppose a product team asks whether push reminders increase task completion.</p>
<p>The logical and operational layer comes first. A task counts as complete only when a completion timestamp exists. Eligible users must have an unfinished qualifying task before the reminder is assigned. Without consistent events, denominators, and time windows, the comparison is not well formed.</p>
<p>An observational analysis may then find:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">completion among reminded users: 60%
</span></span><span class="line"><span class="cl">completion among non-reminded users: 40%
</span></span></code></pre></div><p>The probability difference is real in the data but does not yet identify an effect. More active users may enable notifications and complete tasks more often for independent reasons.</p>
<p>A causal design can randomly assign eligible users to one reminder or no reminder, preserve the same outcome definition and observation window, and compare completion rates. Randomization aims to prevent known and unknown background differences from being systematically concentrated in one group.</p>
<p>The proposed mechanism should also leave intermediate traces:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">reminder
</span></span><span class="line"><span class="cl">→ attention
</span></span><span class="line"><span class="cl">→ app open
</span></span><span class="line"><span class="cl">→ task view
</span></span><span class="line"><span class="cl">→ completion
</span></span></code></pre></div><p>An increase in completion without corresponding evidence along the path calls for rival explanations. Even a positive average treatment effect has a scope: duration, reminder frequency, subgroups, timing shifts, notification opt-outs, and annoyance may all matter.</p>
<p>A bounded conclusion would therefore say:</p>
<blockquote>
<p>For eligible users in this experiment, one randomly assigned reminder increased completion by the estimated amount within the stated observation window. Generalization to other users, frequencies, and time horizons remains to be tested.</p>
</blockquote>
<h2 id="conclusion">Conclusion</h2>
<p>Causation concerns how a difference in one part of the world helps produce a difference in another.</p>
<p>It is not identical to sequence, association, prediction, a persuasive narrative, an agent&rsquo;s stated reason, or a retrospective judgment. A serious causal account connects several kinds of support:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">temporal order
</span></span><span class="line"><span class="cl">+ probabilistic difference
</span></span><span class="line"><span class="cl">+ counterfactual comparison
</span></span><span class="line"><span class="cl">+ intervention
</span></span><span class="line"><span class="cl">+ mechanism
</span></span><span class="line"><span class="cl">+ comparison with rival explanations
</span></span></code></pre></div><p>Causal inference then adds the methods by which such an account is discovered and revised:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">abduction generates hypotheses
</span></span><span class="line"><span class="cl">+ deduction derives predictions
</span></span><span class="line"><span class="cl">+ induction extends patterns
</span></span><span class="line"><span class="cl">+ experiments and comparisons test differences
</span></span><span class="line"><span class="cl">+ Bayesian updating revises confidence
</span></span><span class="line"><span class="cl">+ mechanistic inquiry opens the causal pathway
</span></span></code></pre></div><p>The aim is not to attach one definitive “root cause” to every outcome. It is to build a causal model that can be criticized, tested, used for intervention, and revised when new evidence arrives.</p>
]]></content:encoded></item><item><title>Philosophy: Concepts, Reasons, and the Limits of Inquiry</title><link>https://moonment.net/en/notes/what-is-philosophy/</link><pubDate>Wed, 16 Sep 2026 17:28:51 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-philosophy/</guid><description>Philosophy makes the frameworks of thought visible. It examines what exists, what can be known, how reasons support conclusions, and what is worth doing.</description><content:encoded><![CDATA[<h2 id="what-is-philosophy">What Is Philosophy?</h2>
<p>The word <em>philosophy</em> is used for several different things. It can name an academic discipline, a historical tradition, a systematic body of thought, or a person&rsquo;s general outlook on life. These uses overlap, but they are not interchangeable.</p>
<p>In academic inquiry, a useful working definition is:</p>
<blockquote>
<p><strong>Philosophy is the systematic examination of the concepts, assumptions, reasons, and standards through which people understand reality, form beliefs, judge value, and decide how to act.</strong></p>
</blockquote>
<p>This definition identifies an activity rather than a collection of final answers. Philosophers make claims about the world, knowledge, mind, and value. They also turn back upon the frameworks used to make those claims.</p>
<p>That reflexive movement is central. A scientific study may ask whether a treatment reduces pain. Philosophy can ask what pain is, what counts as evidence of another person&rsquo;s pain, how benefits and harms should be compared, and who has the authority to accept a risk. These are not substitutes for the clinical question. They reveal the conceptual, epistemic, and ethical structure within which the evidence matters.</p>
<p>The English word comes through Latin from the Greek <em>philosophia</em>, conventionally understood as the love or pursuit of wisdom. The etymology explains an aspiration, not the boundaries of the contemporary discipline. Philosophy today includes highly technical work in logic, language, science, mind, law, politics, and mathematics, as well as inquiry into how a life should be lived.</p>
<h2 id="philosophy-begins-when-a-framework-becomes-visible">Philosophy Begins When a Framework Becomes Visible</h2>
<p>Most thought takes place inside a framework that remains implicit. We classify an event as a cause, accept an observation as evidence, call a choice free, or judge an outcome fair without stopping to examine the standards involved.</p>
<p>Philosophy begins when those standards become objects of inquiry.</p>
<p>Consider the claim:</p>
<blockquote>
<p>The user clicked the purchase button, so the user wanted the product.</p>
</blockquote>
<p>The click is an observable event. The attribution of desire is an interpretation. The claim that the product met a real need is a further inference. The conclusion that the transaction was good for the user adds an evaluation.</p>
<p>Four layers have been compressed into one sentence:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">behavior
</span></span><span class="line"><span class="cl">→ interpretation of a mental state
</span></span><span class="line"><span class="cl">→ explanation of a need
</span></span><span class="line"><span class="cl">→ judgment of value
</span></span></code></pre></div><p>Philosophical analysis separates the layers. It asks which transition is justified, what alternatives remain, and what evidence would change the conclusion.</p>
<p>This is why philosophy is often described as dealing with fundamental questions. A question is fundamental here because it concerns the categories, standards, or reasons on which other inquiries depend. It does not have to sound cosmic. “What counts as consent?” can be as philosophically basic as “What exists?”</p>
<h2 id="four-families-of-philosophical-question">Four Families of Philosophical Question</h2>
<p>Philosophy ranges across many subjects, but four families of question organize much of the field.</p>
<h3 id="what-exists">What exists?</h3>
<p>Metaphysics and ontology investigate the general structure of reality.</p>
<ul>
<li>What kinds of things are real?</li>
<li>Are persons identical with bodies, minds, histories, or patterns of continuity?</li>
<li>Are numbers discovered or invented?</li>
<li>What makes one event cause another?</li>
<li>Are possibilities features of reality or ways of representing it?</li>
<li>How can an object remain the same while changing?</li>
</ul>
<p>These questions are not answered merely by listing objects. They concern the categories through which objects, properties, relations, events, and processes are understood.</p>
<h3 id="what-can-be-known">What can be known?</h3>
<p>Epistemology examines knowledge, evidence, justification, understanding, and rational belief.</p>
<ul>
<li>What distinguishes knowledge from a lucky true belief?</li>
<li>When is testimony credible?</li>
<li>How should confidence change when evidence is uncertain?</li>
<li>Can observation be independent of prior theory?</li>
<li>What does disagreement with an informed peer require us to reconsider?</li>
<li>Which forms of ignorance are individual, and which are produced by institutions?</li>
</ul>
<p>Epistemology does not merely catalogue what people believe. It asks what makes belief responsible or warranted.</p>
<h3 id="what-follows-from-what">What follows from what?</h3>
<p>Logic studies consequence, validity, consistency, and formal relations among claims. Argumentation theory also examines how reasons support conclusions in ordinary and specialized contexts.</p>
<p>An argument can be valid while resting on false premises. A conclusion can be true even when the argument for it is poor. Evidence can make a claim probable without making it certain. These distinctions matter because truth, validity, and justification answer different questions.</p>
<p>Logic is both a branch of philosophy and a field with deep connections to mathematics and computer science. It illuminates formal inference, but it does not contain a complete theory of good judgment. Practical reasoning also depends on evidence, uncertainty, goals, and values. <a href="https://plato.stanford.edu/entries/logic-ontology/">Stanford Encyclopedia of Philosophy: Logic and Ontology</a></p>
<h3 id="what-matters-and-what-should-be-done">What matters, and what should be done?</h3>
<p>Ethics, political philosophy, and aesthetics investigate value and normativity.</p>
<ul>
<li>What makes an action right or wrong?</li>
<li>Which interests create obligations for other people or institutions?</li>
<li>How should liberty, equality, welfare, and responsibility be balanced?</li>
<li>Is value discovered, constructed, experienced, or socially negotiated?</li>
<li>What makes an artwork valuable?</li>
<li>What does it mean for a life to go well?</li>
</ul>
<p>Value theory includes different projects: identifying what is good, explaining what value is, and studying how reasons for action arise. <a href="https://plato.stanford.edu/entries/value-theory/">Stanford Encyclopedia of Philosophy: Value Theory</a></p>
<p>Facts constrain answers to these questions. They rarely complete them. Data may show the probable consequences of a policy. Deciding which consequences count, how they should be distributed, and which rights constrain the policy requires further argument.</p>
<h2 id="first-order-claims-and-second-order-reflection">First-Order Claims and Second-Order Reflection</h2>
<p>Philosophy operates at more than one level.</p>
<p>A <strong>first-order claim</strong> says something about its subject:</p>
<ul>
<li>consciousness depends on physical processes;</li>
<li>moral facts exist;</li>
<li>a person remains the same through psychological continuity;</li>
<li>justice requires equal political standing.</li>
</ul>
<p>A <strong>second-order question</strong> examines the framework of the claim:</p>
<ul>
<li>What would count as consciousness?</li>
<li>What kind of existence could a moral fact have?</li>
<li>Which criterion of personal identity is being used?</li>
<li>Is justice a pattern of distribution, a relation among persons, or a property of institutions?</li>
</ul>
<p>Philosophy is distinctive because it moves between these levels. It proposes accounts of reality and value, then examines the concepts and standards used in those accounts. The philosophy of philosophy, often called metaphilosophy, continues the same reflexive process by asking what philosophy itself is trying to achieve and which methods can achieve it.</p>
<h2 id="how-philosophical-inquiry-works">How Philosophical Inquiry Works</h2>
<p>There is no single method shared by every philosopher or tradition. Several practices recur because they make commitments easier to identify and assess.</p>
<h3 id="clarifying-concepts">Clarifying concepts</h3>
<p>Words that appear familiar can conceal several questions. “Meaning” may refer to linguistic significance, intended purpose, personal importance, or an objective point assigned to life. “Freedom” may refer to absence of interference, effective capacity, political status, or control over one&rsquo;s own action.</p>
<p>Conceptual work maps these differences and tests whether a proposed definition is too broad, too narrow, circular, or dependent on a disputed theory.</p>
<p>Analysis has always been important in philosophy, but it has taken many forms. Contemporary philosophers do not generally assume that every significant concept can be reduced to one perfect list of necessary and sufficient conditions. Analysis can instead reveal structure, dependence, function, or relations among concepts. <a href="https://plato.stanford.edu/entries/analysis/">Stanford Encyclopedia of Philosophy: Analysis</a></p>
<h3 id="reconstructing-arguments">Reconstructing arguments</h3>
<p>Ordinary speech often leaves premises unstated. Reconstruction makes the structure explicit.</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">If life has no externally assigned purpose, it has no value.
</span></span><span class="line"><span class="cl">Life has no externally assigned purpose.
</span></span><span class="line"><span class="cl">Therefore, life has no value.
</span></span></code></pre></div><p>The form is valid. The crucial issue is the first premise. Must value be assigned from outside, or can it arise through experience, agency, relationships, and practices? Once the premise is visible, the real disagreement can begin.</p>
<h3 id="testing-with-counterexamples">Testing with counterexamples</h3>
<p>A counterexample shows that a general principle fails in at least one relevant case.</p>
<p>Suppose freedom is defined as doing whatever one presently wants. Cases involving addiction, manipulation, coercion, or compulsive behavior put pressure on that account. The counterexamples do not automatically supply the correct theory of freedom. They show that present desire alone is insufficient.</p>
<h3 id="using-thought-experiments">Using thought experiments</h3>
<p>Thought experiments isolate features of a problem by constructing an imagined case. They are used in debates about knowledge, identity, responsibility, justice, and consciousness.</p>
<p>Their force is often misunderstood. An immediate intuition about an imaginary case is not an unquestionable verdict. A thought experiment can instead expose the assumptions driving a judgment, allowing those assumptions to be compared with theory and evidence. Work in naturalistic and experimental philosophy has made the reliability and cultural variability of intuitions a subject of empirical investigation. <a href="https://plato.stanford.edu/entries/naturalism/">Stanford Encyclopedia of Philosophy: Naturalism</a>, <a href="https://plato.stanford.edu/entries/experimental-philosophy/">Experimental Philosophy</a></p>
<h3 id="seeking-reflective-balance">Seeking reflective balance</h3>
<p>Principles, judgments about cases, background theories, and empirical findings can conflict. Philosophical inquiry often proceeds by revising them together.</p>
<p>A principle may need a narrower scope. A case judgment may reflect prejudice or misleading presentation. A factual assumption may be false. A distinction may need to be redrawn. The aim is not to protect the first intuition but to reach a more coherent and adequately supported position.</p>
<h3 id="interpreting-histories-and-practices">Interpreting histories and practices</h3>
<p>Some philosophical work asks how a concept acquired its present role.</p>
<p>What social changes made the modern idea of the autonomous individual possible? How did categories such as normality, productivity, race, disability, or property become organized? Which possibilities does a concept reveal, and which does it obscure?</p>
<p>Historical interpretation, genealogy, phenomenology, and critical theory approach such questions differently. Their shared contribution is to show that a familiar category may have a history, a practical function, and consequences that a purely abstract definition misses.</p>
<h3 id="using-formal-and-empirical-tools">Using formal and empirical tools</h3>
<p>Philosophy also uses formal logic, probability, decision theory, game theory, semantics, and models. Philosophers of mind, language, science, medicine, and technology routinely engage with empirical research.</p>
<p>No method is philosophical merely because a philosopher uses it. What matters is the role it plays in examining the relevant claim, inference, concept, or norm.</p>
<h2 id="philosophy-and-science">Philosophy and Science</h2>
<p>The boundary between philosophy and science is historically variable. Physics was once natural philosophy. Psychology, economics, linguistics, and political science developed partly out of questions previously housed within philosophy.</p>
<p>Modern empirical sciences specialize in observation, measurement, experiment, and model-based explanation. Philosophy often investigates the concepts and standards presupposed by those practices:</p>
<ul>
<li>What counts as a cause rather than a correlation?</li>
<li>What does a model represent?</li>
<li>When does evidence confirm a theory?</li>
<li>What makes an explanation adequate?</li>
<li>Are scientific categories discovered in nature or constructed for a purpose?</li>
<li>Which risks are ethically acceptable in research and application?</li>
</ul>
<p>This division is not absolute. Philosophical claims about mind, society, or nature must answer to relevant evidence. Scientific practice also contains conceptual and normative choices that data alone cannot settle.</p>
<p>The relationship is better understood as reciprocal constraint:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">empirical inquiry supplies evidence about the world
</span></span><span class="line"><span class="cl">→ philosophy examines concepts, inference, explanation, and value
</span></span><span class="line"><span class="cl">→ revised concepts reshape questions and research design
</span></span><span class="line"><span class="cl">→ new evidence constrains philosophical theories
</span></span></code></pre></div><p>Philosophy cannot determine the efficacy of a drug from the armchair. An experiment cannot by itself decide what level of risk a patient ought to accept. A responsible answer may require both.</p>
<h2 id="philosophy-is-more-than-a-personal-outlook">Philosophy Is More Than a Personal Outlook</h2>
<p>In ordinary English, “my philosophy” often means a practical motto or general attitude: work hard, avoid regret, treat people fairly. Such principles can become philosophical material, but stating them does not yet amount to philosophical inquiry.</p>
<p>A principle becomes philosophically assessable when its meaning, reasons, scope, and consequences are made explicit.</p>
<p>The same distinction applies to a worldview. A worldview is an organized picture of reality, humanity, and value. Philosophy can construct, compare, and criticize worldviews. A worldview can also be inherited or asserted without sustained examination.</p>
<p>Nor is philosophy equivalent to having opinions. A philosophical position incurs obligations:</p>
<ul>
<li>define its central terms;</li>
<li>give reasons that others can examine;</li>
<li>address relevant objections and alternatives;</li>
<li>remain consistent across comparable cases;</li>
<li>respect empirical constraints;</li>
<li>state the conditions under which it should be revised.</li>
</ul>
<p>Disagreement remains possible after all of this. Public accountability to reasons is what distinguishes inquiry from mere assertion.</p>
<h2 id="does-philosophy-make-progress">Does Philosophy Make Progress?</h2>
<p>Philosophical disputes can persist for centuries, which makes progress difficult to measure by consensus alone. Yet lack of final agreement does not imply that inquiry has stood still.</p>
<p>Philosophical progress can occur when:</p>
<ol>
<li>one vague question is divided into several answerable questions;</li>
<li>a hidden premise becomes explicit;</li>
<li>a proposed theory is eliminated by contradiction or counterexample;</li>
<li>formal work establishes a result about an argument or system;</li>
<li>empirical findings rule out a philosophical assumption;</li>
<li>neglected experiences expose limits in an established framework;</li>
<li>competing positions become clear enough that their real costs can be compared;</li>
<li>a concept developed in philosophy enables work elsewhere.</li>
</ol>
<p>Philosophy does not always accumulate answers in the way an experimental science does. It often changes the space of possible answers. We may still disagree about free will while understanding far better the differences among causal determination, coercion, reasons-responsiveness, and moral responsibility.</p>
<h2 id="where-philosophy-fails">Where Philosophy Fails</h2>
<p>Philosophical sophistication does not guarantee truth. Several recurring failures deserve attention.</p>
<h3 id="verbal-disputes">Verbal disputes</h3>
<p>People can appear to disagree about reality while using a word in different ways. A definition can also hide a substantive dispute rather than resolve it.</p>
<h3 id="unreliable-intuitions">Unreliable intuitions</h3>
<p>Judgments about hypothetical cases can vary with framing, culture, expertise, and background assumptions. Intuition is evidence to interpret, not an infallible faculty.</p>
<h3 id="abstraction-without-consequences">Abstraction without consequences</h3>
<p>A theory may be elegant while ignoring institutions, history, embodiment, unequal power, or actual human capacities. Abstraction is useful when it isolates a relevant structure. It becomes misleading when omitted conditions determine the result.</p>
<h3 id="argument-without-evidence">Argument without evidence</h3>
<p>Claims about how people think, how societies function, or how nature behaves require empirical support. Logical possibility does not establish actual existence.</p>
<h3 id="a-canon-mistaken-for-the-field">A canon mistaken for the field</h3>
<p>Greek, European, Chinese, Indian, Islamic, African, Indigenous, and other intellectual traditions do not share one vocabulary, textual form, or organization of questions. Comparative philosophy requires enough care to avoid forcing every tradition into categories inherited from only one of them.</p>
<h2 id="a-practical-protocol-for-philosophical-analysis">A Practical Protocol for Philosophical Analysis</h2>
<p>When a concept or controversy becomes confused, ten questions provide a workable starting point:</p>
<ol>
<li><strong>Object:</strong> What kind of thing is under discussion—an entity, event, process, capacity, relation, rule, or evaluation?</li>
<li><strong>Meaning:</strong> What do the central terms mean in this argument?</li>
<li><strong>Level:</strong> Is the claim descriptive, causal, conceptual, interpretive, evaluative, or prescriptive?</li>
<li><strong>Thesis:</strong> What exactly is being asserted?</li>
<li><strong>Reasons:</strong> Which premises or evidence are supposed to support it?</li>
<li><strong>Assumptions:</strong> What view of reality, knowledge, persons, or value has been left unstated?</li>
<li><strong>Alternatives:</strong> Which competing explanations or frameworks remain possible?</li>
<li><strong>Counterexample:</strong> Where would the rule or definition fail?</li>
<li><strong>Consequences:</strong> What follows in practice if this account is adopted?</li>
<li><strong>Revision:</strong> What evidence or argument would justify changing the position?</li>
</ol>
<p>This protocol does not turn every problem into philosophy. It identifies the philosophical work inside a problem: clarifying what is claimed, why it should be accepted, and where its authority ends.</p>
<p>Philosophy is therefore neither a vault of eternal sayings nor a technique for winning arguments. It is a disciplined attempt to make thought answerable for its concepts, reasons, and consequences.</p>
<blockquote>
<p><strong>To think philosophically is to know what one is claiming, why one accepts it, and where it may fail.</strong></p>
</blockquote>
<h2 id="sources">Sources</h2>
<ul>
<li><a href="https://www.kings.cam.ac.uk/subjects/philosophy">King&rsquo;s College Cambridge: Philosophy</a></li>
<li><a href="https://plato.stanford.edu/entries/analysis/">Stanford Encyclopedia of Philosophy: Analysis</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://plato.stanford.edu/entries/value-theory/">Stanford Encyclopedia of Philosophy: Value Theory</a></li>
<li><a href="https://plato.stanford.edu/entries/naturalism/">Stanford Encyclopedia of Philosophy: Naturalism</a></li>
<li><a href="https://plato.stanford.edu/entries/experimental-philosophy/">Stanford Encyclopedia of Philosophy: Experimental Philosophy</a></li>
</ul>
]]></content:encoded></item><item><title>Needs: Conditions, Motivation, and Market Demand</title><link>https://moonment.net/en/notes/what-is-a-need/</link><pubDate>Wed, 16 Sep 2026 11:46:17 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-a-need/</guid><description>A need links a person, a situation, an outcome, and a required condition. This essay separates needs from wants, demand, intentions, requirements, and products, and places Maslow's hierarchy in context.</description><content:encoded><![CDATA[<p>English gives us several words where business discussions often use only one: <em>need</em>, <em>want</em>, <em>desire</em>, <em>demand</em>, and <em>requirement</em>. They overlap, but they do different work.</p>
<p>A need is not simply a strong preference. Nor is it whatever a customer will pay for.</p>
<blockquote>
<p><strong>A need is a condition, capability, resource, or change that a subject requires in a particular situation in order to achieve an outcome, maintain a function, avoid harm, or realize an important value.</strong></p>
</blockquote>
<p>A complete need claim therefore has a relational form:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">a subject
</span></span><span class="line"><span class="cl">in a context
</span></span><span class="line"><span class="cl">seeking or avoiding an outcome
</span></span><span class="line"><span class="cl">requires a condition
</span></span></code></pre></div><p>A presenter working under a fixed time limit needs to know how much time remains in order to finish on schedule. Knowing the remaining time is the need. A watch, a countdown display, a phone app, and a signal from a moderator are possible solutions.</p>
<p><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso%3A9241%3A-115%3Aed-1%3Av1%3Aen">ISO 9241-115:2024</a> defines a user need in the same relational way: a prerequisite identified as necessary for a user to achieve an intended outcome in a specific context of use. It explicitly states that the need is independent of any proposed solution.</p>
<p>“The user needs an app” usually arrives too late in the analysis. It has already selected a means.</p>
<h2 id="need-want-demand-intention-and-requirement">Need, Want, Demand, Intention, and Requirement</h2>
<p>The distinctions become clearer when each term is made to answer one question.</p>
<table>
  <thead>
      <tr>
          <th>Concept</th>
          <th>Central question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Need</td>
          <td>What condition is required for an outcome, function, welfare, or avoidance of harm?</td>
      </tr>
      <tr>
          <td>Want or desire</td>
          <td>What object or state does the person wish to obtain?</td>
      </tr>
      <tr>
          <td>Goal</td>
          <td>What outcome is the person trying to reach?</td>
      </tr>
      <tr>
          <td>Intention</td>
          <td>What action is the person prepared or committed to take?</td>
      </tr>
      <tr>
          <td>Demand</td>
          <td>What will buyers be willing and able to purchase under specified economic conditions?</td>
      </tr>
      <tr>
          <td>Requirement</td>
          <td>What precise condition must a proposed system or service satisfy?</td>
      </tr>
  </tbody>
</table>
<p>A person may need medical care without wanting it. Someone may intensely desire something harmful. A household may want a product but lack the income to create effective market demand. A team may write a precise requirement that addresses the wrong need.</p>
<p><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso-iec-ieee%3A29148%3Aed-2%3Av1%3Aen">ISO/IEC/IEEE 29148:2018</a> places requirements in systems and software engineering. A requirement expresses a need together with associated constraints and conditions so that it can guide design and verification.</p>
<p>The transitions are possible, not automatic:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">need → recognized problem → goal → intention → action
</span></span><span class="line"><span class="cl">need → solution hypothesis → requirement → design → product
</span></span><span class="line"><span class="cl">want + willingness and ability to pay → market demand
</span></span></code></pre></div><p>At every arrow, interpretation, resources, institutions, and alternatives can change what happens next.</p>
<h2 id="needs-are-not-only-felt-deficiencies">Needs Are Not Only Felt Deficiencies</h2>
<p>The language of a “gap” is useful. A person notices a difference between the present condition and a desired one. But not every need begins with dissatisfaction.</p>
<p>Some needs concern restoration: food when hungry, medical care when ill. Others concern maintenance: sleep, nutrition, backups, and routine safety measures preserve a condition that has not yet failed. Still others concern prevention: insurance, redundancy, and protective equipment respond to possible future harm.</p>
<p>This produces three broad forms:</p>
<ol>
<li>restore an impaired condition;</li>
<li>maintain a valuable condition;</li>
<li>prevent a credible loss or harm.</li>
</ol>
<p>A need may also exist before the person can describe it. Children, patients, and people facing inaccessible systems may be unable to articulate important conditions. Yet experts can also misuse the language of “real needs” to impose their own values.</p>
<p>Good need judgments therefore combine lived experience, contextual evidence, relevant expertise, and observable consequences. No single party has automatic access to the whole answer.</p>
<h2 id="maslows-five-sets-of-basic-needs">Maslow&rsquo;s Five Sets of Basic Needs</h2>
<p>Abraham Maslow&rsquo;s hierarchy remains the best-known account of human needs in popular psychology and management. In his 1943 paper, “A Theory of Human Motivation,” Maslow proposed at least five sets of basic needs arranged in a hierarchy of relative prepotency.</p>
<table>
  <thead>
      <tr>
          <th>Need set</th>
          <th>Typical concerns</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Physiological</td>
          <td>Food, water, sleep, temperature regulation, and bodily functioning</td>
      </tr>
      <tr>
          <td>Safety</td>
          <td>Protection, stability, order, and freedom from threat</td>
      </tr>
      <tr>
          <td>Love and belonging</td>
          <td>Affection, friendship, family, intimacy, and group membership</td>
      </tr>
      <tr>
          <td>Esteem</td>
          <td>Self-respect, competence, achievement, recognition, and status</td>
      </tr>
      <tr>
          <td>Self-actualization</td>
          <td>Developing and expressing what one is capable of becoming</td>
      </tr>
  </tbody>
</table>
<p>The important phrase is <em>relative prepotency</em>. Maslow did not require one level to be completely satisfied before another could appear. An urgently frustrated need tends to dominate attention and organize behavior. Once it is sufficiently satisfied, other motives can become more prominent.</p>
<p>His original account also allowed partial satisfaction, simultaneous motives, exceptions, and reversals. A person may sacrifice safety for love, recognition, moral commitment, or creative work. Treating the theory as a universal sequence of five locked stages is more rigid than Maslow&rsquo;s own formulation.</p>
<p>The familiar pyramid was not drawn by Maslow. Historical research by Bridgman, Cummings, and Ballard traces the pyramid to later management teaching and visual simplification. The diagram made the theory memorable, but it also encouraged the idea that people must climb one level at a time. <a href="https://journals.aom.org/doi/full/10.5465/amle.2017.0351">Who Built Maslow&rsquo;s Pyramid?</a></p>
<p>Maslow remains useful because he refused to explain motivation only through bodily drives or financial incentives. Belonging, dignity, growth, and the development of human capacities matter. But the hierarchy is not a complete product-research taxonomy, and evidence does not support treating its exact order as a universal law across persons and cultures.</p>
<h2 id="other-ways-to-classify-needs">Other Ways to Classify Needs</h2>
<p>Needs can be grouped for different purposes.</p>
<ul>
<li><strong>Bodily maintenance:</strong> nutrition, rest, movement, health, and protection.</li>
<li><strong>Safety and continuity:</strong> physical security, income stability, data protection, and predictability.</li>
<li><strong>Task and capability:</strong> conditions required to work, learn, communicate, care, create, or manage.</li>
<li><strong>Information and understanding:</strong> facts, explanations, orientation, and reduced uncertainty.</li>
<li><strong>Agency and control:</strong> choice, correction, manageable effort, and the ability to exit.</li>
<li><strong>Relationship and belonging:</strong> companionship, cooperation, intimacy, and social participation.</li>
<li><strong>Identity and recognition:</strong> dignity, status, expression, and acknowledgment by others.</li>
<li><strong>Experience and meaning:</strong> pleasure, beauty, curiosity, commitment, and a coherent sense of what matters.</li>
</ul>
<p>Self-determination theory offers another influential account. It treats autonomy, competence, and relatedness as basic psychological needs whose satisfaction supports development and well-being. This is an empirical theory with specific criteria, not proof that all human needs have been reduced to three. <a href="https://selfdeterminationtheory.org/topics/application-basic-psychological-needs/">Basic Psychological Needs</a></p>
<p>These frameworks answer different questions. Maslow describes a proposed motivational priority. Self-determination theory studies psychological nutriments associated with functioning and well-being. Product research identifies conditions required in a particular context. One list should not silently replace the others.</p>
<h2 id="clothing-food-housing-and-mobility-are-domains">Clothing, Food, Housing, and Mobility Are Domains</h2>
<p>Everyday categories such as clothing, food, housing, and mobility describe domains of life. They are not a complete taxonomy of needs.</p>
<p>Food can answer hunger, nutrition, safety, convenience, pleasure, ritual, hospitality, and identity. Housing can provide shelter, privacy, stability, location, family space, status, or an investment position. Mobility can involve distance, punctuality, safety, autonomy, comfort, and access to work or care.</p>
<p>The same domain contains many needs, and the same need crosses many domains. Safety can involve food, housing, transportation, finance, health, or software. Belonging can be served through a home, a meal, a club, a communication service, or no commercial product at all.</p>
<h2 id="are-needs-objective-or-subjective">Are Needs Objective or Subjective?</h2>
<p>Some needs have a strong physiological and causal basis. Severe dehydration harms the body. Others depend on goals and institutions. A person needs internet access to join an online meeting because a social organization has made online participation a condition of work.</p>
<p>A need claim can be represented as:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">subject A
</span></span><span class="line"><span class="cl">for purpose G
</span></span><span class="line"><span class="cl">in context C
</span></span><span class="line"><span class="cl">requires condition X
</span></span></code></pre></div><p>That structure exposes two different judgments:</p>
<ol>
<li><strong>Causal judgment:</strong> What happens without X?</li>
<li><strong>Normative judgment:</strong> Is G worth achieving, or is the threatened outcome worth avoiding?</li>
</ol>
<p>The fact that X is necessary for a goal does not make the goal legitimate. A harmful plan may require effective tools. Need claims acquire moral and political force only when we also consider harm, rights, alternatives, responsibility, and the distribution of cost. <a href="https://plato.stanford.edu/entries/needs/">Stanford Encyclopedia of Philosophy: Needs</a></p>
<h2 id="do-companies-discover-needs-or-create-them">Do Companies Discover Needs or Create Them?</h2>
<p>Several different mechanisms are hidden inside the phrase “create demand.” A company can:</p>
<ul>
<li>discover a recurring difficulty that people have not named;</li>
<li>create a capability that makes a new outcome possible;</li>
<li>shape a desire around a particular object or identity;</li>
<li>turn interest into effective demand through price, access, credit, and trust;</li>
<li>alter social expectations until a formerly optional capability becomes practically necessary;</li>
<li>create dependency through lock-in, network effects, or the removal of alternatives.</li>
</ul>
<p>Smartphones did not invent communication or belonging. They changed how those needs could be met and changed expectations about availability. As work and public services reorganized around smartphones, access to one could become a practical condition of participation.</p>
<p>Discovery, innovation, persuasion, market formation, and dependency creation have different ethical consequences. They should not be collapsed into one triumphant claim that a company “created a need.”</p>
<h2 id="how-can-a-need-be-investigated">How Can a Need Be Investigated?</h2>
<p>A company cannot observe a need directly. It develops a need hypothesis from evidence.</p>
<p>Useful questions include:</p>
<ol>
<li>Who is in which situation?</li>
<li>What outcome matters, or what harm must be avoided?</li>
<li>What condition appears to be missing?</li>
<li>What workaround is used now?</li>
<li>How frequent and serious is the problem?</li>
<li>What time, money, risk, and opportunity cost are already being spent?</li>
<li>Are the user, buyer, payer, beneficiary, and affected party the same?</li>
<li>After a proposed solution is used, does the original situation improve?</li>
</ol>
<p>Interviews show how people interpret their experience. Observation shows how activity actually unfolds. Behavioral data show what happened but rarely settle why. Experiments test candidate explanations. Complaints, misuse, exclusion, and abandonment expose mismatches that successful transactions can hide.</p>
<p>Interest, purchase, use, satisfaction, and outcome are separate forms of evidence.</p>
<h2 id="conclusion">Conclusion</h2>
<p>A need is not a feature request, a product category, a purchase, or everything a person says they want.</p>
<blockquote>
<p><strong>It is a relation in which a subject, in a particular context and for an outcome that matters, requires a condition.</strong></p>
</blockquote>
<p>Maslow&rsquo;s hierarchy is an important historical model of motivation, especially because it brought belonging, esteem, and self-actualization into the account. It is most useful as a prompt for inquiry, not as a rigid pyramid or a universal product template.</p>
<p>The practical test remains specific: Who needs which condition, in what context, for which outcome? What evidence makes the condition necessary? When it is provided, does the person&rsquo;s situation actually improve?</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://psychclassics.yorku.ca/Maslow/motivation">A. H. Maslow — A Theory of Human Motivation, 1943</a></li>
<li><a href="https://maslow.com/contents/motivationandpersonality1954.htm">Abraham Maslow — Motivation and Personality, 1954</a></li>
<li><a href="https://journals.aom.org/doi/full/10.5465/amle.2017.0351">Bridgman, Cummings, and Ballard — Who Built Maslow&rsquo;s Pyramid?</a></li>
<li><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso%3A9241%3A-115%3Aed-1%3Av1%3Aen">ISO 9241-115:2024 — User needs and user requirements</a></li>
<li><a href="https://www.iso.org/obp/ui?_escaped_fragment_=iso%3Astd%3Aiso-iec-ieee%3A29148%3Aed-2%3Av1%3Aen">ISO/IEC/IEEE 29148:2018 — Requirements engineering</a></li>
<li><a href="https://plato.stanford.edu/entries/needs/">Stanford Encyclopedia of Philosophy — Needs in Moral and Political Philosophy</a></li>
<li><a href="https://selfdeterminationtheory.org/topics/application-basic-psychological-needs/">Self-Determination Theory — Basic Psychological Needs</a></li>
</ul>
]]></content:encoded></item><item><title>Philosophy, Cognition, and Psychology: Concepts, Minds, and Behavior</title><link>https://moonment.net/en/notes/philosophy-cognition-and-psychology/</link><pubDate>Sat, 12 Sep 2026 22:03:10 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/philosophy-cognition-and-psychology/</guid><description>Philosophy examines concepts and standards, cognition names the processes that make understanding possible, and psychology studies those processes in living beings.</description><content:encoded><![CDATA[<p>Philosophy, cognition, and psychology are often discussed together because each concerns mind, knowledge, and action. Yet they are not three competing theories of the same thing.</p>
<ul>
<li><strong>Philosophy</strong> is a discipline and family of methods for examining concepts, reasons, reality, knowledge, and value.</li>
<li><strong>Cognition</strong> names a family of capacities and processes through which information becomes perception, memory, judgment, and action.</li>
<li><strong>Psychology</strong> is an empirical science and applied field that studies mind and behavior in organisms and social environments.</li>
</ul>
<p>The distinction is one of logical level. Philosophy asks what our claims mean and what would justify them. Cognition identifies what a mind does. Psychology investigates how those processes actually occur, vary, and change.</p>
<h2 id="three-different-kinds-of-question">Three different kinds of question</h2>
<p>Consider a person who changes their belief after reading a report.</p>
<p>Philosophy might ask:</p>
<ul>
<li>What counts as evidence?</li>
<li>When is belief revision rational?</li>
<li>What is the difference between believing truly and knowing?</li>
</ul>
<p>A theory of cognition might ask:</p>
<ul>
<li>How was attention allocated?</li>
<li>How was the report represented and integrated with memory?</li>
<li>Which inference produced the new judgment?</li>
</ul>
<p>Psychology might ask:</p>
<ul>
<li>How do people actually revise beliefs under controlled conditions?</li>
<li>Which biases, emotions, incentives, or social cues affect the result?</li>
<li>How can those effects be measured and replicated?</li>
</ul>
<p>These questions interact, but an answer at one level does not automatically answer the others.</p>
<h2 id="philosophy-examines-frameworks-and-standards">Philosophy examines frameworks and standards</h2>
<p>The English word <em>philosophy</em> comes through Greek <em>philosophia</em>, commonly associated with the love or pursuit of wisdom. Contemporary philosophy is less a storehouse of wise sayings than a disciplined practice of asking what follows from a claim, which assumptions it requires, and where its limits lie.</p>
<p>Its central domains include:</p>
<table>
  <thead>
      <tr>
          <th>Domain</th>
          <th>Typical question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Metaphysics</td>
          <td>What exists, and what kinds of things are real?</td>
      </tr>
      <tr>
          <td>Epistemology</td>
          <td>What is knowledge, evidence, or justified belief?</td>
      </tr>
      <tr>
          <td>Ethics</td>
          <td>What should agents do, and what makes action right or wrong?</td>
      </tr>
      <tr>
          <td>Logic</td>
          <td>Which forms of inference preserve validity?</td>
      </tr>
      <tr>
          <td>Philosophy of mind</td>
          <td>What are consciousness, thought, agency, and personhood?</td>
      </tr>
      <tr>
          <td>Philosophy of science</td>
          <td>How do observation, models, explanation, and confirmation work?</td>
      </tr>
  </tbody>
</table>
<p>Philosophy often begins where adding one more measurement would not settle the issue. Data can show that a policy changed behavior. They cannot by themselves establish whether the policy was just. A brain scan can identify activity correlated with pain. It cannot by itself define what pain is or determine how another person’s suffering should count morally.</p>
<p>This does not place philosophy outside evidence. Philosophical arguments depend on facts, conceptual distinctions, logical relations, counterexamples, and sometimes findings from science. Its distinctive role is to examine the framework in which evidence becomes relevant.</p>
<h2 id="philosophy-works-by-making-commitments-visible">Philosophy works by making commitments visible</h2>
<p>Several methods recur across philosophical traditions.</p>
<h3 id="conceptual-distinction">Conceptual distinction</h3>
<p>Terms that appear interchangeable may play different roles. Belief is not knowledge; intention is not desire; causing harm is not always intending harm. A distinction is useful when it prevents an argument from shifting silently between meanings.</p>
<h3 id="argument">Argument</h3>
<p>An argument connects premises to a conclusion. Evaluation requires at least two questions: are the premises defensible, and would the conclusion follow if they were true?</p>
<h3 id="counterexample">Counterexample</h3>
<p>A proposed definition may fit ordinary cases and fail at the boundary. A counterexample shows that the definition is too broad, too narrow, or built on an irrelevant feature.</p>
<h3 id="reflection-on-norms">Reflection on norms</h3>
<p>Reasoning, inquiry, and action are guided by standards: consistency, evidence, fairness, responsibility, explanatory power. Philosophy asks which standards apply and why.</p>
<p>These methods rarely deliver the kind of closure expected from a single experiment. Their purpose is to improve the question, expose hidden commitments, and establish what a defensible answer would need to show.</p>
<h2 id="cognition-is-what-a-mind-does-with-information">Cognition is what a mind does with information</h2>
<p>In psychology and cognitive science, <strong>cognition</strong> includes processes such as perception, attention, memory, learning, language, reasoning, imagination, planning, and decision-making. <a href="https://dictionary.apa.org/cognition">APA Dictionary of Psychology: cognition</a></p>
<p>Cognition is not itself a discipline in the same sense as philosophy or psychology. It is an object of study shared by psychology, neuroscience, linguistics, computer science, anthropology, and philosophy. Cognitive science emerged as an interdisciplinary attempt to connect these perspectives. <a href="https://plato.stanford.edu/entries/cognitive-science/">Stanford Encyclopedia of Philosophy: Cognitive Science</a></p>
<p>A useful process sketch is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">sensory and linguistic input
</span></span><span class="line"><span class="cl">→ selective attention
</span></span><span class="line"><span class="cl">→ representation and categorization
</span></span><span class="line"><span class="cl">→ retrieval from memory
</span></span><span class="line"><span class="cl">→ inference and prediction
</span></span><span class="line"><span class="cl">→ judgment, planning, and action
</span></span><span class="line"><span class="cl">→ feedback and learning
</span></span></code></pre></div><p>The arrows do not imply a single rigid pipeline. Perception is influenced by expectation; memory is reconstructed; action changes what becomes available to perceive. Cognition is better understood as a set of interacting processes than as a container filled with information.</p>
<h2 id="explanations-of-cognition-operate-at-several-levels">Explanations of cognition operate at several levels</h2>
<p>The same cognitive achievement can be described in different ways.</p>
<h3 id="functional-level">Functional level</h3>
<p>What problem is the system solving? A navigation system may estimate location, select a route, detect error, and revise a plan.</p>
<h3 id="representational-and-process-level">Representational and process level</h3>
<p>What information is represented, and which operations transform it? Does the system use rules, probabilities, learned associations, predictive models, or some combination?</p>
<h3 id="implementational-level">Implementational level</h3>
<p>How are those processes physically realized? In humans this includes neural activity, sensory systems, bodily regulation, and interaction with tools and environments.</p>
<p>Explanations at these levels can complement one another. A neural correlation does not automatically explain the function being performed. A computational description does not establish that the brain literally implements the proposed representation in the specified way.</p>
<h2 id="competing-theories-emphasize-different-parts-of-cognition">Competing theories emphasize different parts of cognition</h2>
<p>Classical computational approaches describe cognition in terms of representations and rule-governed operations. Connectionist approaches emphasize distributed patterns and learning through changing connection weights. Bayesian approaches model perception and judgment as inference under uncertainty. Predictive-processing theories emphasize the interaction between expectation and error signals.</p>
<p>Embodied and enactive approaches challenge the idea that cognition can be understood entirely as internal symbol manipulation. They emphasize the body’s capacities, active engagement with the environment, and the way tasks are distributed across brain, body, tools, and social setting. <a href="https://plato.stanford.edu/entries/embodied-cognition/">Stanford Encyclopedia of Philosophy: Embodied Cognition</a></p>
<p>These approaches are not always direct rivals. One may explain a task at a different level or scale from another. The important questions are what each theory predicts, which mechanisms it specifies, and which evidence could distinguish it from alternatives.</p>
<h2 id="psychology-turns-questions-about-mind-into-empirical-research">Psychology turns questions about mind into empirical research</h2>
<p>Psychology is commonly defined as the study of mind and behavior. <a href="https://dictionary.apa.org/psychology">APA Dictionary of Psychology: psychology</a></p>
<p>The pairing matters. Behavior provides publicly observable evidence, while mental concepts are needed to explain perception, pain, memory, desire, and thought. A psychology limited to introspection would struggle with verification and replication. A psychology limited to visible movement would omit much of what behavior expresses.</p>
<p>Psychologists therefore use multiple methods:</p>
<table>
  <thead>
      <tr>
          <th>Method</th>
          <th>What it can show</th>
          <th>Characteristic limit</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Controlled experiment</td>
          <td>Effects of manipulating a variable</td>
          <td>Artificial settings may limit generalization</td>
      </tr>
      <tr>
          <td>Observation</td>
          <td>Behavior in more natural settings</td>
          <td>Causal inference is difficult</td>
      </tr>
      <tr>
          <td>Survey or interview</td>
          <td>Reported experience, attitude, or history</td>
          <td>Recall and presentation can distort reports</td>
      </tr>
      <tr>
          <td>Psychometrics</td>
          <td>Patterns in measured constructs</td>
          <td>A score is not identical to the construct</td>
      </tr>
      <tr>
          <td>Longitudinal study</td>
          <td>Change across time</td>
          <td>Attrition and confounding remain problems</td>
      </tr>
      <tr>
          <td>Neuroscientific measurement</td>
          <td>Relations between brain, body, and task</td>
          <td>Correlation does not by itself establish mechanism</td>
      </tr>
      <tr>
          <td>Case study</td>
          <td>Detailed structure of an unusual case</td>
          <td>Generalization is limited</td>
      </tr>
  </tbody>
</table>
<p>No method provides a view from nowhere. Strong conclusions usually depend on converging evidence, transparent measurement, replication, and clarity about the population to which a finding applies.</p>
<h2 id="psychological-constructs-connect-theory-with-measurement">Psychological constructs connect theory with measurement</h2>
<p>Many psychological objects cannot be observed directly. Intelligence, working memory, anxiety, attachment, and motivation are <strong>constructs</strong>: theoretical concepts linked to observable indicators through a measurement model.</p>
<p>This creates a chain:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">construct
</span></span><span class="line"><span class="cl">→ operational definition
</span></span><span class="line"><span class="cl">→ task, response, or physiological indicator
</span></span><span class="line"><span class="cl">→ measurement
</span></span><span class="line"><span class="cl">→ statistical result
</span></span><span class="line"><span class="cl">→ limited inference about the construct
</span></span></code></pre></div><p>Each arrow can fail. A task may measure several abilities at once. A questionnaire may behave differently across cultures. A statistically reliable difference may be too small to matter in practice. A brain measure may correlate with a task without uniquely identifying the proposed mental process.</p>
<p>Philosophy helps clarify the construct and the logic of inference. Cognitive theory proposes processes that could produce performance. Psychology designs studies that test those proposals.</p>
<h2 id="description-and-evaluation-must-be-connected-without-being-collapsed">Description and evaluation must be connected without being collapsed</h2>
<p>Psychological research can describe how people form moral judgments, respond to incentives, or experience distress. Such findings matter for ethics and policy. They do not mechanically generate a conclusion about what ought to be done.</p>
<p>The reverse error is equally serious. A philosophical ideal of rationality cannot simply replace evidence about how limited human beings think and act. A usable account of agency must take attention, memory, emotion, development, embodiment, and social pressure seriously.</p>
<p>The relationship can be expressed as mutual constraint:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Philosophy clarifies the concepts and standards.
</span></span><span class="line"><span class="cl">Cognitive theory proposes information-processing functions and mechanisms.
</span></span><span class="line"><span class="cl">Psychology tests how those processes operate in actual organisms.
</span></span><span class="line"><span class="cl">Empirical findings force conceptual and normative theories to become more realistic.
</span></span></code></pre></div><h2 id="one-phenomenon-three-complementary-investigations">One phenomenon, three complementary investigations</h2>
<p>Take self-control.</p>
<p>Philosophy asks what it means to act freely, whether weakness of will is irrational, and which desires count as reasons. Cognition research asks how goals are represented, how attention and inhibition compete, and how future outcomes are valued. Psychology studies how sleep, stress, habits, environment, development, and social context affect performance.</p>
<p>None of these perspectives can absorb the others. A complete account needs conceptual clarity, a theory of process, and empirical evidence.</p>
<h2 id="a-practical-framework-for-inquiry">A practical framework for inquiry</h2>
<p>When confronting a claim about mind or behavior, move through seven questions:</p>
<ol>
<li><strong>Concept:</strong> What exactly do the central terms mean?</li>
<li><strong>Ontology:</strong> What kind of thing is being claimed to exist—a process, capacity, experience, trait, or social category?</li>
<li><strong>Norm:</strong> Is the claim descriptive, explanatory, evaluative, or prescriptive?</li>
<li><strong>Mechanism:</strong> Which process could produce the phenomenon?</li>
<li><strong>Measurement:</strong> What observable evidence represents that process or construct?</li>
<li><strong>Inference:</strong> What conclusion does the evidence support, and which alternatives remain?</li>
<li><strong>Boundary:</strong> For whom, when, and under which conditions should the conclusion hold?</li>
</ol>
<p>This framework shows why the three concepts belong together without turning them into synonyms.</p>
<blockquote>
<p><strong>Philosophy examines meaning, reasons, and standards. Cognition names the processes that make understanding and action possible. Psychology studies those processes and behaviors in living beings through empirical methods.</strong></p>
</blockquote>
<h2 id="sources">Sources</h2>
<ul>
<li><a href="https://dictionary.apa.org/cognition">APA Dictionary of Psychology: cognition</a></li>
<li><a href="https://dictionary.apa.org/psychology">APA Dictionary of Psychology: psychology</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>
<li><a href="https://plato.stanford.edu/entries/knowledge-analysis/">Stanford Encyclopedia of Philosophy: The Analysis of Knowledge</a></li>
<li><a href="https://plato.stanford.edu/entries/philosophy-science/">Stanford Encyclopedia of Philosophy: Philosophy of Science</a></li>
</ul>
]]></content:encoded></item></channel></rss>