Alexius Meinong – 1853 1920

Biography

Alexius Meinong (1853–1920) stands as one of the most daring, misunderstood, and ultimately prophetic figures in the history of modern philosophy. Situated at the turbulent intersection between late nineteenth-century Austrian descriptive psychology and the dawn of twentieth-century analytic philosophy, Meinong pursued a conceptual program of unmatched systematic ambition. While mainstream philosophical traditions remained tethered to the conviction that inquiries into meaning and knowledge must concern that which exists, Meinong dared to look beyond the boundaries of actuality. He recognized that human thought routinely, effortlessly, and meaningfully directs itself toward things that do not exist: lost cities, unactualized possibilities, literary figures, future states of affairs, and even geometric and logical impossibilities.

For decades, Meinong’s intellectual legacy was obscured by the polemics of early analytic philosophy. Reduced to a philosophical cautionary tale by Bertrand Russell and later dismissed by Willard Van Orman Quine as an avatar of undisciplined ontological extravagance, the caricature of “Meinong’s jungle”—a metaphysical wilderness purportedly teeming with golden mountains, round squares, and phantom entities—long displaced any serious examination of his actual corpus. Yet, Meinong was never an eccentric hoarder of metaphysical curiosities. Rather, he was an exceptionally rigorous, mathematically minded thinker who sought to free philosophy from what he famously identified as “the prejudice in favor of the actual” (das Vorurteil zugunsten des Wirklichen).

Today, Meinong is celebrated as a pioneer who anticipated essential developments across formal ontology, modal metaphysics, cognitive science, philosophy of mind, and the semantics of non-referring terms. His mature architectural framework—the Theory of Objects (Gegenstandstheorie)—presents an encyclopedic science of everything that can be thought, known, or experienced, irrespective of its existential status. This article offers an exhaustive critical examination of Meinong’s life, his psychological experiments in Graz, his groundbreaking ontological and epistemological insights, the famous clash with Russell, and the profound twentieth- and twenty-first-century neo-Meinongian revival that established his permanent place in modern philosophy.

1. Biographical Trajectory and Intellectual Milieu (1853–1920)

1.1 Early Education and Philosophical Formation in Vienna

Alexius Meinong, formally Alexius Meinong Ritter von Handschuchsheim, was born on July 17, 1853, in Lemberg, Galicia (now Lviv, Ukraine), into an aristocratic Austrian family of military lineage. His father, Anton von Meinong, was a high-ranking officer in the Austro-Hungarian army, which inculcated in the young Alexius a profound sense of administrative discipline, formal rigor, and intellectual duty. Following his family’s relocation to Vienna, Meinong received his secondary education at the prestigious Academic Gymnasium (Akademisches Gymnasium), a celebrated humanistic institution that served as the educational cradle for many of the empire’s leading intellectuals, scientists, and statesmen. There, Meinong demonstrated exceptional aptitude in classical languages, literature, and mathematics, cultivating an analytical precision that would govern his future academic writings.

Upon matriculating at the University of Vienna in 1870, Meinong did not initially turn toward philosophy. In alignment with his family’s expectations and the political requirements of the Habsburg monarchy, he pursued the study of history and law. Most notably, he immersed himself in political economy under the guidance of Carl Menger, the revolutionary founder of the Austrian School of Economics. Menger’s methodological individualism, his rigorous taxonomy of economic goods, and his innovative marginal utility theory exerted an indelible methodological influence on Meinong. Menger taught that complex socio-economic phenomena could be understood only by dismantling them into their elementary constitutive components—a taxonomic ethos that Meinong later transposed directly into the domain of human consciousness and ontological categorization.

The decisive turning point in Meinong’s intellectual trajectory occurred in 1874, when Franz Brentano arrived in Vienna to assume the professorship of philosophy. Brentano’s charismatic lectures, marked by a call to regenerate philosophy through the rigorous empirical methods of the natural sciences, galvanized Vienna’s student body. Meinong entered Brentano’s inner circle, immersing himself in the study of British empiricism—particularly David Hume and John Locke—and Brentano’s revolutionary reintroduction of the Aristotelian and scholastic concept of intentionality. Within this high-powered seminar room, Meinong formed intellectually competitive relationships with fellow students who would shape Central European thought, including Christian von Ehrenfels, Alois Höfler, and later Edmund Husserl. Under Brentano’s supervision, Meinong composed his doctoral dissertation on Hume’s nominalism and theory of ideas, followed in 1878 by his Habilitation thesis, Hume-Studien II, cementing his transition from economic history to systematic philosophical psychology.

1.2 The Professorship at the University of Graz

In 1882, Meinong accepted an appointment as extraordinary professor (außerordentlicher Professor) of philosophy at the University of Graz in Styria, advancing to the status of full ordinary professor (ordentlicher Professor) in 1889. The move to Graz marked his geographical and intellectual independence from Vienna and the towering, often authoritarian influence of Franz Brentano. At Graz, Meinong set out to construct an autonomous center of empirical research and philosophical reflection, systematically developing an academic environment that would come to be celebrated internationally as the Graz School of psychology and philosophy.

Recognizing that theoretical epistemology required empirical substantiation, Meinong founded the first psychological laboratory in the Austro-Hungarian Empire at Graz in 1894. Although established with minimal state funding and housed in modest quarters, the laboratory quickly developed into an engine of experimental innovation. Unlike Wilhelm Wundt’s laboratory in Leipzig, which emphasized physiological metrics and psycho-physical reaction times, the Graz laboratory concentrated on the perceptual mechanics of complex forms, optical illusions, spatial perception, and higher-order cognitive acts. Meinong served as an institutional visionary, designing an integrated curriculum that mandated concurrent training in controlled laboratory experimentation, formal logic, and phenomenological description.

The vitality of the Graz School was amplified by Meinong’s exceptional cadre of brilliant students, doctoral candidates, and research associates. Chief among them were Stephan Witasek and Vittorio Benussi. Witasek distinguished himself as an aesthetician and experimental psychologist who systematized the school’s theories of sensory representation and artistic apprehension. Benussi emerged as an experimental genius of European renown, inventing intricate psychophysical apparatuses to test the precise temporal thresholds of illusion, depth perception, and time estimation. Together, Meinong, Benussi, Witasek, and their colleagues established Graz as a formidable bastion of scientific philosophy, demonstrating that mental phenomena could be mapped with empirical precision without reducing conscious experience to mere physiological materialism.

1.3 Final Years, Intellectual Isolation, and Historical Reassessment

The final decade of Meinong’s life was marked by escalating physical hardship and institutional strain. From early adulthood, Meinong had suffered from chronic visual impairment; by the 1910s, this condition had degenerated into near-total blindness. Incapable of reading manuscripts directly or reviewing research literature without the dedicated assistance of his wife, Doris von Handschuchsheim, and his graduate students, he nevertheless maintained a punishing intellectual schedule. He dictated his monumental philosophical treatises, engaged in extensive correspondence with international scholars, and sustained his weekly seminars through sheer mnemonic discipline, demonstrating an extraordinary capacity for abstract structural visualization.

Concurrently, Meinong experienced acute professional and philosophical isolation. The intellectual currents sweeping the German-speaking academic sphere were increasingly dominated by the Marburg and Southwest schools of Neo-Kantianism, whose transcendental idealist commitments stood diametrically opposed to Meinong’s realism and experimental psychologism. Simultaneously, Brentano publicly broke with his former student, expressing dismay at Meinong’s departure from strict psychological immanence. The outbreak of World War I in 1914 shattered the international scientific networks upon which Graz relied, culminating in economic ruin and institutional decay across post-war Austria. Meinong died in Graz on November 27, 1920, leaving behind a fragmented institutional legacy in an impoverished and politically destabilized Austrian republic.

Posthumously, Meinong’s reputation suffered a catastrophic eclipse within the ascendant Anglo-American analytic tradition. Due to the polemical interventions of Bertrand Russell, Meinong was routinely caricatured as a naive philosopher who populated the universe with contradictory phantoms. However, the closing decades of the twentieth century witnessed a dramatic historical reassessment. Driven by the emergence of free logic, non-classical semantics, and formal ontology, contemporary philosophers such as Terence Parsons, Richard Routley, Edward Zalta, and Graham Priest rediscovered Meinong’s original writings. Far from being a naive collector of metaphysical anomalies, Meinong is now recognized as a visionary thinker who anticipated modern modal metaphysics, intensional logic, and cognitive representation.

2. The Graz School and Foundations of Descriptive Psychology

2.1 The Establishment of the Graz Psychological Laboratory

The creation of the Graz Psychological Laboratory in 1894 represented a significant methodological evolution from the classical Brentanian doctrine of inner perception to rigorous, experimental psychophysics. Franz Brentano had famously maintained that psychology could achieve scientific status only through retrospective inner observation (innere Wahrnehmung), expressly rejecting external experimental interventions as artificial and methodologically suspect. Meinong, however, realized that unaided inner observation was inherently vulnerable to subjective distortions, cognitive biases, and systematic observational omissions. To elevate descriptive psychology to an empirical science, one had to synthesize phenomenal description with objective, reproducible experimental interventions.

