Judging by our folk appraisals, then, knowledge and action are intimately related. The theories of rational action with which we are familiar leave this unexplained. Moreover, discussions of knowledge are frequently silent about this connection. This is a shame, since if there is such a connection it would seem to constitute one of the most fundamental roles for knowledge. Our purpose in this paper is to rectify this lacuna, by exploring ways in which knowing something is related to rationally acting (...) upon it, defending one particular proposal against anticipated objections. (shrink)

Demonstratives seem to have posed a severe difficulty for Frege’s philosophy of language, to which his doctrine of incommunicable senses was a reaction. In “The Thought,” Frege briefly discusses sentences containing such demonstratives as “today,” “here,” and “yesterday,” and then turns to certain questions that he says are raised by the occurrence of “I” in sentences (T, 24-26). He is led to say that, when one thinks about oneself, one grasps thoughts that others cannot grasp, that cannot be communicated. However, (...) nothing could be more out of the spirit of Frege’s account of sense and thought than an incommunicable, private thought. In the first part of the paper, I explain the problem demonstratives pose for Frege, and explore three ways he might have dealt with it. I argue that none of these ways provides Frege with a solution to his problem consistent with his philosophy of language. The first two are plausible as solutions, but contradict his identification of the sense expressed by a sentence with a thought. The third preserves the identification, but is implausible. In the second part, I suggest that Frege was led to his doctrine of incommunicable senses as a result of some appreciation of the difficulties his account of demonstratives faces, for these come quickly to the surface when we think about “I.” I argue that incommunicable senses won’t help. I end by trying to identify the central problem with Frege’s approach, and sketching an alternative. (shrink)

Most traditional epistemologists see trust and knowledge as deeply antithetical: we cannot know by trusting in the opinions of others; knowledge must be based on evidence, not mere trust. I argue that this is badly mistaken. Modern knowers cannot be independent and self-reliant. In most disciplines, those who do not trust cannot know. Trust is thus often more epistemically basic than empirical evidence or logical argument, for the evidence and the argument are available only through trust. Finally, since the reliability (...) of testimonial evidence depends on the trustworthiness of the testifier, this implies that knowledge often rests on a foundation of ethics. The rationality of many of our beliefs depends not only on our own character, but on the character of others. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Cognitivism in respect to the arts refers to a constellation of positions that share in common the idea that artworks often bear, in addition to aesthetic value, a significant kind of cognitive value. In this paper I concentrate on three things: (i) the challenge of understanding exactly what one must do if one wishes to defend a cognitivist view of the arts; (ii) common anti-cognitivist arguments; and (iii) promising recent attempts to defend cognitivism.

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

This paper argues for externalism about justification on the basis of thought experiments. I present cases in which two individuals are intrinsically and introspectively indistinguishable and in which intuitively, one is justified in believing that p while the other is not. I also examine an argument for internalism based on the ideas that we have privileged access to whether or not our own beliefs are justified and that only internalism is compatible with this privilege. I isolate what I take to (...) be the most plausible form of privileged access to justification and show that it is compatible with externalism. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these (...) are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

