metatheoretical

Relational refers to the metatheoretical assumption that emotions are always about person-environment relationships, not about environmental demands or intrapsychic needs and processes as such.

Handbook of Stress Leo Goldberger 1993

Though the subject-matter of the work is geometry, its lasting influence concerns more broadly the role of axioms in mathematical theories, and the systematic treatment of such metatheoretical questions as consistency and independence.

The Frege-Hilbert Controversy Blanchette, Patricia 2009

Aristotle draws a number of metatheoretical conclusions, including:

Aristotle's Logic Smith, Robin 2007

As noted below, some of Aristotle's metatheoretical results are appealed to in the epistemological arguments of the

Aristotle's Logic Smith, Robin 2007

Just as importantly, the tools of modern logic were employed also for metatheoretical construction, not just for the reduction of empirical claims to their observational base.

Vienna Circle Uebel, Thomas 2006

Two other metatheoretical properties of importance to automated deduction are decidability and complexity.

Automated Reasoning Portoraro, Frederic 2005

By contrast, philosophers of science have, since the 1970s, increasingly been inclined to reject any metatheoretical and metaphysical standards imposed upon science from without, and more specifically have tended to favor the autonomy of local "special" sciences over assumptions that the sciences must fit together in some particular fashion.

The Computational Theory of Mind Horst, Steven 2005

(Gentzen actually designed NK first and then introduced LK to pursue metatheoretical investigations).

Automated Reasoning Portoraro, Frederic 2005

In the process of doing so, one must exercise care to preserve the metatheoretical properties of the original calculus.

Automated Reasoning Portoraro, Frederic 2005

With the exception of S5, these logics share some of the important metatheoretical results of classical logic, such as cut-elimination, and hence cut-free (modal) sequent calculi can be provided for them, along with techniques for their automation.

Automated Reasoning Portoraro, Frederic 2005