To realize this vision, Meinong personally acquired, commissioned, and constructed an array of sophisticated experimental instruments. The laboratory was equipped with precision chronoscopes, rotating kymographs, color-wheel tachistoscopes, sound-pendulums, and customized stereoscopic devices. Through these tools, experimental subjects were exposed to controlled, highly modulated sensory stimuli, allowing investigators to measure the exact millisecond delays between sensory registration and higher-order perceptual synthesis. Meinong insisted that the primary objective of the laboratory was not simply the physiological mapping of neural pathways, but the systematic interrogation of intentional experiences under strictly controlled laboratory variables.

This experimental apparatus formed the basis of an innovative pedagogical model. Graduate students and researchers at the University of Graz were rigorously trained to avoid speculative metaphysical assumptions when assessing psychological data. Every laboratory metric—whether measuring the perceived boundary between two optical fields or the cognitive threshold for detecting a temporal interval—was submitted to rigorous conceptual scrutiny. The laboratory operated on the methodological principle that psychological analysis and formal logic were complementary disciplines: the laboratory provided the precise empirical coordinates of conscious presentations, while conceptual analysis clarified the formal structures of the intentional objects to which those presentations referred.

2.2 Production Theory and the Pre-History of Gestalt Psychology

The Graz School’s most influential psychological contribution was the formulation of Production Theory (Produktionstheorie), a pioneering framework that served as the immediate historical bridge to modern Gestalt psychology. Developed collaboratively by Meinong, Christian von Ehrenfels, and Stephan Witasek, Production Theory arose from an investigation of a fundamental perceptual problem: how does the human mind experience complex structural unities—such as a musical melody or a spatial configuration—that cannot be reduced to the sum of their constituent sensory components?

In his landmark 1890 paper, Ehrenfels introduced the concept of Gestalt qualities (Gestaltqualitäten), noting that a melody played in the key of C major retains its distinct qualitative identity when transposed entirely to F-sharp major, despite sharing not a single sensory tone with the original performance. Meinong systematized this insight by introducing a technical ontological distinction between foundational objects (fundierende Gegenstände) and founded objects (fundierte Gegenstände). Foundational objects consist of elementary, lower-order sensory presentations, such as individual auditory pitches or punctate visual sensations. Founded objects, by contrast, are higher-order mental entities (Gegenstände höherer Ordnung) that are actively “produced” by an intrinsic psychological operation upon these foundational presentations.

The Graz theorists applied this production model to the study of ambiguous figures and visual illusions, such as the famous Müller-Lyer and Zöllner illusions. They demonstrated that while the sensory input (the foundational physical lines) remains entirely stable, the subject’s perceptual experience undergoes radical structural shifts depending on how the mind organizes and produces the higher-order relations among those components. This theoretical stance ignited an intense academic debate with the emerging Berlin School of Gestalt Psychology, led by Max Wertheimer, Wolfgang Köhler, and Kurt Koffka. The Berlin School rejected Production Theory, arguing that Gestalt wholes are primary, immediate, and physiologically hardwired perceptual fields rather than secondary configurations produced from atomistic sensations. Despite this disagreement, the Graz School’s meticulous investigations provided the conceptual foundations for twentieth-century cognitive theories of perceptual grouping and holistic synthesis.

2.3 The Nature and Mechanism of Mental Acts

At the core of Meinong’s descriptive psychology lies a sophisticated taxonomy of conscious operations. Rooted in the Aristotelian-Scholastic tradition revived by Brentano, Meinong’s psychology posits that consciousness is fundamentally act-based: to be conscious is to perform an intentional act directed toward an objective target. However, Meinong radically revised Brentano’s original tripartite division of mental phenomena (presentations, judgments, and phenomena of love and hate) into a fourfold architecture: presentations (Vorstellungen), judgments (Urteile), feelings (Gefühle), and desires (Begehrungen). Each of these four act-classes constitutes an irreducible mode of mental directedness, characterized by its own internal psychological dynamics and formal intentional targets.

A central breakthrough in Meinongian act-psychology was the structural separation between the mental content (Inhalt) of an act and its intentional object (Gegenstand). Heavily influenced by the critical insights of his fellow Brentano pupil Kazimierz Twardowski in 1894, Meinong recognized that earlier philosophies had fallen into persistent confusion by conflating the internal psychological vehicle of cognition with the external entity grasped by that cognition. The mental act is a transient, temporally dated psychological occurrence taking place within the mind of an individual thinker. The content of the act is the immanent psychical property or informational vehicle through which the act is mediated. The intentional object, conversely, is that which the act apprehends—an entity that remains ontologically distinct from the act itself and is not a part of the thinker’s mind.

This functional distinction allowed Meinong to chart the operational mechanics of complex psychological attitudes. When an individual contemplates a geometric theorem, reflects upon an emotional loss, or entertains an abstract hypothesis, the content of their mental act functions as an internal prism, directing the mind toward complex states of affairs. By differentiating the act-quality (e.g., whether one is merely imagining, asserting, lamenting, or aspiring toward something) from both its inner content and its transcendent objective target, Meinong provided a descriptive scaffolding capable of analyzing cognitive processes without collapsing intentionality into subjective idealism.

3. The Genesis and Architecture of the Theory of Objects (Gegenstandstheorie)

3.1 The Transience of Metaphysics and the Need for a Universal Science

As Meinong’s psychological investigations into higher-order mental acts deepened, he was confronted by an insurmountable limitation in classical philosophy. Traditional metaphysics had historically defined itself as the universal science of being as being (ens qua ens). However, Meinong perceived that by restricting its domain strictly to that which possesses reality or being, classical metaphysics had arbitrarily reduced its scientific scope. It suffered from what he diagnosed in his 1904 manifesto, Über Gegenstandstheorie, as “the prejudice in favor of the actual” (das Vorurteil zugunsten des Wirklichen)—an unexamined philosophical dogmatism that treated the actual, existing world as coextensive with the universe of thinkable things.

Meinong asserted that our mental lives, theoretical sciences, and linguistic communications routinely transcend the boundaries of actual existence. When an engineer considers structural designs that will never be built, when a mathematician analyzes geometric figures in non-Euclidean manifolds, or when an ordinary speaker contemplates a fictional narrative, the mind is demonstrably occupied with targets that do not exist. Traditional metaphysics was fundamentally incapable of accommodating these entities without declaring them cognitive illusions. Consequently, Meinong proclaimed the necessity of establishing a new, foundational science: the Theory of Objects (Gegenstandstheorie). Unlike metaphysics, the Theory of Objects is not concerned solely with what is real; it is the all-encompassing, ultimate discipline that investigates everything that is an object of thought, representation, or knowledge, irrespective of whether it exists, subsists, or lacks being altogether.

To secure the methodological autonomy of this new discipline, Meinong delineated rigorous boundaries separating the Theory of Objects from ontology and epistemology. Epistemology is the study of cognition, focusing on the conditions, limits, and justification of knowledge. Ontology, as traditionally conceived, is the catalog of existing and subsisting realities. The Theory of Objects encompasses both, yet remains prior to and more fundamental than either. It addresses the entire domain of thinkable and unthinkable items, establishing the necessary conceptual framework within which empirical sciences, mathematics, logic, and value theory operate.

3.2 Intentionality and the Scope of Objecthood

The foundational thesis of Gegenstandstheorie rests upon a radical extension of Brentano’s doctrine of intentionality. In his 1874 work, Psychology from an Empirical Standpoint, Brentano had maintained that every mental phenomenon is characterized by the intentional inexistence of an object—a directedness toward something. However, Brentano had conceptualized this intentional correlate as an immanent constituent of the consciousness itself. Meinong recognized that this formulation carried perilous idealist implications: if the object of thought were merely an internal component of the mental act, one would never genuinely think of the world, but only of one’s own mental contents.

Radicalizing the insights of Twardowski, Meinong severed intentionality from mental immanence. He established the core axiom that every cognitive act possesses an intentional correlate that stands completely transcendent to the mind performing the act, regardless of whether that correlate possesses any form of external existence. Objecthood (Gegenständlichkeit) is therefore not an intrinsic, mind-dependent property granted by human cognition, but an absolute, unconditioned status. An object is anything that can serve as the intentional target of an act of presentation, judgment, feeling, or desire. Whether the target is a stone on a mountain, an imaginary creature, or a contradictory mathematical concept, it functions as a genuine, objective correlate of the intentional act.

Through this move, Meinong decisively separated the mental act from its external intentional target. The act belongs to the temporal stream of an individual’s psychological life; it begins, persists, and terminates within time. The intentional object, conversely, is not governed by the psychological conditions of the thinker. If an individual ceases to think about the ancient library of Alexandria, the mental act terminates, but the object of that thought remains entirely unchanged in its essential characteristics. Objecthood encompasses the entire universe of the conceivable and the inconceivable, asserting an absolute domain that cannot be restricted to the contingent occurrences of human cognitive operations.

3.3 The Core Principles Governing the Realm of Objects

The formal architecture of Gegenstandstheorie is governed by three foundational principles that liberate philosophy from classical existential constraints. The first and most famous of these is the Principle of the Independence of Sosein from Dasein (Der Satz von der Unabhängigkeit des Soseins vom Dasein). In Meinong’s precise terminology, Dasein designates the being or existence of an entity, while Sosein designates its “being-so”—its qualitative character, essence, or the totality of properties that define what it is. Meinong established that an object’s possession of properties is radically independent of whether the object possesses existence or any ontological being whatsoever. A golden mountain possesses the property of being golden and being a mountain with absolute conceptual necessity, regardless of the empirical fact that there is no such mountain on Earth.

