• General Overview
  • The Central Thesis
    • Pure ontology first: must understand what "exists" means before arguing for specific entities
    • Combinatorial answer: being is maximal consistency — to exist is to be a maximally consistent combination of properties
    • Logic as foundation: philosophical metalogic, not phenomenology, provides the a priori method for answering the question of being
    • Integrated ontology: combines pure philosophical ontology with applied scientific ontology for a complete picture
  • The Question of Being
    • Core problem: what it means for something to exist, to have being, to be actual
    • Circularity trap: defining "to be" via synonyms is either trivial or viciously circular
    • Heidegger's error: claimed pure ontology but delivered ontic science of human Da-sein instead
    • Quine's error: focused on applied ontology (criteria of commitment) while ignoring the question of being itself
    • Logic superior to phenomenology: less anthropocentric, applying to any thinker of any species
  • The Combinatorial Solution
    • Being is maximal consistency: to exist at any ontological level is to be maximally consistent
    • Four principles unify: state of affairs = object + property; entity = maximally consistent property combination; actual world = maximally consistent states-of-affairs combination; non-actual world = submaximally consistent combination
    • Logical necessity of existence: logic combinatorially necessitates at least one maximally consistent combination among all possibilities
    • Logical contingency preserved: the actual world's particular physical states are logically contingent, not forced
    • Uniqueness proven: two maximally consistent combinations would logically coalesce into one
  • Applied Ontology and Commitment
    • Quine's criterion: "to be is to be the value of a [quantifier-bound] variable" — but this fails for false theories
    • Extensionalist trap: Quine's quantifiers range only over actually existent entities, collapsing distinct ontologies into the empty domain
    • Combinatorial alternative: ontological commitment determined by property combinations, not predetermined extensions
    • Ockham's razor insufficient: cannot adjudicate between competing false theories or resolve translation indeterminacy
  • The Existence Domain
    • Physical entities: spacetime, matter, events, and causation all exist as maximally consistent combinations
    • Abstract entities: numbers, sets, properties, qualities, relations exist unless they generate logical paradoxes
    • Propositions eliminated: reduced to true/false sentences expressing states of affairs
    • Transcendence refuted: the actual world is maximally consistent, leaving no logical space for transcendent entities
    • Property dualism: mind has physical and non-physical properties without requiring separate spiritual substance
  • Religion and Ontological Arguments
    • Ontological argument fails: existence is not an identity-determining property
    • Kant's insight: existence is not a "predicate" or perfection, restated in combinatorial terms
    • Problem of evil: natural evil contradicts God's all-knowing, all-powerful, all-good definition
    • Inherent inconsistency: religious beliefs contain contradictions that preclude existence
    • Combinatorial verdict: any unresolved inconsistency in God's property combination precludes existence
  • The Integrated Framework
    • Priority of pure ontology: philosophical analysis of being must precede any applied scientific ontology
    • Revisability: applied ontology corrects itself with new discoveries, unlike the necessary core of pure ontology
    • Open-ended categories: physical, abstract, and intentional entities may not exhaust what exists
    • Ongoing project: applied scientific ontology remains a work in progress within scientific philosophy
