A discussion of a number of ways that information can be present in a computer program without being explicitly represented.

Neutral monism is a position in metaphysics defended by Mach, James, and Russell in the early twentieth century. It holds that minds and physical objects are essentially two different orderings of the same underlying neutral elements of nature. This paper sets out some of the central concepts, theses and the historical background of ideas that inform this doctrine of elements. The discussion begins with the classic neutral monism of Mach, James, and Russell in the first part of the paper, then (...) considers recent neo-Russellian versions in the second half. The chances for a revival of neutral monism are probably slight; its key ideas and starting points lie far from those in contemporary philosophy of mind. A better route might be through the philosophy of science and a deeper understanding of causation. (shrink)

Many believe that the rational evaluation of actions depends on the rational evaluation of even basic desires. Hume, though, viewed desires as "original existences" which cannot be contrary to either truth or reason. Contemporary critics of Hume, including Norman, Brandt and Parfit, have sought a basis for the rational evaluation of desires that would deny some basic desires reason-giving force. I side with Hume against these modern critics. Hume's concept of rational evaluation is admittedly too narrow; even basic desires are, (...) despite their nonrepresentational nature, subject to rational evaluation. But this evaluation is not relevant to their tendency to generate reasons for action, and does not undermine the spirit of the Humean view of rational action. (shrink)

One of the attractions of the Humean instrumentalist theory of practical rationality is that it appears to offer a special connection between an agent's reasons and her motivation. The assumption that Humeanism is able to assert a strong connection between reason and motivation has been challenged, most notably by Christine Korsgaard. She argues that Humeanism is not special in the connection it allows to motivation. On the contrary, Humean theories of practical rationality do connect reasons and motivation in a unique (...) and attractive way, though the nature of this connection has sometimes been misunderstood by both defenders and detractors of the theory. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary —hence any object—the result of a fiat articulation reflecting our cognitive biases and our so-cial practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

These essays draw on work in the history and philosophy of science, the philosophy of mind and language, the development of concepts in children, conceptual..

Cognitive agents, whether human or computer, that engage in natural-language discourse and that have beliefs about the beliefs of other cognitive agents must be able to represent objects the way they believe them to be and the way they believe others believe them to be. They must be able to represent other cognitive agents both as objects of beliefs and as agents of beliefs. They must be able to represent their own beliefs, and they must be able to represent beliefs (...) as objects of beliefs. These requirements raise questions about the number of tokens of the belief representation language needed to represent believers and propositions in their normal roles and in their roles as objects of beliefs. In this paper, we explicate the relations among nodes, mental tokens, concepts, actual objects, concepts in the belief spaces of an agent and the agent's model of other agents, concepts of other cognitive agents, and propositions. We extend, deepen, and clarify our theory of intensional knowledge representation for natural-language processing, as presented in previous papers and in light of objections raised by others. The essential claim is that tokens in a knowledge-representation system represent only intensions and not extensions. We are pursuing this investigation by building CASSIE, a computer model of a cognitive agent and, to the extent she works, a cognitive agent herself. CASSIE's mind is implemented in the SNePS knowledge-representation and reasoning system. (shrink)

This paper investigates the prospects of Rodney Brooks’ proposal for AI without representation. It turns out that the supposedly characteristic features of “new AI” (embodiment, situatedness, absence of reasoning, and absence of representation) are all present in conventional systems: “New AI” is just like old AI. Brooks proposal boils down to the architectural rejection of central control in intelligent agents—Which, however, turns out to be crucial. Some of more recent cognitive science suggests that we might do well to dispose of (...) the image of intelligent agents as central representation processors. If this paradigm shift is achieved, Brooks’ proposal for cognition without representation appears promising for full-blown intelligent agents—Though not for conscious agents. (shrink)

