HOME

TheInfoList



OR:

A metatheory or meta-theory is a
theory A theory is a systematic and rational form of abstract thinking about a phenomenon, or the conclusions derived from such thinking. It involves contemplative and logical reasoning, often supported by processes such as observation, experimentation, ...
on a subject matter that is a theory in itself. Analyses or descriptions of an existing theory would be considered meta-theories. For
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
and
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
, a metatheory is a mathematical theory about another mathematical theory. Meta-theoretical investigations are part of the
philosophy of science Philosophy of science is the branch of philosophy concerned with the foundations, methods, and implications of science. Amongst its central questions are the difference between science and non-science, the reliability of scientific theories, ...
. The topic of
metascience Metascience (also known as meta-research) is the use of scientific methodology to study science itself. Metascience seeks to increase the quality of scientific research while reducing inefficiency. It is also known as "research on research" and ...
is an attempt to use scientific knowledge to improve the practice of science itself. The study of metatheory became widespread during the 20th century after its application to various topics, including scientific linguistics and its concept of metalanguage.


Examples of metatheories


Metascience

Metascience is the use of
scientific method The scientific method is an Empirical evidence, empirical method for acquiring knowledge that has been referred to while doing science since at least the 17th century. Historically, it was developed through the centuries from the ancient and ...
to study
science Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which stu ...
itself. Metascience is an attempt to increase the quality of scientific research while reducing wasted activity; it uses research methods to study how
research Research is creative and systematic work undertaken to increase the stock of knowledge. It involves the collection, organization, and analysis of evidence to increase understanding of a topic, characterized by a particular attentiveness to ...
is done or can be improved. It has been described as "''research on research''", "''the science of science''", and "a bird's eye view of science". As stated by John Ioannidis, "Science is the best thing that has happened to human beings ... but we can do it better." In 1966, an early meta-research paper examined the statistical methods of 295 papers published in ten well-known medical journals. It found that, "in almost 73% of the reports read ... conclusions were drawn when the justification for these conclusions was invalid". Meta-research during the ensuing decades found many methodological flaws, inefficiencies, and bad practices in the research of numerous scientific topics. Many scientific studies could not be reproduced, particularly those involving
medicine Medicine is the science and Praxis (process), practice of caring for patients, managing the Medical diagnosis, diagnosis, prognosis, Preventive medicine, prevention, therapy, treatment, Palliative care, palliation of their injury or disease, ...
and the so-called soft sciences. The term "
replication crisis The replication crisis, also known as the reproducibility or replicability crisis, refers to the growing number of published scientific results that other researchers have been unable to reproduce or verify. Because the reproducibility of empir ...
" was invented during the early 2010s as part of an increasing awareness of the problem. Measures have been implemented to address the issues revealed by metascience. These measures include the pre-registration of scientific studies and
clinical trials Clinical trials are prospective biomedical or behavioral research studies on human subject research, human participants designed to answer specific questions about biomedical or behavioral interventions, including new treatments (such as novel v ...
as well as the founding of organizations such as
CONSORT __NOTOC__ Consort may refer to: Music * "The Consort" (Rufus Wainwright song), from the 2000 album ''Poses'' * Consort of instruments, term for instrumental ensembles * Consort song (musical), a characteristic English song form, late 16th–earl ...
and the EQUATOR Network that issue guidelines for methods and reporting. There are continuing efforts to reduce the misuse of statistics, to eliminate perverse incentives from academia, to improve the
peer review Peer review is the evaluation of work by one or more people with similar competencies as the producers of the work (:wiktionary:peer#Etymology 2, peers). It functions as a form of self-regulation by qualified members of a profession within the ...
process, to reduce
bias Bias is a disproportionate weight ''in favor of'' or ''against'' an idea or thing, usually in a way that is inaccurate, closed-minded, prejudicial, or unfair. Biases can be innate or learned. People may develop biases for or against an individ ...
in scientific literature, and to increase the overall quality and efficiency of the scientific process. A major criticism of metatheory is that it is theory based on other theory.


Computational Metatheory

Computational metatheory is a conceptual and formal framework based on
Theoretical Computer Science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...
to reason about how theories in the sciences can emerge out of theoretical and empirical work. It is a computation-centered approach to problems such as which properties theories should have, what empirical evidence is relevant in a given scientific problem situation, and how discoveries affect the problem space. As such, it complements prevailing approaches to metatheorizing with a focus on the analysis of computational problems.


Metamathematics

Introduced in 20th-century philosophy as a result of the work of the German
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
David Hilbert, who in 1905 published a proposal for proof of the
consistency In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
and completeness of mathematics, creating the topic of metamathematics. His hopes for the success of this proof were disappointed by the work of
Kurt Gödel Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...
, who in 1931, used his incompleteness theorems to prove the goal of consistency and completeness to be unattainable. Nevertheless, his program of unsolved mathematical problems influenced mathematics for the rest of the 20th century. A metatheorem is defined as: "a statement about theorems. It usually gives a criterion for getting a new theorem from an old one, either by changing its objects according to a rule" known as the duality principle, or by transferring it to another topic (e.g., from the theory of categories to the theory of groups) or to another context of the same topic (e.g., from linear transformations to matrices).Barile, Margherita. "Metatheorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/Metatheorem.html


Metalogic

Metalogic is the study of the metatheory of
logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...
. Whereas ''logic'' is the study of how logical systems can be used to construct valid and
sound In physics, sound is a vibration that propagates as an acoustic wave through a transmission medium such as a gas, liquid or solid. In human physiology and psychology, sound is the ''reception'' of such waves and their ''perception'' by the br ...
argument An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persu ...
s, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived ''about'' the
languages Language is a structured system of communication that consists of grammar and vocabulary. It is the primary means by which humans convey meaning, both in spoken and signed forms, and may also be conveyed through writing. Human language is ch ...
and systems that are used to express truths. The basic objects of metalogical study are formal languages, formal systems, and their interpretations. The study of interpretation of formal systems is the type of
mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...
that is known as
model theory In mathematical logic, model theory is the study of the relationship between theory (mathematical logic), formal theories (a collection of Sentence (mathematical logic), sentences in a formal language expressing statements about a Structure (mat ...
, and the study of
deductive system A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in math ...
s is the type that is known as
proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...
.


Metaphilosophy

Metaphilosophy is "the investigation of the nature of
philosophy Philosophy ('love of wisdom' in Ancient Greek) is a systematic study of general and fundamental questions concerning topics like existence, reason, knowledge, Value (ethics and social sciences), value, mind, and language. It is a rational an ...
". see also the
Internet Encyclopedia of Philosophy The ''Internet Encyclopedia of Philosophy'' (''IEP'') is a scholarly online encyclopedia with around 900 articles about philosophy, philosophers, and related topics. The IEP publishes only peer review, peer-reviewed and blind-refereed original p ...
article by Nicholas Joll
Contemporary Metaphilosophy
/ref> Its subject matter includes the aims of philosophy, the boundaries of philosophy, and its methods. Thus, while philosophy characteristically inquires into the nature of being, the reality of objects, the possibility of knowledge, the nature of truth, and so on, metaphilosophy is the
self-referential Self-reference is a concept that involves referring to oneself or one's own attributes, characteristics, or actions. It can occur in language, logic, mathematics, philosophy, and other fields. In natural language, natural or formal languages, ...
inquiry into the nature, purposes, and methods of the activity that makes these kinds of inquiries, by asking what ''is'' philosophy itself, what sorts of questions it should ask, how it might pose and answer them, and what it can achieve in doing so. It is considered by some to be a topic prior and preparatory to philosophy,See for example, while others see it as inherently a part of philosophy, or automatically a part of philosophy while others adopt some combination of these views.


Metasociology

Metasociology, or sociology of sociology, is a topic of
sociology Sociology is the scientific study of human society that focuses on society, human social behavior, patterns of Interpersonal ties, social relationships, social interaction, and aspects of culture associated with everyday life. The term sociol ...
that combines social theories with analysis of the effect of socio-historical contexts in sociological intellectual production.


See also

* Meta-aesthetics *Meta-anthropology *
Metacognition Metacognition is an awareness of one's thought processes and an understanding of the patterns behind them. The term comes from the root word ''Meta (prefix), meta'', meaning "beyond", or "on top of".Metcalfe, J., & Shimamura, A. P. (1994). ''Metac ...
* Metacommunication *
Metadata Metadata (or metainformation) is "data that provides information about other data", but not the content of the data itself, such as the text of a message or the image itself. There are many distinct types of metadata, including: * Descriptive ...
* Metadiscourse *Metaeconomics * Meta-emotion * Metaepistemology * Metaethics * Metageography *Metahistory * Metaknowledge * Metalanguage * Metalearning *
Metalinguistics Metalinguistics is the branch of linguistics that studies language and its relationship to other culture, cultural behaviors. It is the study of how different parts of speech and communication interact with each other and reflect the way people ...
* Metamemory * Metanarrative * Meta-ontology *
Metaphysics 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 ...
* Metapolitics *
Metapragmatics In linguistics, metapragmatics is the study of how the effects and conditions of language use themselves become objects of discourse. The term is commonly associated with the Semiotics, semiotically-informed linguistic anthropology of Michael Silver ...
* Metapsychology *Metatheology


References


External links

*
Meta-theoretical Issues (2003), Lyle Flint
{{Authority control Metaphilosophy