As a topic in the philosophy of psychology, dreaming is a fascinating, diverse, and severely underdeveloped area of study. The topic excites intense public interest in its own right, while also challenging our confidence that we know what the words “conscious” and “consciousness” mean. So dreaming should be at the forefront of our interdisciplinary investigations: theories of mind which fail to address the topic are incomplete. This chapter illustrates the tight links between conceptual and empirical issues by highlighting surprisingly deep (...) disagreements among leading dream scientists over what might seem basic aspects of their topic. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Integrative and naturalistic philosophy of mind can both learn from and contribute to the contemporary cognitive sciences of dreaming. Two related phenomena concerning self-representation in dreams demonstrate the need to bring disparate fields together. In most dreams, the protagonist or dream self who experiences and actively participates in dream events is or represents the dreamer: but in an intriguing minority of cases, self-representation in dreams is displaced, disrupted, or even absent. Working from dream reports in established databanks, we examine two (...) key forms of polymorphism of self-representation: dreams in which I take an external visuospatial perspective on myself, and those in which I take someone else's perspective on events. In remembering my past experiences or imagining future or possible experiences when awake, I sometimes see myself from an external or 'observer' perspective. By relating the issue of perspective in dreams to established research traditions in the study of memory and imagery, and noting the flexibility of perspective in dreams, we identify new lines of enquiry. In other dreams, the dreamer does not appear to figure at all, and the first person perspective on dream events is occupied by someone else, some other person or character. We call these puzzling cases 'vicarious dreams' and assess some potential ways to make sense of them. Questions about self-representation and perspectives in dreams are intriguing in their own right and pose empirical and conceptual problems about the nature of self-representation with implications beyond the case of dreaming. (shrink)

This paper critically evaluates the regress argument for infinitism. The dialectic is essentially this. Peter Klein argues that only an infinitist can, without being dogmatic, enhance the credibility of a questioned non-evident proposition. In response, I demonstrate that a foundationalist can do this equally well. Furthermore, I explain how foundationalism can provide for infinite chains of justification. I conclude that the regress argument for infinitism should not convince us.

Pedagogy is a pillar of human culture and society. Telling each other information and showing each other how to do things comes naturally to us. A strong case has been made that declarative knowledge is the norm of assertion, which is our primary way of telling others information. This article presents an analogous case for the hypothesis that procedural knowledge is the norm of instructional demonstration, which is a primary way of showing others how to do things. Knowledge is the (...) norm of telling and showing. It is the prime pedagogical principle. (shrink)

The problem of downward causation is that an intuitive response to an intuitive picture leads to counterintuitive results. Suppose a mental event, m1, causes another mental event, m2. Unless the mental and the physical are completely independent, there will be a physical event in your brain or your body or the physical world as a whole that underlies this event. The mental event occurs at least partly in virtue of the physical event’s occurring. And the same goes for m2 [2] (...) and p2. Let’s not worry about what exactly “underlying” or “in virtue of” means here. Here’s the picture. m1 -----> m2 | | p1 -----> p2 The horizontal arrows represent causation, and the vertical lines represent underlying, whatever that may be. There’s some reason to think that the only way m1 can bring about m2 is by bringing about p2. You can’t convince someone of something through mental telepathy. You need to interact with the physical world, perhaps by saying something and so making some noise, or by pointing and getting them to turn their head and see. What goes for the case of two people goes for the case of one person as well. Superstition aside, there is no purely mental energy that floats free of the merely physical workings of the brain. If m1 brings about m2 by bringing about p2, then m1 brings about p2. This is downward causation. But wait. Doesn’t p1 bring about p2? Isn’t that what the bottom arrow represents? Maybe m1 and p1 work together to bring about p2. There are little holes in the physical causal structure that need to be filled by mental events. You don’t need a sweeping metaphysical thesis about the causal closure of the physical to find this implausible. Maybe p2 is overdetermined. (shrink)

Published in Darren Tofts, Annemarie Jonson, and Alessio Cavallaro (eds), _Prefiguring Cyberculture: an intellectual history_ (MIT Press and Power Publications, December 2002). Please do send comments: email me. Back to my main publications page . Back to my home page.

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

Many philosophers conceive of freedom as non-interference. Such conceptions unify two core commitments. First, they associate freedom with non-constraint. And second, they take seriously a distinction between the interpersonal and the non-personal. As a result, they focus our attention exclusively on constraints attributable to other people’s choices – that is, on interference. I argue that these commitments manifest two distinct concerns: first, for a wide range of options; and second, for other people’s respect. However, construing freedom as non-interference unifies these (...) concerns in a way that does justice to neither. In particular, it focuses our attention on phenomena that are at best tangential, and at worst hostile, to our interest in respect. If we wish to preserve the distinctive significance of the interpersonal, we would be better served by a conception of freedom that focuses immediately on what I call "the social conditions of respect.". (shrink)

