Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using (...) an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic. (shrink)

There is a new way of thinking about the mind that does not locate mental processes exclusively "in the head." Some think that this expanded conception of the mind will be the basis of a new science of the mind. In this book, leading philosopher Mark Rowlands investigates the conceptual foundations of this new science of the mind. The new way of thinking about the mind emphasizes the ways in which mental processes are embodied, embedded, enacted, and extended. The new (...) way of thinking about the mind, Rowlands writes, is actually an old way of thinking that has taken on new form. Rowlands describes a conception of mind that had its clearest expression in phenomenology -- in the work of Husserl, Heidegger, Sartre, and Merleau-Ponty. He builds on these views, clarifies and renders consistent the ideas of embodied, embedded, enacted, and extended mind, and develops a unified philosophical treatment of the novel conception of the mind that underlies the new science of the mind. (shrink)

Adams and Aizawa (2010b) define cognitivism as the processing of representations with underived content. In this paper, I respond to their use of this stipulative definition of cognition. I look at the plausibility of Adams and Aizawa’s cognitivism, taking into account that they have no criteria for cognitive representation and no naturalistic theory of content determination. This is a glaring hole in their cognitivism—which requires both a theory of representation and underived content to be successful. I also explain why my (...) own position, cognitive integration, is not susceptible to the supposed causal-coupling fallacy. Finally, I look at the more interesting question of whether the distinction between derived and underived content is important for cognition. Given Adams and Aizawa’s concession that there is no difference in content between derived and underived representations (only a difference in how they get their content) I conclude that the distinction is not important and show that there is empirical research which does not respect the distinction. (shrink)

_Naming and Necessity_ has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is (...) it. (shrink)

On the extended mind hypothesis (EM), many of our cognitive states and processes are hybrids, unevenly distributed across biological and nonbiological realms. In certain circumstances, things - artifacts, media, or technologies - can have a cognitive life, with histories often as idiosyncratic as those of the embodied brains with which they couple. The realm of the mental can spread across the physical, social, and cultural environments as well as bodies and brains. My independent aims in this chapter are: first, to (...) describe two compatible but distinct movements or "waves" within the EM literature, arguing for the priority of the second wave (and gesturing briefly toward a third); and, second, to defend and illustrate the interdisciplinary implications of EM as best understood, specifically for historical disciplines, by sketching two case studies. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

This book argues against the view that mathematical knowledge is a priori,contending that mathematics is an empirical science and develops historically,just as ...

On the extended mind hypothesis (EM),l many of our cognitive states and processes are hybrids, unevenly distributed across biological and nonbiological realms (Clark 1997; Clark and Chalmers 1998). In certain circumstances, things-artifacts, media, or technologies-can have a cognitive life, with histories often as idiosyncratic as those of the embodied brains with which they couple (Sutton 2002a, 2008). The realm of the mental can spread across the physical, social, and cultural environments as well as bodies and brains. My independent aims in (...) this chapter are: first, to describe two compatible but distinct movements or "waves" within the EM literature, arguing for the priority of the second wave (and gesturing briefly toward a third); and, second, to defend and illustrate the interdisciplinary implications of EM as best understood, specifically for historical disciplines, by sketching two case studies. (shrink)

Preface by Daniel C. Dennett Beginning with a general theory of function applied to body organs, behaviors, customs, and both inner and outer representations, ...

Where does the mind stop and the rest of the world begin? The question invites two standard replies. Some accept the demarcations of skin and skull, and say that what is outside the body is outside the mind. Others are impressed by arguments suggesting that the meaning of our words "just ain't in the head", and hold that this externalism about meaning carries over into an externalism about mind. We propose to pursue a third position. We advocate a very different (...) sort of externalism: an _active externalism_, based on the active role of the environment in driving cognitive processes. (shrink)

We present data and argument to show that in Tetris - a real-time interactive video game - certain cognitive and perceptual problems are more quickly, easily, and reliably solved by performing actions in the world rather than by performing computational actions in the head alone. We have found that some translations and rotations are best understood as using the world to improve cognition. These actions are not used to implement a plan, or to implement a reaction; they are used to (...) change the world in order to simplify the problem-solving task. Thus, we distinguish pragmatic actions ñ actions performed to bring one physically closer to a goal - from epistemic actions - actions performed to uncover information that is hidden or hard to compute mentally. To illustrate the need for epistemic actions, we first develop a standard information-processing model of Tetris-cognition, and show that it cannot explain performance data from human players of the game - even when we relax the assumption of fully sequential processing. Standard models disregard many actions taken by players because they appear unmotivated or superfluous. However, we describe many such actions that are actually taken by players that are far from superfluous, and that play valuable roles in improving human performance. We argue that traditional accounts are limited because they regard action as having a single function: to change the world. By recognizing a second function of action - an epistemic function - we can explain many of the actions that a traditional model cannot. Although, our argument is supported by numerous examples specifically from Tetris, we outline how the one category of epistemic action can be incorporated into theories of action more generally. (shrink)

Expertise is usually thought of as an individual achievement. The expert is a receptacle for knowledge and skills. The knowledge and skills required for expertise are usually thought of as residing...

In their papers for this issue, Sterelny and Sutton provide a dimensional analysis of some of the ways in which mental and cognitive activities take place in the world. I add two further dimensions, a dimension of manipulation and of transformation. I also discuss the explanatory dimensions that we might use to explain these cases.

Recent trends towards an e-Science offer us the opportunity to think about the specific epistemological changes created by computational empowerment in scientific practices. In fact, we can say that a computational epistemology exists that requires our attention. By ‘computational epistemology’ I mean the computational processes implied or required to achieve human knowledge. In that category we can include AI, supercomputers, expert systems, distributed computation, imaging technologies, virtual instruments, middleware, robotics, grids or databases. Although several authors talk about the extended mind (...) and computational extensions of the human body, most of these proposals don’t analyze the deep epistemological implications of computer empowerment in scientific practices. At the same time, we must identify the principal concept for e-Science: Information . Why should we think about a new epistemology for e-Science? Because several processes exist around scientific information that require a good epistemological model to be understood. (shrink)

Several high-profile mathematical problems have been solved in recent decades by computer-assisted proofs. Some philosophers have argued that such proofs are a posteriori on the grounds that some such proofs are unsurveyable; that our warrant for accepting these proofs involves empirical claims about the reliability of computers; that there might be errors in the computer or program executing the proof; and that appeal to computer introduces into a proof an experimental element. I argue that none of these arguments withstands scrutiny, (...) and so there is no reason to believe that computer-assisted proofs are not a priori. Thanks are due to Michael Levin, David Corfield, and an anonymous referee for Philosophia Mathematica for their helpful comments. Earlier versions of this paper were presented at the Hofstra University Department of Mathematics colloquium series, and at the 2005 New Jersey Regional Philosophical Association; I am grateful to both audiences for their comments. CiteULike Connotea Del.icio.us What's this? (shrink)

A suitable project for the new Millenium is to radically reconfigure our image of human rationality. Such a project is already underway, within the Cognitive Sciences, under the umbrellas of work in Situated Cognition, Distributed and De-centralized Cogition, Real-world Robotics and Artificial Life1. Such approaches, however, are often criticized for giving certain aspects of rationality too wide a berth. They focus their attention on on such superficially poor cousins as.