<?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>Metaphysics on Moonment</title><link>https://moonment.net/en/tags/metaphysics/</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 13:55:00 +0800</lastBuildDate><atom:link href="https://moonment.net/en/tags/metaphysics/index.xml" rel="self" type="application/rss+xml"/><item><title>Ontology: What Exists and What AI Can Represent</title><link>https://moonment.net/en/notes/what-is-ontology/</link><pubDate>Thu, 24 Sep 2026 16:07:16 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-ontology/</guid><description>Ontology concerns what exists, the categories and identity conditions of entities, and their basic relations. In AI, those commitments become an explicit domain model.</description><content:encoded><![CDATA[<h2 id="ontology-is-an-account-of-what-there-is">Ontology Is an Account of What There Is</h2>
<p>At its broadest, ontology asks:</p>
<blockquote>
<p><strong>What exists, what kinds of things exist, and what basic structures relate them?</strong></p>
</blockquote>
<p>An inventory is only the beginning. An ontology must also address whether objects, events, properties, relations, numbers, institutions, and mental states exist in the same way. It must say what makes an entity the same entity through change and whether some things depend on other things for their existence.</p>
<p>A rock and a corporation can both be treated as entities. The rock persists through a physical organization of matter. The corporation depends on legal rules, records, offices, agreements, and collective practices. Both can be real without having the same mode of existence or the same conditions of identity.</p>
<p>Ontology therefore concerns more than a hidden substance behind appearances. It studies the inventory, categories, identity conditions, dependence relations, and general structure of a world.</p>
<h2 id="the-term-and-its-scope">The Term and Its Scope</h2>
<p>The word <em>ontology</em> combines Greek roots associated with being or that which is, and with study or account. The discipline is often introduced through the question “What is there?” Yet contemporary ontology also investigates the most general features of what there is and the ways different entities relate. The term itself became a disciplinary label in early modern philosophy rather than arriving unchanged as an ancient Greek field name. <a href="https://plato.stanford.edu/entries/metaphysics/">Stanford Encyclopedia of Philosophy: Metaphysics</a></p>
<p>This broad scope matters because ontology is sometimes reduced to one of two narrower projects:</p>
<ul>
<li>a search for the ultimate material from which everything is made;</li>
<li>a search for the essential definition of each kind of thing.</li>
</ul>
<p>Both can raise ontological questions, but neither exhausts the field. Ontology also asks whether events are entities, whether properties can exist independently of their instances, how social institutions depend on collective practices, and what makes a person or organization persist over time.</p>
<h2 id="four-dimensions-of-an-ontology">Four Dimensions of an Ontology</h2>
<h3 id="inventory-what-does-the-theory-admit">Inventory: what does the theory admit?</h3>
<p>Every theory relies on some account of what it takes to be real or indispensable to explanation. A physical theory may quantify over fields and particles. A theory of mind may include experiences, beliefs, intentions, or functional states. A social theory may refer to institutions, norms, roles, and collective agents.</p>
<p>Using a noun does not automatically settle the ontology. A theory may speak conveniently about an “average consumer” without treating that consumer as an individual entity. The ontological question is whether the theory is committed to such a thing as part of its account of the world.</p>
<p>This is why ontology includes the study of ontological commitment: what must exist, or be treated as existing, if a set of claims is true?<a href="https://plato.stanford.edu/entries/logic-ontology/">Stanford Encyclopedia of Philosophy: Logic and Ontology</a></p>
<h3 id="categories-what-kinds-of-entities-are-there">Categories: what kinds of entities are there?</h3>
<p>Ontologies distinguish among general kinds:</p>
<table>
  <thead>
      <tr>
          <th>Category</th>
          <th>Examples</th>
          <th>Typical question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Concrete object</td>
          <td>a person, tree, phone</td>
          <td>What fixes its boundary and identity?</td>
      </tr>
      <tr>
          <td>Abstract object</td>
          <td>a number, set, structure</td>
          <td>Does it depend on minds or symbols?</td>
      </tr>
      <tr>
          <td>Property</td>
          <td>redness, mass, ability</td>
          <td>Can a property exist without a bearer?</td>
      </tr>
      <tr>
          <td>Relation</td>
          <td>ownership, similarity, causation</td>
          <td>Is the relation part of reality or only a description?</td>
      </tr>
      <tr>
          <td>Event</td>
          <td>a meeting, purchase, collision</td>
          <td>What determines where one event begins and ends?</td>
      </tr>
      <tr>
          <td>Process</td>
          <td>learning, growth, evolution</td>
          <td>How does change form one continuing process?</td>
      </tr>
      <tr>
          <td>Mental state</td>
          <td>belief, desire, intention</td>
          <td>How is it related to experience, body, and behavior?</td>
      </tr>
      <tr>
          <td>Institutional entity</td>
          <td>a company, currency, state</td>
          <td>How does it depend on rules and recognition?</td>
      </tr>
  </tbody>