A viable theory of literary humanism must do justice to the idea that literature offers cognitive rewards to the careful reader. There are, however, powerful arguments to the effect that literature is at best only capable of offering idle visions of a world already well known. In this essay I argue that there is a form of cognitive awareness left unmentioned in the traditional vocabulary of knowledge acquisition, a form of awareness literature is particularly capable of offering. Thus even if (...) it is the case that literature has nothing interesting to give us in the way of knowledge, the literary humanist can consistently maintain that literary experience is thoroughly cognitive. (shrink)

In 2015, ‘marriage’ was redefined in the United States to include same-sex couples. In conceptual engineering, this is often assumed to be a paradigm case of Sally Haslanger’s (2020a, 2020b) semantic amelioration. Semantic amelioration changes a concept’s content to make it better. In the case of [MARRIAGE], [MARRIAGE]’s content was broadened to include same-sex couples – which, many contend, made it morally better. Semantic amelioration faces the following challenge, however: Doesn’t changing a concept’s content ‘change the subject?’ By broadening [MARRIAGE]’s (...) content to include same-sex couples in 2015, didn’t we replace [MARRIAGE] with a new concept that sounds and looks like [MARRIAGE] but nevertheless isn’t [MARRIAGE] – something like, [MARRIAGE*]? This is the topic continuity problem (TCP). Here, TCP assumes content essentialism about concepts, i.e., that a concept’s content is essential to it. Thus, since semantic amelioration changes concepts’ contents to make them better, semantic amelioration necessarily replaces concepts, according to this version of TCP. Haslanger recently resists this notion, however. Instead of embracing content essentialism about concepts, Haslanger embraces functional essentialism about concepts – that a concept’s function is essential to it. And since semantic amelioration leaves a concept’s function unchanged, Haslanger denies that semantic amelioration is conceptual replacement. In this paper, I argue that Haslanger’s functional essentialism integrally links concepts’ functions to their contents, such that changing a concept’s content requires changing its function, on Haslanger’s account. Therefore, semantic amelioration still replaces concepts even on Haslanger’s functional essentialism. I think this is avoided, however, if we incorporate Amie Thomasson’s (2020) recent work on concepts into Haslanger’s. Combining Thomasson’s work with Haslanger’s yields a new functional essentialism about concepts – called proper functional essentialism. Proper functional essentialism allows that some functional changes in concepts don't replace them, and hence, it perhaps reveals how to actually not change the subject in semantic amelioration. (shrink)

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

What individuates the speech act of prediction? The standard view is that prediction is individuated by the fact that it is the unique speech act that requires future-directed content. We argue against this view and two successor views. We then lay out several other potential strategies for individuating prediction, including the sort of view we favor. We suggest that prediction is individuated normatively and has a special connection to the epistemic standards of expectation. In the process, we advocate some constraints (...) that we think a good theory of prediction should respect. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

It is often assumed that literary meaning is essentially linguistic in nature and that literary interpretation is therefore a purely linguistic affair. This essay identifies a variety of literary meaning that cannot be reduced to linguistic meaning. Meaning of this sort is generated not by a communicative act so much as through a creative one: the construction of a fictional world. The way in which a fictional world can bear meaning turns out to be strikingly unlike the way a sentence (...) can, and this, I argue, has important implications for the theory of interpretation. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

The move from good to ought, a premise form found in many justifications of environmental ethics, is itself in need of justification. Of the potential moves from good to ought surveyed, some have considerable promise and others less or none. Those without much promise include extrapolations of obligations based on human goods to nonsentient natural entities, appeals to educated judgment, precautionary arguments, humanistic consequentialist arguments, and justifications that assert that our obligations to natural entities are neither directly to those entities (...) nor derived from our obligations to humans. Some arguments that extrapolate obligations based on goods involving sentience from humans to sentient animals are promising, but whether they are sufficient is controversial. Gandhian andAristotlian arguments are also promising, provided we can justify their ought premises. (shrink)

