Particular in the context of "Conceptualism"

Metaphysics is the branch of philosophy that examines the basic structure of reality. It is traditionally seen as the study of mind-independent features of the world, but some theorists view it as an inquiry into the conceptual framework of human understanding. Some philosophers, including Aristotle, designate metaphysics as first philosophy to suggest that it is more fundamental than other forms of philosophical inquiry.

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.

In metaphysics, a universal is what particular things have in common, namely characteristics or qualities. In other words, universals are repeatable or recurrent entities that can be instantiated or exemplified by many particular things. For example, suppose there are two chairs in a room, each of which is green. These two chairs share the quality of "chairness", as well as "greenness" or the quality of being green; in other words, they share two "universals". There are three major kinds of qualities or characteristics: types or kinds (e.g. mammal), properties (e.g. short, strong), and relations (e.g. father of, next to). These are all different types of universals.

Paradigmatically, universals are abstract (e.g. humanity), whereas particulars are concrete (e.g. the personhood of Socrates). However, universals are not necessarily abstract and particulars are not necessarily concrete. For example, one might hold that numbers are particular yet abstract objects. Likewise, some philosophers, such as D. M. Armstrong, consider universals to be concrete.

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.

Inferences are steps in logical reasoning, moving from premises to logical consequences; etymologically, the word infer means to "carry forward". Inference is theoretically traditionally divided into deduction and induction, a distinction that in Europe dates at least to Aristotle (300s BC). Deduction is inference deriving logical conclusions from premises known or assumed to be true, with the laws of valid inference being studied in logic. Induction is inference from particular evidence to a universal conclusion. A third type of inference is sometimes distinguished, notably by Charles Sanders Peirce, contradistinguishing abduction from induction.

Various fields study how inference is done in practice. Human inference (i.e. how humans draw conclusions) is traditionally studied within the fields of logic, argumentation studies, and cognitive psychology; artificial intelligence researchers develop automated inference systems to emulate human inference. Statistical inference uses mathematics to draw conclusions in the presence of uncertainty. This generalizes deterministic reasoning, with the absence of uncertainty as a special case. Statistical inference uses quantitative or qualitative (categorical) data which may be subject to random variations.

Propositions are the meanings of declarative sentences, objects of beliefs, and bearers of truth values. They explain how different sentences, like the English "Snow is white" and the German "Schnee ist weiß", can have identical meaning by expressing the same proposition. Similarly, they ground the fact that different people can share a belief by being directed at the same content. True propositions describe the world as it is, while false ones fail to do so. Researchers distinguish types of propositions by their informational content and mode of assertion, such as the contrasts between affirmative and negative propositions, between universal and existential propositions, and between categorical and conditional propositions.

Many theories of the nature and roles of propositions have been proposed. Realists argue that propositions form part of reality, a view rejected by anti-realists. Non-reductive realists understand propositions as a unique kind of entity, whereas reductive realists analyze them in terms of other entities. One proposal sees them as sets of possible worlds, reflecting the idea that understanding a proposition involves grasping the circumstances under which it would be true. A different suggestion focuses on the individuals and concepts to which a proposition refers, defining propositions as structured entities composed of these constituents. Other accounts characterize propositions as specific kinds of properties, relations, or states of affairs. Philosophers also debate whether propositions are abstract objects outside space and time, psychological entities dependent on mental activity, or linguistic entities grounded in language. Paradoxes challenge the different theories of propositions, such as the liar's paradox. The study of propositions has its roots in ancient philosophy, with influential contributions from Aristotle and the Stoics, and later from William of Ockham, Gottlob Frege, and Bertrand Russell.