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 extends a common term's range of supposition beyond presently existing things when a past-, future-, or other recognized ampliating context changes the proposition's temporal domain. Under the simplified account, a common term in an ordinary present-tense proposition stands for present things. Under the simplified account, a common term in an ordinary present-tense proposition stands for present things.

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.

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. Use it with author, treatise, date, edition and manuscript; Latin terminology; complete proposition; common term and verb; tense or ampliating context; baseline supposita; expanded temporal range; existence and modality assumptions; truth-condition and inference effects; exceptions and author variation; modern formal mapping and its departures; and explicit boundaries from restriction, inductive ampliative inference, ordinary semantic broadening, and the Norman-law postponement sense.

  • 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. The closest near miss sets the boundary: Restriction is the closest paired operation: it narrows a term's supposition, whereas ampliation extends it.

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. The central historical vocabulary–modern formalization tradeoff is this: Formal domains clarify extension while altering ontological assumptions. A second compact rule–author variation tension matters because Three rules aid orientation while treatises qualify them. The temporal reference–present existence tension adds that Past/future discourse requires reference beyond current things.

Abstract Reasoning

Use three linked moves: identify the source's supposition theory; parse the common term and temporal construction; establish the unampliated range. As a collapse test, the case exits when no common term's supposita change or when a modern sense is retrojected without textual evidence. A fourth check is to apply the source-specific ampliation rule. A final check is to 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. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Prospective portable skeleton. Paired narrowing operation in supposition theory.

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