Skip to content

Ampliative

A medieval logical operation by which a common term's supposition is extended beyond presently existing things—especially under past- or future-tense verbs—to include things existing at the relevant other time.

Version
v1 · 2026-09-28 · History
Domain-specific #
7942
Domain group
Humanities
Origin domain
Philosophy
Subdomains
Medieval Logic, Supposition Theory → Philosophy

Core Idea

In medieval logic, ampliation is an operation within supposition theory that enlarges the range of things for which a common term can stand. The familiar temporal rules compare a present non-ampliating verb with verbs directed to the past or future.

Under the simplified account, a common term in an ordinary present-tense proposition stands for present things. With a past-tense verb it may stand indifferently for present and past things; with a future-tense verb, present and future things. The operation helps explain the semantic range and truth conditions of temporally inflected propositions.

The exact theory varies across logicians, treatises, verb classes, modal constructions, and accounts of nonexistent objects. Analysts should cite the source rather than treating three summary rules as a universal calculus. Norman law's ‘ampliation’—postponing a sentence to obtain evidence—is a separate historical use, and modern ‘ampliative inference’ is another sense.

How would you explain it like I'm…

Words That Stretch in Time

Long ago, people who studied how words work noticed something about sentences. If you say "kids are playing," you mean kids right now. But if you say "kids played," "kids" can mean kids now and kids from before too. When a word gets to cover more things like that, they called it ampliation.

Tense Widens a Word

Ampliation is an idea from logic in the Middle Ages. Thinkers noticed that in a present-tense sentence, like 'A king is wise', the word 'king' points to kings who exist now. But in 'A king was wise', 'king' can point to present or past kings, and in 'A king will be wise', to present or future kings. The past or future verb 'stretches' what the word can stand for. Different medieval thinkers had different, more detailed versions of these rules, and the same word has been used for other, unrelated things.

Tense-Widened Term Reference

In medieval logic, ampliation is an operation within supposition theory, the theory of what terms stand for in a sentence, that enlarges the range of things a common noun can refer to. In a simplified version, a term in an ordinary present-tense sentence stands for present things; with a past-tense verb it can stand for present or past things, and with a future-tense verb for present or future things. This helps explain what tensed sentences mean and when they are true. The real theories vary between logicians and texts, and they treat verb types, modal sentences and non-existent objects differently, so the three simple rules are a summary, not a universal system. The term is unrelated to the Norman legal 'ampliation', postponing a sentence to get evidence, and to modern 'ampliative inference'.

 

In medieval logic, ampliation is an operation within supposition theory that enlarges the range of things for which a common term can supposit, or stand. The standard temporal rules contrast a present, non-ampliating verb with past- and future-directed verbs: in an ordinary present-tense proposition a common term stands for present things; with a past-tense verb it may stand indifferently for present and past things; with a future-tense verb, for present and future things. Ampliation thereby helps explain the semantic range and truth conditions of temporally inflected propositions. This three-rule account is a simplification: the theory varies across logicians and treatises, across verb classes, in modal constructions, and in accounts of nonexistent objects, so claims should be tied to specific sources rather than treated as a universal calculus. The term must also be kept apart from Norman law's 'ampliation', the postponement of a sentence to obtain evidence, and from the modern notion of ampliative inference.

Structural Signature

Sig role-phrases:

  • common term. Supplies the categorematic expression whose range of supposita is evaluated. Constitutive term. If altered: A singular proper name does not instantiate the standard rule identically.
  • temporal verb/context. Places predication in present, past, or future and may trigger range extension. Constitutive operator context. If altered: Tense is logical-semantic here, not merely morphology.
  • baseline supposition domain. Identifies what the term stands for under a present non-ampliating construction. Necessary reference point. If altered: Different authors' supposition theories must be named.
  • ampliated temporal range. Adds past or future entities relevant to the proposition. Identity-bearing semantic effect. If altered: It is not unrestricted reference to all possible things.
  • proposition and treatise rule. Determines truth conditions and licensed inference under a particular medieval account. Necessary interpretive frame. If altered: The three textbook rules summarize, not erase, author variation.

What It Is Not

  • Not inductive inference. Modern amplification beyond premises is a different concept.
  • Not restriction. Restriction narrows supposition.
  • Not word-history broadening. This is proposition-level medieval semantics.
  • Not Norman-law delay. The legal homonym postpones judgment.

Scope of Application