In this paper we critically evaluate Trenton Merricks’s recent attempt to provide a “new” way of defending compatibilism about divine foreknowledge and human freedom. We take issue with Merricks’s claim that his approach is fundamentally different from Ockhamism. We also seek to highlight the implausibility of Merricks’s rejection of the assumption of the fixity of the past, and we also develop a critique of the Merricks’s crucial notion of “dependence.”.

In discussions of practical reason we often encounter the view that a fact is a reason for an agent to act only if the fact is capable of moving the agent to act. This view figures centrally in many philosophical controversies, and while taken for granted by some, it is vigorously disputed by others. In this essay I show that if the disputed position is correctly interpreted, it is well armored against stock objections and implied by a premise that is (...) not only plausible, but generally accepted by the position's critics. (shrink)

The idea that education should equip people to lead flourishing lives and help others to do so is now becoming salient in policy-making circles. Philosophy of education can help here by clarifying what flourishing consists in. This essay examines one aspect of this. It rejects the view that well-being goods are derivable from human nature, as in the theories of Howard Gardner and Edmond Holmes. It locates them, rather, as cultural products, but not culturally-relative ones, drawing attention to the proliferating (...) forms they have taken over the past three or four centuries. It looks to aesthetics and art criticism as a guide to a philosophical treatment of well-being goods more generally. It also takes off from aesthetics and art criticism in seeking to identify reliable authorities on the flourishing life. On this, it rejects elitist conceptions in favour of a more democratic model, emphasising its importance in education for citizenship. (shrink)

It is widely believed that a conservative moral outlook is opposed to biomedical forms of human enhancement. In this paper, I argue that this widespread belief is incorrect. Using Cohen’s evaluative conservatism as my starting point, I argue that there are strong conservative reasons to prioritise the development of biomedical enhancements. In particular, I suggest that biomedical enhancement may be essential if we are to maintain our current evaluative equilibrium (i.e. the set of values that undergird and permeate our current (...) political, economic, and personal lives) against the threats to that equilibrium posed by external, non-biomedical forms of enhancement. I defend this view against modest conservatives who insist that biomedical enhancements pose a greater risk to our current evaluative equilibrium, and against those who see no principled distinction between the forms of human enhancement. (shrink)

The initial argument presented herein is not significantly original—it is a simple reflection upon a notion of computation originally developed by Putnam and criticised by Chalmers et al. . In what follows, instead of seeking to justify Putnam’s conclusion that every open system implements every Finite State Automaton and hence that psychological states of the brain cannot be functional states of a computer, I will establish the weaker result that, over a finite time window every open system implements the trace (...) of FSA Q, as it executes program on input . If correct the resulting bold philosophical claim is that phenomenal states—such as feelings and visual experiences—can never be understood or explained functionally. (shrink)

Causal theories of perception typically have problems in explaining deviant causal chains. They also have difficulty with other unusual putative cases of perception involving prosthetic aids, defective perception, scientifically extended cases of perception, and so on. But I show how a more adequate reflexive causal theory, in which objects or properties X cause a perceiver to acquire X-related dispositions toward that very same item X, can provide a plausible and principled perceptual explanation of all of these kinds of cases. A (...) critical discussion of David Lewis's perceptual descriptivist views is also provided, including a defense of the logical possibility of systematic misperception or perceptual error for a perceiver, in spite of its empirical improbability. (shrink)

