Metateoría

La metaciencia es el uso del método científico para estudiar la ciencia misma. La metaciencia es un intento de aumentar la calidad de la investigación científica y, al mismo tiempo, reducir la actividad innecesaria; utiliza métodos de investigación para estudiar cómo se realiza la investigación o cómo se puede mejorar. Se la ha descrito como " investigación sobre la investigación ", " la ciencia de la ciencia " y "una visión panorámica de la ciencia". ^{[ 5 ]} Como afirmó John Ioannidis : "La ciencia es lo mejor que le ha sucedido a la humanidad... pero podemos mejorarla". ^{[ 6 ]}

En 1966, un artículo de metaanálisis inicial examinó los métodos estadísticos de 295 artículos publicados en diez revistas médicas de renombre. Se constató que, «en casi el 73 % de los informes leídos, se extrajeron conclusiones sin que su justificación fuera válida». El metaanálisis de las décadas siguientes reveló numerosas deficiencias metodológicas, ineficiencias y malas prácticas en la investigación de diversos temas científicos. Muchos estudios científicos no pudieron reproducirse , especialmente aquellos relacionados con la medicina y las denominadas ciencias sociales . El término « crisis de replicación » se acuñó a principios de la década de 2010 como parte de una creciente concienciación sobre el problema. ^{[ 7 ]}

Se han implementado medidas para abordar los problemas revelados por la metaciencia. Estas medidas incluyen el preregistro de estudios científicos y ensayos clínicos , así como la creación de organizaciones como CONSORT y la Red EQUATOR , que emiten directrices sobre métodos e informes. Se realizan esfuerzos continuos para reducir el mal uso de las estadísticas , eliminar los incentivos perversos en el ámbito académico, mejorar el proceso de revisión por pares , reducir el sesgo en la literatura científica y aumentar la calidad y eficiencia generales del proceso científico.

Una de las principales críticas a la metateoría es que se basa en otras teorías.

La metateoría computacional es un marco conceptual y formal, basado en la informática teórica, que permite razonar sobre cómo las teorías científicas pueden surgir del trabajo teórico y empírico. ^{[ 8 ]} Se trata de un enfoque centrado en la computación para abordar problemas como qué propiedades deberían tener las teorías, qué evidencia empírica es relevante en una situación científica determinada y cómo los descubrimientos afectan al espacio del problema. De este modo, complementa los enfoques predominantes de la metateoría, centrándose en el análisis de problemas computacionales.

Introduced in 20th-century philosophy as a result of the work of the GermanmathematicianDavid Hilbert, who in 1905 published a proposal for proof of the consistency 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, 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).^[9]

Metalogic is the study of the metatheory of logic. Whereas logic is the study of how logical systems can be used to construct valid and soundarguments, 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 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 that is known as model theory, and the study of deductive systems is the type that is known as proof theory.

La metafilosofía es "la investigación de la naturaleza de la filosofía ". ^{[ 10 ]} Su objeto de estudio incluye los objetivos de la filosofía, sus límites y sus métodos. ^{[ 11 ] [ 12 ]} Así, mientras que la filosofía indaga característicamente sobre la naturaleza del ser, la realidad de los objetos, la posibilidad del conocimiento, la naturaleza de la verdad, etc., la metafilosofía es la indagación autorreferencial sobre la naturaleza, los propósitos y los métodos de la actividad que realiza este tipo de indagaciones, preguntándose qué es la filosofía misma, qué tipo de preguntas debería plantear, cómo podría formularlas y responderlas, y qué puede lograr al hacerlo. Algunos la consideran un tema previo y preparatorio para la filosofía, ^{[ 13 ]} mientras que otros la ven como una parte inherente de la filosofía, ^{[ 14 ]} o automáticamente una parte de la filosofía, ^{[ 15 ]} mientras que otros adoptan una combinación de estas posturas. ^{[ 11 ]}

La metasociología, o sociología de la sociología, es una rama de la sociología que combina las teorías sociales con el análisis del efecto de los contextos sociohistóricos en la producción intelectual sociológica.