GetWiki

{{See also|Entity}}Something and anything are concepts of existence in ontology, contrasting with the concept of nothing. Both are used to describe the understanding that what exists is not nothing without needing to address the existence of everything. The philosopher, David Lewis, has pointed out that these are necessarily vague terms, asserting that “ontological assertions of common sense are correct if the quantifiers—such words as “something” and “anything“—are restricted roughly to ordinary or familiar things.“Eli Hirsch, Quantifier Variance and Realism: Essays in Metaontology (2011), p. 106.The idea that “something” is the opposite of “nothing” has existed at least since it was proposed by the Neoplatonist philosopher Porphyry in the 3rd century.Iamblichus, Fragments of Iamblichus’ Commentary on the Timaeus, John Myles Dillon trans. (1973), p. 211. One of the most basic questions of both science and philosophy is: why is there something rather than nothing at all?See, e.g., Tyron Goldschmidt, ed., The Puzzle of Existence: Why Is There Something Rather Than Nothing? (2014). A question that follows from this is whether it is ever actually possible for there to be nothing at all, or whether there must always be something.See, e.g., D. M. Armstrong, Truth and Truthmakers (2004), p. 89.Grammatically, ”something and anything are commonly classified as pronouns, although they do not stand for another noun so clearly as does thing itself, a word always classified as a noun”.Robert Eustis Morsberger, Janet Rankin Aiken, Commonsense Grammar and Style (1975), p. 54.

In predicate logic

In predicate logic, what is described in layman’s terms as “something” can more specifically be regarded as existential quantification, that is, the predication of a property or relation to at least one member of the domain. It is a type of quantifier, a logical constant which is interpreted as “there exists,” “there is at least one,” or “for some.” It expresses that a propositional function can be satisfied by at least one member of a domain of discourse. In other terms, it is the predication of a property or relation to at least one member of the domain. It asserts that a predicate within the scope of an existential quantifier is true of at least one value of a predicate variable.

References

{{Reflist}}

Further reading

• Bertrand Russell. History of Western Philosophy, Routledge, 1995 {{ISBN|0-415-07854-7}}.
• Josef Pieper, Berthold Wald, For the Love of Wisdom: Essays on the Nature of Philosophy, Translator: Roger Wasserman, Ignatius Press, 2006 {{ISBN|1-58617-087-2}}.

External links

{{Wiktionary|something|anything}}

• {{YouTube|X9otDixAtFw|What Is Something?}}

{{Authority control}}