A lot of work in metaphysics relies on linguistic analysis and intuitions. Do we want to know what sort of things there are or could be? Then let’s see what sort of things there must be in order for what we truthfully say to be true. Do we want to see whether x is distinct from y? Then let’s see whether there is any statement that is true of x but not of y. And so on. In this paper I (...) argue that this way of proceeding is full of traps and is bound to be pretty useless unless we already have a good idea of what sort of things there are, and of how we are going to count them. (shrink)

In this introduction, before summarizing the contents of the volume, the authors characterize materialism as it is understood within the philosophy of mind, and they identify three respects in which materialism is on the wane.

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Klein’s account of epistemic justification, infinitism, supplies a novel solution to the regress problem. We argue that concentrating on the normative aspect of justification exposes a number of unpalatable consequences for infinitism, all of which warrant rejecting the position. As an intermediary step, we develop a stronger version of the ‘finite minds’ objection.

This is a revised and extended version of the formal theory of holes outlined in the Appendix to the book "Holes and Other Superficialities". The first part summarizes the basic framework (ontology, mereology, topology, morphology). The second part emphasizes its relevance to spatial reasoning and to the semantics of spatial prepositions in natural language. In particular, I discuss the semantics of ‘in’ and provide an account of such fallacious arguments as “There is a hole in the sheet. The sheet is (...) in the drawer. Ergo *there is a hole in the drawer”. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...) some expressions is not uniquely defined. Other strategies for generalizing supervaluations are considered and some comparative facts are discussed. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (shrink)

Analytic epistemologists agree that, whatever else is true of epistemic justification, it is distinct from knowledge. However, if recent work by Jonathan Sutton is correct, this view is deeply mistaken, for according to Sutton justification is knowledge. That is, a subject is justified in believing that p iff he knows that p. Sutton further claims that there is no concept of epistemic justification distinct from knowledge. Since knowledge is factive, a consequence of Sutton’s view is that there are no false (...) justified beliefs. <br> Following Sutton, I will begin by outlining kinds of beliefs that do not constitute knowledge but that seem to be justified. I will then be in a position to critically evaluate Sutton’s arguments for his position that justification is knowledge, concluding that he fails to establish his bold thesis. In the course of so doing, I will defend the following rule of assertion: (The JBK-rule) One must: assert p only if one has justification to believe that one knows that p.<br>. (shrink)

Abstract: According to certain dispositional accounts of meaning, an agent's meaning is determined by the dispositions that an idealized version of this agent has in optimal conditions. We argue that such attempts cannot properly fix meaning. For even if there is a way to determine which features of an agent should be idealized without appealing to what the agent means, there is no non-circular way to determine how those features should be idealized. We sketch an alternative dispositional account that avoids (...) this problem, according to which an agent's meaning is determined by the dispositions that an abstract version of this agent has in optimal conditions. (shrink)

In his Meditations Descartes concludes that he is a res cogitans, an unextended entity whose essence is to be conscious. His reasoning in support of the conclusion that he exists entirely distinct from his body has seemed unconvincing to his critics. I attempt to show that the reasoning which he offers in support of his conclusion. although mistaken, is more plausible and his mistakes more interesting than his critics have acknowledged.

In this short response to Kerstein and Bognar, we clarify three aspects of the complete lives system, which we propose as a system of allocating scarce medical interventions. We argue that the complete lives system provides meaningful guidance even though it does not provide an algorithm. We also defend the investment modification to the complete lives system, which prioritizes adolescents and older children over younger children; argue that sickest-first allocation remains flawed when scarcity is absolute and ongoing; and argue that (...) Kerstein and Bognar are mistaken to base their allocation principles on differences in personhood. (shrink)

The theory according to which most ordinary objects are mere “entia successiva”—sequences of distinct mereological aggregates, whose unity resides exclusively in our minds—is a variant of the standard, three-dimensional conception of objects. For the aggregates are, at bottom, endurants, i.e., entities that persist through time by being fully present at any time at which they exist. In this paper I compare this theory with the so-called “stage view”, according to which ordinary objects—indeed, all objects—are sequences of momentary entities that cannot (...) truly be said to persist through time. Both theories face a number of intuitive difficulties but the stage view, I argue, has a lot more to offer in return. (shrink)

