Anti-realism
   HOME

TheInfoList



OR:

In
analytic philosophy Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United ...
, anti-realism is a position which encompasses many varieties such as metaphysical, mathematical, semantic, scientific, moral and epistemic. The term was first articulated by British
philosopher A philosopher is a person who practices or investigates philosophy. The term ''philosopher'' comes from the grc, φιλόσοφος, , translit=philosophos, meaning 'lover of wisdom'. The coining of the term has been attributed to the Greek th ...
Michael Dummett Sir Michael Anthony Eardley Dummett (27 June 1925 – 27 December 2011) 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 ...
in an
argument An argument is a statement or group of statements called premises intended to determine the degree of truth or acceptability of another statement called conclusion. Arguments can be studied from three main perspectives: the logical, the dialecti ...
against a form of
realism Realism, Realistic, or Realists may refer to: In the arts *Realism (arts), the general attempt to depict subjects truthfully in different forms of the arts Arts movements related to realism include: * Classical Realism *Literary realism, a mov ...
Dummett saw as 'colorless reductionism'. In anti-realism, the truth of a statement rests on its demonstrability through internal logic mechanisms, such as the context principle or
intuitionistic logic Intuitionistic logic, sometimes more generally called constructive logic, refers to systems of symbolic logic that differ from the systems used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems ...
, in direct opposition to the realist notion that the truth of a statement rests on its correspondence to an external, independent reality. In anti-realism, this external reality is hypothetical and is not assumed. 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. 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 Science is a systematic endeavor that builds and organizes knowledge in the form of testable explanations and predictions about the universe. Science may be as old as the human species, and some of the earliest archeological evidence ...
, mathematical statement, mental states, events and processes, the
past The past is the set of all events that occurred before a given point in time. The past is contrasted with and defined by the present and the future. The concept of the past is derived from the linear fashion in which human observers experience ...
and the
future The future is the time after the past and present. Its arrival is considered inevitable due to the existence of time and the laws of physics. Due to the apparent nature of reality and the unavoidability of the future, everything that current ...
.


Varieties


