<?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>Logic on Moonment</title><link>https://moonment.net/en/tags/logic/</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/logic/index.xml" rel="self" type="application/rss+xml"/><item><title>Conceptual and Logical Thinking: From Classification to Action</title><link>https://moonment.net/en/notes/conceptual-and-logical-thinking/</link><pubDate>Tue, 29 Sep 2026 12:59:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/conceptual-and-logical-thinking/</guid><description>Conceptual thinking organizes classifications and logical thinking constrains inference. This essay maps perception, causation, probability, creativity, criticism, systems, strategy, decision, and metacognition.</description><content:encoded><![CDATA[<p>Human thinking includes recognition, classification, memory, imagination, inference, causal explanation, uncertainty management, evaluation, planning, and action. No single faculty exhausts that work.</p>
<p>Terms such as <em>conceptual thinking</em>, <em>logical thinking</em>, <em>critical thinking</em>, <em>systems thinking</em>, and <em>creative thinking</em> highlight different functions. They do not name isolated mental organs, and they do not form one perfectly exclusive taxonomy.</p>
<blockquote>
<p><strong>A useful classification of thinking should tell us which cognitive problem each mode addresses, how it interacts with the others, and which errors it can correct.</strong></p>
</blockquote>
<p>The focus here is how conceptual and logical thinking function alongside other modes of inquiry. <a href="/en/notes/what-is-a-concept/">Concepts</a> and <a href="/en/notes/what-is-logic/">Logic</a> examine those subjects in their own right; this essay maps their roles in a broader activity rather than proposing a new unified discipline.</p>
<h2 id="conceptual-thinking-organizes-experience">Conceptual thinking organizes experience</h2>
<p>Conceptual thinking is the activity of forming, applying, comparing, and revising concepts so that experience can be classified and understood.</p>
<p>The phrase does not name a single discipline with one fixed theory. In philosophy, psychology, and education it overlaps with concept formation, categorization, abstraction, and conceptual reasoning. Used functionally, it includes at least six operations.</p>
<h3 id="distinction">Distinction</h3>
<p>Thought first separates what should not be collapsed: need from desire, intention from purpose, product from commodity, fact from opinion, and rule from principle.</p>
<h3 id="abstraction">Abstraction</h3>
<p>Abstraction ignores some differences in order to preserve a structure relevant to the inquiry. Across many transactions, for example, one may isolate agents, objects, terms, and exchange.</p>
<p>Abstraction is selective rather than simply reductive. Which details can be ignored depends on the question.</p>
<h3 id="classification">Classification</h3>
<p>Classification places a new case under a category or motivates a new category. A paid online service may be a product, a commodity, a service, or an object with several roles at once.</p>
<h3 id="boundary-work">Boundary work</h3>
<p>Conceptual thinking examines central cases, exclusions, and difficult border cases. A category that classifies only familiar examples has not yet demonstrated general usefulness.</p>
<h3 id="relation">Relation</h3>
<p>Concepts become informative when connected:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">situation → need → goal → intention → action
</span></span><span class="line"><span class="cl">capability → product → commodity → exchange → outcome
</span></span><span class="line"><span class="cl">evidence → judgment → inference → decision → feedback
</span></span></code></pre></div><h3 id="revision">Revision</h3>
<p>Counterexamples, new evidence, and new practices can force a concept to change. A category protected from every correction becomes a label for defending an existing view rather than a tool for inquiry.</p>
<h2 id="logical-thinking-organizes-commitments">Logical thinking organizes commitments</h2>
<p>Logical thinking turns judgments into arguments and examines whether conclusions follow from premises.</p>
<p>It asks:</p>
<ul>
<li>Are the claims mutually consistent?</li>
<li>Which premises does the conclusion require?</li>
<li>Is a step missing?</li>
<li>Does the conclusion exceed the premises?</li>
<li>Is there a counterexample in which the premises hold and the conclusion fails?</li>
<li>Has a key term changed meaning during the argument?</li>
</ul>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Successful products satisfy a need.
</span></span><span class="line"><span class="cl">This product satisfies a need.
</span></span><span class="line"><span class="cl">Therefore this product will succeed.
</span></span></code></pre></div><p>The argument affirms the consequent. Satisfying a need may be necessary for success without being sufficient. Logical analysis exposes the unsupported move.</p>
<h2 id="conceptual-and-logical-thinking-are-not-identical">Conceptual and logical thinking are not identical</h2>
<p>Conceptual thinking asks:</p>
<blockquote>
<p>What are we talking about, and how should it be distinguished and classified?</p>
</blockquote>
<p>Logical thinking asks:</p>
<blockquote>
<p>Given these claims, what follows?</p>
</blockquote>
<p>They interact in a feedback loop:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">experience
</span></span><span class="line"><span class="cl">→ conceptual formation and classification
</span></span><span class="line"><span class="cl">→ judgments
</span></span><span class="line"><span class="cl">→ logical inference
</span></span><span class="line"><span class="cl">→ new judgments
</span></span><span class="line"><span class="cl">→ empirical test
</span></span><span class="line"><span class="cl">→ revision of concepts and premises
</span></span></code></pre></div><p>Without concepts, logic lacks meaningful content to organize. Without logic, conceptual connections can remain arbitrary or contradictory.</p>
<p>Yet conceptual thinking is wider than inference. Creating a new distinction, redrawing a boundary, and redescribing a problem are not merely deductions from fixed premises.</p>
<blockquote>
<p><strong>Conceptual thinking supplies objects, classifications, and meanings for inference. Logical thinking constrains the judgments and transitions built from them.</strong></p>
</blockquote>
<h2 id="conceptual-and-abstract-thinking">Conceptual and abstract thinking</h2>
<p>Abstract thinking extracts general structures from particular cases. Conceptual thinking also includes applying established concepts, comparing them, managing border cases, and revising a conceptual system.</p>
<p>Abstraction is therefore one major operation within conceptual thought. It is not a guarantee of truth. A thinker can abstract the wrong common feature or ignore a difference that later proves causally or morally important.</p>
<p>An abstraction earns its place by supporting successful classification, explanation, inference, or action across new cases.</p>
<h2 id="perception-and-intuition">Perception and intuition</h2>
<p>Perception makes features of a situation available. Intuition often appears as rapid pattern recognition.</p>
<p>An experienced physician may notice an abnormal pattern before articulating it. A designer may immediately sense a hierarchy problem in an interface. Such judgments can result from compressed experience rather than mysterious access to truth.</p>
<p>Intuition is valuable for detecting signals and generating hypotheses. It is also vulnerable to biased samples, affect, and misplaced familiarity, so it needs later checking.</p>
<p>Embodied approaches to cognition further challenge the idea that thinking is only abstract symbol manipulation inside the head. Cognitive activity may depend on bodily capacities, environmental structure, and action.<a href="https://plato.stanford.edu/entries/embodied-cognition/">Stanford Encyclopedia of Philosophy: Embodied Cognition</a></p>
<h2 id="causal-thinking">Causal thinking</h2>
<p>Causal thinking asks what produces or changes an outcome.</p>
<p>It examines mechanisms, temporal order, counterfactual dependence, confounding, selection, and intervention:</p>
<ul>
<li>Why did users abandon checkout?</li>
<li>Would changing price alter conversion?</li>
<li>Would the outcome have occurred without the policy?</li>
<li>Is the observed variable a cause, an effect, a common consequence, or merely a predictor?</li>
</ul>
<p>Logic can test the form of a causal argument. It cannot identify real causes from form alone. Causal claims need evidence and a defensible model of the system.</p>
<h2 id="probabilistic-thinking">Probabilistic thinking</h2>
<p>Probabilistic thinking represents uncertainty. Instead of asking only whether a proposition is true, it asks how strongly current information supports alternative possibilities.</p>
<p>It requires a thinker to:</p>
<ul>
<li>separate possibility, probability, and necessity;</li>
<li>attend to base rates and conditioning information;</li>
<li>update with new evidence;</li>
<li>combine likelihood with consequence;</li>
<li>distinguish one realized outcome from a long-run pattern or model.</li>
</ul>
<p>Logic governs valid transformations within probabilistic reasoning, while probability supplies graded support that deduction alone does not express.</p>
<h2 id="critical-thinking">Critical thinking</h2>
<p>Critical thinking is disciplined evaluation, not habitual opposition. It examines concepts, evidence, sources, inferences, counterexamples, alternative explanations, and the influence of perspective.</p>
<p>It asks whether:</p>
<ul>
<li>key terms are clear;</li>
<li>evidence is relevant and reliable;</li>
<li>a source is credible for the claim at issue;</li>
<li>the inference is valid or adequately supported;</li>
<li>contrary cases have been ignored;</li>
<li>confidence exceeds the evidence;</li>
<li>the thinker would revise the conclusion under specified conditions.</li>
</ul>
<p>Its scope is wider than formal logic because natural-language interpretation, evidential quality, and intellectual self-correction also matter.<a href="https://iep.utm.edu/critical-thinking/">Internet Encyclopedia of Philosophy: Critical Thinking</a></p>
<h2 id="creative-thinking">Creative thinking</h2>
<p>Creative thinking expands the space of candidate concepts, explanations, and actions. It uses association, analogy, recombination, reframing, cross-domain transfer, and counterfactual imagination.</p>
<p>Generation and evaluation perform different work:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">creative thinking produces candidates
</span></span><span class="line"><span class="cl">→ critical thinking tests them
</span></span><span class="line"><span class="cl">→ discovered weaknesses motivate new candidates
</span></span></code></pre></div><p>Generation without evaluation produces many unusable ideas. Evaluation without generation can make inquiry converge before serious alternatives exist.</p>
<h2 id="systems-thinking">Systems thinking</h2>
<p>Systems thinking situates an object within interacting relationships. It attends to:</p>
<ul>
<li>feedback loops;</li>
<li>delays between action and effect;</li>
<li>local optimization and global outcomes;</li>
<li>boundary choices;</li>
<li>adaptation by other parts of the system;</li>
<li>unintended consequences.</li>
</ul>
<p>A lower price may attract more users while changing support costs, customer composition, perceived quality, and future positioning. A single-variable explanation misses these interactions.</p>
<p>Systems and causal thinking overlap. Systems thinking places greater emphasis on feedback, boundaries, multi-variable interaction, and behavior over time.</p>
<h2 id="dialectical-thinking">Dialectical thinking</h2>
<p><em>Dialectical thinking</em> has different meanings across philosophical traditions. In a broad functional sense, it draws attention to relation, change, internal tension, and the possibility that the same object behaves differently under different conditions.</p>
<p>This orientation can correct static and isolated analysis. It becomes empty, however, when “everything is dialectical” replaces explicit concepts, mechanisms, evidence, and conditions.</p>
<h2 id="strategic-and-game-theoretic-thinking">Strategic and game-theoretic thinking</h2>
<p>Strategic thinking concerns long-term direction under limited resources and changing conditions. It coordinates goals, tradeoffs, capability building, timing, and sequences of action.</p>
<p>Game-theoretic thinking adds strategic interdependence: an agent&rsquo;s outcome depends on what others do, while others anticipate and respond to that agent.</p>
<p>Both require some systems awareness. Strategic thinking emphasizes direction and resource allocation; game-theoretic thinking emphasizes mutual prediction, response, and equilibrium among agents.</p>
<h2 id="decision-thinking">Decision thinking</h2>
<p>Decision thinking converts understanding into a commitment to act. It integrates:</p>
<ul>
<li>facts and information quality;</li>
<li>probabilities of outcomes;</li>
<li>causal and controllable conditions;</li>
<li>goals and values;</li>
<li>cost, risk, and opportunity cost;</li>
<li>reversibility;</li>
<li>authority and responsibility.</li>
</ul>
<p>Many “thinking models” serve decisions, but not every model is a decision model. Classification models identify kinds, causal models explain changes, predictive models estimate future states, and decision models connect possible states and actions to preferences or values.</p>
<h2 id="metacognition">Metacognition</h2>
<p>Metacognition monitors and regulates cognition itself:</p>
<ul>
<li>Which premises am I using?</li>
<li>Do I understand this concept or merely repeat its label?</li>
<li>Does my confidence exceed the evidence?</li>
<li>Am I searching only for confirmation?</li>
<li>What observation would change my mind?</li>
<li>Should I continue analysis or move into action and feedback?</li>
</ul>
<p>Metacognition does not answer the original question directly. It helps select, interrupt, and revise the process used to answer it.</p>
<h2 id="these-modes-occupy-different-levels">These modes occupy different levels</h2>
<p>A functional map makes the relationships clearer:</p>
<table>
  <thead>
      <tr>
          <th>Function</th>
          <th>Prominent modes</th>
          <th>Central question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>detection</td>
          <td>perception, intuition</td>
          <td>What pattern is present?</td>
      </tr>
      <tr>
          <td>representation</td>
          <td>conceptual, abstract</td>
          <td>What is this, and how is it classified?</td>
      </tr>
      <tr>
          <td>consequence</td>
          <td>logical</td>
          <td>What follows from these premises?</td>
      </tr>
      <tr>
          <td>uncertainty</td>
          <td>probabilistic</td>
          <td>How strongly is each possibility supported?</td>
      </tr>
      <tr>
          <td>explanation</td>
          <td>causal</td>
          <td>What would make the outcome change?</td>
      </tr>
      <tr>
          <td>generation</td>
          <td>creative</td>
          <td>What other concepts, explanations, or actions are possible?</td>
      </tr>
      <tr>
          <td>evaluation</td>
          <td>critical</td>
          <td>Are the concepts, evidence, and inferences adequate?</td>
      </tr>
      <tr>
          <td>interaction</td>
          <td>systems, dialectical</td>
          <td>How do parts interact and change over time?</td>
      </tr>
      <tr>
          <td>strategic interdependence</td>
          <td>game-theoretic</td>
          <td>How will other agents respond?</td>
      </tr>
      <tr>
          <td>direction and commitment</td>
          <td>strategic, decision</td>
          <td>What should be pursued and chosen now?</td>
      </tr>
      <tr>
          <td>self-correction</td>
          <td>metacognitive</td>
          <td>How should the thinking process change?</td>
      </tr>
  </tbody>
