UNIT II

• UNIT II ONTOLOGY
• Ontology: Ontological categories,
Philosophical background, Top-level
categories, Describing physical entities,
Defining abstractions, Sets, Collections,
• Types and Categories, Space and Time
 Ontology
• The existential quantifier (∃) in logic asserts the existence
of something but does not describe what exists.
• Ontology fills this gap by studying existence and
categorizing entities (abstract and concrete) that make up
the world.
• Ontology provides predicates for predicate calculus and
labels for conceptual graphs.
• Ontological categories arise from:
– Observation: We see a tree, recognize its shape, texture, and
presence in the physical world. The tree is a tangible object
categorized as a "physical entity.
– "Reasoning: We abstract the idea of "tree-ness," which refers to
the concept of trees as a general category, regardless of
individual trees. This belongs to the realm of metaphysical
• Defining ontological categories is crucial for
designing systems like:
– Databases (categories = domains).
– AI systems (categories = types).
– Object-oriented systems (categories = classes).
• The chosen categories determine what can be
represented in a system or application.
• Incomplete or restrictive categories limit the
generality and effectiveness of programs and
databases.
 2.1 Ontological Categories
• Importance of Ontological Categories
• They define what can be represented in computer
systems
• Ontological categories define concepts, objects, and
relationships in computer systems.
• They provide a structured way to classify and organize
knowledge.
• They help computers interpret data meaningfully.
• They establish clear categories for better data
processing and understanding.
• Quine's Ontological Question:
• The fundamental question of ontology is: "What is there?"
• The simple answer is: "Everything," but this lacks detail.
• Quine’s Criterion:
• Quine’s famous slogan: "To be is to be the value of a
quantified variable."
• This means that something exists if it can be the value of a
bound variable in a quantified statement (e.g., ∃x\exists).
• Explanation of the Criterion:
• The notation ∃x\exists ("there exists something x")
symbolizes existence in logical terms.
• The entities taken to exist are those that qualify as values
of x in quantifications.
• Criticism of the Criterion:
• Critics argue that existence is a matter of fact, not
language.
• Quine’s criterion only reveals implicit assumptions in
existing statements but does not guide what should
exist or how existence should be framed.
• Application:
• Quine’s criterion can test the ontological
commitments of a knowledge representation.
• Additional guidelines are needed for knowledge
engineers to construct meaningful and coherent
representations.
• Philosophical vs. Programmer Ontologies:
• Philosophers build ontologies top-down, starting with broad,
universal concepts.
• Programmers build ontologies bottom-up, focusing on microworlds—
limited domains tailored to specific applications.

Microworlds:
• A microworld has a small set of concepts relevant to one application.
• Example: Blocks world for robotics, Chat-80 for geographical
concepts (e.g., rivers, roads, towns, etc.).
Chat-80 Ontology:
• Hierarchical structure used for reasoning, queries, and language
analysis.
• Simplified assumptions (e.g., treating towns as points or rivers as
lines) worked for question-answering but omitted details critical for
other applications.
Limitations of Microworlds:
• -Microworlds are systems built for specific tasks.
• - They work well for their purpose but make it hard to share or reuse knowledge.
• - Example: A pilot needs airstrip details, while a town planner needs town layout
information.
Advantages and Weaknesses:
• Advantage: Easier to analyze, design, and implement.
• Weakness: Lack of flexibility across domains and applications.
- Shared ontologies
- help connect different fields like engineering, manufacturing, and sales.
- They make it easier to integrate knowledge across various areas.
- Philosophy offers the basic structure and top-level categories to bring together
specialized ontologies.
- These shared frameworks allow different systems to work together by unifying
specific knowledge areas.
- Conclusion:
• Specialized microworlds are valuable for specific tasks but require embedding in
a broader framework for knowledge sharing and reuse.
Cyc System Overview:
• Developed by Doug Lenat and team to encompass all human knowledge.
• "Cyc" derives from "encyclopedia."
• The Cyc hierarchy has grown to over 100,000 concept types and 1 million
facts and axioms.
• Top-Level Categories: The most general category is Thing, which has no
properties.
• - Major subcategories include IndividualObject, Intangible, and
Represented Thing.
• - RepresentedThing was initially different from Intangible and
InternalMachineThing, but later revisions made it equal to Thing, adding
contexts and self-reflection.
• - Collections as Intangible:
• Collections as Intangible: Collections as Intangible:
• Unlike physical objects like "FredsCar," collections (e.g.,
"TheSetOfFansOfFredsCar") are intangible.
• This distinction prompts philosophical questions, such as why we can see
a flock but not a set.
 Example explanation