The second core principle is the absolute unboundedness of the conceptual universe to non-contradictory constraints. Traditional logic had long decreed that contradictory entities—such as a round square or an iron wooden board—are impossible, and therefore to be dismissed as meaningless linguistic noise. Meinong vigorously rejected this restriction. He argued that the principle of non-contradiction governs whether an object can exist, but it does not govern whether an object can be an object. An impossible object has an entirely definite Sosein: a round square has both the property of being round and the property of being square. The fact that these properties are mutually exclusive prevents the object from ever existing in spatiotemporal reality, but it does not diminish its status as a distinct, identifiable intentional object of thought.

The third principle is the epistemological necessity of non-existent objects within human discourse, scientific practice, and logic. Meinong demonstrated that without acknowledging non-existent objects, fundamental areas of human cognition collapse into unintelligibility. When an astronomer claims that the hypothesized planet Vulcan does not exist, the statement is true only if it is about Vulcan. If Vulcan were absolute nothingness, the assertion would lack an intentional subject, rendering the proposition devoid of content and truth-value. Similarly, counterfactual reasoning in physics, the construction of mathematical proofs through reductio ad absurdum, and the appreciation of imaginative art all require non-existent and impossible objects as their direct intentional targets.

4. Taxonomy of Objects: The Four Fundamental Classes

4.1 Objekte: Objects of Presentation

To establish a systematic science of objects, Meinong developed an exhaustive taxonomy that correlates the different classes of objects with the fundamental categories of psychological acts. At the baseline of this taxonomy are simple objects, termed Objekte (often translated as “proper objects” or “objects of presentation”). Objekte are the intentional correlates of lower-order mental acts of presenting (Vorstellen). When an individual perceives a tree, pictures a white marble sphere, or remembers a specific tone, the intentional targets of these presentations are classified as Objekte.

Within the class of Objekte, Meinong drew fundamental structural distinctions between concrete physical particulars, psychical individuals, and abstract entities. A physical stone situated in the world, an individual’s subjective experience of a sudden pain, and an imaginary unicorn encountered in a myth are all alike in being Objekte. They represent individual entities that can be targeted by a simple presentation without requiring the mind to affirm, deny, or evaluate a proposition about them. The simple presentation presents the entity to consciousness, serving as the foundational raw material upon which all higher-order cognitive and rational operations are subsequently built.

Furthermore, Meinong distinguished between complete and incomplete Objekte within this presentation-correlative domain. A physical, spatiotemporally existing object is inherently complete: for every conceivable property, the existing object either determinately possesses that property or possesses its negation. An incomplete Objekt, conversely, is characterized by an intrinsic indeterminacy. An imagined mountain presented to the mind might possess the property of being snow-capped and jagged, yet remain completely indeterminate regarding its precise microscopic crystalline structure or the exact number of rocks resting on its slopes. Meinong’s identification of incomplete Objekte provided a groundbreaking tool for modeling how finite human cognition grasps schematic and generic concepts.

4.2 Objektive: Objectives and States of Affairs

Standing above simple Objekte in the hierarchy of Gegenstandstheorie are Objektive (commonly translated into English as “Objectives” or “states of affairs”). Objektive are higher-order entities that serve as the precise intentional correlates of acts of judgment (Urteilen) and assumption (Annehmen). Whereas an Objekt is simply presented—such as “snow” or “whiteness”—an Objektiv is asserted, denied, or entertained as a propositionally articulated state of affairs, such as “that snow is white” or “that the golden mountain does not exist.” Objektive represent truth-evaluable structures that ground the logical consistency of human thought.

Meinong highlighted the dual aspect of an Objektiv’s ontological structure. Every Objektiv concerns either the being of an object (a Sein-Objektiv) or the non-being of an object (a Nichtsein-Objektiv). For instance, the judgment that “gold exists” grasps a Sein-Objektiv, while the judgment that “Pegasus does not exist” grasps a Nichtsein-Objektiv. Crucially, while simple Objekte can be spatiotemporally located (if they exist), Objektive never exist in space and time. Instead, an Objektiv either obtains (subsists, besteht) or does not obtain. The fact that the Earth orbits the Sun is an Objektiv that subsists; the counterfactual scenario that the Earth is stationary is an Objektiv that does not subsist, yet remains an intelligible intentional object.

This formulation enabled Meinong to provide a rigorous account of negative facts and contingent possibilities. Traditional empiricism had long struggled to explain what in the world makes a negative statement true, often attempting to reduce negative statements to subjective psychological feelings of disappointment or absence. Meinong demonstrated that negative truths are grounded in real, objective Nichtsein-Objektive. When we correctly state that there are no round squares, this true proposition corresponds to an objectively subsisting non-being-Objektiv. By identifying Objektive as autonomous entities, Meinong laid the conceptual groundwork for the twentieth-century development of truthmaker theory, propositional logic, and modal semantics.

4.3 Dignitative and Desiderative: Objects of Feeling and Desire

Demonstrating an exceptional commitment to systematic unity, Meinong extended the taxonomy of Gegenstandstheorie into the affective and conative domains. Just as presentations correspond to Objekte and judgments correspond to Objektive, acts of feeling (Gefühle) and desire (Begehrungen) correlate with their own unique classes of objective targets. Meinong identified these higher-order, value-laden correlates as Dignitative and Desiderative. Through this move, he decisively broke with psychological subjectivism, asserting that values and duties are objective constituents of the world that consciousness does not invent, but discovers.

Dignitative (frequently translated as “dignitatives” or “value-objects”) are the formal correlates of emotional presentations and feeling-acts. When an individual experiences aesthetic delight before a painting or moral reverence in the presence of an act of self-sacrifice, the feeling is not an isolated, non-cognitive emotional sensation like an itch or a fever. Rather, it is an intentional act directed toward a Dignitativ—such as the beautiful (das Schöne), the good (das Gute), or the sublime. These values are objective, ideal structures that stand in a foundational relationship to the underlying facts of the situation, paralleling the way that Gestalt qualities supervene upon their sensory foundations.

Desiderative (or “desideratives”), on the other hand, are the intentional correlates of volitional acts, strivings, and desires. They encompass purposeful targets, legal duties, obligations, and moral necessities—fundamentally aligning with the concept of the “ought-to-be” (das Sollen). When an ethical agent desires justice or resolves to fulfill a solemn promise, the intentional object of that volition is a Desiderativ. By demonstrating the profound structural parallelism that unifies cognitive acts (presentation and judgment) with non-cognitive acts (feeling and desire), Meinong crafted an expansive axiology that placed ethical and aesthetic realism on an equal footing with mathematics and logic.

5. The Modalities of Being: Existenz, Bestand, and Aussersein

5.1 Existenz: Spatiotemporal Actuality

To navigate the expansive domain of Gegenstandstheorie without falling into conceptual confusion, Meinong formulated an intricate theory of ontological modalities. At the narrowest and most immediate tier of this framework lies Existenz (existence), which denotes spatiotemporal actuality. Existence is the ontological status belonging exclusively to entities that are bound by the coordinates of space and time. A physical boulder resting on a mountainside, an oak tree growing in a forest, a biological organism, and an individual’s empirical psychological experiences (such as a fleeting sensation of warmth or an occurrent thought) all possess existence.

Meinong characterized existence through the markers of transience, causal efficacy, and contingency. Physical and psychological existents come into being, undergo continuous temporal change, act causally upon other entities, and eventually perish. They are essentially embedded in the causal web of the cosmos. Because their instantiation is radically contingent upon natural laws and historical antecedents, their existence can never be deduced purely a priori; it must be confirmed through empirical observation, sensory perception, or experimental instrumentation.

Historically, the fatal error of Western philosophy had been the uncritical identification of Existenz with the totality of being. Meinong recognized that while existence is the most immediate ontological mode encountered in our sensory life, it encompasses only a tiny fraction of the universe of objects. By treating spatiotemporal actuality as merely one specialized modal status among others, Meinong relativized its philosophical dominance, making room for entities that possess rigorous, objective standing while remaining immune to temporal alteration, spatial confinement, and causal decay.

5.2 Bestand: The Subsistence of Ideal Entities

Beyond the realm of spatiotemporally transient existents lies the modal domain of Bestand (subsistence). Subsistence is the mode of being that belongs to ideal, non-spatiotemporal entities. While physical objects exist, ideal objects—such as mathematical entities, numbers, geometric relationships, logical laws, and valid Objektive—do not exist; rather, they subsist. The number seven, the Pythagorean theorem, the relation of identity between an object and itself, and the difference between colors are not located at any spatial coordinate, nor do they possess a temporal beginning or end.

Because subsisting entities do not dwell within space and time, they are inherently immune to causal interaction and physical decay. A drought can destroy a forest of existing trees, but it cannot alter or annihilate the mathematical truth that two plus two equals four. Subsistence represents an unchanging, necessary tier of reality that provides the objective bedrock for the exact sciences. When a geometer proves that the interior angles of a triangle on a Euclidean plane equal two right angles, the geometer is not describing an empirical measurement of drawn chalk lines, but discovering an eternal, subsisting relation holding among ideal geometric structures.

