: Fodor’s view of the mind is thoroughly computational. This means that the basic kind of mental entity is a “discursive” mental representation and operations over this kind of mental representation have broad architectural scope, extending out to the edges of perception and the motor system. However, in multiple epochs of his work, Fodor attempted to define a functional role for non-discursive, imagistic representation. I describe and critique his two considered proposals. The first view says that images play a particular (...) kind of functional role in certain types of deliberative tasks. The second says that images are solely restricted to the borders of perception, and act as a sort of medium for the fixing of conceptual reference. I argue, against the first proposal, that a broad-scope computationalism such as Fodor’s renders images in principle functionally redundant. I argue, against the second proposal, that empirical evidence suggests that non-discursive representations are learned through perceptual learning, and directly inform category judgments. In each case, I point out extant debates for which the arguments are relevant. The upshot is that there is motivation for limited scope computationalism, in which some, but not all, mental processes operate on discursive mental representations. Keywords: Computational Theory of Mind; Mental Representation; Perception; Mental Image; Jerry Fodor Fodor e le rappresentazioni mentali come immagini Riassunto: La concezione della mente di Fodor è rigorosamente computazionale, ossia le entità mentali di base sono rappresentazioni mentali “discorsive”. Le operazioni su queste rappresentazioni hanno un fine architettonico ampio, che va fino ai confini della percezione e del sistema motorio. In periodi diversi del suo lavoro, Fodor ha proposto due modi per definire un ruolo funzionale per la rappresentazione non-discorsiva come immagine. Tratterò criticamente entrambi. Per il primo, le immagini giocano un particolare tipo di ruolo funzionale in certi tipi di compiti deliberativi, mentre, per il secondo, sono relegate unicamente ai confini della percezione, agendo come medium per fissare il riferimento concettuale. Contro il primo sosterrò che un computazionalismo così ampio come quello di Fodor rende le immagini in principio funzionalmente ridondanti. Contro il secondo sosterrò che l’evidenza empirica suggerisce che le rappresentazioni non-discorsive vengono apprese percettivamente, agendo direttamente sui giudizi di categorizzazione. In entrambi i casi considererò gli argomenti più rilevanti nel dibattito corrente. Si vedrà che ci sono buone ragioni in favore di un computazionalismo più limitato, in cui alcuni processi mentali operano su rappresentazioni mentali discorsive. Parole chiave: Teoria computazionale della mente; Rappresentazione mentale; Percezione; Immagine mentale; Jerry Fodor. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

The paper offers an account of inference. The account underwrites the idea that inference requires that the reasoner takes her premises to support her conclusion. I reject views according to which such ‘takings’ are intuitions or beliefs. I sketch an alternative view on which inferring consists in attaching what I call ‘inferential force’ to a structured collection of contents.

This paper addresses Frege's discussion of illogical thought in the introduction to Basic Laws of Arithmetic. After a brief introduction, I discuss Frege's claims that logic is normative vis-à-vis thought, and not descriptive, and his opposition to the idea that logical laws express psychological necessities. I argue that these two strands of Frege's polemic against psychologism constitute two motivating factors behind his allowing for the possibility of illogical thought. I then explore a line of thought—originally advanced by Joan Weiner—according to (...) which Frege should have rejected illogical thought as not constituting a genuine possibility. I argue that, once developed, this line of thought constitutes an important correction (moreover, one that is consistent with his two aforementioned anti-psychologistic strands) to Frege's own response to the possibility of illogical thought. -/- . (shrink)

How can we think about things in the outside world? There is still no widely accepted theory of how mental representations get their meaning. In light of pioneering research, Nicholas Shea develops a naturalistic account of the nature of mental representation with a firm focus on the subpersonal representations that pervade the cognitive sciences.

Reason, we are told, is what makes us human, the source of our knowledge and wisdom. If reason is so useful, why didn't it also evolve in other animals? If reason is that reliable, why do we produce so much thoroughly reasoned nonsense? In their groundbreaking account of the evolution and workings of reason, Hugo Mercier and Dan Sperber set out to solve this double enigma. Reason, they argue with a compelling mix of real-life and experimental evidence, is not geared (...) to solitary use, to arriving at better beliefs and decisions on our own. What reason does, rather, is help us justify our beliefs and actions to others, convince them through argumentation, and evaluate the justifications and arguments that others address to us. In other words, reason helps humans better exploit their uniquely rich social environment. This interactionist interpretation explains why reason may have evolved and how it fits with other cognitive mechanisms. It makes sense of strengths and weaknesses that have long puzzled philosophers and psychologists--why reason is biased in favor of what we already believe, why it may lead to terrible ideas and yet is indispensable to spreading good ones.--. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...) I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality: the less structure a term requires in order for its intension to be fixed, the more logical it is. Finally, I focus on the class of terms that are invariant under isomorphisms, as they render themselves more easily to mathematical treatment. I propose a mathematical measure for the logicality of such terms based on their associated Löwenheim numbers. (shrink)