• Why can a flock (a group of individual birds)
be seen as a whole, but a set (a collection of
objects or ideas) cannot?
• A flock is a tangible, visible entity made up of
individual objects, which can be perceived as a
unified whole.
• A set, however, is an abstract concept with no
physical presence, making it harder to
perceive as a whole entity.
Composite Tangible and Intangible Objects:
• Examples:
– George Bush: A composite of tangible (body) and intangible (mind).
– Videotape: Tangible strip of plastic with intangible stored information.
• Reflects debates from Plato and Aristotle on abstract information in physical entities.
Processes and Objects:
• Example of Processes and Objects: A tree is an object, but it can also be seen as a process
when considering its growth over time.
• In Cyc, a person like Fred can be treated as a process (from birth to death), and this helps in
understanding how entities change over time.
Philosophical Scope:
• Cyc’s ambition forces it to address nearly every issue in knowledge representation, from
ontology to philosophy.
• If we consider Fred as both an object and a process, we might raise the question: is Fred
still Fred if his body changes over time, or is he only the sum of his processes (birth, growth,
aging, death)?
Collaboration and Accessibility:
• Cyc shares its top-level categories online to facilitate collaboration with researchers and
developers.
Challenges:
• Questions raised about Cyc’s ontology reflect broader debates in logic, philosophy, and AI
development.
 [Link] Background