Crucially, Meinong emphasized that all true Objektive possess subsistence. When we state the historical fact that Julius Caesar crossed the Rubicon, the physical event of Caesar crossing the river was an existing event that transpired in 49 BCE and ceased to exist. However, the Objektiv—the eternal state of affairs that “Julius Caesar crossed the Rubicon in 49 BCE”—does not perish with Caesar; it subsists unalterably for all eternity. By distinguishing the temporal existence of events from the atemporal subsistence of the states of affairs that articulate them, Meinong constructed an objective framework for historical, logical, and scientific truth.

5.3 Aussersein: The Extra-Ontological Status of Pure Objects

The most radical, misunderstood, and philosophically revolutionary modal concept introduced by Meinong is the doctrine of the Aussersein des reinen Gegenstandes—the extra-ontological status of the pure object, literally meaning “being-outside-of-being.” Recognizing that there are countless objects that neither exist in space-time nor subsist in the ideal realm of mathematics, Meinong declared that the pure object, considered in its intrinsic nature, stands completely beyond being and non-being. It is essentially indifferent to any ontological status whatsoever.

To grasp the doctrine of Aussersein, one must consider paradigmatic non-existent entities, such as the golden mountain, the centaur, or the fictional detective Sherlock Holmes. If an individual asks, “What is the ontological status of the golden mountain?”, the standard metaphysical instinct is to declare that it has no being. Meinong fully agreed: the golden mountain does not exist, nor does it subsist. Yet, it is unmistakably an object; we can discuss its geological composition, evaluate whether it is taller than the Matterhorn, and affirm with absolute truth that it is golden. This objecthood is grounded in its Aussersein. The object in itself is completely indifferent to whether it receives the status of existence, non-existence, or subsistence; its qualitative identity remains fixed and accessible to intentional thought regardless of any ontological assignment.

The introduction of Aussersein systematically dissolved the ancient Greek paradox of non-being, first articulated by Parmenides and later addressed by Plato in the Sophist. Parmenides had argued that one cannot speak or think of that which is not, because to think of nothing is simply not to think at all. Meinong’s Aussersein dismantled this ancient dilemma: when we speak of non-existent things, we are not speaking of absolute nothingness (das Nichts). We are directing our intentional acts toward pure objects that possess an authentic Sosein (character) while resting in the extra-ontological domain of Aussersein. Through this breakthrough, Meinong established an expansive semantic and conceptual space wherein human thought could navigate non-actuality without logical incoherence.

6. The Principle of Independence and Non-Existent Objects

6.1 The Distinction Between Sosein and Dasein

The operational core of Meinong’s philosophical architecture is anchored in the foundational bifurcation between Sosein and Dasein. In the German philosophical vernacular systematized by Meinong, Dasein refers to the existential instantiation or ontological being of an object—whether it possesses spatiotemporal existence or ideal subsistence. Sosein, translated as “being-so,” refers to the essence, structural nature, or the specific bundle of constitutive properties that define what the object is. Meinong’s revolutionary insight was to demonstrate that an object’s Sosein is entirely unconditioned by, and logically prior to, its Dasein.

This principle is formally captured in Meinong’s famous dictum: “The Sosein of an object is not affected by its Nichtsein (non-being).” To substantiate this claim, Meinong presented rigorous epistemological analyses. Consider the true proposition: “A blue feather is blue.” The truth of this predication is entirely independent of whether there is an actual blue feather currently existing in the physical world. The property of being blue belongs to the Sosein of the blue feather by absolute definitional and conceptual right. If the extinction of all blue-feathered birds were to occur, this would utterly extinguish their Dasein, but it would leave the Sosein of the blue feather entirely intact. The object remains definitively blue, even when its being has been reduced to zero.

This distinction provides the exact truth conditions for propositions concerning non-existent entities. When we state that “a winged horse has wings,” the proposition is objectively true, while the proposition “a winged horse has fins” is unequivocally false. Under standard existentialist assumptions that bind property attribution strictly to existing referents, both statements would have to be dismissed as meaningless or trivially false. Meinong’s formulation provides a coherent explanation of how we can make true, informative, and mathematically precise statements regarding non-actual, historical, and hypothetical entities without attributing false existential properties to the universe.

6.2 Impossible Objects and Logical Contradiction

Pushing the Principle of Independence to its ultimate conceptual limits, Meinong turned his analytical focus toward the ultimate philosophical taboo: impossible objects. The classic historical exemplar analyzed by Meinong is the “round square” (das runde Viereck). For centuries, philosophers from Aristotle through Descartes and Kant had declared that contradictory objects could not even be conceived; they were viewed as mere nonsensical combinations of words that cancel each other out, collapsing into absolute cognitive emptiness.

Meinong challenged this centuries-old consensus. He insisted that if the term “round square” were genuinely devoid of meaning, one could not explain how we are able to form the unequivocally true judgment: “The round square is round, and it is square.” Nor could one explain how we differentiate the round square from another impossible object, such as the “triangular circle.” These two terms cannot be equivalent to meaningless noise, because their intentional targets are visibly distinct. The round square has a precise Sosein comprised of the properties of being round and being square, whereas the triangular circle has a Sosein comprised of triangularity and circularity. We can identify them, distinguish them, and prove through rigorous geometric deduction that neither can ever exist.

Meinong’s embrace of impossible objects carried radical implications for classical logic. It demonstrated that the Law of Non-Contradiction (that an object cannot simultaneously be both A and not-A) and the Law of the Excluded Middle are principles that govern the modal domains of Existenz and Bestand, but do not constrain the wider domain of Aussersein. An impossible object violates the Law of Non-Contradiction within its property-bundle, and this internal contradiction is precisely the metaphysical reason why it cannot enjoy existence. By decoupling objecthood from logical possibility, Meinong laid the early conceptual foundations for modern non-classical, paraconsistent logics that safely accommodate contradictory states without triggering logical explosions.

6.3 Nuclear and Extranuclear Properties

To insulate Gegenstandstheorie against legitimate logical paradoxes and defend his framework against early critics, Meinong developed an essential distinction within property theory: the division between nuclear properties (konstitutive Eigenschaften) and extranuclear properties (außer-konstitutive Eigenschaften). This structural division, later refined and formalized by twentieth-century neo-Meinongians, resolved what would otherwise have been a catastrophic theoretical flaw in the Principle of Independence.

Nuclear properties are the qualitative, constitutive characteristics that define an object’s internal nature, shape, behavior, and physical or conceptual essence. Examples of nuclear predicates include being red, being tall, being composed of gold, being a mountain, being round, or being mortal. Extranuclear properties, by contrast, are external, structural, or ontological predicates that denote an object’s status in relation to reality, logic, or cognition. Examples of extranuclear predicates include: existing (existierend), subsisting, being possible, being impossible, being completely determined, or being thought of by a human mind.

The vital function of this distinction is to prevent the illicit inference of ontological existence from conceptual definitions. Without the nuclear/extranuclear distinction, an interlocutor could define an object as “the existing golden mountain.” If “existing” were an ordinary nuclear property on par with “golden” and “mountain,” the Principle of Independence would force one to concede that the existing golden mountain possesses the property of existence, thereby compelling us to admit that a golden mountain actually exists in our physical reality. Meinong neutralized this fallacy by demonstrating that existence is an extranuclear property. The Sosein of an object is composed exclusively of its nuclear properties. An individual can construct an object that possesses the nuclear property of being golden and being a mountain, but one cannot embed the extranuclear status of actual existence into its Sosein. Through this division, Meinong preserved the independence of character from being while protecting his ontology against illegitimate existential inflations.

7. Epistemology, Judgments, and the Theory of Assumptions

7.1 Über Annahmen: The Epistemic Role of Assumptions

In 1902, Meinong published what many contemporary epistemologists consider his most psychologically insightful masterwork: Über Annahmen (On Assumptions; drastically revised and expanded in a 1910 second edition). The central insight of this treatise was the discovery and exhaustive cataloging of a structural lacuna within classical epistemology. Traditional philosophical psychology, descending from Descartes and Kant, had recognized only two fundamental intellectual faculties: the neutral presentation of an idea (Vorstellung) and the definitive conviction of judgment (Urteil), which either affirms or denies truth with subjective belief.

Meinong proved that between mere passive presentation and full, committed judgment lies an expansive, indispensable cognitive operation: the assumption (die Annahme). An assumption is an intentional act that shares the propositional, truth-directed form of a judgment, but entirely lacks the element of belief, psychological conviction, or existential commitment. When an individual makes an assumption, they hold a proposition before the mind, entertaining its systemic consequences and exploring its structural dynamics, without asserting that the state of affairs actually obtains in reality.

Meinong demonstrated that assumptions are the engine of human rationality, scientific discovery, and cultural life. In the sciences, hypotheses are not introduced as immediate convictions, but as assumptions entertained counterfactually to deduce observational consequences. In formal mathematics and logic, every indirect proof (reductio ad absurdum) begins with an assumption known to be false, tracing its logical outputs until a contradiction emerges. In literature, theatre, and the visual arts, the human capacity for aesthetic immersion relies on assumptions; the spectator does not genuinely believe that the actor on stage is dying, nor do they merely contemplate the disconnected concept of mortality—they assume the unfolding narrative within an imaginative cognitive bracket.