From the dictum "ought implies can", it has been argued that no account of belief's normativity can avoid the unpalatable result that, for unbelievable propositions such as "It is raining and nobody believes that it is raining", one ought not to believe them even if true. In this article, I argue that this move only succeeds on a faulty assumption about the conjunction of doxastic "oughts.".

This paper continues a thread in Analysis begun by Adam Rieger and Nicholas Denyer. Rieger argued that Frege’s theory of thoughts violates Cantor’s theorem by postulating as many thoughts as concepts. Denyer countered that Rieger’s construction could not show that the thoughts generated are always distinct for distinct concepts. By focusing on universally quantified thoughts, rather than thoughts that attribute a concept to an individual, I give a different construction that avoids Denyer’s problem. I also note that this problem for (...) Frege’s philosophy was discovered by Bertrand Russell as early as 1902 and has been discussed intermittently since. (shrink)

The political distinction between left and right remains ideologically muddled. This was not always so, but an immediate return to the pristine usage is impractical. Putting a theory of social liberty to one side, this essay defends the interpretation of left-wing as personal-choice and right-wing as property-choice. This allows an axis that is north/choice (or state-free) and south/control (or state-ruled). This Political Compass clarifies matters without being tendentious or too complicated. It shows that what is called ‘libertarianism’ is north-wing. A (...) quiz gives the reader’s Political Compass reading. (shrink)

The U.S. Supreme Court regards parental rights as fundamental. Such a status should subject any legal procedure that directly and substantively interferes with the exercise of parental rights to strict scrutiny. On the contrary, though, despite their status as fundamental constitutional rights, parental rights are routinely suspended or revoked as a result of procedures that fail to meet even minimal standards of procedural and substantive due process. This routine and cavalier deprivation of parental rights takes place in the context of (...) divorce where, during the pendency of litigation, one parent is routinely deprived of significant parental rights without any demonstration that a state interest exists—much less that there is a compelling state interest that cannot be achieved in any less restrictive way. In marked contrast to our current practice, treating parental rights as fundamental rights requires a presumption of joint legal and physical custody upon divorce and during the pendency of divorce litigation. The presumption may be overcome, but only by clear and convincing evidence that such an arrangement is harmful to the children. (shrink)

Aristotle’s claim that poetry is ‘a more philosophic and better thing’ than history (Poet 9.1451b5-6) and his description of the ‘poetic universal’ have been the source of much scholarly discussion. Although many scholars have mined Poetics 9 as a source for Aristotle’s views towards history, in my contribution I caution against doing so. Critics of Aristotle’s remarks have often failed to appreciate the expository principle which governs Poetics 6-12, which begins with a definition of tragedy and then elucidates the terms (...) of that definition by means of a series of juxtapositions. The juxtaposition between poetry and history is one such instance which seeks to elucidate what sort of plot exemplifies a causal unity such that the events of a play unfold with likelihood or necessity. Within that context, Aristotle compares history and poetry in order to elucidate the object of poetic mimesis rather than criticize history as a discipline. Viewing Aristotle as antagonistic towards history fails to appreciate the expository structure of the Poetics and obscures the resource which history provides to the poet, a point which I explore by considering what Aristotle would have thought of an ‘historical’ tragedy like Aeschylus’ Persians. (shrink)

