Logic of Determination of Objects: the Meaning of Variable in Quantification

This article constitutes a contribution to an analysis of the notion of variable. Within the framework of Combinatory Logic as a formalism without bound variables, the Logic of Determination of Objects (LDO) provides an explanation for the necessary distinction between "whatever, any" and "indeterminate, indefinite" used by the introduction and elimination rules of quantifiers in Natural Deduction. The intension of a concept and typical and atypical occurrences of a concept are also introduced yielding new quantifiers which are more adequate to natural language processing (NPL) and to the study of natural inferences in common reasoning.