Ampliation is studied in medieval supposition theory, tense logic, semantics of common terms, history of logic, modal/temporal discourse, manuscript editions, Latin terminology, and comparison with modern quantification.

  • Tense semantics. Extends ranges across times.
  • Supposition theory. Coordinates terms and supposita.
  • Textual reconstruction. Compares authors and manuscripts.
  • Truth conditions. Tests propositions involving past/future entities.
  • Modern comparison. Maps cautiously to tense/quantifier models.

Clarity

Report author, treatise, date and edition; Latin term and translation; proposition; common term; verb tense/class; baseline supposita; ampliated range; existence assumptions; truth-condition consequence; exceptions; manuscript variance; modern formalization; and explicit separation from inductive and Norman-law senses.

Manages Complexity

A small tense change modifies the domain over which a term is interpreted, but the result depends on a broader medieval theory of supposition and existence. Modern notation can clarify range while concealing the source's ontology.

Abstract Reasoning

  1. Identify the source's supposition theory.
  2. Parse the common term and temporal construction.
  3. Establish the unampliated range.
  4. Apply the source-specific ampliation rule.
  5. Evaluate truth/inference and compare modern reconstruction without conflation.

Knowledge Transfer

Domain expansion under temporal operators transfers to modern semantics, but medieval supposition, existence, and verb classifications require explicit correspondence. Legal and inductive senses do not inherit this structure automatically.

Examples

Canonical

A treatise analyzes ‘A man was white’: the common term ‘man’ is evaluated under a past-tense verb and can supposit for relevant present or past men according to that account.

Mapped back: common term → man; temporal verb/context → was/past; baseline supposition domain → present men under baseline rule; ampliated temporal range → present plus past men; proposition and treatise rule → cited source determines truth conditions.

Applied / In Practice

A historian formalizes a future-tense example with time-indexed domains, then marks where the model departs from the medieval author's ontology rather than calling the formalization an exact translation.

Mapped back: common term → source example term; temporal verb/context → future construction; baseline supposition domain → source baseline; ampliated temporal range → present/future range; proposition and treatise rule → text–model divergences documented.

Structural Tensions

T1: historical vocabulary vs. modern formalization. Formal domains clarify extension while altering ontological assumptions. Diagnostic: Which commitments belong to the source?

T2: compact rule vs. author variation. Three rules aid orientation while treatises qualify them. Diagnostic: Which text licenses this range?

T3: temporal reference vs. present existence. Past/future discourse requires reference beyond current things. Diagnostic: What entities enter the supposition domain?

Structural–Framed Character

Ampliation is structural-leaning. An operator expands an interpretation domain; medieval ontology and supposition doctrine frame the operation. Its portable skeleton is Contextual Domain Expansion, a prospective future-prime candidate. Evaluative weight is low; scholarly practice fixes reconstruction; institutional origin is scholastic logic; vocabulary imports poorly. Its character: context-triggered enlargement of a term's admissible supposita.

Structural Core vs. Domain Accent

Skeletal core. A context operator enlarges the domain over which an expression ranges.

Domain-bound accent. Common terms, supposition, tense, Latin treatises, and medieval existence assumptions define ampliation.

Why not prime. Contextual domain expansion travels; this is one historical semantic doctrine.

This entry under conditions is a kind of Logical Operation.

  • Contextual Domain Expansion. Prospective portable skeleton.
  • Restriction. Paired narrowing operation in supposition theory.
  • No strict DAG edge is added.

Relationships to Other Abstractions

Local relationship map for AmpliativeParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.AmpliativeDOMAINDomain-specific abstraction: Logical Operation — is a kind of, conditionalLogicalOperationDOMAIN

Current abstraction Ampliative Domain-specific

Parents (1) — more general patterns this builds on

  • Ampliative is a kind of, conditional Logical Operation Domain-specific

    Supported as a medieval semantic operation extending a term's supposition under tense, although it is not truth-functional.

    Condition / exception Supported as a medieval semantic operation extending a term's supposition under tense, although it is not truth-functional.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Ampliative sits in a moderately populated region (58th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Language, Mind & Meaning-Making (57 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With

  • Ampliative inference. Tell: Is inductive support beyond premises intended?
  • Restriction. Tell: Does the domain narrow or expand?
  • Semantic broadening. Tell: Is diachronic word meaning meant?
  • Legal ampliation. Tell: Is judgment being postponed?

References

  • Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Ampliative (revision 1174311988).

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.