</table>
<p>The table assigns each mode a prominent function, not an exclusive territory. Concepts operate throughout the process. Logic enters probability and causal analysis. Critical thinking can inspect every stage.</p>
<h2 id="a-cycle-from-world-to-action">A cycle from world to action</h2>
<p>The modes can be connected without reducing them to one method:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">world and perception: what is happening?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">concepts and representation: what is it?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">logic, evidence, and probability: what is supported?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">causal and systems inquiry: why did it happen, and what could change it?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">creative and critical work: what alternatives survive examination?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">values, strategy, and decision: what should be pursued and chosen?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">action and outcome: what changed in the world?
</span></span><span class="line"><span class="cl">↓
</span></span><span class="line"><span class="cl">feedback and metacognition: what must be revised?
</span></span><span class="line"><span class="cl">└────────────────────→ return to concepts, premises, and models
</span></span></code></pre></div><p>Real thought moves backward and sideways through this cycle. New evidence can change a concept. Resource limits can reshape a goal. An action can disconfirm the causal story that originally justified it.</p>
<h2 id="different-failures-need-different-repairs">Different failures need different repairs</h2>
<p>A <strong>conceptual error</strong> uses an inadequate category. Saying that customers buy only functions may exclude trust, experience, identity, and risk reduction.</p>
<p>A <strong>logical error</strong> makes an unsupported transition. Inferring guaranteed success from need satisfaction affirms the consequent.</p>
<p>A <strong>factual error</strong> begins from a premise that does not match the world, even if the inference is valid.</p>
<p>A <strong>probabilistic error</strong> treats a low-probability realized event as proof that the earlier probability estimate was necessarily irrational.</p>
<p>A <strong>causal error</strong> treats association or predictive usefulness as evidence that intervention on the variable will change the result.</p>
<p>A <strong>practical or normative error</strong> can occur when the facts and inference are correct but the goal is unjustified or the cost unacceptable.</p>
<p>Diagnosis comes before repair. The thinker must know whether to revise a category, inference, dataset, causal model, or objective.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Conceptual and logical thinking are foundational, but neither is the whole of thought.</p>
<p>Conceptual thinking builds and revises the classifications through which a world becomes intelligible. Logical thinking constrains the commitments formed from those classifications. Probabilistic, causal, creative, critical, systems, strategic, decision, and metacognitive thinking address uncertainty, explanation, alternatives, evaluation, interaction, action, and correction.</p>
<blockquote>
<p><strong>Good thinking does not apply one favored method everywhere. It identifies the level of the present problem, uses the method suited to it, and allows outcomes to revise the concepts, premises, and models that guided the action.</strong></p>
</blockquote>
]]></content:encoded></item><item><title>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>Logic and Probability: Deduction, Uncertainty, and Evidence</title><link>https://moonment.net/en/notes/logic-and-probability/</link><pubDate>Sun, 27 Sep 2026 23:27:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/logic-and-probability/</guid><description>Logic constrains what follows from premises; probability represents uncertainty and evidential support. This essay separates truth, validity, credence, conditional probability, Bayes, causation, and AI generation.</description><content:encoded><![CDATA[<p>Logic and probability both discipline inference, but they do not ask the same question.</p>
<blockquote>
<p><strong>Logic asks what follows from what. Probability asks how strongly the available information supports competing possibilities.</strong></p>
</blockquote>
<p>That distinction matters whenever evidence is incomplete. A conclusion can be logically valid but based on false premises. A hypothesis can be strongly supported without being entailed. A probability can equal one inside a model without expressing a logical truth.</p>
<p>Logic provides structure. Probability represents uncertainty within a structure. Neither can replace the other.</p>
<p>This essay focuses on their interface: why entailment is not conditional probability, and how deductive consequence relates to graded evidential support. <a href="/en/notes/what-is-logic/">Logic</a> treats consequence in its own right; <a href="/en/notes/probability-and-bayes/">Probability and Bayes</a> examines interpretations of probability and belief revision.</p>
<h2 id="the-scope-of-logic">The scope of “logic”</h2>
<p>Logic includes many systems: classical and non-classical logics, modal logic, temporal logic, inductive logic, and accounts of defeasible reasoning. The clearest starting point for comparison is classical deductive logic.</p>
<p>Classical logic studies propositions, truth values, and consequence. An argument is valid when there is no interpretation in which all its premises are true and its conclusion is false.<a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></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>If both premises are true, the conclusion cannot be false. The relation can be written:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">D ⊨ C
</span></span></code></pre></div><p>This says that every interpretation satisfying premises <code>D</code> also satisfies conclusion <code>C</code>.</p>
<h2 id="validity-truth-and-soundness">Validity, truth, and soundness</h2>
<p>Validity concerns the form of an inference. It does not verify the premises.</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 form is valid. The first premise is false. A sound argument therefore requires both:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">valid inference
</span></span><span class="line"><span class="cl">+ true premises
</span></span></code></pre></div><p>This produces three separate questions:</p>
<ol>
<li>Are the concepts and propositions clear?</li>
<li>Are the premises true or adequately supported?</li>
<li>Does the conclusion follow from them?</li>
</ol>
<p>Probability often enters the second question. Evidence may support a premise to some degree even when it cannot establish it deductively.</p>
<h2 id="what-probability-represents">What probability represents</h2>
<p>Probability assigns values between zero and one to events or propositions, but the meaning of those values depends on interpretation.</p>
<p>Probability may represent:</p>
<ul>
<li>long-run frequency across repeated trials;</li>
<li>an objective chance or propensity in a physical system;</li>
<li>evidential support for a proposition;</li>
<li>a rational or personal degree of belief;</li>
<li>the output distribution of a statistical model.</li>
</ul>
<p>These interpretations share mathematical rules without making the same philosophical claim about what probability is.<a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></p>
<p>“There is a 70% probability of rain tomorrow” may summarize a calibrated forecast over comparable cases, a model distribution, or a degree of belief given current evidence. It does not say that rain is logically required.</p>
<h2 id="two-different-relations">Two different relations</h2>
<table>
  <thead>
      <tr>
          <th>Question</th>
          <th>Logic</th>
          <th>Probability</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Central concern</td>
          <td>Does the conclusion follow from the premises?</td>
          <td>How much support does the evidence give a possibility?</td>
      </tr>
      <tr>
          <td>Typical expression</td>
          <td>If A, then B</td>
          <td><code>P(B | A) = 0.7</code></td>
      </tr>
      <tr>
          <td>Strength</td>
          <td>necessary, possible, impossible</td>
          <td>a degree from 0 to 1</td>
      </tr>
      <tr>
          <td>Main failures</td>
          <td>contradiction, invalid inference, equivocation</td>
          <td>bad conditioning, ignored base rates, misspecified models</td>
      </tr>
      <tr>
          <td>Response to new information</td>
          <td>add, remove, or revise premises</td>
          <td>update a probability distribution</td>
      </tr>
  </tbody>