This paper’s outline is as follows. In sections 1-3 I give an exposi¬tion of the Mind-Body Problem, with emphasis on what I believe to be the heart of the problem, namely, the Percepts-Qualia Nonidentity and its incompatibility with the Physical Closure Paradigm. In 4 I present the “Qualia Inaction Postulate” underlying all non-interactionist theo¬ries that seek to resolve the above problem. Against this convenient postulate I propose in section 5 the “Bafflement Ar¬gument,” which is this paper's main thesis. Sections 6-11 (...) critically dis¬cuss attempts to dismiss the Bafflement Argument by the “Baf¬flement=Mis¬perception Equation.” Section 12 offers a refutation of all such attempts in the form of a concise “Asymmetry Proof.” Section 13 points out the bearing of the Bafflement Argument on the evolutionary role of consciousness while section 14 acknowledges the price that has to be paid for it in terms of basic physical principles. Section 15 summarizes the paper, pointing out the inescapability of interactionist dualism. (shrink)

My aim in this paper is to draw Plotinus and Derrida together in a comparison of their respective appropriations of the famous “receptacle” passage in Plato's Timaeus (specifically, Plotinus' discussion of intelligible matter in Enneads 2.4 and Derrida's essay on Timaeus entitled “Kh ō ra”). After setting the stage with a discussion of several instructive similarities between their general philosophical projects, I contend that Plotinus and Derrida take comparable approaches both to thinking the origin of the forms and to problematizing (...) the stability of the sensible/intelligible opposition. With these parallels in focus, I go on to explain how examining such points of contact can help us to dismantle the canonical constructs of “Plotinus the metaphysician” and “Derrida the anti-metaphysician” that have obscured important connections between Neoplatonism and deconstruction, and suppressed latent resources within the Platonic tradition itself for deconstructing the dualistic ontology of so-called “Platonic metaphysics.”. (shrink)

A look at Mach's work on monocular stereoscopy with relation to Mach Bands and the sensation of space.

Are there any bona fide boundaries, i.e., boundaries that carve at the joints? Or is any boundary—hence any object—the result of a fiat articulation reflecting our cognitive biases and our social practices and conventions? Does the choice between these two options amount to a choice between realism and wholesome relativism?

An outline of the wealth of philosophical material that hides behind the flat world of geographic maps, with special reference to (i) the centrality of the boundary concept, (ii) the problem of vagueness, and (iii) the metaphysical question (if such there be) of the identity and persistence conditions of geographic entities.

In The Realm of Reason (2004), Christopher Peacocke develops a “generalized rationalism” concerning, among other things, what it is for someone to be “entitled”, or justified, in forming a given belief. In the course of his discussion, Peacocke offers two arguments to the best explanation that aim to undermine scepticism and establish a justification for our belief in the reliability of sense perception, respectively. If sound, these ambitious arguments would answer some of the oldest and most vexing epistemological problems. In (...) this paper I will evaluate these arguments, concluding that they are inconclusive at best. Despite offering some interestingly original arguments, Peacocke gives us no reason to think that scepticism is false, and that perception is generally reliable. (shrink)

An overview of the problem of constructing extension combinatorially from qualities cum dispositional powers. In the model recommended here, Grassmann's algebra provides the combinatorial structure while Machian elements give the content.

An outline of the wealth of philosophical material that hides behind the flat world of geographic maps, with special reference to (i) the centrality of the boundary concept, (ii) the problem of vagueness, and (iii) the metaphysical question (if such there be) of the identity and persistence conditions of geographic entities. Serves as an introduction to the special issue of "Topoi" (20:2, 2001) on the Philosophy of Geography.

As evidence of the unintended consequences of industrial farm animal production continues to mount, it is becoming increasingly clear that, far from being a trivial matter of personal preference, eating is an activity that has deep moral and spiritual significance. Surprising as it may sound, the simple question of what to eat can prompt Christians daily to live out their spiritual vision of Shalom for all creatures--to bear witness to the marginalization of the poor, the exploitation of the oppressed, the (...) suffering of the innocent, and the degradation of the natural world, and to participate in the reconciliation of these ills through intentional acts of love, justice, mercy, and good stewardship. The aim of this work is to understand the cultivation of more intentional "compassionate eating" habits as a form of engaged Christian discipleship that responds to a wide array of practical, moral, and spiritual problems affecting all aspects of creation--human, animal, and environmental. The guiding suggestion is that compassionate eating is a spiritual discipline that offers a symbolically significant and practically effective way to live in faithful anticipation of the "peaceable kingdom" described in Judeo-Christian creation and redemption narratives. (shrink)

