A purported axiomatization, by P. Gärdenfors, of intuitionistic propositional logic is shown to be incomplete, and that the mistaken claim to completeness is seen to result from carelessness in the choice of primitive logical vocabulary. This leads to a consideration of various ways of conceiving the distinction between primitive and defined vocabularies, along with the bearing of these differences on such matters as are discussed in connection with Gärdenfors.

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)