</table>
<p>Logical consequence is categorical relative to the premises:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">A ⊨ B
</span></span></code></pre></div><p>Conditional probability is graded:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(B | A) = 0.9
</span></span></code></pre></div><p>The second expression still allows cases in which A is true and B is false. A high conditional probability is not an entailment.</p>
<h2 id="truth-is-not-a-probability-value">Truth is not a probability value</h2>
<p>In classical logic, a proposition under an interpretation is true or false. Probability describes uncertainty about events or propositions; it does not turn truth into a percentage.</p>
<p>Before tomorrow arrives, a forecast may assign a 70% probability to rain. After time, place, and the criterion for rain are fixed, the proposition “it rained” is either true or false. The earlier probability described an uncertain epistemic or predictive state.</p>
<p>It helps to distinguish:</p>
<table>
  <thead>
      <tr>
          <th>Level</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>truth</td>
          <td>Is the proposition actually the case?</td>
      </tr>
      <tr>
          <td>evidential support</td>
          <td>How strongly does the available evidence support it?</td>
      </tr>
      <tr>
          <td>credence</td>
          <td>How strongly does an agent believe it?</td>
      </tr>
  </tbody>
</table>
<p>Evidence and credence can be represented probabilistically. Neither is identical to truth.</p>
<h2 id="probability-one-is-not-always-logical-necessity">Probability one is not always logical necessity</h2>
<p>If <code>D</code> logically entails <code>C</code>, and <code>P(D) &gt; 0</code>, a probability model that respects the logical relation must satisfy:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">D ⊨ C
</span></span><span class="line"><span class="cl">→ P(C | D) = 1
</span></span></code></pre></div><p>The converse does not generally hold:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(C | D) = 1
</span></span><span class="line"><span class="cl">⇏ D ⊨ C
</span></span></code></pre></div><p>Probability one means that the model assigns all relevant probability mass to the event. Logical necessity means that no interpretation satisfying the premises makes the proposition false.</p>
<p>Continuous distributions make the difference vivid. A single exact point can have probability zero while remaining a possible value. Probability zero therefore need not mean contradiction, just as probability one need not mean logical truth.</p>
<h2 id="invalid-deduction-can-still-contain-evidence">Invalid deduction can still contain evidence</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">If it rains, the ground becomes 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>As a deductive argument, this affirms the consequent and is invalid. Sprinklers, cleaning, or a leak could also wet the ground.</p>
<p>Yet wet ground may raise the probability of rain when:</p>
<ul>
<li>rain nearly always wets the ground;</li>
<li>other causes of wet ground are uncommon;</li>
<li>rain itself is not extremely rare.</li>
</ul>
<p>The observation can support the hypothesis without proving it:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">not deductively entailed
</span></span><span class="line"><span class="cl">but probabilistically confirmed
</span></span></code></pre></div><p>Inductive logic studies relations of this kind: premises may make a conclusion more credible without guaranteeing it.<a href="https://plato.stanford.edu/entries/logic-inductive/">Stanford Encyclopedia of Philosophy: Inductive Logic</a></p>
<h2 id="probability-depends-on-logical-structure">Probability depends on logical structure</h2>
<p>Probabilities cannot be assigned coherently until the events or propositions are specified.</p>
<p>One must know:</p>
<ul>
<li>which events exclude one another;</li>
<li>which can occur together;</li>
<li>whether one event includes another;</li>
<li>what the condition in a conditional probability means;</li>
<li>what counts as the negation of an event;</li>
<li>whether the listed possibilities are exhaustive.</li>
</ul>
<p>Suppose:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">A = a user clicked an advertisement
</span></span><span class="line"><span class="cl">B = a user completed a purchase attributed to that click
</span></span></code></pre></div><p>If the operational definition makes B a subset of A, then:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">B → A
</span></span><span class="line"><span class="cl">P(B) ≤ P(A)
</span></span></code></pre></div><p>A report showing more attributed buyers than recorded clickers signals a definition, attribution, collection, or data-integration problem. A more sophisticated probability formula will not repair an incoherent event structure.</p>
<h2 id="bayes-connects-evidence-and-belief-revision">Bayes connects evidence and belief revision</h2>
<p>Bayes&rsquo; theorem is:</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>Here:</p>
<ul>
<li><code>H</code> is a hypothesis;</li>
<li><code>E</code> is evidence;</li>
<li><code>P(H)</code> is the prior probability;</li>
<li><code>P(E | H)</code> is the likelihood of the evidence if the hypothesis is true;</li>
<li><code>P(H | E)</code> is the posterior probability after observing the evidence.</li>
</ul>
<p>Bayesian reasoning does not assert:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E occurred
</span></span><span class="line"><span class="cl">→ H must be true
</span></span></code></pre></div><p>It compares how expected the evidence would be under rival hypotheses, then reallocates confidence. Logical relations define hypotheses, evidence, exclusions, and implications. Probability quantifies the resulting uncertainty. Bayesian epistemology develops this into a normative account of rational belief revision.<a href="https://plato.stanford.edu/entries/epistemology-bayesian/">Stanford Encyclopedia of Philosophy: Bayesian Epistemology</a></p>
<p>Bayes also exposes a common error: confusing <code>P(E | H)</code> with <code>P(H | E)</code>. A test may be highly likely to return positive when a condition is present while the probability of the condition given a positive result remains much lower, especially when the condition is rare.</p>
<h2 id="probability-is-not-causation">Probability is not causation</h2>
<p>Logic, probability, and causation answer different questions:</p>
<table>
  <thead>
      <tr>
          <th>Relation</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>logical</td>
          <td>What must be accepted if the premises are accepted?</td>
      </tr>
      <tr>
          <td>probabilistic</td>
          <td>How does conditioning on information change uncertainty?</td>
      </tr>
      <tr>
          <td>causal</td>
          <td>What would change under an intervention, and through what process?</td>
      </tr>
  </tbody>