ABSTRACT: The Reflexive Theory of Perception (RTP) claims that perception of an object or property X by an organism Z consists in Z being caused by X to acquire some disposition D toward X itself. This broadly behavioral perceptual theory explains perceptual intentionality and correct versus incorrect, plus successful versus unsuccessful, perception in a plausible evolutionary framework. The theory also undermines cognitive and perceptual modularity assumptions, including informational or purely epistemic views of perception in that, according to the RTP, any (...) X-caused and X-directed dispositions are genuinely perceptual—including affective, attitudinal, and immediately activated purely action-directed behavioral dispositions. Thus the RTP has the potential to provide the foundations for a broadly behavioral counter-revolution in cognitive science. (shrink)

The artefacts produced by artists during their creation of works of art are very various: paintings, writings, musical scores, and so on. I have a general thesis to offer about the relations of artefacts and artworks, but within the confines of this article I shall mainly discuss cases drawn from the art of painting, central specimens of which seem to be autographic in Nelson Goodman's sense, namely such that even the most exact duplication of them does not count as producing (...) the same work of art. My view will be that an artwork (such as a painting) and its associated artefact are not identical, and nor is the artefact in any sense part of the painting in question,2 but that nevertheless it is still possible to maintain the view that paintings are autographic (which view I shall call l the autographic thesis). I shall proceed initially through presentation of some counter-examples to common assumptions as to the relations of artefacts and artworks, and then present an alternative 'representational' theory of their relations. (shrink)

This paper will investigate the basic question of the nature of perception, as theoretically approached from a purely naturalistic standpoint. An adequate theory must not only have clear application to a world full of pre-existing biological examples of perception of all kinds, from unicellular perception to conscious human perception, but it must also satisfy a series of theoretical or philosophical constraints, as enumerated and discussed in Section 1 below. A perceptual theory invoking _reflexive dispositions_--that is, dispositions directed toward the very (...) same worldly perceived objects or properties that caused them--will be defended as one legitimate such naturalistic theory. (shrink)

In this paper Lucas suggests that many of his critics have not read carefully neither his exposition nor Penrose’s one, so they seek to refute arguments they never proposed. Therefore he offers a brief history of the Gödelian argument put forward by Gödel, Penrose and Lucas itself: Gödel argued indeed that either mathematics is incompletable – that is axioms can never be comprised in a finite rule and so human mind surpasses the power of any finite machine – or there (...) exist absolutely unsolvable diophantine problems, and he suggest that the second disjunct is untenable; on the other side, Penrose proposed an argument similar to Lucas’ one but making use of Turing’s theorem. Finally Lucas exposes again his argument and considers some of the most important objections to it. (shrink)

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

The field of machine perception is based on standard informational and computational approaches to perception. But naturalistic informational theories are widely regarded as being inadequate, while purely syntactic computational approaches give no account of perceptual content. Thus there is a significant need for a novel, purely naturalistic perceptual theory not based on informational or computational concepts, which could provide a new paradigm for mechanistic perception. Now specifically evolutionary naturalistic approaches to perception have been—perhaps surprisingly—almost completely neglected for this purpose. Arguably (...) perceptual mechanisms enhance evolutionary fitness by facilitating sensorily mediated causal interactions between an organism Z and items X in its environment. A ‘reflexive’ theory of perception of this kind is outlined, according to which an organism Z perceives an item X just in case X causes a sensory organ zi of Z to cause Z to acquire a disposition toward the very same item X that caused the perception. The rest of the paper shows how an intuitively plausible account of mechanistic perception can be developed and defended in terms of the reflexive theory. Also, a compatibilist option is provided for those who wish to preserve a distinct informational concept of perception. (shrink)

In this paper, I challenge a familiar argument -- a composite of arguments in the literature -- for the view that “Why be moral?” is a pseudo-question. I do so by refuting a component of that argument, a component that is not only crucial to the argument but important in its own right. That component concerns the status of moral reasons in replies to “Why be moral?”; consequently, this paper concerns reasons and rationality no less than it concerns morality. The (...) work I devote to those topics shows not only that the argument I address is unsound, but that the conclusion of that argument is false. “Why be moral?” is no pseudo-question. (shrink)

