Skip to content

Abstract object theory

Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects.

Version
v1 · 2026-09-28 · History
Domain-specific #
7832
Domain group
Humanities
Origin domain
Philosophy
Subdomains
Metaphysics, Philosophical Logic → Philosophy

Core Idea

Abstract object theory is treated here as the recurring crossdomainmodelsstructuresrepresentations identity summarized by this source-grounded definition: Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism. Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory.

How would you explain it like I'm…

 

No faithful explanation at this level. Two of three generators judged this rung infeasible: any picture a five-year-old can hold of an object that "carries" properties collapses either into ordinary having (a red ball is red) or into a made-up thing in someone's head, which turns a Platonist theory of two modes of predication (exemplifying versus encoding) into fictionalism.

Two Ways to Have a Property

Abstract object theory is an idea from philosophy about things like numbers that aren't physical objects. It says there are two ways a thing can 'have' a feature. An ordinary thing, like a red apple, exemplifies redness - it really is red, and we learn this by looking. An abstract object instead encodes features, a bit like holding a list of them. A small set of basic rules tells us about these abstract objects, including the rule that for every set of features there is exactly one abstract object that encodes exactly those features and no others. A philosopher named Edward Zalta came up with this theory in 1981.

Encoding Versus Exemplifying

Abstract object theory (AOT) is a branch of metaphysics about abstract objects, devised by Edward Zalta in 1981 as an expansion of mathematical Platonism, the view that mathematical objects really exist. Its key move is dual predication: there are two ways for an object to stand in relation to a property. Ordinary objects exemplify properties, and we find out which ones through observation. Abstract objects can encode properties, and we learn about them not by observation but from a simple set of axioms. The central axiom says that for every set of properties there is exactly one object that encodes exactly those properties and no others. The approach draws on the earlier ideas of Alexius Meinong and his student Ernst Mally.

 

Abstract object theory (AOT) is a branch of metaphysics about abstract objects, devised by Edward Zalta in 1981 and set out in his 1983 book Abstract Objects: An Introduction to Axiomatic Metaphysics. It expands mathematical Platonism into an axiomatic system. AOT uses dual predication, also called the dual copula strategy: there are two modes by which an object can be related to a property, exemplifying and encoding. This approach draws on Alexius Meinong and his student Ernst Mally. Objects that exemplify properties are known through ordinary empirical means, while knowledge of objects that encode properties comes from a simple set of axioms. The central comprehension principle says that for every set of properties there is exactly one abstract object that encodes exactly that set and no others. The theory is specifically this axiomatic dual-predication treatment, not any general talk about abstract things.

Scope of Application

  • Overview. While the objects that exemplify properties are discovered through traditional empirical means, a simple set of axioms allows us to know about objects that encode properties.

  • Overview. Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory.

  • Overview. AOT is a dual predication approach (also known as "dual copula strategy") to abstract objects influenced by the contributions of Alexius Meinong and his student Ernst Mally.

  • Overview. For every set of properties, there is exactly one object that encodes exactly that set of properties and no others.

  • Overview. A notable feature of AOT is that several significant paradoxes in naive predication theory (namely Romane Clark's paradox undermining the earliest version of Héctor-Neri Castañeda's guise theory, Alan McMichael's paradox, and.

Clarity

A clear use of Abstract object theory names the carrier, the operative relation, and the conditions under which the source treats the identity as present. The minimal definition is Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. The strongest recognition evidence in the frozen account is: Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism.

Manages Complexity

Abstract object theory compresses multiple crossdomainmodelsstructuresrepresentations details into a stable diagnostic relation. The source shows both the central mechanism—abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory.—and the practical consequence—a notable feature of AOT is that several significant paradoxes in naive predication theory (namely Romane Clark's paradox undermining the earliest version of Héctor-Neri Castañeda's.

Abstract Reasoning

  1. Type the carrier. Identify the crossdomainmodelsstructuresrepresentations entities to which the claim applies.
  2. State the relation. Use the source-grounded identity: Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects.
  3. Check operation and conditions. AOT is a dual predication approach (also known as "dual copula strategy") to abstract objects influenced by the contributions of Alexius Meinong and his student Ernst Mally.
  4. Demand recognition evidence. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism.
  5. Test variation.

Knowledge Transfer

Within the home domain. Knowledge about Abstract object theory transfers literally when a new case preserves the same carrier type, relation, and recognition test. While the objects that exemplify properties are discovered through traditional empirical means, a simple set of axioms allows us to know about objects that encode properties. Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) is the title of a publication by Edward Zalta that outlines abstract object theory. Beyond the home domain. No canonical parent is asserted for Abstract object theory.

Relationships to Other Abstractions

Local relationship map for Abstract object theoryParents 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.Abstractobject theoryDOMAINPrime abstraction: Theory — is a kind ofTheoryPRIME

Current abstraction Abstract object theory Domain-specific

Parents (1) — more general patterns this builds on

  • Abstract object theory is a kind of Theory Prime

    Abstract object theory is a strict kind of Theory: its frozen identity entails the parent's defining structure while adding domain-specific restrictions.

Hierarchy paths (2) — routes to 2 parentless roots

Neighborhood in Abstraction Space

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

Family — Formal Logic & Semantic Systems (18 abstractions)

Nearest neighbors

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