Difference between revisions of "Quantifier (definition)"

From Scottish Gaelic Grammar Wiki
Jump to: navigation, search
 
(10 intermediate revisions by 2 users not shown)
Line 1: Line 1:
[[Category: Technical Definitions]]
+
Quantifiers are elements of quantity that are used to define the selection (essentially, ''all'' or ''some'') of tokens within the set of the abstract target object type (e.g., a noun such as 'rock').  For instance, quantifiers allow the referent of a certain type of object (e.g., table, turtle, rock) to point to ''all'' tokens of that type (e.g., "all rocks") or ''some'' tokens of that type (e.g., "some rocks"). 
[[Category: Semantics]]
 
[[Category: Syntax]]
 
[[Category: Parts of Speech]]
 
  
 +
== Kinds of Quantifiers ==
 +
# '''Universal Quantifier (∀)''': given some object ''x'', ∀''x'' can be interpreted as: "for all ''x''...", "all ''x''...", "any ''x''..."
 +
# '''Existential Quantifier (∃x)''', given some object ''x'', ∃''x'' can be interpreted as: "for some ''x''...", "some ''x''...", "there exists (at least one) ''x''..."
 +
# [[Numerals]]
 +
# [[Articles]]
  
== Note ==
+
== See Also ==
 +
[[Article (definition)]]
 +
[[Determiner (definition)]]
  
'''The definition is a work in progress!'''
+
== External Links ==
 +
[http://en.wikipedia.org/wiki/Quantification ''Quantification'' on Wikipedia]<br>
 +
[http://www.philosophypages.com/dy/q.htm#qfrs ''Quantifiers'' from Philosophy Pages]
  
== General Definition ==
+
== References ==
Quantifiers are elements of quantity that are used to define the selection (essentially, ''all'' or ''some'') of tokens within the set of the target object type (e.g., a noun such as 'rock').  
+
Partee, B., A. ter Meulen, and R. E. Wall. (1990) Mathematical Methods in Linguistics. Springar.
<br>
 
For instance, quantifiers allow the referent of a certain type of object (e.g., table, turtle, rock) to point to ''all'' tokens of that type (e.g., "all rocks") or ''some'' tokens of that type (e.g., "some rocks").
 
  
== Kinds of Quantifiers ==
+
[[Category: Technical Definitions]]
Given some object ''x'':<br>
+
[[Category: Semantics]]
1. Universal Quantifier (interpreted as: "for all x..." "all x..." "any x...")<br>
+
[[Category: Syntax]]
2. Existential Quantifier (interpreted as: "for some x..." "some x..." "there exists (at least one) x...")
+
[[Category: Parts of Speech]]
 
 
== Example ==
 
One can make a proposition such as "turtles are green." Now, this certainly ''can'' be true ''given that certain conditions are met''. What are these conditions? One type of condition is that of quantity; quantifiers allow for defining this condition. For instance, "turtles are green" can be divided into symbolic representations as follows:<br>
 
Given some object ''x'':<br>
 
T = "turtles" <br>
 
G(x) = "x is/are green"<br>
 
G(T) = "turtles are green"<br>
 
Now, this does not express what we may really intend when making this proposition. What we may really be stating is "the property of being green can be attributed to all turtles" or "with respect to all turtles, it is the case that the property of being green is attributed to turtles."  Quantifiers are used to express this perhaps non-overt statement using symbols:<br>
 
A(T)[G(T)]
 

Latest revision as of 23:13, 15 June 2012

Quantifiers are elements of quantity that are used to define the selection (essentially, all or some) of tokens within the set of the abstract target object type (e.g., a noun such as 'rock'). For instance, quantifiers allow the referent of a certain type of object (e.g., table, turtle, rock) to point to all tokens of that type (e.g., "all rocks") or some tokens of that type (e.g., "some rocks").

Kinds of Quantifiers

  1. Universal Quantifier (∀): given some object x, ∀x can be interpreted as: "for all x...", "all x...", "any x..."
  2. Existential Quantifier (∃x), given some object x, ∃x can be interpreted as: "for some x...", "some x...", "there exists (at least one) x..."
  3. Numerals
  4. Articles

See Also

Article (definition) Determiner (definition)

External Links

Quantification on Wikipedia
Quantifiers from Philosophy Pages

References

Partee, B., A. ter Meulen, and R. E. Wall. (1990) Mathematical Methods in Linguistics. Springar.