A comprehensive introduction to current research on the psychology of concept formation and use.

A taxonomy of part‐whole or meronymic relations is developed to explain the ordinary English‐speaker's use of the term “part of” and its cognates. The resulting classification yields six types of meronymic relations: 1. component‐integral object (pedal‐bike), 2. member‐collection (ship‐fleet), 3. portion‐mass (slice‐pie), 4. stuff‐object (steel‐car), 5. feature‐activity (paying‐shopping), and 6. place‐area (Everglades‐Florida). Meronymic relations ore further distinguished from other inclusion relations, such as spatial inclusion, and class inclusion, and from several other semantic relations: attribution, attachment, and ownership. This taxonomy is (...) then used to explain cases of apparent intransitivity in merological syllogisms, and standard form syllogisms whose premises express different inclusion relations. The data suggest that intransitivities arise due to equivocations between different types of semantic relations. These results are then explained by means of the relation element theory which accounts for the character and behavior of semantic relations in terms of more primitive relational elements. The inferential phenomena observed are then explained by means of a single principle of element matching. (shrink)

It is almost universally acknowledged that first-order logic (FOL), with its clean, well-understood syntax and semantics, allows for the clear expression of philosophical arguments and ideas. Indeed, an argument or philosophical theory rendered in FOL is perhaps the cleanest example there is of “representing philosophy”. A number of prominent syntactic and semantic properties of FOL reflect metaphysical presuppositions that stem from its Fregean origins, particularly the idea of an inviolable divide between concept and object. These presuppositions, taken at face value, (...) reflect a significant metaphysical viewpoint, one that can in fact hinder or prejudice the representation of philosophical ideas and arguments. Philosophers have of course noticed this and have, accordingly, sought to alter or extend traditional FOL in novel ways to reflect a more flexible and egalitarian metaphysical standpoint. The purpose of this paper, however, is to document and discuss how similar “adaptations” to FOL—culminating in a standardized framework known as Common Logic —have evolved out of the more practical and applied encounter of FOL with the problem of representing, sharing, and reasoning upon information on the World Wide Web. (shrink)

The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic conceptual frames. I first explain one of the most recent theories of concepts developed by cognitivists, in which a crucial part is played by the notion of a dynamic frame. Next, I describe how a dynamic frame may be captured by a finite set of first-order formulas and how a formalized adaptive framework (...) for reasoning within a dynamic frame can be developed. (shrink)