7.2 Evidence, Certainty, and Knowledge Claims

Having established the mechanics of presentations, assumptions, and judgments, Meinong constructed an epistemology of objective appraisal that sought to reconcile fallibilism with rigorous rational certainty. At the core of this epistemology is the nature of evident judgments (evidente Urteile). Following the Austrian tradition, Meinong maintained that genuine knowledge requires not merely true belief, but an immediate cognitive grasp characterized by the phenomenal marker of evidence (Evidenz).

Meinong distinguished between two fundamentally different modes of epistemic evidence: empirical evidence derived from sensory perception, and a priori intellectual intuition derived from the direct apprehension of subsisting states of affairs. Empirical evidence, being grounded in the transient causal interactions between existing physical stimuli and human sense-organs, is inherently fallible and provisional. The senses can be deceived by refractive optical media, physiological exhaustion, or environmental distortions. Consequently, judgments regarding the Dasein of spatiotemporal entities must always remain open to empirical revision.

By contrast, a priori evidence provides absolute necessity because it apprehends the subsistence of necessary relations among pure objects. When the mind asserts that “red is different from green,” or that “a whole is greater than its parts,” the judgment does not rely on inductive statistical surveys of colored surfaces or physical objects. Rather, the mind directly grasps the subsisting relation holding between the ideal Sosein of the respective objects. Meinong’s epistemology thus formulated an objective, non-psychologistic foundation for mathematical, geometric, and logical truths, establishing that certainty is achieved when the subjective act of judgment harmonizes with the subsisting Objektiv.

7.3 Incomplete Objects and Cognitive Grasp

A persistent challenge confronting any realistic theory of knowledge is explaining how a finite human mind can grasp transcendent objects that possess infinite numbers of properties. Meinong resolved this problem through his pioneering theory of incomplete objects (unvollständige Gegenstände). An object is fully determined, or complete (vollständig), if and only if, for every conceivable property P, the object either possesses P or possesses the negation of P. Every existing physical entity in the cosmos is necessarily complete: an actual dog has a precise number of hairs, an exact cellular weight, a specific history, and determinate internal temperatures down to the quantum level.

However, human cognition rarely operates with complete objects. When an individual thinks of a concept—such as “a right triangle”—the intentional object of this thought is an incomplete object. The right triangle possesses the property of being a closed three-sided geometric figure with one ninety-degree angle, but it is utterly indeterminate regarding whether its remaining angles are 45 degrees or 30 and 60 degrees; it possesses no determinate color, no material composition, and no spatial size. The object’s Sosein is composed of only a minimal set of constitutive properties, leaving an infinite array of other properties completely unselected.

Meinong demonstrated that incomplete objects are the formal vehicles through which human abstraction, generalization, and communication take place. Science cannot wait until it has comprehended every microscopic facet of a complete individual; it must formulate universal laws that apply to schematic, incomplete types. Furthermore, Meinong explained the cognitive mechanics of learning as a process of continuous determination: as an investigator conducts experiments or gathers data, the initially incomplete object undergoes progressive cognitive specification, systematically filling in its property matrix until it approximates the complete state of the concrete world.

8. Axiology, Moral Philosophy, and Emotional Presentation

8.1 Emotional Presentation (Die emotionale Präsentation)

In his mature works—culminating in his 1917 masterpiece, Über emotionale Präsentation (On Emotional Presentation)—Meinong launched a systematic revolution in value theory. For centuries, philosophical orthodoxy had enforced a sharp, dualistic chasm between cognition and emotion. Cognition was viewed as the objective, rational faculty responsible for representing truth, while emotion was dismissed as a subjective, irrational, non-representational discharge of internal physiological tension. Meinong dismantled this dichotomy by demonstrating that emotions possess authentic intentionality and serve as indispensable cognitive instruments for the apprehension of values.

Meinong designated this operational capacity as emotional presentation (die emotionale Präsentation). Just as an act of visual sensation presents sensory qualities (such as color, shape, and luminosity) to the intellect, an act of feeling presents objective value-qualities (such as the noble, the base, the tragic, and the admirable) to consciousness. If an individual observes a scene of cruel exploitation and experiences a surge of moral indignation, the feeling is not an arbitrary internal chemical reaction; it is an intentional act through which the objective moral disvalue of the event is directly presented to the subject.

Through this formulation, Meinong categorically rejected psychological hedonism and ethical subjectivism. Subjectivism had long argued that things are good simply because we desire them, or beautiful simply because we derive pleasure from observing them. Meinong reversed this causal and ontological order: we desire an object because we recognize its objective goodness; we derive aesthetic pleasure from an artwork because our emotional presentation has apprehended its intrinsic beauty. Emotions are cognitive sensors through which human beings interface with an objective axiological domain.

8.2 The Hierarchy and Objective Reality of Values

Having established that values are objective intentional correlates grasped through emotional presentation, Meinong proceeded to construct a comprehensive axiology. He identified values as belonging to the class of Dignitative—higher-order, ideal entities that supervene upon underlying factual situations (Objektive). A moral value does not float in an empty vacuum; it is founded upon the concrete factual relations holding between moral agents, their actions, their intentions, and the consequences thereof.

Meinong categorized values into four fundamental, irreducible domains:

• Economic values: Instrumental utilities that serve as pragmatic means toward further ends.
• Intellectual values: Epistemic virtues, such as truth, logical consistency, clarity, and theoretical coherence.
• Aesthetic values: Sensory and formal harmonies, comprising the beautiful, the sublime, the comic, and the tragic.
• Moral values: Ethical imperatives and virtues, including justice, benevolence, courage, and integrity.

Crucially, Meinong insisted that these values are not arranged haphazardly, but conform to an intrinsic, objective hierarchy. Economic values occupy the lowest foundational tier, serving purely instrumental purposes, while moral and intellectual values reside at the apex of the axiological order. Because these values are ideal entities that subsist in the realm of Bestand, their hierarchical ranking is not a matter of subjective cultural preference or evolutionary convention. The supremacy of justice over material convenience is an objective, subsisting state of affairs that remains unalterably true, accessible to any rational consciousness whose emotional presentations are sufficiently refined and unbiased.

8.3 Desire, Volition, and Practical Action

The transition from theoretical value apprehension to moral action occurs within the domain of desires (Begehrungen) and volitions (Wollen). Just as feelings correspond to Dignitative, conative acts correlate with Desiderative—the objective intentional forms of purpose, duty, and the “ought-to-be” (das Sollen). Meinong demonstrated that human action cannot be adequately explained by the mechanistic interplay of blind physical impulses; it is guided by the intentional pull of Desiderative.

Meinong formulated a rigorous derivation of normative imperatives from objective value-states. When an emotional presentation reveals that a certain state of affairs possesses high positive value (for instance, the relief of human suffering), this cognitive insight immediately grounds an objective Desiderativ: the realization that this state of affairs ought to be. The “ought” is not an arbitrary social commandment imposed from without; it is an intrinsic metaphysical demand exerted by the objective hierarchy of values upon the rational will.

Volition is therefore defined as the psychological act wherein an agent commits their causal energy to actualizing an objective Desiderativ. When an ethical agent acts, they translate an ideal, non-existent possibility residing in the domain of Aussersein into an existing spatiotemporal reality. Human moral agency is thus elevated to an ontological bridge: the human mind apprehends subsisting values through emotional presentation, recognizes the corresponding desiderative ought-to-be, and through volitional action, alters the existing physical world to mirror the objective demands of the axiological domain.

9. The Russell-Meinong Debate and the Analytic Backlash

9.1 Russell’s Early Sympathies and Eventual Critique

The historical encounter between Alexius Meinong and Bertrand Russell constitutes one of the most famous and consequential intellectual conflicts in the history of analytic philosophy. In the early stages of his career, Russell was not an opponent of Meinong, but an enthusiastic admirer. In his 1903 masterwork, The Principles of Mathematics, Russell embraced a thoroughly realistic, quasi-Meinongian ontology, declaring that “being is that which belongs to every conceivable term, to every possible object of thought… numbers, the Homeric gods, relations, chimeras, and four-dimensional spaces all have being, for if they were not entities of a kind, we could make no propositions about them.”

However, between 1903 and 1905, Russell underwent an intellectual transformation, motivated primarily by his struggle to resolve the logical paradoxes threatening the foundations of set theory and mathematical logic. The turning point arrived with the publication of Russell’s monumental 1905 paper in Mind, “On Denoting”. In this seminal essay, Russell introduced his revolutionary Theory of Definite Descriptions, explicitly targeting Meinong’s Gegenstandstheorie as a paradigm of metaphysical error. Russell charged Meinong with creating an “overpopulated universe” and recklessly harboring an undisciplined “bearded jungle” of non-existent phantoms that offended that robust “feeling for reality” essential to rigorous philosophy.

Russell launched two devastating logical challenges against Meinong. First, he claimed that Meinong’s theory violated the Law of Non-Contradiction by asserting that the “round square” is both round and square. Second, Russell formulated an ingenious paradox: consider the definite description “the existing round square.” If every grammatical subject denotes an object that possesses the properties attributed to it by its definition, then the existing round square must possess both the property of being round, the property of being square, and the property of existing. Thus, Russell argued, Meinong was logically trapped into admitting that an impossible object actually exists in the real world, reducing the entire Theory of Objects to an absurd self-contradiction.