</table>
<p>A strong association may arise from reverse causation, a common cause, selection, measurement, or random variation. Causal analysis adds temporal order, counterfactual comparisons, interventions, mechanisms, and assumptions that identify an effect. The fuller account is developed in <a href="/en/notes/causality-causes-and-reasons/">What Causation Means</a>.</p>
<h2 id="probability-does-not-choose-an-action">Probability does not choose an action</h2>
<p>A well-calibrated probability still leaves practical questions unresolved:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">logic: is the reasoning coherent?
</span></span><span class="line"><span class="cl">probability: how likely are the outcomes?
</span></span><span class="line"><span class="cl">value: how good or bad are the outcomes?
</span></span><span class="line"><span class="cl">risk: which losses are tolerable?
</span></span><span class="line"><span class="cl">authority: who may make the choice?
</span></span><span class="line"><span class="cl">decision: which action is selected?
</span></span></code></pre></div><p>The option with the highest probability of success may have a trivial benefit, an unacceptable downside, or costs imposed on people who did not authorize the decision. Probability supplies inputs to decision-making; it does not settle values and responsibility.</p>
<h2 id="logic-and-probability-in-ai-systems">Logic and probability in AI systems</h2>
<p>A language model assigns probabilities to possible next tokens given context, then a decoding procedure selects outputs:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">context
</span></span><span class="line"><span class="cl">→ probability distribution over next tokens
</span></span><span class="line"><span class="cl">→ token selection
</span></span><span class="line"><span class="cl">→ generated text
</span></span></code></pre></div><p>High generation probability does not establish that a sentence is true, logically entailed, responsive to the user&rsquo;s actual aim, or authorized for action.</p>
<p>An AI system therefore needs more than probabilistic generation. Depending on the task, it may need:</p>
<ul>
<li>factual retrieval and source checks;</li>
<li>consistency and schema validation;</li>
<li>explicit rules and permission checks;</li>
<li>calculations or formal proofs;</li>
<li>execution results and external feedback.</li>
</ul>
<p>A fluent answer may be probable but contradictory. A valid derivation may be built on false retrieved facts. A calibrated prediction may still identify no useful intervention. These are different failure modes and require different checks.</p>
<h2 id="an-audit-for-uncertain-inference">An audit for uncertain inference</h2>
<p>When reading or constructing an argument under uncertainty, ask:</p>
<ol>
<li>What exactly are the propositions or events?</li>
<li>Which statements are premises, observations, assumptions, or definitions?</li>
<li>Is the conclusion entailed or only supported to a degree?</li>
<li>What evidence supports the premises?</li>
<li>What interpretation does the probability number have?</li>
<li>Is the conditioning information stated correctly?</li>
<li>Have base rates and rival hypotheses been considered?</li>
<li>Has an association or prediction been mistaken for a cause?</li>
<li>Which values, risks, and permissions remain outside the probability model?</li>
<li>What new evidence would change the conclusion?</li>
</ol>
<h2 id="conclusion">Conclusion</h2>
<p>Logic and probability impose different kinds of discipline on reasoning.</p>
<blockquote>
<p><strong>Logic specifies constraints among propositions and identifies what follows from accepted premises. Probability represents uncertainty about events or propositions and constrains how confidence should respond to evidence.</strong></p>
</blockquote>
<p>Their connection 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">logic defines the structure
</span></span><span class="line"><span class="cl">→ probability represents uncertainty within it
</span></span><span class="line"><span class="cl">→ evidence updates probabilities
</span></span><span class="line"><span class="cl">→ causal inquiry asks what changes what
</span></span><span class="line"><span class="cl">→ values and risks enter decisions
</span></span><span class="line"><span class="cl">→ action produces new evidence
</span></span></code></pre></div><p>Logic cannot replace probability when evidence is incomplete. Probability cannot replace logic when definitions conflict, possibilities are omitted, or an inference is invalid. Sound reasoning requires both the structure of consequence and the discipline of uncertainty.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></li>
<li><a href="https://plato.stanford.edu/entries/logical-consequence/">Stanford Encyclopedia of Philosophy: Logical Consequence</a></li>
<li><a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></li>
<li><a href="https://plato.stanford.edu/entries/logic-inductive/">Stanford Encyclopedia of Philosophy: Inductive Logic</a></li>
<li><a href="https://plato.stanford.edu/entries/epistemology-bayesian/">Stanford Encyclopedia of Philosophy: Bayesian Epistemology</a></li>
</ul>
]]></content:encoded></item><item><title>Human Thinking: Representation, Reasoning, and Action</title><link>https://moonment.net/en/notes/human-thinking/</link><pubDate>Thu, 17 Sep 2026 01:02:53 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/human-thinking/</guid><description>Thinking is more than inner speech or formal logic. It uses concepts, images, memory, emotion, bodily states, and external tools to build judgments, imagine possibilities, and guide action.</description><content:encoded><![CDATA[<blockquote>
<p><strong>Series: Thinking, Intention, and Action (1/4).</strong> This article explains how human thought forms judgment and action. Next: <a href="/en/notes/ai-reasoning-and-action/">How AI Systems Reason and Act</a></p>
</blockquote>
<h2 id="what-is-thinking">What Is Thinking?</h2>
<p>The word <em>thinking</em> can name an activity, a capacity, a style, or a sequence of mental contents. These uses overlap, but they should not be collapsed.</p>
<p>A useful working definition is:</p>
<blockquote>
<p><strong>Thinking is the activity through which a person organizes, transforms, relates, simulates, and evaluates information in order to form understanding, judgment, possibility, plans, or directions for action.</strong></p>
</blockquote>
<p>Thinking draws on perception, memory, emotion, language, concepts, bodily states, and prior knowledge. Its products include beliefs, questions, explanations, images, decisions, and intentions.</p>
<p>A simplified cycle looks like this:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">encounter a situation
</span></span><span class="line"><span class="cl">→ represent relevant features
</span></span><span class="line"><span class="cl">→ compare, combine, infer, or simulate
</span></span><span class="line"><span class="cl">→ form a judgment or possible action
</span></span><span class="line"><span class="cl">→ receive feedback
</span></span><span class="line"><span class="cl">→ revise the representation
</span></span></code></pre></div><p>Actual thought is rarely a neat sequence. Perception, memory, feeling, expectation, and action continually constrain one another.</p>
<h2 id="thinking-thought-reasoning-mind-and-cognition">Thinking, Thought, Reasoning, Mind, and Cognition</h2>
<p>Several English terms mark different parts of the subject.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Primary use</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td><code>thinking</code></td>
          <td>an activity or process</td>
      </tr>
      <tr>
          <td><code>thought</code></td>
          <td>a mental content, occurrence, or product</td>
      </tr>
      <tr>
          <td><code>reasoning</code></td>
          <td>transitions from some judgments to others</td>
      </tr>
      <tr>
          <td><code>mind</code></td>
          <td>the wider domain of mental states and capacities</td>
      </tr>
      <tr>
          <td><code>cognition</code></td>
          <td>processes for acquiring, organizing, retaining, and using information</td>
      </tr>
  </tbody>
