Editing Existence (section)

==== Meinongianism ====
Meinongianism, which describes existence as a property of some but not all entities, was first formulated by [[Alexius Meinong]]. Its main assertion is that there are some entities that do not exist, meaning [[objecthood]] is independent of existence. Proposed examples of nonexistent objects are merely possible objects such as flying pigs, as well as fictional and mythical objects like Sherlock Holmes and Zeus. According to this view, these objects are real and have being, even though they do not exist.<ref>{{multiref |1={{harvnb|Casati|Fujikawa|loc=§2a. Meinongianism}} |2={{harvnb|Lowe|2005|loc=[https://www.oxfordreference.com/display/10.1093/acref/9780199264797.001.0001/acref-9780199264797-e-828 Existence]}} }}</ref> Meinong states there is an object for any combination of properties. For example, there is an object that only has the single property of "being a singer" with no other properties. This means neither the attribute of "wearing a dress" nor the absence of it applies to this object. Meinong also includes impossible objects like round squares in this classification.<ref>{{multiref |1={{harvnb|Nelson|2022|loc=§ 2. Meinongianism}} |2={{harvnb|Casati|Fujikawa|loc=§2a. Meinongianism}} }}</ref>

[[File:Alexius Meinong 1900.jpg|alt=Photo of Alexius Meinong|left|thumb|upright|According to [[Alexius Meinong]], there are some entities that do not exist.]]

According to Meinongians, sentences describing Sherlock Holmes and Zeus refer to nonexisting objects. They are true or false depending on whether these objects have the properties ascribed to them.<ref>{{multiref |1={{harvnb|Casati|Fujikawa|loc=§2a. Meinongianism}} |2={{harvnb|Lowe|2005|loc=[https://www.oxfordreference.com/display/10.1093/acref/9780199264797.001.0001/acref-9780199264797-e-828 Existence]}} |3={{harvnb|Küng|2012|p=[https://books.google.com/books?id=mprnCAAAQBAJ&pg=PA208 208]}} }}</ref> For instance, the sentence "Pegasus has wings" is true because having wings is a property of Pegasus, even though Pegasus lacks the property of existing.<ref name="auto1">{{harvnb|Mackie|1998|loc=§1 Objects and Existence}}</ref>

One key motivation of Meinongianism is to explain how negative singular existentials like "Ronald McDonald does not exist" can be true. Meinongians accept the idea that singular terms like "Ronald McDonald" refer to individuals. For them, a negative singular existential is true if the individual it refers to does not exist.<ref>{{multiref |1={{harvnb|Nelson|2022|loc=§ 2. Meinongianism}} |2={{harvnb|Mackie|1998|loc=§1 Objects and Existence}} }}</ref>

Meinongianism has important implications for understandings of quantification. According to an influential view defended by [[Willard Van Orman Quine]], the domain of quantification is restricted to existing objects. This view implies quantifiers carry [[ontological commitments]] about what exists and what does not exist. Meinongianism differs from this view by saying the widest domain of quantification includes both existing and nonexisting objects.<ref name="auto3"/>

Some aspects of Meinongianism are controversial and have received substantial criticism. According to one objection, one cannot distinguish between being an object and being an existing object.<ref name="auto1"/> A closely related criticism states objects cannot have properties if they do not exist.<ref name="auto1"/> A further objection is that Meinongianism leads to an "overpopulated universe" because there is an object corresponding to any combination of properties.<ref name="auto3"/> A more specific criticism rejects the idea that there are incomplete and impossible objects.<ref>{{multiref |1={{harvnb|Nelson|2022|loc=§ 2. Meinongianism}} |2={{harvnb|Casati|Fujikawa|loc=§2a. Meinongianism}} |3={{harvnb|Casati|Fujikawa|loc=§2a. Meinongianism}} |4={{harvnb|Jacquette|2015|pp=[https://books.google.com/books?id=7jswCgAAQBAJ&pg=PA78 78–79, 180]}} }}</ref>