In analytic philosophy, anti-realism is the position that the truth of a statement rests on its demonstrability through internal logic mechanisms, such as the context principle or intuitionistic logic, in direct opposition to the realist notion that the truth of a statement rests on its correspondence to an external, independent reality. [1] In anti-realism, this external reality is hypothetical and is not assumed. [2] [3]
There are many varieties of anti-realism, such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British philosopher Michael Dummett in an argument against a form of realism Dummett saw as 'colorless reductionism'. [4]
Anti-realism in its most general sense can be understood as being in contrast to a generic realism, which holds that distinctive objects of a subject-matter exist and have properties independent of one's beliefs and conceptual schemes. [5] The ways in which anti-realism rejects these type of claims can vary dramatically. Because this encompasses statements containing abstract ideal objects (i.e. mathematical objects), anti-realism may apply to a wide range of philosophical topics, from material objects to the theoretical entities of science, mathematical statements, mental states, events and processes, the past and the future. [6]
One kind of metaphysical anti-realism maintains a skepticism about the physical world, arguing either: 1) that nothing exists outside the mind, or 2) that we would have no access to a mind-independent reality, even if it exists. [7] The latter case often takes the form of a denial of the idea that we can have 'unconceptualised' experiences (see Myth of the Given). Conversely, most realists (specifically, indirect realists) hold that perceptions or sense data are caused by mind-independent objects. But this introduces the possibility of another kind of skepticism: since our understanding of causality is that the same effect can be produced by multiple causes, there is a lack of determinacy about what one is really perceiving, as in the brain in a vat scenario. The main alternative to this sort of metaphysical anti-realism is metaphysical realism.
On a more abstract level, model-theoretic anti-realist arguments hold that a given set of symbols in a theory can be mapped onto any number of sets of real-world objects—each set being a "model" of the theory—provided the relationship between the objects is the same (compare with symbol grounding.)
In ancient Greek philosophy, nominalist (anti-realist) doctrines about universals were proposed by the Stoics, especially Chrysippus. [8] [9] In early modern philosophy, conceptualist anti-realist doctrines about universals were proposed by thinkers like René Descartes, John Locke, Baruch Spinoza, Gottfried Wilhelm Leibniz, George Berkeley, and David Hume. [10] [11] In late modern philosophy, anti-realist doctrines about knowledge were proposed by the German idealist Georg Wilhelm Friedrich Hegel. Hegel was a proponent of what is now called inferentialism: he believed that the ground for the axioms and the foundation for the validity of the inferences are the right consequences and that the axioms do not explain the consequence. [12] Kant and Hegel held conceptualist views about universals. [13] [14] In contemporary philosophy, anti-realism was revived in the form of empirio-criticism, logical positivism, semantic anti-realism and scientific instrumentalism (see below).
In the philosophy of mathematics, realism is the claim that mathematical entities such as 'number' have an observer-independent existence. Empiricism, which associates numbers with concrete physical objects, and Platonism, in which numbers are abstract, non-physical entities, are the preeminent forms of mathematical realism.
The "epistemic argument" against Platonism has been made by Paul Benacerraf and Hartry Field. Platonism posits that mathematical objects are abstract entities. By general agreement, abstract entities cannot interact causally with physical entities ("the truth-values of our mathematical assertions depend on facts involving platonic entities that reside in a realm outside of space-time" [15] ). Whilst our knowledge of physical objects is based on our ability to perceive them, and therefore to causally interact with them, there is no parallel account of how mathematicians come to have knowledge of abstract objects. [16] [17] [18]
Field developed his views into fictionalism. Benacerraf also developed the philosophy of mathematical structuralism, according to which there are no mathematical objects. Nonetheless, some versions of structuralism are compatible with some versions of realism.
Anti-realist arguments hinge on the idea that a satisfactory, naturalistic account of thought processes can be given for mathematical reasoning. One line of defense is to maintain that this is false, so that mathematical reasoning uses some special intuition that involves contact with the Platonic realm, as in the argument given by Sir Roger Penrose. [19]
Another line of defense is to maintain that abstract objects are relevant to mathematical reasoning in a way that is non causal, and not analogous to perception. This argument is developed by Jerrold Katz in his 2000 book Realistic Rationalism. In this book, he put forward a position called realistic rationalism, which combines metaphysical realism and rationalism.
A more radical defense is to deny the separation of physical world and the platonic world, i.e. the mathematical universe hypothesis (a variety of mathematicism). In that case, a mathematician's knowledge of mathematics is one mathematical object making contact with another.
The term "anti-realism" was introduced by Michael Dummett in his 1963 paper "Realism" in order to re-examine a number of classical philosophical disputes, involving such doctrines as nominalism, Platonic realism, idealism and phenomenalism. The novelty of Dummett's approach consisted in portraying these disputes as analogous to the dispute between intuitionism and Platonism in the philosophy of mathematics.
According to intuitionists (anti-realists with respect to mathematical objects), the truth of a mathematical statement consists in our ability to prove it. According to Platonic realists, the truth of a statement is proven in its correspondence to objective reality. Thus, intuitionists are ready to accept a statement of the form "P or Q" as true only if we can prove P or if we can prove Q. In particular, we cannot in general claim that "P or not P" is true (the law of excluded middle), since in some cases we may not be able to prove the statement "P" nor prove the statement "not P". Similarly, intuitionists object to the existence property for classical logic, where one can prove , without being able to produce any term of which holds.
Dummett argues that this notion of truth lies at the bottom of various classical forms of anti-realism, and uses it to re-interpret phenomenalism, claiming that it need not take the form of reductionism.
Dummett's writings on anti-realism draw heavily on the later writings of Ludwig Wittgenstein, concerning meaning and rule following, and can be seen as an attempt to integrate central ideas from the Philosophical Investigations into the constructive tradition of analytic philosophy deriving from Gottlob Frege.
In philosophy of science, anti-realism applies chiefly to claims about the non-reality of "unobservable" entities such as electrons or genes, which are not detectable with human senses. [20] [21]
One prominent variety of scientific anti-realism is instrumentalism, which takes a purely agnostic view towards the existence of unobservable entities, in which the unobservable entity X serves as an instrument to aid in the success of theory Y and does not require proof for the existence or non-existence of X.
In the philosophy of ethics, moral anti-realism (or moral irrealism) is a meta-ethical doctrine that there are no objective moral values or normative facts. It is usually defined in opposition to moral realism, which holds that there are objective moral values, such that a moral claim may be either true or false. Specifically the moral anti-realist is committed to denying at least one of the following three statements: [22] [23]
Different version of moral anti-realism deny different statements: specifically, non-cognitivism denies the first claim, arguing that moral statements have no meaning or truth content, [24] error theory denies the second claim, arguing that all moral statements are false, [25] and ethical subjectivism denies the third claim, arguing that the truth of moral statements is mind dependent. [26]
Examples of anti-realist moral theories might be: [27]
There is a debate as to whether moral relativism is actually an anti-realist position. While many versions deny the metaphysical thesis, some do not, as one could imagine a system of morality which requires you to obey the written laws in your country. [28] Such a system would be a version of moral relativism, as different individuals would be required to follow different laws, but the moral facts are physical facts about the world, not mental facts, so they are metaphysically ordinary. Thus, different versions of moral relativism might be considered anti-realist or realist. [29]
Just as moral anti-realism asserts the nonexistence of normative facts, epistemic anti-realism asserts the nonexistence of facts in the domain of epistemology. [30] Thus, the two are now sometimes grouped together as "metanormative anti-realism". [30] Prominent defenders of epistemic anti-realism include Hartry Field, Simon Blackburn, Matthew Chrisman, and Allan Gibbard, among others. [30]
In metaphysics, nominalism is the view that universals and abstract objects do not actually exist other than being merely names or labels. There are at least two main versions of nominalism. One version denies the existence of universals – things that can be instantiated or exemplified by many particular things. The other version specifically denies the existence of abstract objects – objects that do not exist in space and time.
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?"
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, properties, and relations. These are all different types of universals.
Philosophy of mathematics is the branch of philosophy that deals with the nature of mathematics and its relationship with other human activities.
Moral relativism or ethical relativism is used to describe several philosophical positions concerned with the differences in moral judgments across different peoples and cultures. An advocate of such ideas is often referred to as a relativist.
Moral realism is the position that ethical sentences express propositions that refer to objective features of the world, some of which may be true to the extent that they report those features accurately. This makes moral realism a non-nihilist form of ethical cognitivism with an ontological orientation, standing in opposition to all forms of moral anti-realism and moral skepticism, including ethical subjectivism, error theory, and non-cognitivism. Moral realism's two main subdivisions are ethical naturalism and ethical non-naturalism.
Scientific realism is the view that the universe described by science is real regardless of how it may be interpreted. A believer of scientific realism takes the universe as described by science to be true, because of their assertion that science can be used to find the truth about both the physical and metaphysical in the Universe.
Sir Michael Anthony Eardley Dummett was an English academic described as "among the most significant British philosophers of the last century and a leading campaigner for racial tolerance and equality." He was, until 1992, Wykeham Professor of Logic at the University of Oxford. He wrote on the history of analytic philosophy, notably as an interpreter of Frege, and made original contributions particularly in the philosophies of mathematics, logic, language and metaphysics.
Cognitivism is the meta-ethical view that ethical sentences express propositions and can therefore be true or false, which noncognitivists deny. Cognitivism is so broad a thesis that it encompasses moral realism, ethical subjectivism, and error theory.
Ethical subjectivism is the meta-ethical view which claims that:
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.
In philosophy and the arts, a fundamental distinction is between things that are abstract and things that are concrete. While there is no general consensus as to how to precisely define the two, examples include that things like numbers, sets, and ideas are abstract objects, while plants, dogs, and planets are concrete objects. Popular suggestions for a definition include that the distinction between concreteness versus abstractness is, respectively: between (1) existence inside versus outside space-time; (2) having causes and effects versus not; 3) being related, in metaphysics, to particulars versus universals; and (4) belonging to either the physical versus the mental realm. Another view is that it is the distinction between contingent existence versus necessary existence; however, philosophers differ on which type of existence here defines abstractness, as opposed to concreteness. Despite this diversity of views, there is broad agreement concerning most objects as to whether they are abstract or concrete, such that most interpretations agree, for example, that rocks are concrete objects while numbers are abstract objects.
In metaphysics, conceptualism is a theory that explains universality of particulars as conceptualized frameworks situated within the thinking mind. Intermediate between nominalism and realism, the conceptualist view approaches the metaphysical concept of universals from a perspective that denies their presence in particulars outside the mind's perception of them. Conceptualism is anti-realist about abstract objects, just like immanent realism is.
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 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 entirely.
Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary Platonists do not necessarily accept all doctrines of Plato. 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. 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.
Quietism in philosophy sees the role of philosophy as broadly therapeutic or remedial. Quietist philosophers believe that philosophy has no positive thesis to contribute; rather, it defuses confusions in the linguistic and conceptual frameworks of other subjects, including non-quietist philosophy. For quietists, advancing knowledge or settling debates is not the job of philosophy, rather philosophy should liberate the mind by diagnosing confusing concepts.
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess." According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they aren't "about" anything at all. Rather, mathematical statements are syntactic forms whose shapes and locations have no meaning unless they are given an interpretation. In contrast to mathematical realism, logicism, or intuitionism, formalism's contours are less defined due to broad approaches that can be categorized as formalist.
A mathematical object is an abstract concept arising in mathematics. Typically, a mathematical object can be a value that can be assigned to a variable, and therefore can be involved in formulas. Commonly encountered mathematical objects include numbers, sets, functions, expressions, geometric objects, transformations of other mathematical objects, and spaces. Mathematical objects can be very complex; for example, theorems, proofs, and even theories are considered as mathematical objects in proof theory.
Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures of mathematical objects. Mathematical objects are exhaustively defined by their place in such structures. Consequently, structuralism maintains that mathematical objects do not possess any intrinsic properties but are defined by their external relations in a system. For instance, structuralism holds that the number 1 is exhaustively defined by being the successor of 0 in the structure of the theory of natural numbers. By generalization of this example, any natural number is defined by its respective place in that theory. Other examples of mathematical objects might include lines and planes in geometry, or elements and operations in abstract algebra.
Realism, Realistic, or Realists may refer to:
No single description is likely to capture all realist views, but a reasonably accurate rule is to understand moral realism as the conjunction of three theses: The semantic thesis: The primary semantic role of moral predicates (such as "right" and "wrong") is to refer to moral properties (such as rightness and wrongness), so that moral statements (such as "honesty is good" and "slavery is unjust") purport to represent moral facts, and express propositions that are true or false (or approximately true, largely false and so on). The alethic thesis: Some moral propositions are in fact true. The metaphysical thesis: Moral propositions are true when actions and other objects of moral assessment have the relevant moral properties (so that the relevant moral facts obtain), where these facts and properties are robust: their metaphysical status, whatever it is, is not relevantly different from that of (certain types of ordinary non-moral facts and properties).
This one is used to designate that family of ethical positions in which it is supposed that moral judgements do not possess truth-value and hence can not be known. An example of a non-cognitivist position is emotivism; that is, the claim that moral judgements are merely expressions of emotion.
{{cite book}}
: CS1 maint: location missing publisher (link)The moral error theorist thinks that although our moral judgments aim at the truth, they systematically fail to secure it. The moral error theorist stands to morality as the atheist stands to religion.
A subjectivist ethical theorist is a theory according to which moral judgements about men or their actions are judgements about the way people react to these men and actions - that is, the way they think or feel about them.
In all cases, it may be that what determines the difference in the relevant contexts is something "mind-dependent"—in which case it would be anti-realist relativism—but it need not be; perhaps what determines the relevant difference is an entirely mind-independent affair, making for an objectivist (and potentially realist) relativism.
Moral relativism is sometimes thought of as a version of anti-realism, but (short of stipulating usage) there is no basis for this classification; it is better to say that some versions of relativism may be anti-realist and others may be realist.