• Tangible vs. Intangible:
• The Cyc system distinguishes between tangible objects (e.g., a
car) and intangible structures (e.g., information), echoing ancient
philosophical debates.
• Heraclitus' Philosophy:
• Known for "all things flow" (panta rhei), symbolized by: "One
cannot step into the same river twice."
• Highlighted the logos, an intangible principle of order and
reason.
• Greek Concept of Logos:
• Means word, speech, reason, or computation.
• Bridges tangible and intangible aspects, shaping ontological
thought.
• Logos Concept:
• Heraclitus: Logos is the principle governing constant
change in the universe.
• Ex: Heraclitus: A river is always changing, yet it’s still
called a river. The logos explains the order in this
change.
• St. John: Logos is a divine force through which
everything was created, linking it to God.
• Ex: St. John: The logos is like God’s word, through which
the universe and all life were created.
• Lao-Tzu and the Tao: Similar to logos, the Tao is an
eternal, formless force that gives rise to all things.
• Ex Lao-Tzu (Tao): The Tao is like the flow of nature—an
invisible force that creates and sustains everything.
• .
• Influence on Philosophy:
• These ideas shaped both Eastern (Taoism) and
Western (Greek philosophy) thought.
• Plato: Built on Heraclitus's logos, proposing
the theory of Forms—unchanging ideals
behind the changing physical world.
• Key Idea: Just as a river has both change and
order, the logos or Tao represents the unseen
principle that organizes all things.
[Link]'s Categories: Introduces ten categories for classifying aspects of reality.
• Categories:
• Substance (ousia): The essence or core identity.
• Quality (poion): Descriptive attributes of a substance.
• Quantity (poson): How much or how many.
• Relation (pros tz): How one thing relates to another.
• Activity (poiein): Actions performed by a substance.
• Passivity (paschein): How a substance is affected by others.
• Having (echein): The state of possessing a property.
• Situatedness (keisthat): The positional state of a substance.
• Spatiality (pou): The space a substance occupies.
• Temporality (pote): Time-related aspects (when or how long).
• Brentano's Tree: Systematized Aristotle's categories into a tree structure with
branches like Being (to on) and Accident (symbebekos).
• Translation Challenges: Greek allows turning phrases into nouns (e.g.,
Situatedness), but English translations are not always perfect.
• Philosophical Significance: These categories distinguish different ways of
categorizing reality, influencing logic, philosophy, and knowledge
representation.
[Link]'s Challenge to Aristotle:
In the Critique of Pure Reason (1787), Immanuel Kant
proposed a new system of categories, presenting a
significant challenge to Aristotle's framework.
• Kant’s Approach (Simplified):
• Kant's categories come from the basic ways we form
judgments (logical functions).
• These categories are pure concepts that our mind uses to
understand experiences, even before we sense them (a
priori).
• They apply universally to anything we perceive.
• Example:
When we see a tree, we use categories like quantity (it's one
tree) and quality (it’s green and tall) to understand it. These
concepts shape how we perceive the world.
• Kant’s Table of Categories: Kant organized his
categories into four groups of three:
• Quantity: Unity, Plurality, Totality
• Quality: Reality, Negation, Limitation
• Relation: Inherence, Causality, Community
• Modality: Possibility, Existence, Necessity
• Kant on Aristotle’s Categories:
• Kant refined Aristotle’s categories into a systematic
framework, believing additional categories could be
organized through ontological methods, though
completing this task proved far more complex than he
anticipated.
• [Link]’s Triads (Simplified):
• Kant grouped categories into four triads (e.g., Quantity: Unity,
Plurality, Totality), with the third combining the first two (e.g., Totality
= Unity + Plurality).
• Philosophical Challenge:
• Kant struggled to explain how these combinations work, leaving
doubts about the system's symmetry.
• Hegel’s Contribution:
• Hegel expanded triads (e.g., thesis, antithesis, synthesis) using
aufheben (negate and preserve), showing how contradictions create
new concepts.
• Criticism and Legacy: Philosophers like Bertrand Russell criticized
Hegel's logic but acknowledged the intriguing consequences and
richness of his triadic approach.
• Key Takeaway:
• Kant and Hegel’s triadic ideas shaped philosophy, but their systems
remain complex and widely debated.
[Link]'s Categories and Principles
1. Peirce's Critique of Kant and Hegel:
1. Peirce admired Kant's work but identified flaws in the triadic structure of Kant's categories.
2. He developed his own categories: Firstness, Secondness, and Thirdness, emphasizing their
equal importance and rejecting hierarchical relationships like Hegel's aufheben.
2. Definitions of Peirce's Categories:
1. Firstness: Independent qualities inherent in an entity (monadic predicate P(x)). Example:
An animal defined by inherent traits.
2. Secondness: Relationships or reactions between two entities (dyadic relation R(x, y)).
Example: An animal as a pet defined in relation to a human.
3. Thirdness: Mediation that relates two entities (triadic relation M(x, y, z)). Example: The
bond between a pet and its owner, involving trust and responsibility.
3. Significance of Triads:
1. Peirce argued triads suffice to define all categories, with higher-order concepts reducible
to triads.
2. Example domains:
1. Firstness: Recognizing an individual by inherent traits (e.g., "woman").
2. Secondness: Classifying relationships (e.g., "mother" based on a child).
3. Thirdness: Mediating roles or systems (e.g., "motherhood" as nurturing, "marriage"
as a legal and emotional connection).
4. Applications:
1. Peirce's principle generates triadic categories across disciplines, including language,
measurement, and systems, as illustrated in various contexts throughout his works.
[Link]'s Categories
1. Noema (Firstness): The abstract content or meaning of a
perception (e.g., thought or concept).
2. Noesis (Secondness): The process of recognizing an object
based on the noema.
3. Intentionality (Thirdness): The mental mediation linking noema
to its object during noesis.
4. Independent vs. Dependent Entities:
1. Independent: Entities that exist autonomously (e.g., a rose or its
petals).
2. Dependent: Entities relying on others for existence (e.g., a rose's color
or shape).
• Husserl’s distinctions parallel Peirce's triadic categories and
emphasize intentionality as central to meaning and
relationships.
[Link]'s Categories
• Whitehead's ontology incorporates two interrelated triads of physical
and abstract categories, along with principles for generating
combinations, to describe the interplay between permanence and flux
in reality.
• Physical Triad (Firstness, Secondness, Thirdness):
1. Actual Entities (Firstness):
1. Fundamental units of reality, existing independently of anything else.
2. Examples: A proof of existence or even God.
2. Prehensions (Secondness):
1. Concrete relationships between entities.
2. Involves three aspects:
1. Subject (entity doing the prehending),
2. Datum (entity being prehended),
3. Subjective form (the mode of prehension).
3. Nexus (Thirdness):
1. A connection or binding of two or more entities through prehensions.
2. Represents a community or "togetherness" of entities.
Abstract Triad (Firstness, Secondness, Thirdness):
1. Eternal Objects (Firstness):
1. Abstract forms or "pure potentials," akin to Plato’s forms, realized in actual
entities.
2. Example: A circle is a potentiality instantiated in physical objects like a plate.
2. Propositions (Secondness):
1. Combinations of eternal objects and logical subjects to form statements or
relations.
2. Example: "Yojo is chasing a mouse" interweaves concepts like Cat, Chase, and
Mouse with relations such as Agent and Theme.
3. Subjective Forms (Thirdness):
1. Mediating intentions such as emotions, valuations, or purposes.
2. Reflect the internal and private experiences of entities.
• Additional Categories for Generating Combinations:
1. Multiplicities:
1. Pure disjunctions of diverse entities that allow the formation of novel
combinations.
2. Contrasts:
1. Distinctions that define how entities are related in a prehension.
2. Can progress indefinitely into "contrasts of contrasts," generating higher levels
of complexity.
[Link]'s Categories
• Heidegger's philosophy links meaning to culture and human practices, aligning
with Peirce's triadic concepts.
• Basic Categories
1. Vorhandene (Present-at-Hand, Firstness):
1. Independent entities, untouched by human needs or intentions.
2. Examples: Natural phenomena like the moon or oceans.
2. Zuhandene (Ready-to-Hand, Secondness):
1. Artifacts shaped for human use, gaining meaning through functionality.
2. Example: A hammer used in construction.
• Culture as Thirdness:
• Zuhandene artifacts derive meaning from their cultural context, which
mediates their use and significance.
• Heidegger’s Triadic Structures:
• Dasein (Being-there): Represents Thirdness—humans mediating meaning
through self-awareness.
• Kant's Human Determination Triad:
• Animateness (Firstness): Living beings.
• Humanity (Secondness): Rational beings.
• Personality (Thirdness): Responsible, self-aware beings.
• Categories of Emotions
• Arieti's classification mirrors Peirce’s triads by dividing emotions into
three levels:
1. Protoemotions (Firstness):
1. Immediate responses to stimuli.
2. Examples: Fear, rage, satisfaction.
2. Second-Order Emotions (Secondness):
1. Cognitive reactions tied to past experiences.
2. Examples: Anxiety (derived from fear), anger.
3. Third-Order Emotions (Thirdness):
1. Complex emotions shaped by memories and expectations.
2. Examples: Love, hate, joy.
• Both Heidegger and Arieti highlight triadic patterns in meaning and
emotion, underscoring the interplay of experience, cognition, and
cultural mediation.
 2.3: Top-Level Categories

