Sentence examples for classical reasoning from inspiring English sources

The last axiom is not one a mathematician using classical reasoning would adhere to.

The inconsistency of the T-sentences does not rely on classical reasoning.

They are the only axioms in intuitionism that contradict classical reasoning, and thereby represent the most colorful as well as the most controversial part of Brouwer's philosophy.

Thus, unlike several other theories of constructive mathematics, intuitionism is not a restriction of classical reasoning; it contradicts classical mathematics in a fundamental way.

His philosophy was considered awkward by many, but treated as a serious alternative to classical reasoning by some of the most famous mathematicians of his time, even when they had a different view on the matter.

The introduction of description logic-based semantics to provide homogeneous descriptions of object capabilities enables lowering the heterogeneity and a limited set of interactions (such as those with stationary objects with fixed availability) to be deduced using classical reasoning systems.

The flexibility of the conceptual model underlying GART is substantiated by a parametric object-oriented data structure, which accommodates the most significant design choices of a non-classical reasoning theory.

Hilbert, for example, came to regard AC as an essential principle of mathematics[5] and employed it in his defence of classical mathematical reasoning against the attacks of the intuitionists.

Rather, it is a simplification of futures, an ideal type in the language of the classical Weberian reasoning [21, 22], being a methodological and conceptual device that can be understood as a logical summary or recapitulation of several trends and aspects of social life.

Modeling allows for a more complete analysis of the true relationship between experimental data and possible mechanistic explanations, compared to what is feasible using only classical biochemical reasoning.

The potential of using a model for such an evaluation is that the evaluation can be made in a much more systematic and objective fashion, since complex interaction networks quickly become too complex to grasp using classical biochemical reasoning.