Sentence examples for foundational type from inspiring English sources

The goal of a first-order theory, on this sort of view, is to offer a metaphysical reduction of law: that is, to show that the phenomenon of law is actually constituted by, and fully reducible to, some other more foundational type of phenomenon (in the way that chemistry could in principle be reduced to particle physics).

Online behavior presents us with a pertinent category: the internet has become middle-aged, and in its collective experience has generated all sorts of new genres, including wondrous variations on a certain foundational type -- the troll.

He called Harden "the foundational, franchise-type player we have been seeking".

Consequently, in the Logic Cohen aims above all to articulate the twelve different types of foundational judgments that, he thinks, make it possible for mathematical natural scientific theories to represent objects.

We can distinguish between two types of foundational theories of the justification of memory belief: simple foundationalism holds that every memory belief, just in virtue of being a memory belief, is prima facie justified.

Rather, we must embrace a security posture that is empowering and foundational to the emergence of the type of society we strive for — an agile society.

In fact, the adjective "constructive" has also been used to denote impredicative theories, and "intuitionistic" to refer to predicative foundational theories such as Martin-Löf type theory (Martin-Löf 1975 19844).

Foo chose the rhapsody, a free-form, episodic type of composition as his foundational structure, because it could house an improvisational translation of neural activity.

This type of education offers a good foundational framework for innovation.

Mīmāṃsā and Nyāya realists emphasize the "concept-laden" nature of at least the type of perception that is epistemically foundational for observation statements containing basic sensory predicates.

Proof-theoretic interpretations have also been employed to compare constructive and intuitionistic ZF set theories among each others, as well as with their classical counterparts, and also with other foundational systems for constructive mathematics, such as constructive type theory and explicit mathematics (see e.g. Griffor and Rathjen 1994, Tupailo 2003).