1. Historical Roots:
Imagine ancient thinkers debating how the world
works (nature) and how we describe it (reason).

2. Lull’s Tree:
Think of a tree: the trunk is the real world
(nature), and the leaves are ideas or logic.
3. Quine’s Example:
A man describes a chair in another room using
words. The words don’t look like the chair but still give
you the idea of it.
4. Structural Information:
A song can play on the radio, but the music isn’t
tied to the radio itself. It’s about how the notes are
arranged.
5. Shannon’s Theory:
A phone call focuses on sending sound, not the
meaning of the words.
6. Ontology’s Focus:
Ontology cares about understanding and
organizing what the words mean (like defining
what a chair is).
• SYNTHESIS
[Link] 2.5 combines ideas from philosophers
(Heraclitus, Peirce, Whitehead) into a tree of
categories.
[Link] level (T): Universal type, called "Entity"
(everything fits here).
[Link] branches:
[Link]: Things made of matter/energy (e.g., a rock).
[Link]: Information or ideas (e.g., a mathematical
formula).
• Each branch splits into three levels based on Peirce's
concepts:
• Firstness (basic qualities):
• Physical → Actuality (e.g., a rock just existing).
• Abstract → Form (e.g., the idea of a circle).
• Secondness (relationships):
• Physical → Prehension (e.g., touching the rock).
• Abstract → Proposition (e.g., "The rock is round").
• Thirdness (mediation):
• Physical → Nexus (e.g., a group of rocks forming a path).
• Abstract → Intention (e.g., using the idea of a circle to
draw a plan).
• CONTRASTS AND DISTINCTIONS
1. All understanding starts with contrasts:
1. Example: Light vs. dark, sweet vs. sour.
2. Contrasts help define categories:
[Link] vs. Abstract (two-way split).
[Link], Secondness, Thirdness (three-way split).
3. Example: Loud vs. quiet sound → Categorized as loud,
medium, or quiet.
3. Graphs and matrices show how categories
combine.
1. Example: A graph connects "Physical" + "Firstness" to
show "Actuality."
• CONTINUANTS AND OCCURRENTS
1. Continuants: Stable over time.
1. Example: Cleopatra’s Needle (a monument stays
recognizable).
2. Occurrents: Temporary events that change
constantly.
1. Example: A sunset (each moment is unique and
unrepeatable).
• In short:
• Continuant: "The rock remains the same."
• Occurrent: "The sunset changes every second."
 View Point
• 1. Physical vs. Abstract Distinction
• Physical entities have a location in space and
time (e.g., a rock or a chair).
• Abstract entities do not exist in physical space
but may be represented physically (e.g., a
number, a musical score).
• 2. Continuant vs. Occurrent Distinction
• Continuants persist over time while maintaining
their identity (e.g., a glacier seen over minutes
remains the same object).
• Occurrents are processes or events that unfold over
time (e.g., an avalanche).
• Example:
A glacier is a continuant on a short time scale
(minutes), but on a geological time scale (centuries),
it’s an occurrent, as it changes significantly.
• 3. Time Scale and Perspective
• The classification of something as a continuant
or an occurrent depends on the time scale
and observer's viewpoint.
• Example:
A person’s body maintains a stable identity at
a macro-level, but at the molecular level, it’s a
dynamic process (most molecules are replaced
every seven years).
• 4. Recording and Representation
• Physical Continuants (e.g., a tape recorder)
can store information about Occurrents (e.g.,
a symphony performance).
• The information itself (abstract) can remain
eternal if copies are maintained.
• Example:
A symphony is an occurrent (performed over
an hour). A recording of the symphony is a
continuant, preserving it for years.
• 5. Top-Level Categories
• These are combinations of distinctions:
• Independent, Relative, Mediating
• Physical or Abstract
• Continuant or Occurrent
• Each combination forms a unique category.
• 6. Examples of Categories
1. Object (IPC): Independent Physical Continuant
1. E.g., A car, a tree.
2. Process (IPO): Independent Physical Occurrent
1. E.g., A river flowing, a computer running a program.
3. Schema (IAC): Independent Abstract Continuant
1. E.g., A geometric shape, the structure of a sentence.
4. Script (IAO): Independent Abstract Occurrent
1. E.g., A recipe, a sheet of music.
5. Description (RAC): Relative Abstract Continuant
1. E.g., A photograph as a description of an object.
6. History (RAO): Relative Abstract Occurrent
1. E.g., A myth, a historical timeline.
7. Axioms and Inferences
1. Location:
• - Physical entities have a location in space-time.
• - Abstract entities have no physical location but may have
abstract coordinates.
2. Mass and Energy:
• - Physical entities have mass/energy.
• - Abstract entities have none.
3. Representation:
• - Abstract entities can be encoded in physical entities
without changing their mass, energy, or location.
4. Causality:
• - Physical entities can directly affect each other.
• - Abstract entities can't directly affect anything but can
indirectly influence through physical entities.
• 8. Matrix Representation
• The 12 central categories can be visualized in a
3x4 matrix:
• Rows: Independent, Relative, Mediating
• Columns: Physical vs. Abstract × Continuant vs.
Occurrent
• 9. Granularity and Approximation
• Reasoning and classification depend on the
granularity of observation.
• Physical systems are approximations (e.g., no
process is perfectly reversible).
• Example: If an abstract idea is encoded in a
physical medium (like a book), copying the
idea doesn’t change the mass of the book, but
the physical medium itself may degrade over
time.
 2.4: Describing Physical Entities
