Representationalists and anti-representationalists disagree about whether a naturalisation of mental content is possible and, hence, whether positing mental representations in cognitive science is justified. Here, I develop a novel way to think about mental representations based on a philosophical description of (cognitive) science inspired by cognitive instrumentalism. On this view, our acceptance of theories positing mental representations and our beliefs in (something like) mental representations do not depend on the naturalisation of content. Thus, I conclude that if we endorse cognitive (...) instrumentalism about mental representations, then we can finally leave the dispute between representationalism and anti-representationalism behind. (shrink)

In this paper, I shall assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. The question is: are the attribute values in frames to be interpreted as universal properties or rather as tropes? I shall argue that universals realism and trope theory face similar complications as far as non-terminal values, i.e., values which refer to the determinable properties of objects, are concerned. It is suggested that these complications can be overcome if one (...) is prepared to adopt an ontology of structured complexes. Such an ontology, in turn, is indifferent as to whether attribute values are interpreted as universals or as tropes. (shrink)

The theory of frames has recently been proposed as a universal format for knowledge representation in language, cognition and science. Frames represent categories as well as individual objects and events in terms of recursive attribute-value structures. In this paper, we would like to explore the potential ontological commitments of frame-based knowledge representations, with particular emphasis on the ontological status of the possessors of quality attributes in individual object frames. While not strictly incompatible with nominalistic, bundle- or substratum-theoretic approaches to the (...) metaphysics of particular objects, it will be argued that representing objects in terms of attribute-value structures is more in accordance with a tradition that can be traced back to Aristotle’s doctrine of physical substances. Attributes appear to describe primary potentialities of objects, which, in the Aristotelian view, are the unchangeable nature or essence, hence substance, of any separate object. (shrink)

Tarski’s conceptual analysis of the notion of logical consequence is one of the pinnacles of the process of defining the metamathematical foundations of mathematics in the tradition of his predecessors Euclid, Frege, Russell and Hilbert, and his contemporaries Carnap, Gödel, Gentzen and Turing. However, he also notes that in defining the concept of consequence “efforts were made to adhere to the common usage of the language of every day life.” This paper addresses the issue of what relationship Tarski’s analysis, and (...) Béziau’s further generalization of it in universal logic, have to reasoning in the everyday lives of ordinary people from the cognitive processes of children through to those of specialists in the empirical and deductive sciences. It surveys a selection of relevant research in a range of disciplines providing theoretical and empirical studies of human reasoning, discusses the value of adopting a universal logic perspective, answers the questions posed in the call for this special issue, and suggests some specific research challenges. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

Ad hoc concepts are highly-context dependent representations humans construct to deal with novel or uncommon situations and to interpret linguistic stimuli in communication. In the last decades, such concepts have been investigated both in experimental cognitive psychology and within pragmatics by proponents of so-called relevance theory. These two research lines have however proceeded in parallel, proposing two unconnected strategies to account for the construction and use of ad hoc concepts. The present work explores the relations between these two approaches and (...) the possibility of merging them into a unique account of the internal structure of ad hoc representations and of the key processes involved in their constructions. To this purpose, we first present an integrated two-level account of the construction of ad hoc representations from lexical concepts; then, we show how our account can be embedded in a conceptual space framework that allows for a natural, geometrical interpretation of the main steps in such a construction process. After discussing in detail two main examples of the construction of ad hoc concepts within conceptual spaces, we conclude with some remarks on possible extensions of our approach. (shrink)