Abstract object in the context of Platonic ideal

The Theory of Forms or Theory of Ideas, also known as Platonic idealism or Platonic realism, is a philosophical theory credited to the Classical Greek philosopher Plato.

A major concept in metaphysics, the theory suggests that the physical world is not as real or true as Forms. According to this theory, Forms—conventionally capitalized and also commonly translated as Ideas—are the timeless, absolute, non-physical, and unchangeable essences of all things, which objects and matter in the physical world merely participate in, imitate, or resemble. In other words, Forms are various abstract ideals that exist even outside of human minds and that constitute the basis of reality. Thus, Plato's Theory of Forms is a type of philosophical realism, asserting that certain ideas are literally real, and a type of idealism, asserting that reality is fundamentally composed of ideas, or abstract objects.

In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are two main versions of nominalism. One denies the existence of universals—that which can be instantiated or exemplified by many particular things (e.g., strength, humanity). The other version specifically denies the existence of abstract objects as such—objects that do not exist in space and time.

Most nominalists have held that only physical particulars in space and time are real, and that universals exist only post res, that is, subsequent to particular things. However, some versions of nominalism hold that some particulars are abstract entities (e.g., numbers), whilst others are concrete entities – entities that do exist in space and time (e.g., pillars, snakes, and bananas). Nominalism is primarily a position on the problem of universals. It is opposed to realist philosophies, such as Platonic realism, which assert that universals do exist over and above particulars, and to the hylomorphic substance theory of Aristotle, which asserts that universals are immanently real within them; however, the name "nominalism" emerged from debates in medieval philosophy with Roscellinus.

A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are the objects denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue.

Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value ${\displaystyle T}$ if given the actual world as input, but would return ${\displaystyle F}$ if given some alternate world where the sky is green. However, a number of alternative formalizations have been proposed, notably the structured propositions view.

A goal or objective is an idea of the future or desired result that a person or a group of people envision, plan, and commit to achieve. People endeavour to reach goals within a finite time by setting deadlines.

A goal is roughly similar to a purpose or aim, the anticipated result which guides reaction, or an end, which is an object, either a physical object or an abstract object, that has intrinsic value.

Formulation is a term used in various senses in various applications, both the material and the abstract or formal. Its fundamental meaning is the putting together of components in appropriate relationships or structures, according to a formula. Etymologically formula is the diminutive of the Latin forma, meaning shape. In that sense a formulation is created according to the standard for the product.

A class is a collection whose members either fall under a predicate or are classified by a rule. Hence, while a set can be extensionally defined only by its elements, a class has also an intensional dimension that unites its members. When the term 'class' is applied so that it includes those sets whose elements are intended to be collected without a common predicate or rule, the distinction can be indicated by calling such sets "improper class."

Philosophers sometimes distinguish classes from types and kinds. The class of human beings is discussed, as well as the type (or natural kind), human being, or humanity. While both are typically treated as abstract objects and not different categories of being, types not classes are usually treated as universals. Whether natural kinds ought to be considered universals is vexed; see natural kind.

Abstract object theory (AOT) is a branch of metaphysics regarding abstract objects. Originally devised by metaphysician Edward Zalta in 1981, the theory was an expansion of mathematical Platonism.

Symmetry (from Ancient Greek συμμετρία (summetría) 'agreement in dimensions, due proportion, arrangement') in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations, such as translation, reflection, rotation, or scaling. Although these two meanings of the word can sometimes be told apart, they are intricately related, and hence are discussed together in this article.

Mathematical symmetry may be observed with respect to the passage of time; as a spatial relationship; through geometric transformations; through other kinds of functional transformations; and as an aspect of abstract objects, including theoretic models, language, and music.

Philosophical realism—usually not treated as a position of its own but as a stance towards other subject matters—is the view that a certain kind of thing (ranging widely from abstract objects like numbers to moral statements to the physical world itself) has mind-independent existence, i.e. that it exists even in the absence of any mind perceiving it or that its existence is not just a mere appearance in the eye of the beholder. This includes a number of positions within epistemology and metaphysics which express that a given thing instead exists independently of knowledge, thought, or understanding. This can apply to items such as the physical world, the past and future, other minds, and the self, though may also apply less directly to things such as universals, mathematical truths, moral truths, and thought itself. However, realism may also include various positions which instead reject metaphysical treatments of reality altogether.

Realism can also be a view about the properties of reality in general, holding that reality exists independent of the mind, as opposed to non-realist views (like some forms of skepticism and solipsism) which question the certainty of anything beyond one's own mind. Philosophers who profess realism often claim that truth consists in a correspondence between cognitive representations and reality.

Geometrical optics, or ray optics, is a model of optics that describes light propagation in terms of rays. The ray in geometrical optics is an abstraction useful for approximating the paths along which light propagates under certain circumstances.

The simplifying assumptions of geometrical optics include that light rays:

Everything, every-thing, or every thing, is all that exists; it is an antithesis of nothing, or its complement. It is the totality of things relevant to some subject matter. The universe is everything that exists theoretically, though a multiverse may exist according to theoretical cosmology predictions. It may refer to an anthropocentric worldview, or the sum of human experience, history, and the human condition in general. Every object and entity is a part of everything, including all physical bodies and in some cases all abstract objects.

To describe or know of everything as a spatial consideration in a local environment, such as the world in which humans mostly live, is possible. The detemination of all things in the universe is unknown because of the physics beyond the observed universe and the problem of knowing physics at the range infinite. To know universally everything as a temporal and spatial consideration isn't possible because of the unavailabilty of information at a certain time before the beginning of the universe and because of the problem of eternal causality.