• Abstract forms can manifest in various physical
entities, leading to potential confusion when
distinguishing between abstract and physical
representations.
• Computers further complicate this by creating
multiple representations of the same abstract
form.
• Abstract vs. Physical: An abstract form like the
book War and Peace can exist as Tolstoy’s
concept, a printed book, or a digital file
encoded as patterns of bits.
• Each is a distinct representation of the same
abstract idea.
• Representation Multiplication: Computers
transform forms into sequences of physical
states (e.g., magnetic spots, light pulses) and
abstract representations (e.g., encoded data).
• Potential Confusions:
• Misinterpreting representations: A system
might mistakenly answer that Wyoming is the
largest state because it compared state names
alphabetically instead of using the correct
measure (e.g., area or population).
• Failure to distinguish abstract forms and
physical entities can lead to programming
errors.
• Examples of Abstract and Physical Entities:
• Physical entities: The state of Wyoming, its
population, or its land.
• Abstract entities: The name "Wyoming" or its
population measurement.
• Intentionality in Perception:
• Interpretation depends on an agent’s intention.
• For example, the word “TOOT” can be perceived
as text, a visual image, or something else entirely,
depending on the viewer's context and skills.
 PHENOMENON, Role, AND SIGN
• 1. Phenomenal vs. Role Types
• Phenomenal types classify entities by their
inherent structure or form (e.g., a cube is defined
by its shape).
• Role types classify entities by the roles they play in
relation to others (e.g., a pet is defined by its
relationship with an owner).
• Phenomenal types depend solely on the entity,
whereas role types depend on external
relationships and context.
• 2. Adjective-Noun Modifications
• Adjectives like "happy," "shaggy," or "green"
describe intrinsic qualities of the noun’s
referent (e.g., a happy boy is both happy and a
boy).
• Adjectives like "good" and "bad" modify roles
rather than intrinsic properties (e.g., a good
musician refers to how someone performs the
role of musician).
• These distinctions are important for logical
representations.
• Challenges in Logic Representation
• Simple translations of adjectives and nouns into
monadic predicates
• (e.g., happy(x)∧boy(x))
• work for intrinsic qualities but fail for role-based
adjectives
• Role-based adjectives like "good musician" require
more complex structures, such as functions that
modify predicates
• (e.g., good(musician))
• 4. Triadic Relations and Semiotics
• Phenomenal and role types cover monadic
and dyadic relations, respectively.
• Signs introduce a triadic relation where an
entity x represents something y to an agent z.
• Semiotics (the study of signs) extends these
relationships by incorporating meaning and
context.
• 5. Tests and Ontological Relationships
• The "has-test" helps identify relationships
between entities (e.g., a car has an engine
works, but an engine has a car does not).
• Situational relationships go beyond the "has-
test," capturing associations that are
contextually bound (e.g., motherhood as a
situation involving a mother and child).
• 6. Conceptual Graphs
• Conceptual graphs use three primitives for
knowledge representation:
– Coreference (e.g., A woman is a mother).
– Prehension (e.g., A mother has a child).
– Containment (e.g., In motherhood, there is a
mother and a child).
7. Key Primitives and Their Roles
• Coreference and Negation: Fundamental to
defining relationships like equality and
inequality .
• Has Relation: Central to defining dyadic
relationships and foundational to the ontology
structure.
• Situatedness: Rooted in Aristotle's category,
focusing on containment and context-
dependent relations.
• Triadic Frameworks
• Peirce’s Principle: Recursively applied at
different ontology levels, generating triads of
categories:
– Essence (Thing, Reaction, Mediation): Focuses on
the inherent nature of entities.
– Conceptualization (Structure, Role, Sign): Centers
on the conceptual lenses for describing entities.
• Intrinsic and Extrinsic Relations
• Intrinsic Relations: Bind components
inseparably (e.g., substrate to property).
Example: A car’s weight or shape cannot exist
without the car.
• Extrinsic Relations: Allow independent
existence of related entities (e.g., mother and
child in motherhood).
• component Subcategories
• Components are further divided into Continuants and
Occurrents, leading to five semantic categories:
• Pieces (Continuants): Spatial parts of a whole, like doors of
a car.
• Participants (Occurrents): Entities involved in actions, like
agents or recipients.
• Stages (Occurrents): Temporal segments of a process, like
phases of life.
• Attributes (Continuants): Descriptive properties like color
or weight.
• Manners (Occurrents): Qualitative descriptions of actions,
like speed or intensity
• Roles and Nexus Relationships
• Motherhood Example:
– Mother's Roles: Effector (GiveBirth), Agent (Nurture).
– Child's Roles: Result (GiveBirth), Recipient (Nurture).
– Temporal Stages: Giving birth and nurturing are linked via
Successor (Succ).
• These relationships illustrate how Has serves as the unifying
primitive, connecting roles through combinations like:
• Effector: Has + Effector
• Result: Has + Result
• Agent: Has + Agent
• Natural Language Correlation
• Semantic distinctions align closely with
linguistic categories:
– Nouns: Continuants
– Verbs: Occurrents
– Adjectives: Attributes
– Adverbs: Manners
– Thematic Roles: Participants, Stages
• Classification of Actuality
• The classification under Actuality spans:
• Phenomenon (Structure): Aligns with
Aristotle’s Substance (ousia).
• Role: Differentiates prehending vs. prehended
entities.
• Sign: Explored in semiotics.
 Defining Abstractions