9.2 Meinong’s Counter-Arguments and Defense

Meinong did not accept Russell’s characterizations, and in a series of detailed rejoinders published between 1906 and 1910, he defended the integrity of Gegenstandstheorie against what he demonstrated to be fundamental misunderstandings of his work. Addressing Russell’s first critique regarding the round square, Meinong clarified that he had never maintained that impossible objects exist in reality, nor that their properties coexist within the physical cosmos. The Law of Non-Contradiction remains an inviolable rule governing the domains of existence (Existenz) and subsistence (Bestand). Its authority, however, cannot be dogmatically extended to the extra-ontological realm of Aussersein, whose pure objects are simply defined by their Sosein without ontological prejudice.

Turning to Russell’s puzzle of “the existing round square,” Meinong deployed his foundational distinction between nuclear and extranuclear properties. Meinong showed that Russell’s argument relied on a subtle, illegitimate category mistake. Existence is not a constitutive, nuclear property that can be inserted into an object’s definitional bundle; it is an extranuclear, ontological status. When an individual constructs the linguistic phrase “the existing round square,” the word “existing” does not magically inject actual Dasein into the object. The object simply possesses the nuclear character of being round and square, alongside a nuclear quasi-predicate representing “the depiction of existence,” but it remains utterly devoid of genuine extranuclear reality. As Meinong wryly observed, one cannot bring an object into actual existence simply by writing down an existential adjective.

Finally, Meinong defended the non-ontological status of Aussersein against Russell’s persistent accusations of Platonism. Russell had accused Meinong of granting an inferior, shadowy sort of “subsistence” to every fictional chimera. Meinong emphatically responded that he did not attribute subsistence or being to non-existent objects. The pure object in its Aussersein has no being whatsoever; it is completely outside of being. Meinong argued that Russell had failed to emancipate himself from the ancient “prejudice in favor of the actual,” conflating the status of being an intentional object with the status of having an ontological footprint in the universe.

9.3 Historical Triumph of the Russellian Paradigm

Despite the depth and logical coherence of Meinong’s rebuttals, the emerging Anglo-American analytic establishment overwhelmingly declared Russell the definitive victor. The historical triumph of the Russellian paradigm was propelled by several converging intellectual trends. Russell’s Theory of Definite Descriptions offered a powerful, mathematically elegant method for translating natural language sentences into classical first-order predicate logic with identity, seemingly solving the semantic problem of empty names without postulating any transcendent or non-existent entities.

Under Russell’s analysis, a sentence like “The current King of France is bald” is not about a shadowy non-existent monarch. Instead, it is parsed as a conjunction of three distinct existential assertions:

1. There exists an x such that x is currently King of France;
2. For all y, if y is currently King of France, then y = x (uniqueness);
3. x is bald.

Because the first conjunct is false in the actual world, the entire proposition is cleanly evaluated as false, entirely dissolving the need to appeal to a Meinongian object.

This technical triumph was subsequently codified by the logical positivists of the Vienna Circle, early Ludwig Wittgenstein, and most decisively by Willard Van Orman Quine in his landmark 1948 essay, “On What There Is.” Quine established the famous meta-ontological criterion: “To be is to be the value of a bound variable.” In Quine’s classical quantification theory, to quantify over something using the existential quantifier ($\exists x$) is to assert its concrete ontological existence. The classical quantifier inextricably fused the concept of “there is” with the concept of “existence.” For nearly seven decades, this Quinean-Russellian orthodoxy reigned supreme in Anglo-American philosophy, consigning Meinong’s Gegenstandstheorie to the margins as a classical example of pre-modern linguistic confusion.

10. Meinongian Semantics, Reference, and Intentional Logic

10.1 The Problem of Empty Names and Non-Referring Terms

Despite the dominance of the Russellian-Quinean consensus, a persistent vulnerability remained at the heart of classical semantics: the problem of empty names and non-referring singular terms. In ordinary human language, natural discourse regularly uses names such as “Pegasus,” “Hamlet,” “Vulcan,” and “Mount Olympus” as genuine grammatical subjects. In classical Russellian semantics, these proper names are treated as disguised, abbreviated definite descriptions. However, subsequent developments in the philosophy of language—most notably Saul Kripke’s revolutionary causal theory of reference in Naming and Necessity (1972)—demonstrated that proper names are rigid designators, not bundles of descriptive predicates.

Kripke’s insight presented classical analytic semantics with a severe dilemma: if names are rigid designators that point directly to objects, and if a name like “Pegasus” lacks an existing referent, how can any sentence containing that name be meaningful or possess a truth-value? Under classical logic, an empty name creates a truth-value gap or forces the entire proposition to collapse into meaninglessness. To resolve this semantic impasse, philosophers increasingly returned to a Meinongian semantic model of direct reference. In a Meinongian semantics, empty names are not empty at all; they are genuine rigid designators that denote non-existent objects directly within the domain of Aussersein.

This framework provides a far cleaner, more intuitive account of informative identity statements and fictional discourse than classical descriptivism or Fregean semantics. In Gottlob Frege’s system, a term must possess both a sense (Sinn) and a reference (Bedeutung); if reference is absent, the sentence cannot have a truth-value. Meinongian semantics bypasses this limitation entirely. When a literary critic states that “Hamlet is the Prince of Denmark” and “Hamlet is not a Roman gladiator,” these assertions are demonstrably true within the context of the fictional work. By treating “Hamlet” as a non-existent, incomplete object possessing an unalterable nuclear Sosein, Meinongian semantics accounts for the truth-evaluability of fictional literature and historical error without requiring contorted meta-linguistic paraphrases.

10.2 Intentionality Without Ontological Commitment

The central technical achievement of Meinongian semantics is the complete decoupling of cognitive directedness from existential ontological commitment. In classical first-order logic, the formal grammar requires that any domain of discourse over which variables range must be a non-empty set of existing items. If an argument mentions an entity, the standard logical apparatus automatically commits the speaker to its ontological existence. Meinongian logic fundamentally challenges this conflation, demonstrating that intentionality is an inherently non-existential relationship.

This structural clarity provides an elegant resolution to the notoriously thorny problem of true negative existential propositions. Consider the true proposition:

“Pegasus does not exist.”

For classical ontology, this statement presents an acute paradox. If the statement is true, there is no Pegasus for the statement to be about. But if the statement is not about anything, it is meaningless, and therefore cannot be true. Attempts to escape this paradox via linguistic reinterpretation—such as Quine’s translation of the statement into “Nothing pegasizes”—merely disguise the underlying metaphysical problem by turning a proper name into an artificial predicate.

In a Meinongian framework, the paradox disappears entirely. The subject term “Pegasus” refers directly to an intentional object resting in Aussersein. The predicate “does not exist” attributes the extranuclear property of non-existence to that object. The statement is meaningfully directed toward Pegasus, and it is objectively true because Pegasus indeed lacks the extranuclear status of Dasein. The syntax of intentional verbs—such as “admiring,” “seeking,” “fearing,” and “calculating”—is thereby preserved in its natural, surface grammatical form. An archaeologist can search for the lost city of Atlantis without our formal logic having to decree that Atlantis must exist in order for the search to take place.

10.3 Formalization in Non-Classical and Free Logics

The rehabilitation of Meinongian concepts within modern analytic philosophy was made formally viable through the development of non-classical logics, particularly the emergence of Free Logic in the mid-twentieth century. Spearheaded by logicians such as Karel Lambert, Jaakko Hintikka, and Ermanno Bencivenga, free logic is formally defined as a logic free from existential presuppositions. Standard classical logic enforces two existential assumptions: that the domain of interpretation is non-empty, and that every singular term designates an existing member of that domain. Free logic dismantles these constraints, allowing singular terms to refer to non-existent entities without logical contradiction.

In free logic, the classical existential quantifier ($\exists$) is stripped of its heavy ontological burden. Logicians separate quantification into two distinct formal mechanisms:

• A universal domain of discourse ($D$): Encompassing all objects of thought, whether existing, subsisting, or non-existent (the Meinongian realm of Aussersein).
• An inner domain of existence ($E$): Represented by an explicit existence predicate ($E!x$), which denotes whether a specific object from the universal domain possesses actual spatiotemporal or ideal being.

Under this formalization, a statement like “Some things do not exist” is not a formal contradiction, but is written cleanly as:

$\exists x (\neg E!x)$

This simple formal shift instantly validates Meinongian inferences without sacrificing the rigorous model-theoretic standards of modern formal logic.

Furthermore, to accommodate Meinong’s radical insights regarding impossible objects, modern logicians have deployed paraconsistent logics. In classical logic, the Principle of Explosion (ex contradictione quodlibet) decrees that from a single contradiction, any arbitrary proposition can be validly deduced, rendering contradictory systems completely useless. Paraconsistent logics reject explosion by invalidating the inference rule of disjunctive syllogism for contradictory premises. Within a paraconsistent framework, a logician can formally model impossible objects—such as the round square—and deduce their authentic nuclear properties (roundness, squareness) without triggering an explosion that invalidates the formal system. Non-classical logic has provided Meinong’s daring concepts with the rigorous mathematical foundations that his nineteenth-century contemporaries lacked.