This article analyzes Galileo's mathematization of motion, focusing in particular on his use of geometrical diagrams. It argues that Galileo regarded his diagrams of acceleration not just as a complement to his mathematical demonstrations, but as a powerful heuristic tool. Galileo probably abandoned the wrong assumption of the proportionality between the degree of velocity and the space traversed in accelerated motion when he realized that it was impossible, on the basis of that hypothesis, to build a diagram of the law (...) of fall. The article also shows how Galileo's discussion of the paradoxes of infinity in the First Day of the Two New Sciences is meant to provide a visual solution to problems linked to the theory of acceleration presented in Day Three of the work. Finally, it explores the reasons why Cavalieri and Gassendi, although endorsing Galileo's law of free fall, replaced Galileo's diagrams of acceleration with alternative ones. (shrink)

The logician's central concern is with the validity of argument. A logical theory ought, therefore, to provide a general criterion of validity. This book sets out to find such a criterion, and to describe the philosophical basis and the formal theory of a logic in which the premises of a valid argument are relevant to its conclusion. The notion of relevance required for this theory is obtained by an analysis of the grounds for asserting a formula in a proof.

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

In most everyday instances of reasoning, reasoners can gain, lose, and reacquire entitlement to (or justification for) a possible commitment (or belief) as a result of their consecutively acquiring new commitments. For example, we might initially conclude that ‘Tweety can fly’ from ‘Tweety is a bird,’ but later have to reject this conclusion as a result of our coming to learn that Tweety is a penguin. We could, even later, reacquire entitlement to ‘Tweety can fly’ if we became committed (and (...) presumably entitled) to the claim ‘Tweety has a jetpack.’ I will call this very common feature of reasoning entitlement recovery. In this paper I will argue that the types of inferential relations that are central to Brandom’s entire account of language and reasoning make entitlement recovery impossible. I will then briefly attempt to diagnose why this problem arises for Brandom and suggest how his account should be modified so that it will successfully allow entitlement recovery. (shrink)

This chapter describes the main accounts of deductive competence, which explain what is computed in carrying out deductions. It argues that people have a modicum of competence, which is useful in daily life and a prerequisite for acquiring logical expertise. It outlines the three main sorts of theory of deductive performance, which explain how people make deductions: They rely on factual knowledge, formal rules, or mental models. It reviews recent experimental studies of deductive reasoning in order to help readers to (...) assess these theories of performance. (shrink)

The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.

Models such as the simple pendulum, isolated populations, and perfectly rational agents, play a central role in theorising. It is now widely acknowledged that a study of scientific representation should focus on the role of such imaginary entities in scientists’ reasoning. However, the question is most of the time cast as follows: How can fictional or abstract entities represent the phenomena? In this paper, I show that this question is not well posed. First, I clarify the notion of representation, and (...) I emphasise the importance of what I call the “format” of a representation for the inferences agents can draw from it. Then, I show that the very same model can be presented under different formats, which do not enable scientists to perform the same inferences. Assuming that the main function of a representation is to allow one to draw predictions and explanations of the phenomena by reasoning with it, I conclude that imaginary models in abstracto are not used as representations: scientists always reason with formatted representations. Therefore, the problem of scientific representation does not lie in the relationship of imaginary entities with real systems. One should rather focus on the variety of the formats that are used in scientific practice. (shrink)

David Braddon-Mitchell and Frank Jackson’s popular introduction to philosophy of mind and cognition is now available in a fully revised and updated edition. Ensures that the most recent developments in the philosophy of mind and cognitive science are brought together into a coherent, accessible whole. Revisions respond to feedback from students and teachers and make the volume even more useful for courses. New material includes: a section on Descartes’ famous objection to materialism; extended treatment of connectionism; coverage of the view (...) that psychology is autonomous; fuller discussion of recent debates over phenomenal experience; and much more. (shrink)

Rationality Through Reasoning answers the question of how people are motivated to do what they believe they ought to do, built on a comprehensive account of normativity, rationality and reasoning that differs significantly from much existing philosophical thinking. Develops an original account of normativity, rationality and reasoning significantly different from the majority of existing philosophical thought Includes an account of theoretical and practical reasoning that explains how reasoning is something we ourselves do, rather than something that happens in us Gives (...) an account of what reasons are and argues that the connection between rationality and reasons is much less close than many philosophers have thought Contains rigorous new accounts of oughts including owned oughts, agent-relative reasons, the logic of requirements, instrumental rationality, the role of normativity in reasoning, following a rule, the correctness of reasoning, the connections between intentions and beliefs, and much else. Offers a new answer to the ‘motivation question’ of how a normative belief motivates an action. (shrink)