• Plato's View on Geometry

– Geometry reveals eternal truths, not temporary things.
– Example: A perfect circle exists in theory, not in physical reality.
• Modern Mathematics
– Expanded to include areas like algebra, topology, and simulations.
– Example: Differential equations model real-life events like weather.
• Mathematics Simulates Reality
– Abstract math can represent or mimic real-world phenomena.
– Example: Virtual reality games feel real due to precise simulations.
• Mathematics is Universal
– Includes everything a computer can compute (digital, analog, or neural).
– Example: AI uses math to mimic thinking.
• Plato's Insight
– "God eternally geometrizes" reflects math's role in explaining the
universe.
– Example: Nature’s patterns, like spirals in shells or galaxies, follow math.
• 2. Categories of Forms
• Forms, as viewed by Plato and Whitehead, are eternal and
exist outside space and time. They can, however, characterize
physical entities. Forms are divided into two main categories:
• Schema (Stable Forms)
– Represents patterns and structures of static objects.
– Subcategories:
• Spatial Form: Geometrical shapes like circles, natural forms like animals,
and fractals for simulating natural features (e.g., trees, waves).
• Arrangement: Non-spatial structures like numbers, sets, and grammars.
Includes taxonomies, syntax, and programming languages.
• Script (Dynamic Processes)
– Represents forms of change and motion.
– Subcategories:
• Kinetic Form: Patterns of motion, such as in motion pictures or virtual
reality.
• Procedure: Time-dependent specifications like computer programs,
recipes, musical scores, or robot commands.
• Example Comparisons
• Schema Example: A drawing of a tree (static).
• Script Example: A video showing a tree
swaying in the wind (dynamic).
 [Link] (Fundamental Units)

• Physical vs. Abstract Forms

– Physical objects occupy space and time, while abstract
forms (like points or instants) are not bound by space
and time. They are smaller than anything physical.
– Example: A point on a line doesn’t have a physical size,
but it defines a specific position.
• Monads as Indivisible Units
– Monads are the smallest, indivisible units of forms.
These can be:
• Spatial Monad: A point in space (no size, just position).
• Algebraic Monad: An individual element in a set or a
number (e.g., 1 in the number system).
– Example: The number "3" in the sequence of natural
numbers is a monad in the algebraic sense.
• Monads as Building Blocks
– These monads form the foundation for constructing
more complex concepts.
– Example: In geometry, a point (spatial monad) can
be used to form lines, shapes, or entire figures.
Similarly, numbers like "1" and "2" can combine to
form larger numbers like "3" or "4."
• In essence, monads are the smallest pieces that
help build larger, more complex forms, whether
in space, numbers, or other systems.
 [Link] Forms