11. The Neo-Meinongian Renaissance in Contemporary Metaphysics

11.1 Terence Parsons and Nuclear Property Realism

The definitive catalyst for the contemporary analytical revival of Meinong was the publication of Terence Parsons’ landmark 1980 monograph, Nonexistent Objects. Parsons achieved what previous generations had considered impossible: a fully rigorous, axiomatic formalization of Meinongian ontology using modern model-theoretic semantics. Parsons took Meinong’s intuitive distinction between nuclear and extranuclear properties and turned it into an exact mathematical logic, systematically refuting Russell’s historical charge that Gegenstandstheorie was inherently incoherent.

Parsons’ formal system establishes a clean axiomatic division between two distinct classes of predicates:

• Nuclear predicates ($P^n$): Denoting constitutive properties such as colors, shapes, physical characteristics, and material relations.
• Extranuclear predicates ($P^e$): Categorized into sub-classes such as ontological status (exists, subsists), modal status (is possible, is impossible), intentional status (is thought of, is worshipped), and completeness (is complete, is incomplete).

Parsons introduced an axiomatic Principle of Object Specification: for any non-empty set of nuclear properties, there corresponds exactly one object that possesses precisely those nuclear properties and no others. If the set contains contradictory properties (e.g., being round and being square), the object is simply an impossible, non-existent object.

Parsons deployed this framework to solve the classic Russellian paradoxes once and for all. When addressing “the existing round square,” Parsons demonstrated that the word “existing” in natural language can function in two distinct ways: as a genuine extranuclear property ($E!$), which cannot be used to define an object into being, or as a “watered-down” nuclear counterpart ($E!_n$). If an agent defines an object using the watered-down nuclear property of existence, the object possesses that nuclear property, but this does not entail that it satisfies the genuine extranuclear predicate of real existence ($E!$). Parsons subsequently applied this system to the philosophy of fiction, formulating an influential semantics of fictional characters that accounts for our everyday aesthetic discourse without ontological confusion.

11.2 Richard Routley (Sylvan) and ‘Exploring Meinong’s Jungle’

Concurrently with Parsons, the Australian logician and philosopher Richard Routley (who later changed his name to Richard Sylvan) published an epic, 1,000-page philosophical manifesto titled Exploring Meinong’s Jungle and Beyond (1980). Routley’s defense of Meinong was far more radical and uncompromising than Parsons’. Rather than sanitizing Meinong to fit the comfort zones of analytic philosophy, Routley embraced what he termed “Noneism”—the uncompromising philosophical thesis that there are things that genuinely do not exist.

Routley attacked the foundational premise of twentieth-century Anglo-American philosophy: what he termed the “Ontic Fallacy” or the “Reference Theory of Existence”—the unexamined dogma that to talk about something is to assert its existence. Routley demonstrated that the classical existential quantifier ($\exists$) had been fundamentally corrupted by Quine. The symbol $\exists$ should never have been read as “there exists”; it is properly understood as a purely neutral, particular quantifier meaning “for some.” Routley introduced an explicitly neutral quantifier that ranges over everything whatsoever, leaving the question of whether an entity exists to empirical and scientific investigation.

Routley’s Noneism offered a universal framework applicable across mathematics, philosophy of fiction, and modal metaphysics. Numbers, sets, and mathematical functions are not mysterious Platonist spirits haunting an immaterial heaven; they are simply non-existent objects that possess clear mathematical properties. Fictional characters are non-existent objects created by human literary acts. Routley coupled Noneism with his groundbreaking work in “ultralogic”—advanced relevant and paraconsistent logics capable of exploring contradictory, paradoxical, and impossible realms of thought without collapse. In doing so, Routley transformed Meinong’s supposed “jungle” into a vibrant, fertile landscape for twentieth-century logic.

11.3 Edward Zalta’s Theory of Abstract Objects

A distinctly different, highly influential formalization of Meinongian ontology was developed by Edward N. Zalta in his groundbreaking works, Abstract Objects: An Introduction to Axiomatic Metaphysics (1983) and Intensional Logic and the Metaphysics of Intentionality (1988). Rather than utilizing Parsons’ distinction between nuclear and extranuclear properties, Zalta resolved the paradoxes of Gegenstandstheorie by introducing a dual-copula ontology that fundamentally bifurcates the modes of property possession.

Drawing inspiration from the Austrian philosopher Ernst Mally (one of Meinong’s closest disciples), Zalta distinguished between:

• Property Exemplification ($x$ exemplifies $F$): The traditional mode of property instantiation, written in standard logic as $Fx$.
• Property Encoding ($x$ encodes $F$): A specialized metaphysical mode of property possession, formalized by Zalta as $xF$.

In Zalta’s axiomatic metaphysics, concrete, existing physical objects (such as tables, stars, and humans) can only exemplify properties. Abstract objects and Meinongian non-existent entities, by contrast, can both exemplify and encode properties. An abstract object encodes properties that constitute its intentional definition, but it does not exemplify them in the spatiotemporal world.

This dual-copula distinction provides an elegant resolution to the Russellian dilemmas:

• The Round Square: Does not exemplify roundness and squareness (which would be a physical impossibility), but it encodes roundness and squareness. There is no contradiction in an abstract entity encoding contradictory properties, because encoding does not imply physical or spatiotemporal instantiation.
• The Existing Golden Mountain: Encodes the properties of being golden, being a mountain, and being existent. However, it does not exemplify existence. Therefore, Russell’s paradox dissolves into an elementary equivocation between the two fundamental modes of property possession.

Zalta’s Theory of Abstract Objects has since evolved into one of the most powerful and comprehensive foundational systems in contemporary metaphysics, providing a unified axiomatic framework for Platonic forms, mathematical objects, possible worlds, Leibnizian monads, and fictional characters. In recent years, Zalta and his collaborators have successfully implemented this axiomatic object theory within modern automated reasoning systems and computational logic engines, demonstrating the enduring mathematical utility of Meinong’s conceptual lineage.

11.4 Graham Priest and Paraconsistent Noneism

The latest major evolution in the neo-Meinongian lineage arrived with the work of the renowned logician and philosopher Graham Priest, particularly in his seminal 2005 monograph, Towards Non-Being: The Logic of Intentionality. Priest advanced a modified, highly sophisticated version of Routley’s Noneism, systematically integrating it with modern impossible worlds semantics and paraconsistent modal logic.

Priest observed that the primary obstacle confronting classical theories of intentionality is their inability to model mental states directed toward impossible scenarios. Human beings do not merely think about possible non-existents (like pegasi); we routinely think about mathematical impossibilities, such as a proof for squaring the circle or a non-trivial inconsistent set theory. Classical possible-world semantics—pioneered by Saul Kripke and David Lewis—is fundamentally incapable of modeling these cognitive acts, because in standard modal semantics, the set of impossible worlds is either strictly empty or collapses into a single, logically explosive trivial world where everything is true.

To overcome this limitation, Priest expanded modal space to include an open spectrum of non-normal, impossible worlds. In Priest’s paraconsistent noneism:

• Intentional acts are modeled as modal operators directed across both possible and impossible worlds.
• An impossible object, like the round square, does not possess its incompatible properties within the actual world; rather, it possesses those properties at an impossible world where the laws of classical logic break down.
• Because the underlying logic of these impossible worlds is paraconsistent, the contradictions remain localized, preventing the logical explosion that classical logicians feared.

Priest’s paraconsistent noneism demonstrated that intentionality can be formalized with total generality: we can think of any object whatsoever—actual, possible, or impossible—without our formal logical semantics collapsing into chaos.

12. Comparative Philosophy, Influence, and Contemporary Relevance

12.1 Intersections with Husserlian Phenomenology

The philosophical relationship between Alexius Meinong and Edmund Husserl represents one of the most historically significant dialogues in twentieth-century Continental thought. Both thinkers emerged from Franz Brentano’s seminar in Vienna; both were driven by a common mission to overcome nineteenth-century psychologism; and both sought to develop an objective, non-reductive science of conscious experience. Yet, their divergent methodological paths illustrate the profound philosophical split between intentional realism and transcendental phenomenology.

In his early masterpiece, Logical Investigations (1900–1901), Husserl engaged extensively with the ongoing investigations of the Graz School. While praising Meinong’s commitment to descriptive psychology, Husserl criticized Meinong’s early ontology for what he considered an uncritical hypostatization of intentional correlates. Husserl argued that Meinong had mistaken the intentional object of an act for a transcendent entity. In Husserl’s phenomenology, the intentional object is understood not as an entity residing in an extra-ontological domain of Aussersein, but as an intentional correlate constituted entirely within the structural architecture of consciousness through the synthesis of the noema.

The debate between the two schools was catalyzed by Kazimierz Twardowski’s 1894 treatise, On the Content and Object of Presentations. While Twardowski’s distinction between content and object led Meinong outward into a realistic, all-encompassing theory of objects that operates independently of the mind, it led Husserl inward toward the transcendental reduction (die epoché). Where Meinong boldly constructed Gegenstandstheorie as an ultimate science of entities unconditioned by consciousness, Husserl suspended all existential posits regarding the external world to investigate the subjective structures of meaning-bestowal. Despite this divergence, contemporary phenomenologists increasingly recognize that Meinong’s theories of assumptions and higher-order founded objects run completely parallel to Husserl’s analysis of categorical intuition, revealing the shared foundations of the Austrian tradition.

