Maarten Maartensz:    Philosophical Dictionary | Filosofisch Woordenboek                      

 N - No


No: In logic: term for universal exclusion.

The term 'no', as in 'no mammal is a reptile' is known as a quantifier, i.e. a term that indicates what proportion of a collection is supposed to have some property, and 'no' means that every element of the collection lacks the property.

Accordingly, the rules for 'no' are generally taken to be covered by 'every' prefixed to a negated formula: 'No x is F' is rendered as 'Every x is not F' or as 'It is not true some x is F'


See also: Quantifier, Every, Some



 Original: Jul 11, 2005                                                Last edited: 12 December 2011.   Top