</table>
<p>Thinking is therefore neither the whole mind nor a synonym for reasoning. Reasoning is one kind of thinking. Cognition is broader than deliberate thought because perception, memory encoding, language processing, and learned recognition can occur without a person explicitly working through a problem.</p>
<p>The borders are not sharp. When a person enters a room and recognizes a door, cognition is already at work. When the person asks whether a large table will fit through that door and mentally rotates it, the activity more clearly counts as thinking.</p>
<h2 id="what-does-thinking-operate-on">What Does Thinking Operate On?</h2>
<p>Thinking is often described as operating on representations. A representation carries content: it is about an object, relation, event, possibility, or state of affairs.</p>
<p>The relevant format may include:</p>
<ul>
<li>words and propositions;</li>
<li>concepts and categories;</li>
<li>visual or spatial images;</li>
<li>sounds and rhythms;</li>
<li>motor patterns;</li>
<li>bodily and emotional signals;</li>
<li>models of situations;</li>
<li>expectations about other people;</li>
<li>simulations of possible futures.</li>
</ul>
<p>Thinking that it may rain tomorrow might involve an inner sentence, an image of dark clouds, a numerical forecast, or simply a readiness to carry an umbrella.</p>
<p>Representational theories treat thinking, reasoning, and imagining as sequences of intentional mental states. They help explain how thought can be about things that are absent or merely possible. But the nature and necessity of internal representations remain disputed, especially by embodied and enactive approaches to mind. <a href="https://plato.stanford.edu/entries/mental-representation/">Stanford Encyclopedia of Philosophy: Mental Representation</a></p>
<h2 id="thinking-is-an-activity-of-transformation">Thinking Is an Activity of Transformation</h2>
<p>Representing something is not yet enough. Thinking changes the organization of what is represented.</p>
<p>Common operations include:</p>
<ul>
<li>categorizing;</li>
<li>comparing;</li>
<li>decomposing and combining;</li>
<li>ordering;</li>
<li>abstracting;</li>
<li>associating;</li>
<li>negating;</li>
<li>inferring;</li>
<li>imagining;</li>
<li>estimating;</li>
<li>evaluating;</li>
<li>replacing one model with another.</li>
</ul>
<p>Consider the concept <em>bird</em>. A thinker does more than retain images of several birds. The thinker can extract common structure, recognize typical and atypical members, revise an expectation about flight, and explain why penguins remain birds.</p>
<p>The American Psychological Association defines thinking broadly enough to include the manipulation or experience of ideas, images, and other elements of thought, and includes processes such as imagining, remembering, problem solving, free association, and concept formation. <a href="https://dictionary.apa.org/thinking">APA Dictionary of Psychology: Thinking</a></p>
<h2 id="thinking-is-constrained">Thinking Is Constrained</h2>
<p>Human thought is not unrestricted computation. It occurs within limits set by:</p>
<ul>
<li>attention;</li>
<li>working memory;</li>
<li>available time;</li>
<li>prior knowledge;</li>
<li>learned categories;</li>
<li>language;</li>
<li>emotion;</li>
<li>bodily condition;</li>
<li>social expectations;</li>
<li>current goals;</li>
<li>the information environment.</li>
</ul>
<p>A tired, frightened, angry, or socially threatened person may notice different evidence and retrieve different memories from the same situation.</p>
<p>Limits do not merely cause errors. They also make thought possible. Concepts compress experience. Heuristics reduce search. Habits prevent every action from becoming a fresh planning problem. The question is not whether thinking uses shortcuts, but when a shortcut remains appropriate and when it hides a relevant difference.</p>
<h2 id="thinking-and-consciousness-are-not-the-same">Thinking and Consciousness Are Not the Same</h2>
<p>Consciousness concerns what is present in subjective experience. Thinking concerns how information is organized and transformed.</p>
<p>People can consciously rehearse an argument or visualize a route. Yet many processes that shape the resulting thought are not directly accessible: pattern recognition, memory retrieval, linguistic parsing, affective appraisal, and automatic association.</p>
<p>Often a person becomes conscious of an answer without becoming conscious of the process that produced it.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">awareness of a thought
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">awareness of how the thought was generated
</span></span></code></pre></div><p>Metacognition improves the monitoring and regulation of thought. It does not make the mind fully transparent to itself.</p>
<h2 id="thinking-and-language-are-interdependent-but-distinct">Thinking and Language Are Interdependent but Distinct</h2>
<p>Language gives human thinking extraordinary resources. It allows people to name distinctions, stabilize concepts, combine propositions, preserve intermediate steps, communicate reasons, and construct possibilities far removed from immediate experience.</p>
<p>Language also externalizes thought. A vague impression can be written as a claim, inspected, criticized, and revised.</p>
<p>But not all thought takes the form of sentences. Visual imagery, spatial transformation, musical expectation, motor planning, facial recognition, and some forms of problem solving can proceed without ordinary verbal expression.</p>
<p>A cautious conclusion is:</p>
<blockquote>
<p><strong>Language organizes, extends, and externalizes human thinking, but does not exhaust it.</strong></p>
</blockquote>
<p>The language-of-thought hypothesis proposes that some thinking occurs in an internal representational system with combinatorial structure. It offers an explanation of the productivity and systematicity of thought, but remains a theoretical position rather than a neutral definition of all thinking. <a href="https://plato.stanford.edu/entries/language-thought/">Stanford Encyclopedia of Philosophy: The Language of Thought Hypothesis</a></p>
<h2 id="concepts-make-reusable-thought-possible">Concepts Make Reusable Thought Possible</h2>
<p>Concepts allow different objects, events, and situations to be treated as instances of a common kind. They support categorization, inference, memory, learning, and decision-making. This makes them plausible building blocks of many thoughts, although philosophers disagree over whether concepts are mental representations, abilities, or abstract objects. <a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<p>Concepts perform at least two functions.</p>
<h3 id="they-compress-experience">They compress experience</h3>
<p>Concepts such as <em>product</em>, <em>need</em>, <em>cause</em>, and <em>intention</em> gather many cases into reusable structures.</p>
<h3 id="they-establish-distinctions">They establish distinctions</h3>
<p>The concept of causation allows a thinker to distinguish temporal sequence, association, common causes, reverse causation, and feedback.</p>
<p>Concepts can also distort. A broad category may erase relevant differences. A rigid category may divide a continuous process at the wrong place. A familiar label may create the illusion that the underlying phenomenon has already been explained.</p>
<h2 id="thinking-is-not-logic">Thinking Is Not Logic</h2>
<p>Thinking is a psychological activity. Logic supplies standards for relations among claims.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">human thinking ≠ formal logic
</span></span></code></pre></div><p>People think through images, analogies, emotions, habits, narratives, and intuitions as well as explicit arguments. Some of these processes generate insight before a valid argument is available. Others generate systematic error.</p>
<p>Logic can ask:</p>
<ul>
<li>What are the premises?</li>
<li>Does a term retain the same meaning?</li>
<li>Does the conclusion follow?</li>
<li>Are the claims mutually consistent?</li>
<li>Has an alternative been excluded without reason?</li>
</ul>
<p>Logic cannot by itself establish that the premises are true or that a goal is worth pursuing.</p>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Every high-value product has many users.
</span></span><span class="line"><span class="cl">This product has many users.
</span></span><span class="line"><span class="cl">Therefore this product has high value.
</span></span></code></pre></div><p>The inference affirms the consequent. Even after the form is repaired, empirical questions remain: what counts as value, how was use measured, and what alternative causes could explain the audience size?</p>
<p>Logic is therefore one normative instrument for improving thought, not a complete model of the human mind.</p>
<h2 id="conceptual-thinking-and-logical-thinking">Conceptual Thinking and Logical Thinking</h2>
<p>Conceptual thinking and logical thinking are closely related, but they do different work.</p>
<p>Conceptual analysis asks:</p>
<ul>
<li>What does the central term mean here?</li>
<li>Is one word carrying several concepts?</li>
<li>Which conditions define or support the category?</li>
<li>Which neighboring concepts must be separated?</li>
<li>Does the present case belong under the concept?</li>
</ul>
<p>Logical analysis asks:</p>
<ul>
<li>How do premises support a conclusion?</li>
<li>Is the inference valid or probabilistically strong?</li>
<li>Are any claims inconsistent?</li>
<li>Does the conclusion exceed the evidence?</li>
<li>Does a counterexample defeat the generalization?</li>
</ul>
<p>Take the claim:</p>
<blockquote>
<p>The user bought the product, so the product satisfied the user&rsquo;s need.</p>
</blockquote>
<p>Conceptual analysis separates purchase, use, outcome, and need satisfaction. Logical analysis then shows that the occurrence of a purchase does not entail a successful outcome.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">conceptual clarification
</span></span><span class="line"><span class="cl">→ stabilizes the units of reasoning
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">logical evaluation
</span></span><span class="line"><span class="cl">→ tests the relations among those units
</span></span></code></pre></div><p>Clear concepts do not guarantee a sound argument. Sound-looking inference cannot repair a shift in meaning.</p>
<h2 id="forms-of-thinking-are-overlapping-tools">Forms of Thinking Are Overlapping Tools</h2>
<p>Thinking can be classified in many ways, but the categories are not separate mental compartments.</p>
<h3 id="concrete-and-abstract">Concrete and abstract</h3>
<p>Concrete thought remains close to perceptible objects and particular situations. Abstract thought handles kinds, relations, rules, and structures that cannot be directly perceived.</p>
<h3 id="intuitive-and-analytic">Intuitive and analytic</h3>
<p>Intuitive thought is often fast, automatic, and holistic. Analytic thought is usually slower, attention-demanding, and easier to express in steps. Expertise can make a sophisticated judgment feel immediate, so speed alone does not reveal whether a judgment is shallow or well trained.</p>
<h3 id="deductive-inductive-and-abductive">Deductive, inductive, and abductive</h3>
<ul>
<li>Deduction derives what follows from stated premises.</li>
<li>Induction extends from observed cases to a broader pattern.</li>
<li>Abduction proposes an explanation for an observed result.</li>
</ul>
<h3 id="causal-counterfactual-and-systemic">Causal, counterfactual, and systemic</h3>
<ul>
<li>Causal thinking asks which factors change an outcome through which pathways.</li>
<li>Counterfactual thinking asks what might happen under an alternative condition.</li>
<li>Systems thinking examines interaction, feedback, delay, and aggregate behavior.</li>
</ul>
<h3 id="critical-creative-and-normative">Critical, creative, and normative</h3>
<ul>
<li>Critical thinking tests evidence, assumptions, sources, and rival explanations.</li>
<li>Creative thinking reorganizes existing material into new possibilities.</li>
<li>Normative thinking asks what should be done and what reasons favor an action.</li>
</ul>
<p>A difficult decision may require all of these at once.</p>
<h2 id="human-thinking-is-embodied-affective-and-social">Human Thinking Is Embodied, Affective, and Social</h2>
<p>The image of a solitary mind manipulating neutral propositions captures only part of human thinking.</p>
<h3 id="embodied">Embodied</h3>
<p>Fatigue, pain, hunger, stress, skill, posture, and possibilities for action shape what can be noticed and considered. Thought is implemented by a living organism, not by a detached viewpoint.</p>
<h3 id="affective">Affective</h3>
<p>Emotion changes attention, memory retrieval, risk assessment, and readiness to act. Emotion can mislead, but it also registers importance, threat, loss, and value. Removing emotion would not leave a complete decision-maker behind.</p>
<h3 id="goal-directed">Goal-directed</h3>
<p>People do not process every available fact. Needs and goals determine which features become relevant.</p>
<h3 id="social-and-distributed">Social and distributed</h3>
<p>Language, education, institutions, tools, and other people shape the structures through which individuals think. Complex thought may be distributed across:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">a brain
</span></span><span class="line"><span class="cl">+ a body
</span></span><span class="line"><span class="cl">+ language
</span></span><span class="line"><span class="cl">+ notes and diagrams
</span></span><span class="line"><span class="cl">+ software and data
</span></span><span class="line"><span class="cl">+ other people
</span></span><span class="line"><span class="cl">+ inherited social knowledge
</span></span></code></pre></div><p>External tools do more than store completed thoughts. Writing, drawing, calculating, and conversation can change the thought that becomes possible.</p>
<h3 id="reflexive">Reflexive</h3>
<p>Humans can make their own beliefs and methods into objects of inquiry: Why do I believe this? Did the meaning of a term shift? What evidence would change my mind?</p>
<h3 id="self-protective">Self-protective</h3>
<p>Reasoning may serve accuracy, but it can also protect identity, desire, group membership, and emotional stability. A polished argument can still be motivated by selective attention or defensive interpretation.</p>
<h2 id="is-thinking-for-knowledge-or-for-action">Is Thinking for Knowledge or for Action?</h2>
<p>It serves both.</p>
<p>People build models of the world in order to understand what is the case, but also to anticipate events, avoid danger, coordinate with others, choose actions, and correct unsuccessful behavior.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">perceive a situation
</span></span><span class="line"><span class="cl">→ form an interpretation
</span></span><span class="line"><span class="cl">→ anticipate outcomes
</span></span><span class="line"><span class="cl">→ choose an action
</span></span><span class="line"><span class="cl">→ observe feedback
</span></span><span class="line"><span class="cl">→ revise the interpretation
</span></span></code></pre></div><p>Usefulness and truth should not be identified. A false belief may be temporarily useful. An accurate belief may offer no immediate advantage.</p>
<p>Thinking therefore faces at least two standards:</p>
<ul>
<li><strong>epistemic:</strong> Is the judgment adequately supported and closer to the truth?</li>
<li><strong>practical:</strong> Does it guide effective action toward an end worth pursuing?</li>
</ul>
<p>Science, logic, ethics, and philosophy examine different parts of these standards.</p>
<h2 id="what-makes-thinking-more-mature">What Makes Thinking More Mature?</h2>
<p>Mature thinking is not simply more complicated thinking. It can be tested through a sequence of questions:</p>
<ol>
<li>What exactly is the object of thought?</li>
<li>Which concepts organize it?</li>
<li>Are the conceptual boundaries clear?</li>
<li>Which claims are observations, and which are interpretations?</li>
<li>Which premises remain unstated?</li>
<li>Is the inference deductive, inductive, abductive, causal, or analogical?</li>
<li>Which rival explanations remain possible?</li>
<li>How are emotion, interest, and identity shaping attention?</li>
<li>What evidence would require revision?</li>
<li>Is the conclusion descriptive, causal, evaluative, or normative?</li>
<li>What action follows, if any?</li>
<li>Did the result of action revise the original model?</li>
</ol>
<blockquote>
<p><strong>Mature thinking makes distinctions where they matter, tests what can be tested, preserves uncertainty where evidence is limited, and allows consequences to correct the model that produced the action.</strong></p>
</blockquote>
<h2 id="conclusion">Conclusion</h2>
<p>Human thinking is more than formal inference and more than a stream of inner speech.</p>
<p>It is a dynamic activity in which perception, memory, concepts, language, imagery, emotion, reasoning, goals, bodily conditions, social resources, and action participate together.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">represent a world
</span></span><span class="line"><span class="cl">→ transform and relate representations
</span></span><span class="line"><span class="cl">→ form judgments, possibilities, plans, and actions
</span></span><span class="line"><span class="cl">→ use consequences to revise the model
</span></span></code></pre></div><p>Cognition is broader than thinking. Logic provides standards for some transitions in thought. Language organizes and externalizes thought. Concepts make classification and reusable inference possible. Consciousness presents some mental contents in experience without revealing every process that produced them.</p>
<p>Conceptual thinking is one method for improving this larger activity: clarify the units of thought, separate neighboring meanings, and then test the inferences among them. It is valuable precisely because human thinking also includes nonconceptual perception, imagery, emotion, creativity, social interaction, and the organization of action.</p>
]]></content:encoded></item><item><title>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>Words, Concepts, and Objects: Reference and Reasoning</title><link>https://moonment.net/en/notes/words-concepts-and-objects/</link><pubDate>Tue, 15 Sep 2026 00:31:24 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/words-concepts-and-objects/</guid><description>A practical distinction among parts of speech, semantic content, ontological categories, and the roles concepts play in reasoning.</description><content:encoded><![CDATA[<p>This essay examines the form of an expression, its conceptual content, the kind of thing it concerns, and the work it does in an argument. <a href="/en/notes/what-is-a-concept/">Concepts</a> develops the question of formation and boundaries; <a href="/en/notes/conceptual-and-logical-thinking/">Conceptual and Logical Thinking</a> follows these distinctions into reasoning.</p>
<h2 id="a-word-is-not-a-concept">A Word Is Not a Concept</h2>
<p>A word is a unit of language. A concept is something used in categorization, thought, inference, memory, learning, and decision-making.</p>
<p>The English word <em>water</em> is not identical to the concept of water. The concept includes ways of identifying water, expectations about its behavior, relations to other substances, and inferences that can be drawn about it. The same concept can be expressed in different languages, while a single word can express different concepts in different contexts.</p>
<p>A dictionary is therefore a starting point rather than a complete theory. It records established senses and patterns of use. Conceptual analysis must also ask what is being represented, how the representation is structured, and what work it performs in reasoning.</p>
<p>Philosophy offers no single accepted account of what concepts themselves are. Major approaches treat them as mental representations, cognitive abilities, or abstract objects. <a href="https://plato.stanford.edu/entries/concepts/">Stanford Encyclopedia of Philosophy: Concepts</a></p>
<h2 id="parts-of-speech-are-grammatical-categories">Parts of Speech Are Grammatical Categories</h2>
<p>Nouns, verbs, and adjectives describe how expressions function grammatically.</p>
<ul>
<li>Nouns commonly name or refer to people, objects, events, states, and abstractions.</li>
<li>Verbs commonly express actions, occurrences, changes, and continuing processes.</li>
<li>Adjectives commonly attribute properties, conditions, degrees, or evaluations.</li>
</ul>
<p>These patterns do not create a one-to-one map between grammar and reality.</p>
<p><em>Death</em> is a noun that can refer to an event. <em>Run</em> can be a verb naming an activity or a noun naming an instance, route, or sequence. <em>Red</em> can be an adjective attributing a color or a noun referring to the color itself. <em>Choice</em> is a noun derived from action language.</p>
<p>Grammar tells us how an expression is used in a sentence. It does not by itself settle what kind of entity, occurrence, or structure the expression is about.</p>
<h2 id="what-kinds-of-things-can-concepts-represent">What Kinds of Things Can Concepts Represent?</h2>
<h3 id="objects-and-entities">Objects and Entities</h3>
<p>Objects are typically treated as things that exist and retain some identity across change: a person, a tree, a phone, or a building.</p>
<p>Not every entity is a natural physical object. A corporation is a social and legal entity constituted by rules, roles, records, assets, and relationships.</p>
<h3 id="events">Events</h3>
<p>Events happen or take place: an arrival, an election, an explosion, a birth, or a death.</p>
<p>Philosophers often contrast objects, which exist, with events, which occur. The contrast is useful but disputed. Objects and events also differ in how they occupy space and time and in how they are identified. <a href="https://plato.stanford.edu/entries/events/">Stanford Encyclopedia of Philosophy: Events</a></p>
<h3 id="actions">Actions</h3>
<p>Actions are things agents do: promise, refuse, write, choose, repair, or work.</p>
<p>An action is not merely a bodily movement. Describing something as an action often introduces questions about intention, control, knowledge, ability, and responsibility. A movement that happens to a person and an action performed by that person may look similar while differing in agency.</p>
<h3 id="processes">Processes</h3>
<p>Processes unfold over time: learning, aging, erosion, cognition, and economic development.</p>
<p>A process may contain many events without having one natural endpoint. Learning is an extended process; passing a particular examination is an event within a longer history.</p>
<h3 id="states">States</h3>
<p>States obtain or persist for a period: knowing an answer, being unemployed, remaining stable, or feeling anxious.</p>
<p>A state description does not by itself explain its cause, permanence, or value. Calling someone anxious identifies a condition; it does not establish why the condition arose or whether it defines the person.</p>
<h3 id="properties">Properties</h3>
<p>Properties are attributed to objects, actions, and states: red, rigid, fragile, free, fair, or positive.</p>
<p>Some properties have agreed measurement procedures. Others depend on interpretive or normative standards. Length and fairness can both be predicated of something, but evidence for each is assessed differently.</p>
<h3 id="relations">Relations</h3>
<p>Relations connect two or more terms: resemblance, causation, ownership, kinship, dependence, rights, and obligations.</p>
<p>Many concepts that sound like self-contained qualities are partly relational. Significance, for example, often involves a relation among an event, an interpreter, a context, and a set of concerns.</p>
<h3 id="quantities-scales-and-models">Quantities, Scales, and Models</h3>
<p>Time, probability, price, risk, and efficiency do more than label a thing. They provide ways to order, compare, measure, or infer.</p>
<p>Their everyday uses may differ from their roles in a formal discipline. Saying that an outcome is “very likely” is not yet the same as assigning a probability under a specified model.</p>
<h3 id="institutions-rules-and-norms">Institutions, Rules, and Norms</h3>
<p>Money, offices, laws, promises, responsibilities, and justice depend on shared practices, constitutive rules, or normative judgment.</p>
<p>A banknote is a physical object, but its purchasing power cannot be explained by its physical composition alone. Institutional concepts connect material objects with recognized rules and social powers.</p>
<h3 id="abstract-objects">Abstract Objects</h3>
<p>Numbers, sets, propositions, possibilities, and perhaps concepts themselves are common candidates for abstract objects. They do not occupy ordinary physical space, yet they appear indispensable to mathematics and reasoning.</p>
<p>Whether abstract objects exist independently and how human beings could know them remain major philosophical disputes. <a href="https://plato.stanford.edu/entries/abstract-objects/">Stanford Encyclopedia of Philosophy: Abstract Objects</a></p>
<h2 id="events-processes-achievements-and-states">Events, Processes, Achievements, and States</h2>
<p>Language also distinguishes different temporal structures.</p>
<table>
  <thead>
      <tr>
          <th>Category</th>
          <th>Structure</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Activity</td>
          <td>continues without a built-in endpoint</td>
          <td>walking, thinking</td>
      </tr>
      <tr>
          <td>Accomplishment</td>
          <td>unfolds toward a completion</td>
          <td>writing a report</td>
      </tr>
      <tr>
          <td>Achievement</td>
          <td>culminates at a boundary</td>
          <td>reaching the summit</td>
      </tr>
      <tr>
          <td>State</td>
          <td>holds over time without unfolding toward a result</td>
          <td>knowing the route</td>
      </tr>
  </tbody>