12.2 Impact on the Lwów-Warsaw School of Logic

Beyond his immediate circle in Graz, Meinong’s conceptual methodology exerted a profound, transformative influence on the development of Polish philosophy, particularly the celebrated Lwów-Warsaw School of Logic. The direct historical conduit for this influence was Kazimierz Twardowski, who in 1895 assumed the chair of philosophy at the University of Lwów (Lemberg). Twardowski transplanted the analytical rigor, semantic clarity, and descriptive psychological methods of the Austrian tradition to Poland, mentoring a brilliant generation of logicians that included Jan Łukasiewicz, Stanisław Leśniewski, and Roman Ingarden.

The ontological and logical debates that defined the Lwów-Warsaw School were directly shaped by Meinong’s Gegenstandstheorie:

• Jan Łukasiewicz: Inspired in part by Meinong’s analysis of incomplete and impossible objects, Łukasiewicz developed his revolutionary systems of many-valued logic (three-valued and infinite-valued logics), explicitly rejecting the universal validity of Aristotle’s principle of the excluded middle.
• Stanisław Leśniewski: In constructing his formal systems of Ontology and Mereology, Leśniewski engaged in intense, decades-long critical dialogues with the Graz theories of higher-order founded objects and part-whole relations, ultimately constructing a nominalistic, extensional alternative to Meinong’s universe.
• Roman Ingarden: A student of both Twardowski and Husserl, Ingarden produced his monumental phenomenological work, The Literary Work of Art (1931), which applied Meinongian insights regarding incomplete objects and intentional correlates directly to the ontology of literature and aesthetics.

Through the Lwów-Warsaw School, Meinongian concepts were integrated into the mainstream of twentieth-century European mathematical logic and formal semantics.

12.3 Contemporary Applications in Philosophy of Language and Mind

In the contemporary philosophical and scientific landscape, Alexius Meinong’s intellectual framework has transcended historical curiosity, providing essential conceptual apparatuses for addressing twenty-first-century problems across multiple disciplines. In the philosophy of mind and cognitive science, Meinong’s analysis of intentionality without existential commitment has become vital for computational models of mental representation. Cognitive systems routinely map, track, and navigate non-actual states of affairs—such as simulations, counterfactual predictions, and visual hallucinations. Cognitive scientists increasingly utilize Meinongian distinctions to model how internal informational contents can successfully coordinate complex adaptive behavior without requiring that every cognitive target corresponds to an existing physical stimulus.

Concurrently, the explosive emergence of digital technologies, virtual reality (VR), synthetic media, and generative artificial intelligence has ignited a major ontological renaissance for Gegenstandstheorie. Philosophers of technology confronting the ontological status of virtual objects—such as digital environments, virtual avatars, and artificial intelligence-generated fictional spaces—find traditional binary ontologies (which acknowledge only physical matter versus subjective mental states) completely inadequate. A virtual artifact is not a mere physiological state in the user’s brain, nor is it an ordinary physical object existing in Newtonian space; it is an objective, interactive, higher-order intentional object possessing a clear, determinate Sosein while lacking classical spatiotemporal Dasein. Meinong’s taxonomy of objects provides the exact conceptual architecture needed to formulate a rigorous ontology of the digital age.

Finally, in contemporary aesthetics and literary theory, Meinongian realism remains the most robust framework for defending fictional realism against eliminativism. Rather than dismissing our emotional and intellectual engagements with fictional narratives as irrational self-deception, contemporary philosophers use Meinong’s insights into emotional presentation and assumptions to explain how human beings cultivate genuine empathy, moral understanding, and philosophical wisdom through their intentional encounters with non-existent characters. Alexius Meinong’s enduring legacy is thus secured: far from a philosopher of an undisciplined “jungle,” he was an architectural cartographer of the total universe of thought, whose pioneering vision dismantled the dogma of the actual to reveal the boundless horizons of human understanding.

Conclusion

The intellectual odyssey of Alexius Meinong provides one of the most compelling narratives in modern intellectual history. Beginning within the rigorous descriptive psychology of Franz Brentano’s Vienna and flourishing within the experimental laboratories of the Graz School, Meinong’s thought was continually driven by an uncompromising methodological imperative: philosophy must never truncate the scope of reality to suit the narrow strictures of inherited dogmas. By diagnosing and dismantling “the prejudice in favor of the actual,” Meinong achieved a profound conceptual breakthrough, recognizing that the human mind’s capacity to think, evaluate, hypothesize, and create fundamentally demands an all-encompassing science of objects that transcends the accidental boundaries of physical and temporal existence.

Though his theoretical system was temporarily marginalized by the rhetorical force and historical dominance of the early Russellian-Quinean analytic consensus, the subsequent evolution of philosophy has vindicated Meinong’s original vision. The rise of free logics, paraconsistent reasoning, impossible-worlds semantics, and modern axiomatic metaphysics has thoroughly dismantled the simplistic caricature of “Meinong’s jungle.” In its place stands the recognition of a sophisticated, mathematically formalized domain of discourse where the Independence of Sosein from Dasein, the taxonomy of higher-order objects, and the extra-ontological reality of Aussersein provide elegant, non-reductive solutions to some of philosophy’s most enduring paradoxes.

Ultimately, Alexius Meinong’s enduring achievement was the liberation of human thought. By proving that the realm of what can be known, experienced, and loved is infinitely wider than the narrow confines of spatiotemporal matter, he restored to philosophy its rightful, expansive domain. Whether in the formal structures of non-classical logic, the cognitive modeling of non-actual states, the normative realities of objective value hierarchies, or the burgeoning ontologies of digital and virtual worlds, Meinong’s monumental architecture continues to instruct, challenge, and inspire. He remains one of the foundational metaphysicians of modernity—a thinker whose vision looked deep into the heart of non-being and illuminated the infinite landscape of the thinkable.

References

• Brentano, F. (1874). Psychologie vom empirischen Standpunkte. Duncker & Humblot. https://archive.org/details/psychologievomem01brenuoft
• Ehrenfels, C. v. (1890). Über ‘Gestaltqualitäten’. Vierteljahrsschrift für wissenschaftliche Philosophie, 14, 249–292. https://philpapers.org/rec/VONUG
• Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50. https://philpapers.org/rec/FREUSA
• Husserl, E. (1900–1901). Logische Untersuchungen (2 vols.). Max Niemeyer. https://philpapers.org/rec/HUSLU
• Kripke, S. A. (1980). Naming and Necessity. Harvard University Press. https://philpapers.org/rec/KRIPAN
• Lambert, K. (1983). Meinong and the Principle of Independence: Its Place in Meinong’s Theory of Objects and Its Significance in Contemporary Logic. Cambridge University Press. https://doi.org/10.1017/CBO9780511897511
• Meinong, A. (1894). Hume-Studien II: Zur Relationstheorie. Hölder.
• Meinong, A. (1902). Über Annahmen. Johann Ambrosius Barth. https://archive.org/details/berannahmen00meingoog
• Meinong, A. (Ed.). (1904). Untersuchungen zur Gegenstandstheorie und Psychologie. Johann Ambrosius Barth. https://archive.org/details/untersuchungenz00meingoog
• Meinong, A. (1907). Über die Stellung der Gegenstandstheorie im System der Wissenschaften. R. Voigtländer.
• Meinong, A. (1910). Über Annahmen (2nd fully revised ed.). Johann Ambrosius Barth.
• Meinong, A. (1915). Über Möglichkeit und Wahrscheinlichkeit: Beiträge zur Gegenstandstheorie und Erkenntnistheorie. Johann Ambrosius Barth.
• Meinong, A. (1917). Über emotionale Präsentation. Hölder. https://archive.org/details/beremotionalepr00meingoog
• Parsons, T. (1980). Nonexistent Objects. Yale University Press. https://philpapers.org/rec/PARTNO
• Priest, G. (2005). Towards Non-Being: The Logic of Intentionality. Oxford University Press. https://doi.org/10.1093/0199262545.001.0001
• Quine, W. V. O. (1948). On What There Is. The Review of Metaphysics, 2(1), 21–38. https://www.jstor.org/stable/20123117
• Routley, R. (1980). Exploring Meinong’s Jungle and Beyond: An Investigation of Noneism and the Theory of Items. Australian National University. https://philpapers.org/rec/ROUEMJ
• Russell, B. (1903). The Principles of Mathematics. Cambridge University Press. https://archive.org/details/principlesofmath01russuoft
• Russell, B. (1905). On Denoting. Mind, 14(56), 479–493. https://www.jstor.org/stable/2248314
• Twardowski, K. (1894). Zur Lehre vom Inhalt und Gegenstand der Vorstellungen: Eine psychologische Untersuchung. Hölder. https://archive.org/details/zurlehrevominhal00twaruoft
• Zalta, E. N. (1983). Abstract Objects: An Introduction to Axiomatic Metaphysics. D. Reidel. https://doi.org/10.1007/978-94-009-6980-3
• Zalta, E. N. (1988). Intensional Logic and the Metaphysics of Intentionality. MIT Press. https://philpapers.org/rec/ZALILA