view 'metatheories, analytics and formal logics-
|
diff
|
2009-05-29 13:08:00
- revision [
Version = 13
-->
(current)
]
by
bci1
|
A {\em methatheory} or {\em meta-theory} can be described as a theory about theories belonging to a theory class $\mathbb{M}$. With this meaning, a theory $\mathcal{T}$ of the domain $\mathcal{D}$ is a meta-theory if $\mathcal{D}$ is a theory belonging to a class $\mathbb{M}$ of (lower-level, or first level) theories. A general theory is not a meta-theory because its domain $\mathcal{D}$ does not contain any other theories. Valid statements made in a meta-theory are called {\em meta-theorems} or {\em metatheorems}.
|
|
|
diff
|
2009-05-28 14:52:29
- revision [
Version = 11
-->
Version 12
]
by
bci1
|
The topic is of potential importance for axiomatic approaches both in mathematics/metamathematics and in mathematical physics areas such as axiomatic quantum field theory (AX-QFT), local quantum field theories, general relativity theory, general dynamics system theories and axiomatic mathematical biophysics or abstract relational biology.
|
|
|
