A Logical Description of the Deduction of Instances from Concepts.
CATHOLIC UNIV OF AMERICA WASHINGTON D C CENTER FOR RESEARCH IN THINKING AND LANGUAGE
Pagination or Media Count:
A formal logical description is given of concept instantiation, the deduction of valid instances that satisfy a single concept or a list of two or more concepts. Advantages pertaining to the deductive scheme are enumerated together with its relation to a previously worked out model of concept attainment, the deduction of concepts from instances. Several instantiation problems and their solutions are presented to illustrate the practical usefulness of the scheme. The claim is made that no rationale has previously been given for this type of problem as the psychology of thinking has usually studied problems in which the concept-instance relation is arbitrary.