• Deep Dive
  • Preface
    • The Two Branches of Ontology
      • Pure philosophical ontology: investigates the meaning of being, why something exists, and why exactly one contingent world exists
      • Applied scientific ontology: defends a specific domain of existent entities (objects, states of affairs, the actual world)
      • Interdependence: applied ontology needs pure ontology's foundation to know what "exists" means before arguing for specific entities
      • Complete ontology: must answer both sets of problems, keeping each branch in its proper place
    • Why Pure Ontology Cannot Be Avoided
      • Skeptics' error: dismissing pure ontology as obscure or meaningless leaves applied ontology without theoretical grounding
      • Classical logic's resources: logic implicitly answers pure ontology's hardest questions
      • Logic's necessity: if logic cannot answer these questions, they cannot be answered at all
      • Optimistic thesis: logic explains why something exists, why only one contingent world, and what existence means
    • The Methodological Stakes
      • Applied ontology's risk: arguing for quarks but not universals requires knowing what "exists" means
      • Mathematics and science: can take existence domains for granted; philosophy cannot
      • No escape: efforts to dismiss ontology as unintelligible are unimpressive
      • First principles: philosophy cannot build much of interest without thinking through being's problems
  • Introduction: Being as such
    • The Question of Being
      • Being as such: the ultimate question of pure philosophical ontology, asking what it means for something to exist
      • Existence assumed, not analyzed: we take existence for granted, yet confusion follows without clarifying its meaning
      • Synonyms fail: defining "exist" as "be real" or "be actual" only adds concepts needing explanation
      • Categories presuppose meaning: carving being into kinds assumes we already understand what existence means
      • Indirect approach: analyze being through solving related puzzles like why there is something rather than nothing
    • Four Meanings of "Ontology"
      • Pure ontology (discipline): foundational metaphysics asking what being means, with no ontological commitments
      • Applied ontology (discipline): method for identifying categories of entities in specific fields
      • Applied ontology as theoretical domain: inventory of entities a theory assumes to exist
      • Applied ontology as extant domain: the actual world of all real existent entities
    • Pure vs. Applied Ontology
      • Pure ontology precedes applied: must understand what existence means before committing to specific entities
      • Logic and pure ontology: logic explains being indirectly, but cannot derive existence of any particular entity
      • Applied ontology is fragmented: different theories (science, religion) commit to different existence domains
      • Resolving conflicts: applied ontology arbitrates by proposing its own preferred existence domain
    • Toward an Integrated Ontology
      • Framework over details: the overall structure of ontological inquiry matters more than any specific existence claim
      • Objectivity required: thought cannot will the world into or out of existence
      • Heidegger's error: claimed pure ontology but delivered ontic science instead
      • Quine's error: focused on applied ontology (criteria of commitment) while ignoring the question of being itself
      • Goal: a fully integrated scientific-philosophical ontology explaining being as such
  • Part I: Pure philosophical ontology
    • The Question of Being
      • Core problem: what it means for something to exist, to have being, to be actual
      • Circularity trap: defining "to be" via synonyms (existent, present) is either trivial or viciously circular
      • Escape route: understand being in the predication sense ("is red") as conceptually independent from the existence sense ("exists")
      • Priority: a non-circular concept of being must precede any decision about what specific things exist
      • Applied ontology depends on pure ontology: we cannot judge whether genes exist but ghosts do not without knowing what "exists" means
    • Manifold Senses of "Being"
      • Aristotle's four senses: accidental being, being true (predication), being of categories, potential/actual being
      • Collapse into two: existence sense (actual, potential, accidental, categorical) vs. predication sense (copula)
      • Critical fallacy: inferring existence from predication (e.g., "God is omnipotent" does not prove God exists)
      • Intensional logic: objects need not exist to possess properties, including the property of nonexistence
      • Avoids Parmenides' trap: no need for a thing to "be" in any sense to truly have the property of nonexistence
    • Subcategories of Being Cannot Answer the Question
      • Enumeration is not analysis: listing physical and abstract objects does not explain what "exists" means
      • Circularity again: "to exist is to be a physical or abstract object" presupposes the concept it tries to define
      • Analogy: explaining "colour" by listing colour names explains nothing about the concept itself
      • Useful but insufficient: distinguishing spatiotemporal from abstract being is helpful for applied ontology but irrelevant to pure philosophical ontology
      • Minimize baggage: pure ontology must shed ontological prejudices from science, religion, and common sense
    • Heidegger's Fundamental Ontology
      • Agreement: Heidegger correctly distinguishes ontology (pure) from ontic sciences (applied) and insists on the priority of the question of being
      • Critical divergence: Heidegger declares ontology is possible only as phenomenology — a fiat with no supporting argument
      • Consequence: this unsupported premise makes existentialist ontology inevitable, equating being with human Da-sein (being-in-the-world)
      • Our alternative: logic, not phenomenology, offers the a priori method for answering the question of being
    • Aprioristic Phenomenology — An Insuperable Difficulty
      • Phenomenology's a priori claim: brackets existence of perceived objects, so conclusions do not presuppose real entities
      • Hidden a posteriori content: Da-sein presupposes the contingent existence of human beings, human psychology, and human time horizons
      • Anthropocentric trap: Heidegger's phenomenology begins empirically with human experience, making any "a priori" conclusions suspect
      • Logic is superior: logic is less anthropocentric, applying to any thinker of any species, and thus better suited to answer the question of being
      • Schopenhauer parallel: both use the knower's condition (will or Da-sein) to access being, but Schopenhauer admits empirical enquiry while Heidegger claims a priority
    • Heidegger's Circle and Circularity in Heidegger
      • Heidegger's dismissal: scoffs at circularity objections as "sterile" and irrelevant to foundational investigation
      • Vicious circularity exposed: Da-sein is defined as human being-in-the-world, then used to answer the question of being — but this presupposes the concept of being it seeks
      • Smuggled content: rich ontological conclusions about time horizons and care cannot come from a presupposition-free phenomenology
      • Result: Heidegger's answer to the question of being is question-begging, not transcendental grounding
    • The Circularity Objection
      • Hermeneutic circle: Heidegger embraces circularity as essential to understanding, not a flaw to be avoided
      • Care as ground: Da-sein's structure as care means it is always already ahead of itself, making circularity inevitable
      • Use–mention confusion: describing a circular phenomenon need not itself be circular; counterexamples refute Heidegger's defense
      • Common sense misreads: common sense barricades itself against projection, mistaking circularity for a defect rather than Da-sein's essence
    • The Anthropocentric Trap
      • Phenomenology presupposes human existence: Heidegger's method requires human minds, time horizons, and real-time mental states as given
      • Circular priority: we cannot know what exists until we answer the question of being, yet Heidegger assumes specific entities exist beforehand
      • Actual world as illicit premise: appealing to "factual existence" that "no one would deny" violates the bracketing required for a priori ontology
      • Not pure ontology: Being and Time is an applied ontic science of the human condition, masquerading as fundamental ontology
    • Heidegger's Unconsidered Alternative: Ontology as Logic
      • Heidegger's omission: He rejects logical ontology without argument, never considering logic as a viable alternative to phenomenology
      • The core question: Why agree that ontology is possible only as phenomenology? Why not as logic?
      • Combinatorial answer: Something exists because some logically possible world must exist — a necessary consequence of logical possibility
      • Key distinction: This is not a "logical Big Bang" creating the actual world, but logic as a discipline explicating the concept of being
      • Foundational insight: All thought and reality presuppose the logical possibility of predicating properties to objects
    • Ontic Neutrality of Logical Objects and Properties
      • No circularity: Speaking of objects and properties in pure logic does not assume their existence — they are ontically neutral placeholders
      • Wittgenstein's insight: His "simple objects" in the Tractatus are intentionally unspecified because pure logic cannot specify them
      • Two reduction options: Objects as bare particulars with properties, or objects reduced to property combinations — logic is indifferent
      • Ineliminability proof: Any attempt to deny object-property predication presupposes it, making the denial self-defeating
      • Division of labor: Pure logic settles nothing about whether objects or properties actually exist — that is applied ontology's task
    • The Case Against Maximal Consistency for Non-Actual Worlds
      • Kripkean stipulation is inherently submaximal: finite human decision-making cannot achieve the completeness required for maximal consistency in describing non-actual worlds
      • Submaximal consistency is adequate for modal semantics: all formal work can be done without maximal consistency for non-actual worlds, avoiding problematic world-indexed existence
      • Conventional modal semantics collapses into Heidegger's circle: designating the actual world as "the one we inhabit" relies on phenomenological Da-sein, not pure logic
      • Linguistic scruple is the only objection: the intuition that a "world" must be maximal is terminological, not substantive; renaming non-actual structures as "near worlds" changes nothing in formal semantics
    • The Combinatorial Answer to the Question of Being
      • Being is maximal consistency: to exist at any ontological level—object, state of affairs, or world—is to be maximally consistent
      • Four principles unify the account: state of affairs = object + property; entity = maximally consistent property combination; actual world = maximally consistent states-of-affairs combination; non-actual world = submaximally consistent combination
      • Heidegger's question answered from pure logic: combinatorial ontology respects the priority of the question of being over ontic sciences, without anthropocentric phenomenology
      • Existence is not relativized to worlds: the Fountain of Youth does not exist, period—not "exists in a non-actual world"—preserving logical coherence
    • Why There Is Something Rather Than Nothing
      • Hempel's objection: The question is meaningless because any answer assumes existence of something, creating a logical impossibility
      • Combinatorial reply: Hempel overlooks solutions using only pure logic concepts, not presupposing any entities' existence
    • Logical Necessity of an Actual World
      • Core argument: Logic combinatorially necessitates at least one maximally consistent states-of-affairs combination among all possibilities
      • Maximal consistency = actuality: An actual world is defined as a maximally consistent combination, making existence a logical necessity
      • A priori knowledge: No experience needed; a maximally consistent combination cannot be logically inconsistent, so it must be possible
      • Circularity objection fails: Adding "Being" as extra ingredient to maximal consistency is viciously circular, explaining nothing
    • Logical Contingency of the Actual World
      • Combinatorial necessity vs. contingency: Logic necessitates an actual world exists, but the actual world's particular physical states are logically contingent
      • Physical states as distinguishers: Only spatiotemporal (physical) properties vary between worlds; abstract properties are identical across all worlds
      • No collapse into necessity: If only abstract entities existed, all worlds would be identical and logically necessary — contradicting empirical evidence
      • Pure chance of our presence: That thinkers exist in this world is logically a matter of chance, not necessity
    • Uniqueness of the Actual World
      • Maximal consistency entails uniqueness: Two maximally consistent combinations would logically coalesce into one, like beads of mercury touching
      • No additional objects available: All logically possible objects and properties are already exhausted in one maximally consistent combination
      • Spacetime islands permitted: Widely separated physical regions within one actual world do not violate uniqueness
      • Non-actual worlds are submaximal: They lack predicational completeness, hence do not exist in any sense — not even as abstract entities
    • God's choice of a world to actualize
      • Leibniz's theomodal theory: God chooses to actualize this particular world from all logical possibilities
      • Methodological problem: cannot invoke contested entity (God) in pure philosophical ontology without circularity
      • Why one best world?: no argument that a single best logically possible world exists
      • Why actualize at all?: God's perfection might require actualizing multiple equal worlds or none
      • Dilemma of explanatory regress: if God explains world's existence, what explains God's existence?
      • Empty explanation: "God wills it" adds nothing to understanding what existence means
    • Odds of existing and the Big Bang singularity
      • 50–50 probability model: logically, existence and nonexistence have equal random probability
      • Big Bang as retrodiction: describes how universe began, not why it began
      • No logical necessity: Big Bang is itself the contingent existence needing explanation
      • Spacetime problem: Big Bang creates spacetime, so cannot occur within a pre-existing receptacle
      • Chance alone insufficient: probability without background causal conditions explains nothing
    • Chance existence of the actual world
      • Combinatorial necessity: something must exist; which world exists is pure chance
      • Maximal consistency: one world must be maximally consistent; which one is random
      • No earned existence: actual world does not earn right to exist preconditionally
      • Being as pseudo-property: Dasein, das Modalmoment, or Plato's Form of Being merely name the mystery
      • Kant's insight: Being is not a property that can be added to a property combination
    • Combinatorial roulette
      • Logical objects identical: logical building blocks are the same in every possible world
      • Physical entities vary: stock of physical simples may differ across worlds
      • Chance distribution: all maximally consistent combinations have equal probability
      • Contrast with inductive probability: weather forecasts rely on background data; existence of world has none
      • One complete world: if any physical object is incomplete in a world, all are; only one world is complete
    • Modality of combinatorial ontology
      • Modal fallacy avoided: the argument does not infer ~p from ~•p; it uses a more complex modal structure with the actuality operator Δ
      • Formalization: Δw@ means the actual world is actual; MaxCon.wi → Δwi is the conditional definition of being
      • Proving maximal consistency: not via empirical experience, but by showing there must exist an actual world and at most one
      • Key inference: ~•›wi MaxCon.wi → ~›wi MaxCon.wi, using the definition that possibility of maximal consistency implies existence
    • Logical solution to the question of being
      • Core proof: logically necessarily, a maximally consistent combination exists; therefore an actual world necessarily exists
      • Unique actuality: ~œwi[MaxCon.wi ↔ wi = w@] — only one world is maximally consistent, hence only one is actual
      • Logical contingency: ~Δw@ is provable, but ~w@ is not; the actual world's states are contingent, not necessary
      • Bridge to applied ontology: pure ontology answers what existence means; applied ontology then determines what specifically exists
  • Part II: Applied ontology and the metaphysics of science
    • Quine's Syntactical Criterion of Ontological Commitment
      • Definition: To be ontologically committed is to accept the existence of an entity or category; theories are committed to whatever must exist for them to be true.
      • Quine's method: Translate a theory into first-order predicate logic; the values of quantifier-bound variables are its ontological commitments.
      • Slogan: "To be is to be the value of a [quantifier-bound] variable" — being is tied to quantification, not naming.
      • Ordinary language test: Saying "there are centaurs" commits one to centaurs; saying "Pegasus is not" does not commit one to Pegasus.
    • The Problem of Ontological Relativity
      • Ontological relativism: We can never attain a theory-independent overview; we judge other ontologies laden with our own ontic baggage.
      • Fatal flaw: Radically different theories cannot be accurately translated into Quine's canonical notation, distorting their true commitments.
      • Self-undermining: The criterion fails for the very theories whose ontology is most interestingly different from our own.
    • The Extensionalist Trap
      • Hidden assumption: Quine's quantifiers range only over the extant domain of actually existent entities.
      • Consequence: False theories (unicorns, phlogiston) are judged to have no ontological commitments at all, collapsing distinct ontologies into the empty domain.
      • Semantic arrogance: The criterion works only for true theories, distorting or ignoring the meaning of any false theory.
    • Failure of Ontic Neutrality
      • Needed: Quantifiers must be ontically neutral logical objects, not tied to actual existence.
      • Quine's limitation: He cannot distinguish a theory committed to unicorns from one committed to centaurs if neither exists.
      • The winged horse test: Intuitively, "the winged horse is winged" is true; Quine's extensionalism makes it false, contradicting common sense.
    • The Canonical Notation Dilemma
      • Exclusionary canon: Quine excludes intensional logics (e.g., quantified modal logic) from his canonical notation.
      • Double bind: If the canon is narrow, it cannot judge alien theories; if it is broadened indiscriminately, it becomes logically chaotic.
      • Bias built in: Any privileged syntax imposes the user's prior ontological commitments on the theories it formalizes.
    • Ockham's Razor and Quine's Minimalism
      • Austere ontology: Quine prefers minimalist existence domains — only physical entities and abstract classes are grudgingly admitted.
      • Justification by necessity: We need classes for mathematics and science; otherwise, Quine would exclude them.
      • Limitation: The razor cannot adjudicate between competing false theories, since it only cuts against entities in true theories.
    • The Circularity of Quine's Criterion
      • Vicious circle: choosing a preferred science requires knowing its ontology, but choosing an ontology requires knowing which science is correct
      • Ockham's razor alone cannot decide: multiple theories share the same ontology while making incompatible claims about the same entities
      • Translation indeterminacy: we cannot reliably discern another theory's ontological commitments without imposing our own preferred existence domain
    • Combinatorial Criterion of Ontological Commitment
      • Intensional alternative: being is maximal consistency; ontological commitment is determined by property combinations, not predetermined extensions
      • Logically possible objects: variables range over all logically possible objects in ontically neutral semantics, avoiding Quine's extensionalist circularity
      • Submaximal property combinations: unactualized possibles have distinct identity conditions through their properties, answering Quine's objection about "possible fat men"
    • The Combinatorial Argument Against Transcendence
      • Transcendence defined: entities like value, God, or thing-in-itself supposedly "above and beyond" the actual world
      • Combinatorial refutation: the actual world is maximally consistent, leaving no logical space for transcendent entities
      • Paradox of transcendence: if transcendent, they are nonexistent; if existent, they are part of the actual world and not transcendent
      • Value without transcendence: value as psychological projection, abstract property, or supervenient property — no transcendent entities required
      • Conclusion: no good reason to include transcendence as a positive ontological category; it is logically incoherent
    • Physical Entities: Space, Time, Matter, and Causation
      • Spacetime as entity: a physical entity despite being a medium — has properties, is maximally consistent, thus exists
      • Matter as substance: physical stuff is paradigmatically maximally consistent; inexhaustible phenomenally (Peirce, Rescher, Husserl)
      • Physical events: identified with physical states of affairs occurring in spacetime; they alone distinguish logically possible worlds
      • Causation as real relation: Hume's three conditions (constant conjunction, temporal succession, spatial propinquity) suffice; no need for causation as a separate entity over and above events
      • Natural laws as descriptions: codify causal regularities; not causally efficacious entities themselves
    • Berkeley's Objection to Abstract Ideas
      • Phenomenological challenge: Berkeley argues abstract general ideas (e.g., "triangle") are inherently predicationally incomplete, thus nonexistent
      • Hume's endorsement: Hume calls Berkeley's refutation "one of the greatest... discoveries" in the Treatise of Human Nature
      • Category mistake reply: Abstract entities like triangles need not have perceivable properties (color, specific shape) to be predicationally complete
      • Contrary vs. contradictory: A triangle is non-isosceles (contradictory complement), not neither isosceles nor non-isosceles — this preserves completeness
      • Imagination ≠ existence: Berkeley confuses inability to mentally picture an abstract entity with proof that no such entity exists
    • Numbers, Sets, and Properties
      • Mathematical existence: Numbers and sets exist if maximally consistent — metatheoretic proofs of consistency provide partial evidence
      • Burden of proof: Shifts to skeptics after third man and Berkeley objections fail to refute maximal consistency
      • Universals exist: Properties, qualities, and relations are existent abstract entities unless they generate logical paradoxes (e.g., barber paradox)
      • No vicious regress: Some maximally consistent base properties must exist among logical possibilities, grounding all higher-order property combinations
      • Platonism favored: Universals exist independently of physical instances, supporting Platonic realism over Aristotelian inherence
    • Propositions and Abstract Laws
      • Propositions eliminated: Reduced to true/false sentences expressing states of affairs — no need for Fregean abstract Gedanken
      • Meaning via intentional semantics: Thoughts as psychological episodes expressed in physical sentences replace Platonistic or behavioristic accounts
      • Laws as relations: Logical, mathematical, and metaphysical laws exist as structural patterns among abstract entities, not as separate propositional entities
      • No causal necessitation: Laws serve descriptive/predictive functions only, having no independent influence on events
    • Against wholesale ontological reduction
      • Reduction's legerdemain: entities are made to exist or not based on explanatory need, a shaky criterion.
      • Purpose-dependence: whether an entity is "needed" varies with explanatory context, history, and reductive ingenuity.
      • Symmetrical reductions: numbers to sets and sets to numbers can both succeed, revealing no ontic verdict.
      • Combinatorial criterion: include or exclude abstract entities based on maximal consistency, not reductive success.
      • Futility of realism vs. nominalism: the ancient deadlock dissolves when consistency, not reduction, decides existence.
    • Combinatorial ontology of the abstract
      • Provisional domain: include sets, numbers, properties, qualities, relations; exclude propositions.
      • Burden of proof: opponents of universals must show predicational inconsistency or incompleteness, not just prefer nominalism.
      • Properties as constitutive: objects are constituted by property combinations; universals cannot be eliminated without circularity.
      • Quine's minimal class: if classes survive elimination and are property combinations, not all universals are eliminable.
    • The unbearable lightness of logically possible being
      • Logic's commitment: logic is ontologically committed to logical possibilities; combinatorial ontology inherits this lightly.
      • No deep ontic freight: the ontic status of logical possibilities does not affect combinatorial ontology's answers.
      • Actual world as sole exception: logical possibilities are not existent entities; only the actual world among them is existent.
      • Minimal foundation: the theory begins with the mere logical possibility of an object having a property—the lightest ontological base.
    • Property Dualism
      • Property dualism: mind has physical and non-physical properties (qualia, intentionality) without requiring a separate spiritual substance
      • Non-reductive stance: rejects identity of mental and physical states while accepting neurophysiological foundations
      • Intentionality's irreducibility: thought can intend nonexistent objects (e.g., dreamed-of visits), resisting purely causal-physical explanation
      • Dual aspect: mind has a third-person scientific outside and a first-person phenomenological inside, both essential for understanding consciousness
    • Supervenience and Emergence
      • Supervenience defined: entity a supervenes on b when b's properties are sufficient for a's, but not conversely, with a possessing at least one intrinsic property b lacks
      • Supervenience hierarchy: neurophysiological states → intentional states → qualia, forming a one-way asymmetric dependence chain
      • Explanatory asymmetry: neurophysiology explains intentionality, but not vice versa; intentionality explains qualia, but not conversely
      • Transitivity: qualia ultimately supervene on neurophysiology via intentional states, ensuring physical duplication duplicates mental properties
    • Ontological Arguments Refuted
      • Existence as non-constitutive: existence is not an identity-determining property, so the ontological argument fails
      • Kant's insight: existence is not a "predicate" or perfection, restated in combinatorial terms
      • Moral argument weakness: depends on emotional wishful thinking, not logical necessity
      • Problem of evil: natural evil contradicts God's all-knowing, all-powerful, all-good definition
      • Predicational inconsistency: God's concept harbors contradictions, excluding God from the preferred existence domain
    • Inherent Inconsistency of Religious Beliefs
      • Contradictions as essential: three persons/one person, virgin birth, petitionary prayer vs. perfection
      • Self-formation through conflict: resolving inconsistencies drives spiritual maturation and self-consciousness
      • Paradox of existence: God cannot exist because religion's strength derives from logical inconsistencies
      • Combinatorial verdict: any unresolved inconsistency in God's property combination precludes existence
  • Conclusion: scientific-philosophical ontology
    • The dual mandate of ontology
      • Problem of being: understand what it means for something to exist
      • Integrated ontology: must combine correct pure philosophical ontology with correct applied scientific ontology
      • Correspondence requirement: theoretical domain must match the actual world's existent entities and states of affairs
      • Epistemic caution: knowing when theory truly correlates with reality sustains philosophical controversy
    • Modal demands: necessity and contingency
      • Twin burdens: show why something exists necessarily, yet the actual world remains logically contingent
      • Logical necessity of existence: combinatorial metalogic proves something must exist rather than nothing
      • Contingency preserved: particular facts of the actual world (e.g., the author's existence) are not logically forced
      • Abstract entities: only their properties are universally distributed across all logically possible worlds
    • Logic as the foundation of pure ontology
      • Combinatorial ontology: logically basic combination of objects with properties grounds the analysis of being
      • Philosophical metalogic: excavates implicit ontological commitments lurking beneath logic's surface
      • Predicational maximal consistency: to exist is to be maximally consistent in predication, yielding exactly one actual world
      • Anthropocentrism avoided: logical analysis of being is more basic than phenomenological approaches
    • The scientific character of applied ontology
      • Revisability: applied ontology corrects itself with new discoveries, unlike the necessary core of pure ontology
      • Open-ended categories: physical, abstract, and intentional entities may not exhaust what exists
      • Provisional framework: current ontic categories suit present knowledge but must accommodate future novelties
      • Incompleteness: ontology cannot be final while empirical science and philosophical reflection remain unfinished
    • The proper sequence of enquiry
      • Priority of pure ontology: philosophical analysis of being must precede any applied scientific ontology
      • Starting points vary: applied ontology may begin with physical entities, God, mind, or universals—order is not fixed
      • Logic recedes: in applied ontology, pure logic no longer plays the leading role it holds in philosophical ontology
      • Ongoing project: applied scientific ontology remains a work in progress within scientific philosophy
• Core Conclusion and Practical Takeaways
  • The Logical Foundation of Existence
    • Being = maximal consistency: to exist is to be a maximally consistent combination of properties, yielding exactly one actual world
    • Something must exist: logic combinatorially necessitates at least one maximally consistent world — existence is not optional
    • Contingency preserved: which specific world exists is pure chance, not logical necessity
    • No transcendence possible: the actual world exhausts all logical space; transcendent entities are logically incoherent
    • Kant's insight confirmed: existence is not a property added to a concept, but maximal predicational completeness
  • The Priority of Pure Ontology
    • Pure before applied: understand what "exists" means before committing to any specific entities
    • Logic over phenomenology: logic, not human experience, provides the a priori method for answering the question of being
    • Heidegger's error exposed: Being and Time is applied ontic science of human condition, not fundamental ontology
    • Quine's circularity avoided: combinatorial criterion uses maximal consistency, not extensional quantification tied to true theories
    • No anthropocentric trap: logical analysis applies to any thinker of any species
  • The Combinatorial Criterion of Commitment
    • Replace Quine's criterion: ontological commitment = property combinations, not quantifier-bound variables in true theories
    • Ontically neutral semantics: variables range over all logically possible objects, avoiding extensionalist bias
    • False theories preserved: unicorns and centaurs have distinct property combinations, hence distinct ontological commitments
    • Submaximal possibles: unactualized entities have identity conditions through their properties, answering Quine's objections
    • No translation distortion: alien ontologies are judged on their own property combinations, not forced into canonical notation
  • Practical Daily Practices
    • Test existence claims: ask "Is this entity maximally consistent in its properties?" before accepting it into your ontology
    • Distinguish pure from applied: when debating what exists, first clarify whether you are analyzing "being" or cataloging entities
    • Check for contradictions: any entity with unresolved predicational inconsistency cannot exist — apply this to God, transcendent values, and abstracta
    • Prefer combinatorial analysis: when evaluating a theory's commitments, map its property combinations rather than translating into first-order logic
    • Embrace revisability: treat your applied ontology as provisional, open to correction by new scientific discoveries
  • Mindset Shifts
    • Existence is not mysterious: being is analyzable through logic, not an ineffable quality requiring mystical intuition
    • Circularity is defeat: if your ontology presupposes the concept it claims to explain, you have not answered the question of being
    • Anthropocentrism is a trap: grounding ontology in human experience smuggles in contingent entities before understanding existence
    • Reduction is optional: include or exclude abstract entities based on maximal consistency, not reductive success or explanatory need
    • Contingency is liberating: the actual world's particular states are logically arbitrary — this explains chance, not cosmic purpose
  • The Integrated Ontological Program
    • Dual mandate: combine pure ontology (what existence means) with applied ontology (what specifically exists)
    • Correspondence required: your theoretical domain must match the actual world's entities and states of affairs
    • Modal twin burdens: prove something exists necessarily while preserving the actual world's contingency
    • Open-ended categories: physical, abstract, and intentional entities may not exhaust what exists — remain provisional
    • Proper sequence: pure ontology first, then applied ontology — logic recedes as empirical science takes the lead