Property (philosophy) in the context of "Mathematical notation"

Ontology is the philosophical study of being. It is traditionally understood as the subdiscipline of metaphysics focused on the most general features of reality. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To articulate the basic structure of being, ontology examines the commonalities among all things and investigates their classification into basic types, such as the categories of particulars and universals. Particulars are unique, non-repeatable entities, such as the person Socrates, whereas universals are general, repeatable entities, like the color green. Another distinction exists between concrete objects existing in space and time, such as a tree, and abstract objects existing outside space and time, like the number 7. Systems of categories aim to provide a comprehensive inventory of reality by employing categories such as substance, property, relation, state of affairs, and event.

Ontologists disagree regarding which entities exist at the most basic level. Platonic realism asserts that universals have objective existence, while conceptualism maintains that universals exist only in the mind, and nominalism denies their existence altogether. Similar disputes pertain to mathematical objects, unobservable objects assumed by scientific theories, and moral facts. Materialism posits that fundamentally only matter exists, whereas dualism asserts that mind and matter are independent principles. According to some ontologists, objective answers to ontological questions do not exist, with perspectives shaped by differing linguistic practices.

Aesthetics is the branch of philosophy that studies beauty, taste, and related phenomena. In a broad sense, it includes the philosophy of art, which examines the nature of art, artistic creativity, the meanings of artworks, and audience appreciation.

Aesthetic properties are features that influence the appeal of objects. They include aesthetic values, which express positive or negative qualities, like the contrast between beauty and ugliness. Philosophers debate whether aesthetic properties have objective existence or depend on the subjective experiences of observers. According to a common view, aesthetic experiences are associated with disinterested pleasure detached from practical concerns. Taste is a subjective sensitivity to aesthetic qualities, and differences in taste can lead to disagreements about aesthetic judgments.

Truth or verity is the property of being in accord with fact or reality. In everyday language, it is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.

True statements are usually held to be the opposite of false statements. The concept of truth is discussed and debated in various contexts, including philosophy, art, theology, law, and science. Most human activities depend upon the concept, where its nature as a concept is assumed rather than being a subject of discussion, including journalism and everyday life. Some philosophers view the concept of truth as basic, and unable to be explained in any terms that are more easily understood than the concept of truth itself. Most commonly, truth is viewed as the correspondence of language or thought to a mind-independent world. This is called the correspondence theory of truth.

In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities. To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. A distinction between such categories, in making the categories or applying them, is called an ontological distinction. Various systems of classification have been proposed; these often include categories for substances, properties, relations, states of affairs, or events. A representative question within the theory of categories might be, for example, that which asks: "Are universals prior to particulars?"

Platonism is the philosophy of Plato and philosophical systems closely derived from it, though later and contemporary Platonists do not necessarily accept all of Plato's own doctrines. Platonism has had a profound effect on Western thought. At the most fundamental level, Platonism affirms the existence of abstract objects, which are asserted to exist in a third realm distinct from both the sensible external world and from the internal world of consciousness, and is the opposite of nominalism. This can apply to properties, types, propositions, meanings, numbers, sets, truth values, and so on (see abstract object theory). Philosophers who affirm the existence of abstract objects are sometimes called Platonists; those who deny their existence are sometimes called nominalists. The terms "Platonism" and "nominalism" also have established senses in the history of philosophy. They denote positions that have little to do with the modern notion of an abstract object.

In a narrower sense, the term might indicate the doctrine of Platonic realism, a form of mysticism. The central concept of Platonism, a distinction essential to the Theory of Forms, is the distinction between the reality which is perceptible but unintelligible, associated with the flux of Heraclitus and studied by the likes of physical science, and the reality which is imperceptible but intelligible, associated with the unchanging being of Parmenides and studied by the likes of mathematics. Geometry was the main motivation of Plato, and this also shows the influence of Pythagoras. The Forms are typically described in dialogues such as the Phaedo, Symposium and Republic as perfect archetypes of which objects in the everyday world are imperfect copies. Aristotle's Third Man Argument is its most famous criticism in antiquity.

A paradox is a logically self-contradictory statement or a statement that runs contrary to one's expectation. It is a statement that, despite apparently valid reasoning from true or apparently true premises, leads to a seemingly self-contradictory or a logically unacceptable conclusion. A paradox usually involves contradictory-yet-interrelated elements that exist simultaneously and persist over time. They result in "persistent contradiction between interdependent elements" leading to a lasting "unity of opposites".

In logic, many paradoxes exist that are invalid arguments, yet are nevertheless valuable in promoting critical thinking, while other paradoxes have revealed errors in definitions that were assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself and showed that attempts to found set theory on the identification of sets with properties or predicates were flawed. Others, such as Curry's paradox, cannot be easily resolved by making foundational changes in a logical system.

The problem of universals is an ancient question from metaphysics that has inspired a range of philosophical topics and disputes: "Should the properties an object has in common with other objects, such as color and shape, be considered to exist beyond those objects? And if a property exists separately from objects, what is the nature of that existence?"

The problem of universals relates to various inquiries closely related to metaphysics, logic, and epistemology, as far back as Plato and Aristotle, in efforts to define the mental connections humans make when understanding a property such as shape or color to be the same in nonidentical objects.

In philosophy and linguistics, the denotation of a word or expression is its strictly literal meaning. For instance, the English word "warm" denotes the property of having high temperature. Denotation is contrasted with other aspects of meaning, in particular connotation. For instance, the word "warm" may evoke calmness, coziness, or kindness (as in the warmth of someone's personality) but these associations are not part of the word's denotation. Similarly, an expression's denotation is separate from pragmatic inferences it may trigger. For instance, describing something as "warm" often implicates that it is not hot, but this is once again not part of the word's denotation.

Denotation plays a major role in several fields. Within semantics and philosophy of language, denotation is studied as an important aspect of meaning. In mathematics and computer science, assignments of denotations are assigned to expressions are a crucial step in defining interpreted formal languages. The main task of formal semantics is to reverse engineer the computational system which assigns denotations to expressions of natural languages.

A mathematical object is an abstract concept arising in mathematics. Typically, a mathematical object can be a value that can be assigned to a symbol, and therefore can be involved in formulas. Commonly encountered mathematical objects include numbers, expressions, shapes, functions, and sets. Mathematical objects can be very complex; for example, theorems, proofs, and even formal theories are considered as mathematical objects in proof theory.

In philosophy of mathematics, the concept of "mathematical objects" touches on topics of existence, identity, and the nature of reality. In metaphysics, objects are often considered entities that possess properties and can stand in various relations to one another. Philosophers debate whether mathematical objects have an independent existence outside of human thought (realism), or if their existence is dependent on mental constructs or language (idealism and nominalism). Objects can range from the concrete: such as physical objects usually studied in applied mathematics, to the abstract, studied in pure mathematics. What constitutes an "object" is foundational to many areas of philosophy, from ontology (the study of being) to epistemology (the study of knowledge). In mathematics, objects are often seen as entities that exist independently of the physical world, raising questions about their ontological status. There are varying schools of thought which offer different perspectives on the matter, and many famous mathematicians and philosophers each have differing opinions on which is more correct.