metatheory
1metatheory — metatheory, metatheoretical beliefs See axiom …
2Metatheory — A metatheory or meta theory is a theory whose subject matter is some other theory. In other words it is a theory about a theory. Statements made in the metatheory about the theory are called metatheorems. The following is an example of a meta… …
3metatheory — met·a·the·o·ry (mĕtʹə thē ə rē, thîr ē) n. A theory devised to analyze theoretical systems. * * * a theory the subject matter of which is another theory. A finding proved in the former that deals with the latter is known as a metatheorem.… …
4metatheory — “+ noun Etymology: meta + theory : a theory concerned with the investigation, analysis, or description of theory itself if we investigate, analyze, and describe a language L1 … the sum total of what can be known about L1 and said in L2 may be… …
5metatheory — meta·theory …
6МЕТАТЕОРИЯ — (metatheory) все или какие либо оценки второго порядка теорий или теории второго порядка о теориях …
7Object theory — For the concept of objects in philosophy, see Object (philosophy). Object theory is a theory in philosophy and mathematical logic concerning objects and the statements that can be made about objects. Contents 1 An informal theory 2 Objects 3 A… …
8Metalanguage — For the programming language, see ML (programming language). Broadly, any metalanguage is language or symbols used when language itself is being discussed or examined.[1] In logic and linguistics, a metalanguage is a language used to make… …
9New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …
10Equiconsistency — In mathematical logic, two theories are equiconsistent if, roughly speaking, they are as consistent as each other . It is not in general possible to prove the absolute consistency of a theory T. Instead we usually take a theory S, believed to be… …