Memory is studied at a bewildering number of levels, with a vast array of methods, and in a daunting range of disciplines and subdisciplines. Is there any sense in which these various memory theorists – from neurobiologists to narrative psychologists, from the computational to the cross-cultural – are studying the same phenomena? In this exploratory position paper, I sketch the bare outline of a positive framework for understanding current work on constructive remembering, both within the various cognitive sciences, and across (...) gulfs between the cognitive and the social sciences. I pinpoint some lines of psychological theory and research which offer promising and compatible ways of thinking about individual memory and shared or social memory simultaneously. These are obviously ambitious projects, and this paper seeks more to elicit help with forging these connections than to present firm results. The aim is to draw out some consequences of empirical work on social memory and in developmental psychology. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

Clearly we can perceive both objects, and various aspects or appearances of those objects. But how should that complexity of perceptual content be explained or analyzed? I argue that perceptual representations normally have a double or two level nested structure of content, so as to adequately incorporate information both about contextual aspects Y(X) of an object X, and about the object X itself. On this double content (DC) view, perceptual processing starts with aspectual data Y?(X?) as a higher level of (...) content, which data does not itself provide lower level X-related content, but only an aspectually encoded form of such data. Hence the relevant perceptual data Y?(X?) must be. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

How can it be true that one sees a lake when looking at a picture of a lake, since one's gaze is directed upon a flat dry surface covered in paint? An adequate contemporary explanation cannot avoid taking a theoretical stand on some fundamental cognitive science issues concerning the nature of perception, of pictorial content, and of perceptual reference to items that, strictly speaking, have no physical existence. A solution is proposed that invokes a broadly functionalist, naturalistic theory of perception, (...) plus a double content analysis of perceptual interpretation, which permits non-supervenient, culturally autonomous modes of reference to be generated and artistically exploited even in a purely physical world. In addition, a functionalist concept of broad or 'spread' reference replaces the traditional precise intentional concept of reference, which previously made reference to non-existent items theoretically intractable. (shrink)

Distributed Cognition and Integrational Linguistics have much in common. Both approaches see communicative activity and intelligent behaviour in general as strongly con- text-dependent and action-oriented, and brains as permeated by history. But there is some ten- sion between the two frameworks on three important issues. The majority of theorists of distributed cognition want to maintain some notions of mental representation and computa- tion, and to seek generalizations and patterns in the various ways in which creatures like us couple with technologies, (...) media, and other agents; many also want to offer explanations at subpersonal levels which may undercut the autonomy of personal-level accounts. In contrast, dominant views in integrational linguistics reject all invocation of representation, resist the explanatory search for similarity across contexts and moments, and see linguistics as a lay dis- cipline which should not offer explanations in terms alien to ordinary agents. On each of these issues, I argue that integrationists could move closer to the distributed cognition frame- work without losing the most important aspects of their view: integrationist criticisms of mainstream or classical theories can be respected while alliances with revised cognitivist views about representation, context, and explanation are developed. Ó 2004 Elsevier Ltd. All rights reserved. (shrink)

What is the potential for improvements in the functioning of consciousness? The paper addresses this issue using global workspace theory. According to this model, the prime function of consciousness is to develop novel adaptive responses. Consciousness does this by putting together new combinations of knowledge, skills and other disparate resources that are recruited from throughout the brain. The paper's search for potential improvements in consciousness is aided by studies of a developmental transition that enhances functioning in whichever domain it occurs. (...) This transition involves a shift from the use of procedural (implicit) knowledge to declarative (explicit) knowledge. However, the potential of the transition to enhance functioning has not yet been realised to any extent in relation to consciousness itself. The paper assesses the potential for consciousness to use declarative knowledge to improve its own functioning and to thereby enhance human adaptability. A number of sources (including the practices of religious and contemplative traditions) are drawn on to investigate how this potential might be realised. (shrink)