This work gives an extended presentation of the treatment of variable-binding operators adumbrated in [3:1993d]. Illustrative examples include elementary languages with quantifiers and lambda-equipped categorial languages. Some remarks are also offered to illustrate the philosophical import of the resulting picture. Particularly, a certain conception of logic emerges from the account: the view that logics are true theories in the model-theoretic sense, i.e. the result of selecting a certain class of models as the only “admissible” interpretation structures (for a given language).

Libertarians typically object to having the state deal with law and order for several general reasons: it is inefficient; it is carried out at the expense of taxpayers; and it punishes so-called victimless crimes. Exactly what the observance of liberty implies with respect to the treatment of tortfeasors and criminals is more controversial among libertarians. A pure theory of libertarian restitution and retribution is mainly what is attempted here, without becoming involved in general moral anti-state arguments. However, the pure theory (...) alone will raise practical problems that require immediate response if the theory is to appear at all plausible. (shrink)

The “Game of the Rule” is easy enough: I give you the beginning of a sequence of numbers (say) and you have to figure out how the sequence continues, to uncover the rule by means of which the sequence is generated. The game depends on two obvious constraints, namely (1) that the initial segment uniquely identify the sequence, and (2) that the sequence be non-random. As it turns out, neither constraint can fully be met, among other reasons because the relevant (...) notion of randomness is either vacuous or undecidable. This may not be a problem when we play for fun. It is, however, a serious problem when it comes to playing the game for real, i.e., when the player to issue the initial segment is not one of us but the world out there, the sequence consisting not of numbers (say) but of the events that make up our history. Moreover, when we play for fun we know exactly what initial segment to focus on, but when we play for real we don’t even know that. This is the core difficulty in the philosophy of the inductive sciences. (shrink)

Daniel Dennett has offered a set of necessary and sufficient conditions for something's being the proper object of our moral commitment, that is, for something's being a person. Strict application of these largely pragmatic conditions, however, would result in a moral community with quite a surprising membership roster, because of both who is on it and who isn't. The problem is that "your" being a person should amount to more than a function of "my" goals and cleverness.

Over three decades ago, in a brief but provocative essay, Paul Ziff argued for the thesis that robots cannot have feelings because they are "mechanisms, not organisms, not living creatures. There could be a broken-down robot but not a dead one. Only living creatures can literally have feelings."[i] Since machines are not living things they cannot have feelings. In the first half of my paper I review Ziff's arguments against the idea that robots could be conscious, especially his appeal to (...) our linguistic usage. In the second half of the essay I try to provide a deeper ontological understanding of why we ought not attribute minds to nonliving artifacts. I argue that inanimate mechanisms are incapable of genuinely active and purposive behavior. They are importantly different in kind from living human beings and animals. (shrink)

Dispositionalist theories of mental content have been attacked on the grounds that they are incompatible with semantic holism. In this paper, I resist important worries of this variety, raised by Paul Boghossian. I argue that his objections can be avoided by a conceptual role version of dispositionalism, where the multifarious relationships between mental contents are grounded on the relationships between their corresponding, grounding dispositions.

In World Without Design: The Ontological Consequences of Naturalism, I argued that there is an important sense in which naturalism’s current status as methodological orthodoxy is without rational foundation, and I argued that naturalists must give up two views that many of them are inclined to hold dear—realism about material objects and materialism. In a review recently published in Faith and Philosophy, Dale Jacquette alleges that my arguments in World Without Design are directed mainly against strawmen and that I have (...) neglected to discuss at least one formulation of naturalism that straightforwardly addresses my main objections. In this reply, I show that these and other objections raised by Jacquette are unsound and, in fact, rest on egregious misrepresentations of the book. (shrink)