A central aspect of people's beliefs about the mind is that mental activities—for example, thinking, reasoning, and problem solving—are interrelated, with some activities being kinds or parts of others. In common-sense psychology, reasoning is a kind of thinking and reasoning is part of problem solving. People's conceptions of these mental kinds and parts can furnish clues to the ordinary meaning of these terms and to the differences between folk and scientific psychology. In this article, we use a new technique for (...) deriving partial orders to analyze subjects' decisions about whether one mental activity is a kind or part of another. The resulting taxonomies and partonomies differ from those of common object categories in exhibiting a converse relation in this domain: One mental activity is a part of another if the second is a kind of the first. The derived taxonomies and partonomies also allow us to predict results from further experiments that examine subjects' memory for these activities, their ratings of the activities' importance, and their judgments about whether there could be "possible minds" that possess some of the activities but not others. (shrink)

The present attempt to indicate the general manner in which the kinship system of a people can be stated as an interpreted axiomatic system, with utilization of the symbolism of modern mathematical logic, is intended as a demonstration of the applicability of contemporary logical methods to problems in the social sciences. Aside from the obvious general advantages in the way of clarity and logical rigour to be gained by an application of axiomatic method, there emerges as by-products a convenient system (...) of kinship symbolization and what is believed to be a solution to the long-standing controversy concerning the use of the terms ‘descriptive’ and ‘classificatory’ in reference to kinship systems. Since kinship terms are words in languages, the present exposition is perhaps of interest in that it shows how meaning in a semantic field of related terms can be defined by logical methods. So all the directional or temporal terms in a specific language might be treated as kinship terms are here. The possibility of a systematic treatment of the semantic aspects of linguistics which so far have resisted this type of treatment should be of interest to linguists. (shrink)