Sentence examples for a logical notion from inspiring English sources

The tenability of logicism been disputed on multiple grounds, the most prominent of which has been that the notion of membership fundamental to the theory of sets is not a logical notion but rather a symbol that must be added to first-order logic to formalize what is properly understood as a non-logical theory.

Implies here is a logical notion, though just which one, and what the options are, depends on what background logic is assumed.

The concern here is that any particular setting of λ is arbitrary in a way that compromises Carnap's claim to be offering a logical notion of probability.

If class is also shown to be a logical notion, then this definition would complete the logicist program for the mathematics of natural numbers.

Obviously membership as a relation over a domain of individuals and sets is not invariant under all permutations of that domain, so it is not declared a logical notion of the language of set theory by Tarski's proposed definition.

Deborah Rosen, for example, develops a "logical notion of the memory trace", distanced from the "scientific notions for which the logical notion provides only a philosophical underpinning" (1975, p. 3).

This is a very logical notion considering that the A term is directly related to particle size, structure, and packing efficiency of support particle of the column and solid core materials, pack better than fully porous materials.

It was - like all the best ideas - a bright, logical notion.

For Chisholm, entailment is not a merely logical notion.

As a consequence, it is also impossible to lay out the foundations of set theory on a pure logical notion of set where membership faithfully mirrors predicate application, in the sense that, in the light of Frege, x ∈ y means that (1) y = {x | φ(x)} for some concept φ, and (2) φ truly applies to x. (For historical details on Russell's discovery of the paradox, see Moore 1995).

Together, these observations led to a seemingly logical notion that inclusions are products of pathological transformation of certain physiologically relevant RNP structures such as SGs (15, 43, 44).