• Spatial Form Division
– Continuous: Smooth, divisible forms that don’t have clear
boundaries.
• Example: Water, which can be divided into smaller parts but still behaves
as one continuous substance.
– Corpuscular: Discrete, separable forms made up of distinct parts.
• Example: A car, made of individual components like wheels, doors, and
windows, each separable from the others.
• Collection vs. Assembly
– The perception of whether something is a "collection" or an
"assembly" depends on how its parts are organized.
• Example: A pile of sand might be seen as a collection of grains, while a
well-organized sandcastle might be viewed as a unified assembly, despite
both being made up of individual grains.
• spatial forms can be continuous or corpuscular, and how we
perceive them depends on how their parts are arranged or
organized.
 5. Methods of Definition

• Explicit Definition
– Abstract forms are defined by combining existing
constructs.
– Example: A square can be defined explicitly as a shape
with four equal sides and right angles.
• Implicit Definition
– New concepts are defined using undefined primitives
and relationships, often through axioms.
– Example: In Euclid's Elements, "point" and "line" are
undefined, and other geometric concepts like
"triangle" are derived from them using axioms.
 [Link] of Theories
• Mathematical Categories Form a Hierarchy
– Different categories of mathematical forms have their own
specific theories.
– Example:
• SpatialForm → Geometry
• Arrangement → Discrete math
• KineticForm → Calculus
• Procedure → Computer science
• Specialization of Theories
– As more axioms (rules) are added to a theory, it becomes more
specialized. This narrows its scope but increases its detail.
– Example: Adding specific rules to geometry, such as the
properties of triangles, makes it more specialized, focusing on
certain shapes while providing detailed information.
 [Link] Operations in Theories

• Lattice Organization
– Theories are ordered by their relationships, with general theories at
the bottom and specialized ones at the top.
– Example: Geometry is general, while triangle theory is more
specialized.
• Lattice Operations
– Partial Ordering: Theories are ranked based on how general or
specific they are.
– Supremum: The most specialized generalization of a theory.
– Example: A theory of circles is a supremum of circle-related theories.
• Purpose
– The lattice helps organize and search for new theories.
– Example: It guides you to the most detailed theory on shapes.

• In essence, a lattice structure organizes theories by their

specialization, aiding exploration and development.
 Sets, Collections, Types, and Categories

• Sets:
Sets are mathematical structures with two operators:
"member of" (∈) and "subset of" (⊆). They are used for
discrete items like integers but cannot represent continuous
entities like water.
• Collections:
Collections are more general than sets, using only the "subset
of" operator (⊆). They can represent discrete things (e.g.,
dogs), continuous matter (e.g., water), or mixed entities (e.g.,
soup with dumplings).
• Types:
A type specifies a set or collection of entities in a domain,
defined by a predicate. Unlike sets, types remain constant
even if their instances change, such as the type "Employee" in
• Categories:
Categories classify entities based on a
predicate, like Aristotle's concept of what can
be said about something. They connect types
to classification.
• Set Theory Basics:
– Operators: Subset (⊆), Union (∪), Intersection
(∩), Universal set (U), and Empty set ({}).
– Extensions: Set theory extends lattice theory,
adding proper subsets, disjoint sets, cardinality,
power sets, and concepts of infinity.
• Intension vs. Extension:
– Intension: A term's intrinsic meaning or properties
(e.g., "Unicorn" as a mammal with one horn).
– Extension: The actual entities satisfying the term
(e.g., the set of all unicorns, which is empty).
• Finite vs. Infinite Sets:
Finite sets have a countable number of
elements, while infinite sets are described by
different infinities, like ℵ₀ (integers) or ℵ₁
(power set of integers).
• Criticisms of Set Theory
• Set theory, despite its widespread use and foundational
role in mathematics, faces significant criticisms:
• 1. Ontological Extravagance
• Set theory generates an infinite hierarchy of sets, such
as {Tom}, {{Tom}}, and so on, which some find overly
elaborate.
• Critic: Nelson Goodman, who stated, "No distinction of
individuals without distinction of content."
• 2. Discrete Elements
• Set theory assumes that elements are discrete and well-
defined, which struggles to represent continuous
substances like rain puddles or lumpy mixtures.
• 3. Paradoxes
• Notable example: Russell's Paradox (the set of
all sets that do not contain themselves).
• Many logicians, including Zermelo, Fraenkel,
and von Neumann, proposed versions of set
theory to address such paradoxes, often
unsuccessfully
• 4. Grotesque Contortions
• Definitions of simple concepts (e.g., the integer 5 as
"the set of all sets with five elements") are
unnecessarily complex.
• Critic: Leopold Kronecker, who argued integers are
divine creations, while set theory's constructs are
artificial.
• 5. Nonconstructive Definitions
• Set theory often relies on nonconstructive methods,
contrasting with intuitionist preferences for definitions
that can be explicitly constructed.
• Advocate: L.E.J. Brouwer, who emphasized intuitive,
constructive approaches.
• Mereology as an Alternative
• Mereology, developed by Stanisław Leśniewski
and Alfred North Whitehead, addresses many
of the above criticisms by focusing on parts
and wholes instead of discrete elements.
• Mereology vs Set Theory:
• Mereology is the study of parts and wholes,
unlike set theory, which focuses on sets.
• Mereology doesn't allow for the creation of
things from nothing
• EX:In mereology, a chair is described as a
whole made of its parts (legs, seat, backrest).
• set theory, a chair could be represented as a
set containing these parts.
• Mereology uses a constructive approach, like
intuitionistic logic, focusing on explicitly
building objects, which is practical in fields like
computer programming where infinity cannot
be assumed.
• In mereology, aggregates differ from sets by
using only the "part of" operator (⊆), treating
an entity and its collection (e.g., {x} and x) as
identical, unlike sets that use "subset" (⊆) and
"member of" (∈).
• Empty Set and Nothingness:
• In set theory, the empty set {} represents
nothingness, while in mereology, the empty
aggregate {} signifies absolute nonexistence,
formally expressed as a condition true only if
no entity satisfies it.
 Space in Mereology vs. Set Theory