Presenting a landmark in linguistics and cognitive science, Ray Jackendoff proposes a new holistic theory of the relation between the sounds, structure, and meaning of language and their relation to mind and brain. Foundations of Language exhibits the most fundamental new thinking in linguistics since Noam Chomsky's Aspects of the Theory of Syntax in 1965—yet is readable, stylish, and accessible to a wide readership. Along the way it provides new insights on the evolution of language, thought, and communication.

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

We approach the semantics of prepositions from the perspective of conceptual spaces. Focusing on purely spatial locative and directional prepositions, we analyze both types of prepositions in terms of polar coordinates instead of Cartesian coordinates. This makes it possible to demonstrate that the property of convexity holds quite generally in the domain of prepositions of location and direction, supporting the important role that this property plays in conceptual spaces.

An interesting feature of some sets of representations is that their structure mirrors the structure of the items they represent. Founding an account of representational content on isomorphism, homomorphism or structural resemblance has proven elusive, however, largely because these relations are too liberal when the candidate structure over representational vehicles is unconstrained. Furthermore, in many cases where there is a clear isomorphism, it is not relied on in the way the representations are used. That points to a potential resolution: that (...) an isomorphism must be used, hence usable, if it is to be an ingredient in a theory of content. This paper argues that the class of exploitable isomorphisms can indeed play a content-constituting role. (shrink)

In this paper, the theory of syllogistic reasoning proposed by Johnson-Laird is shown to be inadequate and an alternative theory is put forward. Protocols of people attempting to solve syllogistic problems and explaining to another person how they reached their conclusions were obtained. Two main groups of subjects were identified. One group represented the relationship between classes in a spatial manner that was supplemented by a verbal representation. The other group used a primarily verbal representation. A detailed theory of the (...) processes for both groups is given. (shrink)

The paper explores the distinction between two doctrines, both of which inform theory construction in much of modern cognitive psychology: the representational theory of mind and the computational theory of mind. According to the former, propositional attitudes are to be construed as relations that organisms bear to mental representations. According to the latter, mental processes have access only to formal (nonsemantic) properties of the mental representations over which they are defined.The following claims are defended: (1) That the traditional dispute between (...) “rational” and “naturalistic” psychology is plausibly viewed as an argument about the status of the computational theory of mind. Rational psychologists accept a formality condition on the specification of mental processes; naturalists do not. (2) That to accept the formality condition is to endorse a version of methodological solipsism. (3) That the acceptance of some such condition is warranted, at least for that part of psychology which concerns itself with theories of the mental causation of behavior. This is because: (4) such theories require nontransparent taxonomies of mental states; and (5) nontransparent taxonomies individuate mental states without reference to their semantic properties. Equivalently, (6) nontransparent taxonomies respect the way that the organism represents the object of its propositional attitudes toitself, and it is this representation which functions in the causation of behavior.The final section of the paper considers the prospect for a naturalistic psychology: one which defines its generalizations over relations between mental representations and their environmental causes, thus seeking to account for the semantic properties of propositional attitudes. Two related arguments are proposed, both leading to the conclusion that no such research strategy is likely to prove fruitful. (shrink)

The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...) it should be abandoned? I shall review the different types of objections that have been made against invariance as a logicality criterion and distinguish between three kinds of objections, skeptical worries against the very relevance of such a demarcation, intensional warnings against the level at which the criterion operates, and extensional quarrels against the results that are obtained. I shall argue that the first two kinds of objections are at least partly misguided and that the third kind of objection calls for amendment rather than abandonment. (shrink)

Holistic theories of meaning have, at least since Dummett’s Frege: The Philosophy of language, been assumed to be problematic from the perspective of the incremental nature of natural language learning. In this essay I argue that the general relationship between holism and language learning is in fact the opposite of that claimed by Dummett. It is only given a particular form of language learning, and a particular form of holism, that there is a problem at all; in general, for all (...) forms of holism, and irrespective of how language learning is understood, semantic holism is conducive to language learning. The paper has three main parts. In the first, I demonstrate with the use of a simple formal system, that the form of holism that generates the problem that Dummett draws attention to is really decomposable into three distinct components, each of which is necessary for the problem to arise. In the second part, I demonstrate that even Dummett’s strong form of holism is compatible with one natural way in which to understand the incremental nature of language learning. In the third part, I outline the reasons why all forms of holism are conducive to language learning and offer two ways in which this general fact can be spelled out precisely. I end the paper by addressing some possible objections, and in doing so I draw attention to some affinities between semantic holism and the principle of compositionality, a semantic principle which has long been assumed to be conducive to language learning. (shrink)