</table>
<p>These distinctions matter because grammar can hide them. “She is writing the report” describes an incomplete process. “She has written the report” presents the completion. “She knows the answer” describes a state rather than an achievement now in progress.</p>
<p>The metaphysics of events and the linguistic study of aspect use related distinctions, although there is no universally accepted inventory of categories.</p>
<h2 id="concepts-also-perform-roles-in-reasoning">Concepts Also Perform Roles in Reasoning</h2>
<p>What a concept represents is only one question. A concept may also perform different tasks in an argument.</p>
<table>
  <thead>
      <tr>
          <th>Role</th>
          <th>Question</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Description</td>
          <td>What happened?</td>
          <td>The team stopped the project.</td>
      </tr>
      <tr>
          <td>Classification</td>
          <td>What kind of case is this?</td>
          <td>This is a tactical decision.</td>
      </tr>
      <tr>
          <td>Explanation</td>
          <td>Why did it happen?</td>
          <td>Repeated interruption reduced attention.</td>
      </tr>
      <tr>
          <td>Prediction</td>
          <td>What is likely to follow?</td>
          <td>Higher exposure increases risk.</td>
      </tr>
      <tr>
          <td>Evaluation</td>
          <td>Is it good, bad, or important?</td>
          <td>The rule is unfair.</td>
      </tr>
      <tr>
          <td>Norm</td>
          <td>What should be done?</td>
          <td>Rights should be respected.</td>
      </tr>
      <tr>
          <td>Action guidance</td>
          <td>What do we do now?</td>
          <td>Stop investing and revise the goal.</td>
      </tr>
  </tbody>