• Rigid Boundaries in Set Theory:
– Set theory relies on discrete elements and rigid
divisions, which leads to paradoxes when dealing
with continuous spaces (e.g Dividing a tree into
branches or leaves results in different sets, but
mereologically, they still represent the same
whole tree.)
• Midpoint Problem:
– When you cut a line in half, set theory struggles with
where to place the midpoint because it's a point.
– Mereology doesn’t have this problem—it sees the
midpoint as a boundary, not part of the line itself.
Tarski’s Approach:
– Tarski's geometry, using spheres as the basic building
blocks, eliminates the need for points, lines, or
planes. This approach resolves paradoxes by treating
solids as collections of spheres and avoids midpoint
issues, since points are considered "fictions" rather
than actual parts of the space.
• Time Representation:
• Temporal Points vs. Intervals:
Instead of viewing time as individual moments
(points), Tarski and Whitehead focus on time as
durations (intervals), which aligns more with how
events unfold in real life.
• Allen’s Interval Algebra:
Used in AI, it defines relationships between
intervals (e.g., "meets" or "before") without using
points. These time intervals can be mapped to
Tarski’s spheres, creating a connection between
how we think about space and time.
• Philosophical Implications
• Space Without Points:
– By adopting spheres and avoiding points, Tarski
presents a more physically realistic model for
space, aligning with atomic-level irregularities.
• Time Without Instants:
– The shift from instants to intervals mirrors the
continuous flow of reality, moving away from
abstractions that don't map directly onto physical
phenomena.
 Continue..
• 1. Causality and Time:
• Causality means that one thing (A) causes another thing (B). This
idea works in everyday life, but modern physics shows that it may
not always be true in extreme situations.
• Entropy (disorder) and information are linked to time. Early in the
universe, entropy was low, and time moved in a clear direction. In
places like black holes, time might act differently.
• 2. Continuants vs. Occurrents:
• Continuants are objects that exist fully at any point in time. For
example, a human body is a continuant because all its parts exist
together at any moment.
• Occurrents are events or processes that happen over time, like a
person’s life or a storm. They need to be described through their
stages.
• In modern physics, time is part of a four-dimensional space-time
continuum, and objects' behaviors can be more complex.
• 3. Identity Conditions:
• To identify an object over time, it must stay continuous in space and
time. For example, a person’s identity stays the same over time
because their body remains continuous.
• In quantum mechanics, objects like electrons can change positions
without leaving traces, making their identity unclear at the quantum
level.

• 4. Granularity:
• Granularity is about the smallest unit of detail we can detect. A sandy
beach looks smooth from far away, but up close, it’s made of individual
grains.
• Different fields or methods have different granularities. In
manufacturing, for example, technology limits how precisely things can
be made.
• Granularity can be actual (physical limits), epistemic (knowledge-
based), or intentional (purpose of the observer).
 Granularity
• Actual Granularity: Describes the true nature of things
using first-order logic (e.g., discrete or continuous).
• Epistemic Granularity: Deals with what agents know or
believe about an object’s granularity, based on
measurements or errors.
• Intentional Granularity: Relates to how an agent treats
an object based on a specific purpose or reason.
• Contextual Representation: The same object can be
represented differently depending on context,
purpose, or observer.
• 5. Contextual Understanding of Objects:

• How we view and understand objects changes

depending on the context. A road may look different to
a traveler, an engineer, or a policymaker.
• Sometimes the same object can be seen as continuous,
discrete, or lumped together, depending on the context
or observer's purpose.
• By understanding these concepts, ontology helps us
define and categorize the nature of objects and events
in time and space, and how they change depending on
perspective.
• Search for Primitives: Set theory, mereology,
and linguistic analysis help define basic
concepts and relations, especially spatial ones.