</table>
<p>There is no universally accepted final table. The dispute is partly about whether these divisions are discovered in reality, imposed by language and cognition, or produced through an interaction between the world and a purpose of inquiry.</p>
<h3 id="identity-what-makes-something-the-same-thing">Identity: what makes something the same thing?</h3>
<p>Identity through change is a central ontological problem.</p>
<ul>
<li>A person normally remains the same person after changing a name.</li>
<li>A corporation may survive a complete change of staff.</li>
<li>An essay may retain its identity across revisions because a version history connects them.</li>
<li>A product may acquire new packaging without becoming a new model.</li>
<li>A machine-learning system may be called the same product after an update even when the deployed model artifact has changed.</li>
</ul>
<p>The answer depends on the kind of entity under discussion. Legal continuity can matter for a corporation, biological continuity for an organism, provenance for a document, and a stable identifier plus version policy for a software artifact. A matching name is not enough to establish identity, and a changed property does not by itself establish a new entity.</p>
<h3 id="dependence-and-structure-what-relies-on-what">Dependence and structure: what relies on what?</h3>
<p>Some entities appear capable of existing independently; others exist only through a supporting structure.</p>
<p>A purchase depends on participants, an object of exchange, a time, and a transaction. A currency depends on institutional rules and practices. A software process depends on code and an execution environment. A fictional character can exist as an object of a story and discourse without being an actual historical person.</p>
<p>These examples separate three claims that are often conflated:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">an expression refers to something
</span></span><span class="line"><span class="cl">≠ a model represents it as an entity
</span></span><span class="line"><span class="cl">≠ a corresponding entity exists in the actual world
</span></span></code></pre></div><p>An ontology has to state which level it is describing.</p>
<h2 id="ontology-essence-epistemology-and-metaphysics">Ontology, Essence, Epistemology, and Metaphysics</h2>
<p>Ontology overlaps with several neighboring subjects but answers a distinct question.</p>
<p><strong>Essence</strong> concerns what an entity must be in order to count as the kind of thing it is. Ontology also asks whether that kind exists, how its instances persist, and how it relates to other kinds.</p>
<p><strong>Epistemology</strong> concerns knowledge, evidence, and justification. Whether intentions are mental states is an ontological issue. How an AI system can infer an intention from language and behavior is an epistemological and methodological issue. A complete inquiry needs both: an account of the target and an account of the evidence for finding it.</p>
<p><strong>Metaphysics</strong> is usually broader. It includes ontology but also ranges over causation, time, modality, freedom, grounding, and the overall structure of reality. The borders vary across traditions, so ontology should not be treated as a universally fixed department inside metaphysics.</p>
<h2 id="computational-ontology-making-commitments-explicit">Computational Ontology: Making Commitments Explicit</h2>
<p>In knowledge representation, <em>ontology</em> names an engineered artifact as well as a philosophical inquiry.</p>
<p>Thomas Gruber&rsquo;s influential formulation describes an ontology as a specification of a conceptualization. The practical aim was knowledge sharing: agents need an explicit vocabulary defining the classes, relations, functions, and other objects used in a shared domain.<a href="https://tomgruber.org/writing/ontolingua-kaj-1993/">A Translation Approach to Portable Ontology Specifications</a></p>
<p>A computational ontology can therefore be understood as:</p>
<blockquote>
<p><strong>an explicit, inspectable account of the entity types, properties, relations, and constraints that a system recognizes within a domain.</strong></p>
</blockquote>
<p>Consider a commerce domain:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Customer ──has──&gt; Need
</span></span><span class="line"><span class="cl">Brand ──offers──&gt; Product
</span></span><span class="line"><span class="cl">Merchant ──sells──&gt; MarketOffering
</span></span><span class="line"><span class="cl">MarketOffering ──realizes──&gt; Product
</span></span><span class="line"><span class="cl">Customer ──buys──&gt; MarketOffering
</span></span><span class="line"><span class="cl">Customer ──uses──&gt; Product
</span></span><span class="line"><span class="cl">Order ──contains──&gt; MarketOffering
</span></span></code></pre></div><p>The arrows do not settle the model. Designers still have to decide:</p>
<ul>
<li>Is a product a design, a model, a service capability, or an individual item?</li>
<li>Does price belong to the product, the market offering, or a time-bounded quote?</li>
<li>Are two merchants selling one product or two distinct offerings?</li>
<li>Does an offering cease to exist when it is withdrawn?</li>
<li>Does a purchase establish that a customer&rsquo;s need was met?</li>
</ul>
<p>These are ontological choices with operational consequences. They determine how data can be joined, which inferences are valid, and what an automated system can act upon.</p>
<h2 id="what-an-engineering-ontology-contains">What an Engineering Ontology Contains</h2>
<h3 id="classes-and-individuals">Classes and individuals</h3>
<p>A class represents a kind such as <code>Person</code>, <code>Organization</code>, or <code>Product</code>. An individual represents a particular member of one or more classes. In OWL 2, classes can be understood as sets of individuals, while properties express relations among individuals or between individuals and data values.<a href="https://www.w3.org/TR/owl2-primer/">W3C: OWL 2 Primer</a></p>
<p>Class membership need not be exclusive. One individual might be both a customer and an employee. A useful ontology states when multiple classifications are compatible and when classes are disjoint.</p>
<h3 id="properties-and-relations">Properties and relations</h3>
<p>Properties express information such as a name, status, date, or quantity. Relations connect entities through claims such as <code>worksFor</code>, <code>owns</code>, <code>published</code>, or <code>purchased</code>.</p>
<p>Whether a value should become an entity depends on the required reasoning. A city can be stored as a string if nothing else refers to it. It should usually become an identified entity if the system must connect it to regions, offices, time zones, routes, or multiple records.</p>
<h3 id="axioms-and-constraints">Axioms and constraints</h3>
<p>An ontology can state more than permitted vocabulary. It can encode claims that support validation and inference:</p>
<ul>
<li>every order has a buyer;</li>
<li>a cancelled order cannot simultaneously be awaiting payment;</li>
<li>every researcher is an employee;</li>
<li>people and organizations are disjoint kinds;</li>
<li>a relation is symmetric, transitive, functional, or inverse to another relation.</li>
</ul>
<p>Formal languages differ in what they express and in the assumptions they make. An ontology should therefore be judged partly by the reasoning task it must support, not by the size of its vocabulary.</p>
<h3 id="identity-provenance-and-time">Identity, provenance, and time</h3>
<p>Operational systems encounter aliases, duplicate records, namesakes, revisions, and claims that change over time. An ontology alone does not solve entity resolution. It has to work with identifiers, provenance, temporal data, and confidence to answer:</p>
<ul>
<li>Do two records refer to the same entity?</li>
<li>When was a property true?</li>
<li>Which source supports the assertion?</li>
<li>Is the assertion observed, inferred, or supplied by a user?</li>
</ul>
<p>Without these distinctions, a clean graph can still represent an incorrect world.</p>
<h2 id="an-ontology-is-more-than-a-taxonomy-or-schema">An Ontology Is More Than a Taxonomy or Schema</h2>
<p>A <strong>taxonomy</strong> arranges categories, often in a hierarchy. It tells a system that a researcher is a kind of employee or that a phone is a kind of product.</p>
<p>A <strong>database schema</strong> specifies storage: tables, columns, keys, and types.</p>
<p>An <strong>ontology</strong> addresses semantics: what the records represent, which relations are meaningful, what identity means, and which constraints or inferences follow.</p>
<p>The three can overlap, but they are not interchangeable:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">taxonomy: how kinds are classified
</span></span><span class="line"><span class="cl">schema: how data is stored
</span></span><span class="line"><span class="cl">ontology: what the modeled things mean and how they may relate
</span></span></code></pre></div><p>A relational database can implement an ontology. A graph database can also lack one. The storage technology does not settle whether the domain has been conceptually defined.</p>
<h2 id="does-a-large-language-model-have-an-ontology">Does a Large Language Model Have an Ontology?</h2>
<p>Language models learn many implicit categories and relations from text. They can produce statements such as “a company releases a product” and often resolve an ambiguous word from context. This behavior shows useful conceptual organization.</p>
<p>It does not establish that the model contains one explicit, stable, internally consistent ontology. Information about a company or product is distributed across parameters and contextual activations. Different prompts can elicit incompatible classifications or identity assumptions.</p>
<p>Typical failures include:</p>
<ul>
<li>treating a brand and its owning company as one entity;</li>
<li>treating a product and a purchasable offering as one object;</li>
<li>confusing a name with a verified identity;</li>
<li>confusing a discourse entity with an actually existing entity;</li>
<li>applying different identity criteria across contexts.</li>
</ul>
<p>For reliable action, an AI system often needs several layers:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">language model
</span></span><span class="line"><span class="cl">+ domain ontology
</span></span><span class="line"><span class="cl">+ current entity and state data
</span></span><span class="line"><span class="cl">+ provenance and time
</span></span><span class="line"><span class="cl">+ permissions and action rules
</span></span></code></pre></div><p>The language model interprets variable expression. The ontology constrains the objects and relations the system recognizes. Data supplies current instances and states. Authorization determines which actions are permitted. Understanding “update the essay” is insufficient until the system identifies the essay, language edition, revision, destination, and authority to publish.</p>
<h2 id="are-ontologies-discovered-or-designed">Are Ontologies Discovered or Designed?</h2>
<p>Every practical ontology is selective. The same cup of coffee can be modeled as:</p>
<ul>
<li>a physical object with a temperature and container;</li>
<li>a sellable item with a price and inventory status;</li>
<li>a nutritional object with ingredients and calories;</li>
<li>an experience with flavor and context;</li>
<li>an environmental object with a supply chain and emissions.</li>
</ul>
<p>Different purposes can justify different boundaries. Purpose, however, does not make every model equally adequate. Merging two different people, treating a temporary quote as a permanent product price, or discarding provenance can produce false claims and harmful actions.</p>
<p>A useful ontology can be examined through seven questions:</p>
<ol>
<li>What problem is the ontology intended to support?</li>
<li>Which entities does it recognize, and which does it omit?</li>
<li>Are identity conditions clear for each important kind?</li>
<li>Are objects, events, states, properties, and relations kept distinct?</li>
<li>Do the axioms support the required inferences without producing contradictions?</li>
<li>Can the model represent time, provenance, and uncertainty where they matter?</li>
<li>Can old data still be interpreted when the ontology changes?</li>
</ol>
<p>An ontology is a map of what a system takes to exist and how those things fit together. It is answerable to reality, but it should not be confused with reality itself.</p>
<h2 id="entities-are-local-ontology-is-the-framework">Entities Are Local; Ontology Is the Framework</h2>
<p>An entity is something a system can identify, describe, relate, track, or act upon. An ontology states:</p>
<ul>
<li>what can count as an entity;</li>
<li>which kinds of entity exist in the domain;</li>
<li>what makes entities identical or distinct;</li>
<li>which properties they can bear;</li>
<li>which relations and events they can enter;</li>
<li>which conditions constrain their existence and change.</li>
</ul>
<p>The relationship can be summarized in one sentence:</p>
<blockquote>
<p><strong>An entity is one recognized item; an ontology is the system&rsquo;s account of what kinds of items may be recognized and how they are organized.</strong></p>
</blockquote>
]]></content:encoded></item><item><title>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>Time: Meaning, Metaphysics, and Physics</title><link>https://moonment.net/en/notes/time-concept-philosophy-physics/</link><pubDate>Mon, 14 Sep 2026 01:00:49 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/time-concept-philosophy-physics/</guid><description>A systematic account of temporal order, duration, metaphysical theories of time, relativity, entropy, quantum theory, and temporal experience.</description><content:encoded><![CDATA[<h2 id="what-is-time">What Is Time?</h2>
<p>Time is the structure by which events are ordered, intervals are compared, and change is described.</p>
<p>This working definition contains three elements:</p>
<ol>
<li><strong>Order:</strong> one event is earlier than, later than, or simultaneous with another;</li>
<li><strong>Duration:</strong> a process lasts for an interval, and intervals can be compared;</li>
<li><strong>Change:</strong> an object or system has different states at different times.</li>
</ol>
<p>The definition does not decide whether time is an independent part of reality, a system of relations among events, a dimension of spacetime, or an emergent feature of a deeper theory. Physics specifies how temporal quantities are measured and used in theories. Metaphysics asks what temporal structure implies about reality. Psychology and phenomenology examine how duration, succession, and passage are experienced.</p>
<h2 id="time-clocks-and-measurement">Time, Clocks, and Measurement</h2>
<p>A clock is not time itself. It is a physical system that uses a stable, repeatable process to compare durations. Pendulum clocks count swings, quartz clocks count oscillations, and atomic clocks use frequencies associated with atomic transitions.</p>
<p>The SI second is defined by fixing the numerical value of the unperturbed ground-state hyperfine transition frequency of cesium-133 at 9,192,631,770 hertz. This makes a unit of duration reproducible; it does not define the metaphysical nature of time. <a href="https://www.bipm.org/en/history-si/second">BIPM: The Second</a></p>
<p>Time, the unit called a second, a physical clock, and a coordinated time scale are therefore different concepts. Measurement establishes reliable relations among physical processes. It does not by itself determine whether time exists independently of those relations.</p>
<h2 id="time-and-change">Time and Change</h2>
<p>Change means that a system has different states at different times. Time supplies the order and interval by which those states are compared.</p>
<p>A relational theory may argue that temporal structure is constituted by relations among changes, but it must still explain order, duration, and the comparison of different processes. Time and change are closely connected without being identical concepts.</p>
<h2 id="metaphysical-accounts-of-time">Metaphysical Accounts of Time</h2>
<h3 id="substance-and-relation">Substance and Relation</h3>
<p>On a substantival view, time exists independently of particular events. Physical processes occur within a temporal framework that would remain even if nothing changed. Newton&rsquo;s conception of absolute time is the standard historical example.</p>
<p>On a relational view, time consists in relations such as earlier than, later than, simultaneous with, and lasting longer than. Leibniz is closely associated with this position.</p>
<p>Substantivalism treats time as part of the world&rsquo;s independent structure. Relationism treats temporal order as constituted by relations among things and events.</p>
<h3 id="order-and-passage">Order and Passage</h3>
<p>The existence of temporal order does not by itself establish that time passes.</p>
<p>McTaggart distinguished the <strong>A-series</strong>, which classifies events as past, present, or future, from the <strong>B-series</strong>, which orders events as earlier than, later than, or simultaneous with one another.</p>
<p>In an A-theoretic account, an event may first be future, then present, and finally past. If these tensed properties are objective, becoming and passage may be features of reality.</p>
<p>In a B-theoretic account, the fundamental facts are tenseless relations among events. Temporal order can be objective without an additional moving present.</p>
<h3 id="past-present-and-future">Past, Present, and Future</h3>
<table>
  <thead>
      <tr>
          <th>View</th>
          <th>Central claim</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Presentism</td>
          <td>Only present objects and events exist.</td>
      </tr>
      <tr>
          <td>Eternalism</td>
          <td>Past, present, and future objects and events all exist at their temporal locations.</td>
      </tr>
      <tr>
          <td>Growing block</td>
          <td>The past and present exist, while the future does not yet exist.</td>
      </tr>
  </tbody>