Metaphysical anti-realism

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. 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 Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the cau ...
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 In philosophy, the brain in a vat (BIV) is a scenario used in a variety of thought experiments intended to draw out certain features of human conceptions of knowledge, reality, truth, mind, consciousness, and meaning. It is a modern incar ...
scenario. The main alternative to this sort of metaphysical anti-realism is
metaphysical realism Philosophical realism is usually not treated as a position of its own but as a stance towards other subject matters. Realism about a certain kind of thing (like numbers or morality) is the thesis that this kind of thing has ''mind-independent ex ...
. On a more abstract level, model-theoretic anti-realist arguments hold that a given set of
symbol A symbol is a mark, sign, or word that indicates, signifies, or is understood as representing an idea, object, or relationship. Symbols allow people to go beyond what is known or seen by creating linkages between otherwise very different conc ...
s in a
theory A theory is a rational type of abstract thinking about a phenomenon, or the results of such thinking. The process of contemplative and rational thinking is often associated with such processes as observational study or research. Theories may ...
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 cognitive science and semantics, the symbol grounding problem concerns how it is that words ( symbols in general) get their meanings, and hence is closely related to the problem of what meaning itself really is. The problem of meaning is i ...
.) In
ancient Greek philosophy Ancient Greek philosophy arose in the 6th century BC, marking the end of the Greek Dark Ages. Greek philosophy continued throughout the Hellenistic period and the period in which Greece and most Greek-inhabited lands were part of the Roman Empire ...
, nominalist (anti-realist) doctrines about
universals 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 exa ...
were proposed by the
Stoics Stoicism is a school of Hellenistic philosophy founded by Zeno of Citium in Athens in the early 3rd century BCE. It is a philosophy of personal virtue ethics informed by its system of logic and its views on the natural world, asserting tha ...
, especially
Chrysippus Chrysippus of Soli (; grc-gre, Χρύσιππος ὁ Σολεύς, ; ) was a Greek Stoic philosopher. He was a native of Soli, Cilicia, but moved to Athens as a young man, where he became a pupil of the Stoic philosopher Cleanthes. When C ...
. In early modern philosophy,
conceptualist 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 ...
anti-realist doctrines about universals were proposed by thinkers like
René Descartes René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Ma ...
,
John Locke John Locke (; 29 August 1632 – 28 October 1704) was an English philosopher and physician, widely regarded as one of the most influential of Enlightenment thinkers and commonly known as the "father of liberalism". Considered one of ...
,
Baruch Spinoza Baruch (de) Spinoza (born Bento de Espinosa; later as an author and a correspondent ''Benedictus de Spinoza'', anglicized to ''Benedict de Spinoza''; 24 November 1632 – 21 February 1677) was a Dutch philosopher of Portuguese-Jewish origin, ...
,
Gottfried Wilhelm Leibniz Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of ...
,
George Berkeley George Berkeley (; 12 March 168514 January 1753) – known as Bishop Berkeley ( Bishop of Cloyne of the Anglican Church of Ireland) – was an Anglo-Irish philosopher whose primary achievement was the advancement of a theory he called "immate ...
, and
David Hume David Hume (; born David Home; 7 May 1711 NS (26 April 1711 OS) – 25 August 1776) Cranston, Maurice, and Thomas Edmund Jessop. 2020 999br>David Hume" '' Encyclopædia Britannica''. Retrieved 18 May 2020. was a Scottish Enlightenment ph ...
. In
late modern philosophy Western philosophy encompasses the philosophical thought and work of the Western world. Historically, the term refers to the philosophical thinking of Western culture, beginning with the ancient Greek philosophy of the pre-Socratics. The word ...
, anti-realist doctrines about knowledge were proposed by the
German idealist German idealism was a philosophical movement that emerged in Germany in the late 18th and early 19th centuries. It developed out of the work of Immanuel Kant in the 1780s and 1790s, and was closely linked both with Romanticism and the revolutionar ...
Georg Wilhelm Friedrich Hegel Georg Wilhelm Friedrich Hegel (; ; 27 August 1770 – 14 November 1831) was a German philosopher. He is one of the most important figures in German idealism and one of the founding figures of modern Western philosophy. His influence extends ...
. Hegel was a proponent of what is now called
inferentialism Inferential role semantics (also conceptual role semantics, functional role semantics, procedural semantics, semantic inferentialism) is an approach to the theory of meaning that identifies the meaning of an expression with its relationship to other ...
: 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. Kant and Hegel held conceptualist views about universals. In
contemporary philosophy Contemporary philosophy is the present period in the history of Western philosophy beginning at the early 20th century with the increasing professionalization of the discipline and the rise of analytic and continental philosophy. The phrase "c ...
, anti-realism was revived in the form of empirio-criticism,
logical positivism Logical positivism, later called logical empiricism, and both of which together are also known as neopositivism, is a movement in Western philosophy whose central thesis was the verification principle (also known as the verifiability criterion o ...
, semantic anti-realism and scientific instrumentalism (see below).


Mathematical anti-realism

In the
philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people' ...
, realism is the claim that mathematical entities such as 'number' have an observer-independent existence.
Empiricism In philosophy, empiricism is an epistemological theory that holds that knowledge or justification comes only or primarily from sensory experience. It is one of several views within epistemology, along with rationalism and skepticism. Empir ...
, which associates numbers with concrete physical objects, and
Platonism Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary platonists do not necessarily accept all of the doctrines of Plato. Platonism had a profound effect on Western thought. Platonism at l ...
, in which numbers are abstract, non-physical entities, are the preeminent forms of mathematical realism. The "
epistemic Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Episte ...
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
causal Causality (also referred to as causation, or cause and effect) is influence by which one event, process, state, or object (''a'' ''cause'') contributes to the production of another event, process, state, or object (an ''effect'') where the ca ...
ly 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") 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. Field developed his views into
fictionalism Fictionalism is the view in philosophy according to which statements that appear to be descriptions of the world should not be construed as such, but should instead be understood as cases of "make believe", of pretending to treat something as liter ...
. Benacerraf also developed the philosophy of
mathematical structuralism 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, structur ...
, according to which there are no mathematical objects. Nonetheless, some versions of structuralism are compatible with some versions of realism.


Counterarguments

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 Sir Roger Penrose (born 8 August 1931) is an English mathematician, mathematical physicist, philosopher of science and Nobel Laureate in Physics. He is Emeritus Rouse Ball Professor of Mathematics in the University of Oxford, an emeritus fe ...
. 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 In philosophy, rationalism is the epistemological view that "regards reason as the chief source and test of knowledge" or "any view appealing to reason as a source of knowledge or justification".Lacey, A.R. (1996), ''A Dictionary of Philosophy' ...
. A more radical defense is to deny the separation of physical world and the platonic world, i.e. the
mathematical universe hypothesis In physics and cosmology, the mathematical universe hypothesis (MUH), also known as the ultimate ensemble theory and struogony (from mathematical structure, Latin: struō), is a speculative " theory of everything" (TOE) proposed by cosmologist Max ...
(a variety of mathematicism). In that case, a mathematician's knowledge of mathematics is one mathematical object making contact with another.


Semantic anti-realism

The term " anti-realism" was introduced by
Michael Dummett Sir Michael Anthony Eardley Dummett (27 June 1925 – 27 December 2011) 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 ...
in his 1982 paper "Realism" in order to re-examine a number of classical philosophical disputes, involving such doctrines as
nominalism 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 universalsthings ...
, Platonic realism,
idealism In philosophy, the term idealism identifies and describes metaphysical perspectives which assert that reality is indistinguishable and inseparable from perception and understanding; that reality is a mental construct closely connected to ...
and
phenomenalism In metaphysics, phenomenalism is the view that physical objects cannot justifiably be said to exist in themselves, but only as perceptual phenomena or sensory stimuli (e.g. redness, hardness, softness, sweetness, etc.) situated in time and in ...
. The novelty of Dummett's approach consisted in portraying these disputes as analogous to the dispute between
intuitionism In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach where mathematics is considered to be purely the result of the constructive mental activity of humans rather than the discovery of f ...
and
Platonism Platonism is the philosophy of Plato and philosophical systems closely derived from it, though contemporary platonists do not necessarily accept all of the doctrines of Plato. Platonism had a profound effect on Western thought. Platonism at l ...
in the
philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the assumptions, foundations, and implications of mathematics. It aims to understand the nature and methods of mathematics, and find out the place of mathematics in people' ...
. According to intuitionists (anti-realists with respect to mathematical objects), the
truth Truth is the property of being in accord with fact or reality.Merriam-Webster's Online Dictionarytruth 2005 In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as belief ...
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 \exists x.\phi(x), without being able to produce any term t of which \phi 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 In metaphysics, phenomenalism is the view that physical objects cannot justifiably be said to exist in themselves, but only as perceptual phenomena or sensory stimuli (e.g. redness, hardness, softness, sweetness, etc.) situated in time and in ...
, claiming that it need not take the form of
reductionism Reductionism is any of several related philosophical ideas regarding the associations between phenomena which can be described in terms of other simpler or more fundamental phenomena. It is also described as an intellectual and philosophical po ...
. Dummett's writings on anti-realism draw heavily on the later writings of
Ludwig Wittgenstein Ludwig Josef Johann Wittgenstein ( ; ; 26 April 1889 – 29 April 1951) was an Austrian- British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is consi ...
, concerning meaning and rule following, and can be seen as an attempt to integrate central ideas from the ''
Philosophical Investigations ''Philosophical Investigations'' (german: Philosophische Untersuchungen) is a work by the philosopher Ludwig Wittgenstein, published posthumously in 1953. ''Philosophical Investigations'' is divided into two parts, consisting of what Wittgens ...
'' into the constructive tradition of
analytic philosophy Analytic philosophy is a branch and tradition of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United ...
deriving from
Gottlob Frege Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic p ...
.


Scientific anti-realism

In
philosophy of science Philosophy of science is a branch of philosophy concerned with the foundations, methods, and implications of science. The central questions of this study concern what qualifies as science, the reliability of scientific theories, and the ultim ...
, anti-realism applies chiefly to claims about the non-reality of "unobservable" entities such as
electron The electron ( or ) is a subatomic particle with a negative one elementary electric charge. Electrons belong to the first generation of the lepton particle family, and are generally thought to be elementary particles because they have n ...
s or
gene In biology, the word gene (from , ; "...Wilhelm Johannsen coined the word gene to describe the Mendelian units of heredity..." meaning ''generation'' or ''birth'' or ''gender'') can have several different meanings. The Mendelian gene is a b ...
s, which are not detectable with human senses. 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.


Moral anti-realism

In the
philosophy of ethics In metaphilosophy and ethics, meta-ethics is the study of the nature, scope, and meaning of moral judgment. It is one of the three branches of ethics generally studied by philosophers, the others being normative ethics (questions of how one ough ...
, 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 Moral realism (also ethical realism) is the position that ethical sentences express propositions that refer to objective features of the world (that is, features independent of subjective opinion), some of which may be true to the extent that the ...
, 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 one of the following three statements: # ''The Semantic Thesis:'' Moral statements have meaning, they express propositions, or are the kind of things that can be true or false. # ''The Alethic Thesis:'' Some moral propositions are true. # ''The Metaphysical Thesis'': The metaphysical status of moral facts is robust and ordinary, not importantly different from other facts about the world. Different version of moral anti-realism deny different statements: specifically,
non-cognitivism Non-cognitivism is the meta-ethical view that ethical sentences do not express propositions (i.e., statements) and thus cannot be true or false (they are not truth-apt). A noncognitivist denies the cognitivist claim that "moral judgments are ...
denies the first claim, arguing that moral statements have no meaning or truth content,
error theory Moral nihilism (also known as ethical nihilism) is the meta-ethical view that nothing is morally right or wrong. Moral nihilism is distinct from moral relativism, which allows for actions to be wrong relative to a particular culture or indivi ...
denies the second claim, arguing that all moral statements are false, and ethical subjectivism denies the third claim, arguing that the truth of moral statements is mind dependent. Examples of anti-realist moral theories might be: * Ethical subjectivism *
Non-cognitivism Non-cognitivism is the meta-ethical view that ethical sentences do not express propositions (i.e., statements) and thus cannot be true or false (they are not truth-apt). A noncognitivist denies the cognitivist claim that "moral judgments are ...
*
Emotivism Emotivism is a meta-ethics, meta-ethical view that claims that ethical Sentence (linguistics), sentences do not express propositions but emotional attitudes. Hence, it is colloquially known as the hurrah/boo theory. Influenced by the growth of anal ...
* Prescriptivism *
Quasi-realism Quasi-realism is the meta-ethical view which claims that: # Ethical sentences do not express propositions. # Instead, ethical sentences project emotional attitudes as though they were real properties. This makes quasi-realism a form of non-cogn ...
*
Projectivism Projectivism in philosophy involves attributing (projecting) qualities to an object as if those qualities actually belong to it. It is a theory for how people interact with the world and has been applied in both ethics and general philosophy. It ...
* Moral fictionalism *
Moral nihilism Moral nihilism (also known as ethical nihilism) is the meta-ethical view that nothing is morally right or wrong. Moral nihilism is distinct from moral relativism, which allows for actions to be wrong relative to a particular culture or indiv ...
*
Moral skepticism Moral skepticism (or moral scepticism in British English) is a class of meta-ethical theories all members of which entail that no one has any moral knowledge. Many moral skeptics also make the stronger, modal claim that moral knowledge is im ...
There is a debate as to whether
moral relativism Moral relativism or ethical relativism (often reformulated as relativist ethics or relativist morality) is used to describe several philosophical positions concerned with the differences in moral judgments across different peoples and cultures. ...
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. 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.


Epistemic anti-realism

Just as moral anti-realism asserts the nonexistence of normative facts, epistemic anti-realism asserts the nonexistence of facts in the domain of
epistemology Epistemology (; ), or the theory of knowledge, is the branch of philosophy concerned with knowledge. Epistemology is considered a major subfield of philosophy, along with other major subfields such as ethics, logic, and metaphysics. Epi ...
. Thus, the two are now sometimes grouped together as "metanormative anti-realism". Prominent defenders of epistemic anti-realism include Hartry Field,
Simon Blackburn Simon Blackburn (born 12 July 1944) is an English academic philosopher known for his work in metaethics, where he defends quasi-realism, and in the philosophy of language; more recently, he has gained a large general audience from his effort ...
, Matthew Chrisman, and Allan Gibbard, among others.


See also

*
Arend Heyting __NOTOC__ Arend Heyting (; 9 May 1898 – 9 July 1980) was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a ...
*
Constructivist epistemology Constructivism is a view in the philosophy of science that maintains that scientific knowledge is constructed by the scientific community, which seeks to measure and construct models of the natural world. According to the constructivist, natur ...
* Crispin Wright * Critical realism (philosophy of perception) * Luitzen Egbertus Jan Brouwer *
Metaepistemology Metaepistemology is the branch of epistemology and metaphilosophy that studies the underlying assumptions made in debates in epistemology, including those concerning the existence and authority of epistemic facts and reasons, the nature and aim o ...
*
Münchhausen trilemma In epistemology, the Münchhausen trilemma, also commonly known as the Agrippan trilemma, is a thought experiment intended to demonstrate the theoretical impossibility of proving any truth, even in the fields of logic and mathematics, without a ...
*
Neil Tennant (philosopher) Neil Tennant (born 1 March 1950) is an American philosopher. He is Arts & Humanities Distinguished Professor of Philosophy at the Ohio State University; and, before taking up his appointment at the Ohio State University he held positions at the ...
*
Philosophical realism Philosophical realism is usually not treated as a position of its own but as a stance towards other subject matters. Realism about a certain kind of thing (like numbers or morality) is the thesis that this kind of thing has ''mind-independent e ...
*
Quasi-realism Quasi-realism is the meta-ethical view which claims that: # Ethical sentences do not express propositions. # Instead, ethical sentences project emotional attitudes as though they were real properties. This makes quasi-realism a form of non-cogn ...


References


Bibliography

* ** . reprinted, pp. 1–24. ** . reprinted, pp. 145–165. ** . reprinted, pp. 202–214. * Lee Braver (2007).
A Thing of This World: a History of Continental Anti-Realism
'' Northwestern University Press: 2007. * Ian Hacking (1999).
The Social Construction of What?
'. Harvard University Press: 2001. * Samir Okasha (2002).
Philosophy of Science: A Very Short Introduction
'. Oxford University Press.


External links

*
Semantic challenges to realism
in the Stanford Encyclopedia of Philosophy {{DEFAULTSORT:Anti-Realism Philosophical realism Epistemological theories Idealism Logical positivism Metaphysical realism Metaphysical theories Metaphysics of mind Metaphysics of science Metatheory of science Philosophy of science