</table>
<p>The same term can move among these roles.</p>
<p>Calling a mood <em>positive</em> may describe affect. Calling an employee’s attitude <em>positive</em> may evaluate conduct. Saying that someone <em>should be positive</em> adds a norm. A conversation can move across all three without marking the transition, turning an observation into a moral demand.</p>
<p>Similar errors occur with facts. A fact is a state of affairs that obtains. A causal explanation is a claim about why it obtains. A recommendation requires further premises about goals and values. Facts constrain recommendations, but they do not generate a complete practical conclusion on their own.</p>
<h2 id="why-ordinary-sentences-hide-multiple-concepts">Why Ordinary Sentences Hide Multiple Concepts</h2>
<p>Natural language compresses several layers of thought.</p>
<p>Consider the sentence:</p>
<blockquote>
<p>The plan failed, so the strategy was wrong.</p>
</blockquote>
<p>It contains at least four elements:</p>
<ul>
<li><em>plan</em>: an arrangement of intended actions;</li>
<li><em>failed</em>: an event description combined with a standard of success;</li>
<li><em>strategy</em>: a system of goals, diagnosis, choices, resources, and trade-offs;</li>
<li><em>so</em>: a claimed inferential connection.</li>
</ul>
<p>One failed plan may result from execution, timing, or chance. It does not by itself establish that the strategic diagnosis was false. The concepts must be separated before the inference can be tested.</p>
<p>Conceptual analysis therefore does more than define isolated nouns. It reveals compressed relations, shifting senses, and missing premises.</p>
<h2 id="a-three-pass-method-for-conceptual-analysis">A Three-Pass Method for Conceptual Analysis</h2>
<h3 id="1-identify-the-linguistic-form">1. Identify the Linguistic Form</h3>
<p>Is the expression functioning as a noun, verb, adjective, or complete proposition? Has an action or property been nominalized and treated as a thing?</p>
<h3 id="2-identify-the-represented-category">2. Identify the Represented Category</h3>
<p>Does it concern an object, event, action, process, state, property, relation, quantity, institution, or norm? Are different speakers referring to the same category?</p>
<h3 id="3-identify-the-inferential-role">3. Identify the Inferential Role</h3>
<p>Is the expression describing, classifying, explaining, predicting, evaluating, prescribing, or guiding action? Has the argument moved from one role to another without an explicit premise?</p>
<p>After these passes, further research can address etymology, historical change, disciplinary definitions, evidence, philosophical disputes, and practical limits.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Concepts do not merely stand for “things,” and nouns do not map neatly onto objects. Thought concerns what exists, what happens, what agents do, what persists, what properties and relations obtain, and what rules or values should guide action.</p>
<p>Part of speech identifies a grammatical role. Ontological category identifies the kind of reality under discussion. Inferential role identifies what an expression is doing in an argument.</p>
<p>Keeping those three levels separate is a practical first step from word definition to conceptual analysis and from conceptual analysis to sound reasoning.</p>
]]></content:encoded></item></channel></rss>