Distinction, the fundamental philosophical abstraction, involves the recognition of difference. [1]
In classical philosophy, there were various ways in which things could be distinguished. The merely logical or virtual distinction, such as the difference between concavity and convexity, involves the mental apprehension of two definitions, but which cannot be realized outside the mind, as any concave line would be a convex line considered from another perspective. A real distinction involves a level of ontological separation, as when squirrels are distinguished from llamas (for no squirrel is a llama, and no llama is a squirrel). [2] A real distinction is thus different than a merely conceptual one, in that in a real distinction, one of the terms can be realized in reality without the other being realized.
Later developments include Duns Scotus's formal distinction, which developed in part out of the recognition in previous authors that there need to be an intermediary between logical and real distinctions. [3]
Some relevant distinctions to the history of Western philosophy include:
While there are anticipation of this distinction prior to Kant in the British Empiricists (and even further in Scholastic thought), it was Kant who introduced the terminology. The distinction concerns the relation of a subject to its predicate: analytic claims are those in which the subject contains the predicate, as in "All bodies are extended." Synthetic claims bring two concepts together, as in "All events are caused." The distinction was recently called into question by W.V.O. Quine, in his paper "Two Dogmas of Empiricism."
The origins of the distinction are less clear, and it concerns the origins of knowledge. A posteriori knowledge arises from, or is caused by, experience. A priori knowledge may come temporally after experience, but its certainty is not derivable from the experience itself. Saul Kripke was the first major thinker to propose that there are analytic a posteriori knowledge claims.
Aristotle makes the distinction between actuality and potentiality. [4] Actuality is a realization of the way a thing could be, while potency refers simply to the way a thing could be. There are two levels to each: matter itself can be anything, and becomes something actually by causes, making it something which then has the ability to be in a certain way, and that ability can then be realized. The matter of an ax can be an ax, then is made into an ax. The ax thereby is able to cut, and reaches a new form of actuality in actually cutting.
The major distinction Aquinas makes is that of essence and existence. It is a distinction already in Avicenna, but Aquinas maps the distinction onto the actuality/potentiality distinction of Aristotle, such that the essence of a thing is in potency to the existence of a thing, which is that thing's actuality. [5]
In Kant, the distinction between appearance and thing-in-itself is foundational to his entire philosophical project. [6] The distinction separates the way a thing appears to us on the one hand, and the way a thing really is.
Existence is the ability of an entity to interact with reality. In philosophy, it refers to the ontological property of being.
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?
Hylomorphism is a philosophical doctrine developed by the Ancient Greek philosopher Aristotle, which conceives every physical entity or being (ousia) as a compound of matter (potency) and immaterial form (act), with the generic form as immanently real within the individual. The word is a 19th-century term formed from the Greek words ὕλη and μορφή. Hylomorphic theories of physical entities have been undergoing a revival in contemporary philosophy.
In monotheistic theology, the doctrine of Divine Simplicity says that God is simple.
The Critique of Pure Reason is a book by the German philosopher Immanuel Kant, in which the author seeks to determine the limits and scope of metaphysics. Also referred to as Kant's "First Critique", it was followed by his Critique of Practical Reason (1788) and Critique of Judgment (1790). In the preface to the first edition, Kant explains that by a "critique of pure reason" he means a critique "of the faculty of reason in general, in respect of all knowledge after which it may strive independently of all experience" and that he aims to reach a decision about "the possibility or impossibility of metaphysics." The term "critique" is understood to mean a systematic analysis in this context, rather than the colloquial sense of the term.
In metaphysics and philosophy of language, the correspondence theory of truth states that the truth or falsity of a statement is determined only by how it relates to the world and whether it accurately describes that world.
Thomism is the philosophical and theological school which arose as a legacy of the work and thought of Thomas Aquinas (1225–1274), the Dominican philosopher, theologian, and Doctor of the Church.
In philosophy, potentiality and actuality are a pair of closely connected principles which Aristotle used to analyze motion, causality, ethics, and physiology in his Physics, Metaphysics, Nicomachean Ethics, and De Anima.
Metaphysics is one of the principal works of Aristotle, in which he develops the doctrine that he calls First Philosophy. The work is a compilation of various texts treating abstract subjects, notably substance theory, different kinds of causation, form and matter, the existence of mathematical objects and the cosmos, which together constitute much of the branch of philosophy later known as metaphysics.
"Critique of the Kantian philosophy" is a criticism Arthur Schopenhauer appended to the first volume of his The World as Will and Representation (1818). He wanted to show Immanuel Kant's errors so that Kant's merits would be appreciated and his achievements furthered.
The unmoved mover or prime mover is a concept advanced by Aristotle as a primary cause or "mover" of all the motion in the universe. As is implicit in the name, the unmoved mover moves other things, but is not itself moved by any prior action. In Book 12 of his Metaphysics, Aristotle describes the unmoved mover as being perfectly beautiful, indivisible, and contemplating only the perfect contemplation: self-contemplation. He equates this concept also with the active intellect. This Aristotelian concept had its roots in cosmological speculations of the earliest Greek pre-Socratic philosophers and became highly influential and widely drawn upon in medieval philosophy and theology. St. Thomas Aquinas, for example, elaborated on the unmoved mover in the Quinque viae.
The Quinque viæ are five logical arguments for the existence of God summarized by the 13th-century Catholic philosopher and theologian Thomas Aquinas in his book Summa Theologica. They are:
In scholastic philosophy, Actus Purus is the absolute perfection of God.
The analytic–synthetic distinction is a semantic distinction, used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.
A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on empirical evidence or experience. A priori knowledge is independent from current experience. Examples include mathematics, tautologies, and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.
In scholastic metaphysics, a formal distinction is a distinction intermediate between what is merely conceptual, and what is fully real or mind-independent--a logical distinction. It was made by some realist philosophers of the Scholastic period in the thirteenth century, and particularly by Duns Scotus.
Substantial form is a central philosophical concept in Aristotelianism and, afterwards, in Scholasticism. The form is the idea, existent or embodied in a being, that completes or actualizes the potentiality latent in the matter composing the being itself. For Aristotle, in fact, matter is the basis of all that exists; it comprises the potentiality of everything, but of itself is not actually anything. A determinate thing only comes into being when the potentiality in matter is converted into actuality; this is achieved by the substantial form. It is substantial because it is the principle by which a material kind of thing is recognised as such.
The principle of individuation is a criterion that individuates or numerically distinguishes the members of the kind for which it is given, that is by which we can supposedly determine, regarding any kind of thing, when we have more than one of them or not. It is also known as a 'criterion of identity' or 'indiscernibility principle'. The history of the consideration of such a principle begins with Aristotle. It was much discussed by the medieval philosopher Duns Scotus with his "haecceity" and later, during Renaissance, by Francisco Suárez (1548–1617), Bonaventure Baron (1610–1696) and Leibniz (1646–1716).
John Duns Scotus was a Scottish Catholic priest and Franciscan friar, university professor, philosopher, and theologian. He is one of the four most important Christian philosopher-theologians of Western Europe in the High Middle Ages, together with Thomas Aquinas, Bonaventure, and William of Ockham.
Relations are ways in which things, the relata, stand to each other. Relations are in many ways similar to properties in that both characterize the things they apply to. Properties are sometimes treated as a special case of relations involving only one relatum. In philosophy, theories of relations are typically introduced to account for repetitions of how several things stand to each other.