</table>
<p>Presentism must explain what makes true statements about a nonexistent past true. Eternalism must explain why the present appears privileged in experience. Growing-block theories preserve objective becoming but must explain the boundary at which reality grows.</p>
<p>These are metaphysical interpretations, not direct experimental results. Physical theories constrain them, but measurements do not select one position without additional philosophical assumptions. <a href="https://plato.stanford.edu/entries/time/">Stanford Encyclopedia of Philosophy: Time</a></p>
<h3 id="persistence">Persistence</h3>
<p>Objects change while remaining identifiable as the same objects. Endurantist theories hold that an object is wholly present at different times. Perdurantist theories hold that an object extends through time and has different temporal parts, much as a spatially extended object has different spatial parts. The issue connects time with identity, change, and causation. <a href="https://plato.stanford.edu/entries/temporal-parts/">Stanford Encyclopedia of Philosophy: Temporal Parts</a></p>
<h2 id="time-in-classical-mechanics">Time in Classical Mechanics</h2>
<p>Classical mechanics usually represents time with a universal parameter, <code>t</code>. Ideal observers share the same simultaneity relation and temporal intervals, while motion occurs against a common temporal background.</p>
<p>This framework remains highly accurate for ordinary speeds and weak gravitational fields. Relativity identifies the conditions under which Newtonian time is an effective approximation.</p>
<h2 id="time-in-special-relativity">Time in Special Relativity</h2>
<p>Special relativity removes absolute simultaneity for spatially separated events. Observers in different states of inertial motion can disagree about whether distant events are simultaneous.</p>
<p>This does not make time a matter of opinion. Measurements in different inertial frames are related by Lorentz transformations, and the causal structure of spacetime remains objective. <a href="https://www.einstein-online.info/en/relativity_space_time/">Einstein Online: Relativity, Space and Time</a></p>
<p>The time accumulated by an ideal clock along its worldline is called <strong>proper time</strong>. In flat spacetime:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">dτ = dt × √(1 - v²/c²)
</span></span></code></pre></div><p>Here <code>dt</code> is coordinate time in an inertial frame, <code>dτ</code> is the proper time accumulated by the moving clock, <code>v</code> is relative speed, and <code>c</code> is the speed of light.</p>
<p>Clocks that follow different paths can reunite with different elapsed times. Time dilation is a measurable difference between clock readings, not a visual illusion.</p>
<p>Relativity removes universal simultaneity, but not every invariant temporal order. If two events can be causally connected by a signal traveling at or below light speed, their causal order cannot be reversed by changing inertial frames.</p>
<h2 id="time-in-general-relativity">Time in General Relativity</h2>
<p>General relativity treats space and time as a dynamical spacetime geometry. Matter and energy affect that geometry, and the geometry influences the motion of matter and light.</p>
<p>The proper time accumulated by a clock depends on its path and gravitational conditions. Clocks at different gravitational potentials or moving at different speeds can accumulate different durations. Satellite navigation systems must correct for both gravitational and velocity-related effects. <a href="https://www.nist.gov/atomic-clocks/a-powerful-tool-for-science/putting-einstein-test">NIST: Putting Einstein to the Test</a></p>
<p>Coordinate time is a chosen coordinate used to describe a region of spacetime. Proper time is the reading of an ideal clock along a specific worldline. Coordinate descriptions can vary, while proper-time comparisons correspond to physical measurements.</p>
<h2 id="the-thermodynamic-arrow-of-time">The Thermodynamic Arrow of Time</h2>
<p>Macroscopic processes have a clear direction. Heat spreads, gases disperse, broken objects do not ordinarily reassemble, and records encode earlier conditions.</p>
<p>Many microscopic dynamical laws are approximately invariant under time reversal, yet macroscopic behavior is strongly asymmetric. Statistical mechanics connects this asymmetry with entropy. Under suitable conditions, a closed system is overwhelmingly likely to evolve from a lower-entropy macrostate toward a higher-entropy one.</p>
<p>Entropy is not identical with time. It describes macroscopic states, while time provides the ordering in which change is described. Entropy increase helps explain irreversible direction.</p>
<p>The account also depends on a low-entropy past. Why the universe had such a special boundary condition remains an open foundational question. <a href="https://plato.stanford.edu/entries/time-thermo/">Stanford Encyclopedia of Philosophy: Thermodynamic Asymmetry in Time</a></p>
<h2 id="time-in-quantum-theory">Time in Quantum Theory</h2>
<p>Standard quantum mechanics generally treats time as an external parameter with respect to which quantum states evolve. General relativity, however, makes spacetime itself dynamical.</p>
<p>Attempts to construct a quantum theory of gravity therefore face the problem of time: if spacetime is part of the quantum system, an external classical time parameter cannot simply be assumed for the universe as a whole.</p>
<p>Different approaches attempt to recover time from internal variables, correlations, or more fundamental quantum structures. There is currently no universally accepted complete theory. <a href="https://plato.stanford.edu/entries/quantum-gravity/">Stanford Encyclopedia of Philosophy: Quantum Gravity</a></p>
<h2 id="temporal-experience">Temporal Experience</h2>
<p>The experienced present is not equivalent to a durationless mathematical instant.</p>
<p>Hearing a melody requires some retention of earlier notes and anticipation of what follows. Without this short temporal integration, a listener would experience disconnected sounds rather than a musical phrase. Philosophical and psychological accounts describe this temporally extended awareness through concepts such as the specious present. <a href="https://plato.stanford.edu/entries/consciousness-temporal/">Stanford Encyclopedia of Philosophy: Temporal Consciousness</a></p>
<p>Experienced duration varies with attention, emotion, memory, and event density. Waiting can make an interval feel long. Absorbed activity can reduce awareness of passing time. A period with many distinctive memories can appear longer in retrospect.</p>
<p>These are changes in temporal experience, not changes in the proper time measured by an external clock.</p>
<h2 id="physics-and-philosophy">Physics and Philosophy</h2>
<p>Physics describes measurable relations among clocks, events, causal structures, and spacetime intervals. Philosophy asks what those relations imply about the nature of reality.</p>
<p>Relativity makes a single observer-independent cosmic present difficult to maintain, but it does not by itself prove eternalism. Thermodynamics explains much of the direction of macroscopic processes, but it does not establish that temporal passage is fundamental. Psychology explains temporal experience without reducing physical time to a mental construction.</p>
<h2 id="conclusion">Conclusion</h2>
<p>Time has at least four connected aspects:</p>
<ol>
<li>it orders events and allows intervals to be compared;</li>
<li>it functions as a measurable structure in physical theories;</li>
<li>it is related to the macroscopic direction of physical processes;</li>
<li>it structures conscious experience through memory, present awareness, and anticipation.</li>
</ol>
<p>Classical mechanics approximates time as a universal background. Relativity connects elapsed time with paths through spacetime, relative motion, and gravity. Thermodynamics explains why macroscopic processes exhibit a preferred direction. Quantum gravity raises the possibility that time is not fundamental.</p>
<p>Metaphysics asks whether time exists independently, whether passage is real, whether the present is objectively privileged, and how past and future entities exist.</p>
<p>A claim about time should therefore identify its level. Event order, measured duration, proper time, coordinate time, thermodynamic direction, temporal experience, and temporal existence are related concepts, but conclusions about one do not automatically settle the others.</p>
]]></content:encoded></item></channel></rss>