QUANTIFIER

quantifier: translation

Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake, or that all eat cake, or that not all eat cake, or that none eat cake. ‘Some’ and ‘all’ are represented in modern logic by the quantifiers. The important point is that the treatment fends off thinking of ‘something’, ‘nothing’, and their kin as kinds of names.
In classical logic the two interdefinable quantifiers are the existential quantifier (∃x )… x, read as saying that something is…, and the universal quantifier (∀x )… x, read as saying that all things are…. Existential propositions, claiming that things of some kind exist, are represented by the existential quantifier. Less common quantifiers include the plurality quantifiers ‘many…’ and ‘few…’, and there are definable mathematical quantifiers such as ‘more than half…’, ‘exactly one…’.
More formally, a quantifier will bind a variable, turning an open sentence with n distinct free variables into one with n – 1 (an individual letter counts as one variable, although it may recur several times in a formula). When no variables remain free we have a closed sentence, i.e. one that can be evaluated as true or false within a domain. For example, from the open sentence F x & G x we can form (∃x )(F x & G x ), meaning that something is both F and G. The one variable x is bound on each occurrence.

Смотреть больше слов в «Philosophy dictionary»

QUANTIFIER SHIFT FALLACY →← QUANTIFICATION THEORY

Смотреть что такое QUANTIFIER в других словарях:

QUANTIFIER

[`kwɔntɪfaɪə]квантификатор

QUANTIFIER

квантор, кванторный doubly bounded quantifier — ограниченный с двух сторон квантор existential quantifier symbol — символ квантора существования recursively bounded quantifier — рекурсивно ограниченный квантор universal quantifier symbol — символ квантора универсальности - bounded quantifier - choice quantifier - dummy quantifier - existence quantifier - existential quantifier - function quantifier - fuzzy quantifier - generality quantifier - generalized quantifier - hyperarithmetical quantifier - implicational quantifier - logical quantifier - notchless quantifier - numerical quantifier - pure quantifier - quantifier algebra - quantifier form - quantifier rule - relativizing quantifier - restricted quantifier - scope of quantifier - statistical quantifier - type of quantifier - typical quantifier - unbounded quantifier - universal quantifier - unrestricted quantifier - vacuous quantifier... смотреть

QUANTIFIER

[ʹkwɒntıfaıə] n1. лог., мат. кванторuniversal quantifier - всеобщий квантор, квантор общностиexistential quantifier - квантор существования2. лингв. кв... смотреть

QUANTIFIER

quantifier: übersetzungkɑ̃tifjevquantifizierenquantifier quantifier [kãtifje] <1a> verbe transitif 1 (chiffrer) in Zahlen Accusatif fassen 2 ... смотреть

QUANTIFIER

{ʹkwɒntıfaıə} n 1. лог., мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. квантификато... смотреть

QUANTIFIER

quantifier [ʹkwɒntıfaıə] n 1. лог., мат. квантор universal ~ - всеобщий квантор, квантор общности existential ~ - квантор существования 2. лингв. кв... смотреть

QUANTIFIER

vt 1) определять количество 2) физ. квантовать 3) мат. квантифицировать

QUANTIFIER

• (grammar) a word that expresses a quantity (as `fifteen' or `many') • (logic) a word (such as `some' or `all` or `no') that binds the variables in a... смотреть

QUANTIFIER

1) квантор2) кванторный– bounded quantifier– existence quantifier– existential quantifier– generality quantifier– notchless quantifier

QUANTIFIER

vt1) определять количество2) физ. квантовать3) мат. квантифицировать

QUANTIFIER

1) квантор 2) квантификатор ( слово для обозначения количественных отношений )

QUANTIFIER

сущ. 1) лингв. квантификатор Gram: Quantifiers 2) мат. квантор

QUANTIFIER

(n) квантификатор; квантор; кванторное слово

QUANTIFIER

quantifier noun ling. квантификатор

QUANTIFIER

квантовать

QUANTIFIER

квантор

QUANTIFIER

Квантор

QUANTIFIER

квантовать

QUANTIFIER

квантор.

QUANTIFIER

квантор

QUANTIFIER

квантор

QUANTIFIER

квантор

QUANTIFIER ALGEBRA

матем. кванторная алгебра

QUANTIFIER FORM

матем. кванторная форма

QUANTIFIER RULE

матем. правило квантификации

QUANTIFIER SHIFT FALLACY

A fallacy of reversing the order of two quantifiers . The common form is that of moving from a statement of the form ‘every x has a related y ’ to one ... смотреть

T: 139