Philosophers have wanted to work with conceptions of word-competence, or concept-possession, on which being a competent practitioner with a word amounts to being a competent judge of its uses by others. I argue that our implicit conception of competence with a word does not have this presupposition built into it. One implication of this is what I call "modesty" in interpretation: we allow for others, uses of words that we would not allow for ourselves. I develop this point by looking (...) at Saul Kripke's discussion of some famous examples given by Benson Mates, concerning beliefs about beliefs. I defend Mates's point against Kripke's claim that an interpreter who is modest in my sense must be "conceptually confused." . (shrink)

I argue for the usefulness of the distinction between knowledge that is, and knowledge that is not, acquired in such a way as necessarily to be acquired along with other knowledge so acquired. Knowledge gained in the latter ways—e.g. by testimony, by linguistic stipulation—has proved philosophically puzzling. But this is because philosophers have used traditional epistemological vocabulary to try to describe what’s distinctive about it. Using the solitary/embedded distinction, we can frame descriptions that are both true, and not stipulative-seeming, of (...) what is distinctive of knowledge gained in these ways. I illustrate these points by discussing Saul Kripke’s claim that one can gain non-linguistic knowledge by linguistic stipulation. (shrink)

We draw out significant consequences of a relatively popular theory of metaphysical modality—branching actualism—for cosmological arguments for God’s existence. According to branching actualism, every possible world shares an initial history with the actual world and diverges only because causal powers (or dispositions, or some such) are differentially exercised. We argue that branching actualism undergirds successful responses to two recent cosmological arguments: the Grim Reaper Kalam argument and a modal argument from contingency. We also argue that branching actualism affords a response (...) to one popular defense of the classic contingency argument. What results are new difficulties for several cosmological arguments arising from the metaphysics of modality. (shrink)

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of inferential roles. (...) I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

Standpoint theorists have long been clear that marginalization does not make better understanding a given. They have been less clear, though, that social dominance does not make ignorance a given. Indeed, many standpoint theorists have implicitly committed themselves to what I call the strong epistemic disadvantage thesis. According to this thesis, there are strong, substantive limits on what the socially dominant can know about oppression that they do not personally experience. I argue that this thesis is not just implausible but (...) politically pernicious; it is an excuse for ignorance and silence that stifles our ability to address many injustices. Moreover, I argue that if we are to avoid lending support to the SEDT while working within a standpoint theory framework, we must hold that the socially dominant can achieve marginalized standpoints. So, we must hold that men can achieve feminist standpoints, that white women (and men) can achieve black feminist standpoints, and so on. (shrink)

I offer a philosophically well-motivated solution to a problem that George Bealer has identified, which he claims is fatal to functionalism. The problem is that there seems to be no way to generate a satisfactory Ramsey sentence of a psychological theory in which mental-state predicates occur within the scopes of mental-state predicates. My central claim is that the functional roles in terms of which a creature capable of self-consciousness identifies her own mental states must be roles that items could play (...) within creatures whose psychology is less complex than hers. (Bealer’s reply to this paper appears in the same issue of Mind & Language.). (shrink)

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)

Basic to Robert Brandom’s project in Making It Explicit is the demarcation of singular terms according to the structure of their inferential roles---rather than, as is usual, according to the kinds of things they purport to denote. But the demarcational effort founders on the need to distinguish extensional and nonextensional occurrences of expressions in terms of inferential roles; the closest that an inferentialist can come to drawing that distinction is to discern degrees of extensionality, and that is not close enough. (...) The general moral applies as well to “two factor” theories of content: the notion of inferential role lacks the independence from the notion of denotation that many proponents of such theories have attributed to it. (shrink)

Inferentialist accounts of concept possession are often supported by examples in which rejection of some inference seems to amount to rejection of some concept, with the apparently implausible consequence that anyone who rejects the inference cannot so much as understand those who use the concept. This consequence can be avoided by distinguishing conditions necessary for direct uses of a concept (to describe the non-cognitive world) from conditions necessary for content-specifying uses (to specify what someone thinks or says). I consider how (...) this claim about the non-uniformity of concept possession accords with different theories of attitude ascription and with claims about reverse compositionality. Surprisingly little stands in the way of the claim that someone unable to use a concept directly can nevertheless satisfy conditions for using it in a content-specifying thought. (shrink)

Deception sometimes results in nonconsensual sex. A recent body of literature diagnoses such violations as invalidating consent: the agreement is not morally transformative, which is why the sexual contact is a rights violation. We pursue a different explanation for the wrongs in question: there is valid consent, but it is not consent to the sex act that happened. Semantic conventions play a key role in distinguishing deceptions that result in nonconsensual sex (like stealth condom removal) from those that don’t (like (...) white lies). Our framework is also applicable to more controversial cases, like those implicated in so-called “gender fraud” complaints. (shrink)

Davidson and Burge have claimed that the conditions under which self-knowledge is possessed are such that externalism poses no obstacle to their being met by ordinary speakers and thinkers. On their accounts. no such person could fail to possess self-knowledge. But we do from time to time attribute to each other such failures; so we should prefer to their accounts an account that preserves first person authority while allowing us to make sense of what appear to be true attributions of (...) such failures.While the core idea behind Davidson’s and Burge’s accounts appears inadequate to this task, I argue that it can be deployed in such a way as to deliver the desired result. What makes this possible is that two attitude-types can differ as follows: the self-knowledge required for an utterance to be a Φing that p is different from the self-knowledge required for it to be a Ψing that p. (shrink)

This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.

Some readers of Wittgenstein---I discuss Robert Brandom---think that his writings contain a regress argument showing that the notion of participating in a practice is more basic than the notion of following a rule, in explanations of linguistic correctness. But the regress argument bears equally on both these notions: if there is an explanatory regress of rules, then there is an explanatory regress of practices as well. Why then does Wittgenstein invoke the notion of a practice, apparently by way of diagnosing (...) the error on which the regress argument rests? I suggest that he invokes that notion to emphasize certain aspects of rule-following which we are apt to neglect, when we forget that rule-following is---not, rests upon---participating in a practice. When we appreciate those aspects of rule/practice-following we see the flaw in both regress arguments. (shrink)

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)

I propose an apparatus for handling intrasentential change in context. The standard approach has problems with sentences with multiple occurrences of the same demonstrative or indexical. My proposal involves the idea that contexts can be complex. Complex contexts are built out of (“simple”) Kaplanian contexts by ordered n-tupling. With these we can revise the clauses of Kaplan’s Logic of Demonstratives so that each part of a sentence is taken in a different component of a complex context. I consider other applications (...) of the framework: to agentially distributed utterances (ones made partly by one speaker and partly by another); to an account of scare-quoting; and to an account of a binding-like phenomenon that avoids what Kit Fine calls “the antinomy of the variable.”. (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.

I explain a mechanism I call “incorporation,” that I think is at work in a wide range of cases often put under the heading of “scare-quoting.” Incorporation is flagging some words in one’s own utterance to indicate that they are to be interpreted as if uttered by some other speaker in some other context, while supplying evidence to one’s interpreter enabling them to identify that other speaker and context. This mechanism gives us a way to use others’ vocabularies and contexts, (...) thereby extending our expressive capacities on the fly. -/- Explaining incorporation involves explaining intra-sentential shifts in lexicon and in context. Shifts of the former sort are familiar to linguists under the heading of “code-switching.” Shifts of the latter sort have been less explored; accordingly I explain how to modify Kaplan’s logic of demonstratives to allow for such shifts. -/- I compare the incorporation account of scare-quoting with accounts offered by Brandom, Recanati, Geurts and Maier, Benbaji, Predelli, and Shan. Finally I note a possible implication concerning the speech act of assertion: that you can properly assert a content you do not believe, let alone know, because part of it is expressed with words you do not understand. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...) be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing. (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)

A common view among nontheists combines the de jure objection that theism is epistemically unacceptable with agnosticism about the de facto objection that theism is false. Following Plantinga, we can call this a “proper” de jure objection—a de jure objection that does not depend on any de facto objection. In his Warranted Christian Belief, Plantinga has produced a general argument against all proper de jure objections. Here I first show that this argument is logically fallacious (it makes subtle probabilistic fallacies (...) disguised by scope ambiguities), and proceed to lay the groundwork for the construction of actual proper de jure objections. (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)

On the face of it, Maurice Merleau-Ponty’s views bear a strong resemblance to contemporary disjunctivist theories of perception, especially John McDowell’s epistemological disjunctivism. Like McDowell (and other disjunctivists), Merleau-Ponty seems to be a direct realist about perception and holds that veridical and illusory perceptions are distinct. This paper furthers this comparison. Furthermore, it is argued that elements of Merleau-Ponty’s thought provide a stronger case for McDowell’s kind of epistemological view than McDowell himself provides. Merleau-Ponty’s early thought can be used to (...) develop a unique version of epistemological disjunctivism that is worth consideration alongside contemporary views on perceptual knowledge. (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)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

Classical Sparta is an enigma in many ways, but for ancient and contemporary political theorists it is especially intriguing insofar as its politeia (or its educational/political/social system or “constitution”) produced a city-state that was both the hegemon of all other Greek city-states, for instance during the 5th century Persians wars, but was also ignobly defeated by Thebes at the battle of Leuctra in 371, slightly more than a century later, after which its hegemony collapsed and its subject population of helots (...) won a war of emancipation. How did Sparta field citizen-soldiers in the 5th century who were without parallel in their bravery and military prowess? And why did Sparta, perhaps under the same politeia, collapse just over a century later? Xenophon, Plato, Aristotle, and Plutarch searched for answers to such questions in the Spartan public educational program, its mixed constitutions, and its apparently militaristic goal and orientation. Such 4th century intellectuals (and Plutarch, writing in the 1st century CE) debated whether Sparta’s collapse was the result of deep-rooted problems within its Lycurgan constitution or in Sparta’s subsequent departure from that constitution; there also is significant debate concerning the education and roles of women within Spartan society. (shrink)

This article explores the meeting of two approaches towards philosophy and education: the philosophy for children approach advocated by Lipman and others, and Schmid’s philosophical concept of Lebenskunst. Schmid explores the concept of the beautiful or good life by asking what is necessary for each individual to be able to develop their own art of living and which aspects of life are significant when shaping a good and beautiful life. One element of Schmid’s theory is the practical application of philosophy (...) through the notions of Bildung, reflection, prudence and practical wisdom, as well as the requirement for each individual to take responsibility for actively shaping their life as an artwork. In this sense, each person is the artist responsible for living their own beautiful life. We argue that there are useful parallels between Schmid’s concept of the art of living and P4C, such as the ideal of a holistic philosophy that is “lived.” The pragmatic approach of P4C focuses on the embodied learner who practices critical, caring and creative thinking. Both P4C and Schmid’s theory are reminiscent of the Aristotelian notion of practical wisdom, which allows for an approach to an education for life that prepares students to develop their own art of living. (shrink)

In response to Stefano Predelli's article finding in David Kaplan's “Demonstratives” a distinction between “context shifting” monsters and “operators on character,” I argue that context shifters are operators on character. That conclusion conflicts with the claim that operators on character must be covertly quotational. But that claim is itself unmotivated.

Richard Heck, Jr has recently argued against Russellianism about proper names not in the usual way—by appeal to “intuitions” about the truth conditions of “that”-clause belief ascriptions—but by appeal to our need to specify beliefs in a way that reflects their individuation. Since beliefs are individuated by their psychological roles and not their Russellian contents, he argues, Russellianism is precluded in principle from accounting for our ability to specify beliefs in ordinary language. I argue that Heck thus makes things easier (...) for the Russellian. For by framing the issue as one concerning the specificatory powers of ordinary language in general, rather than just of “that”-clause ascriptions, Heck weakens the implications of any claim about the semantics of that one type of belief-specifying locution. I augment this diagnosis with a positive account of the specificatory usefulness, and attested commonness, of (partly or wholly) quotational belief ascriptions, e.g. “Lois believes that ‘Superman’ is at the meeting.” This proposal is not of the usual sort concerning such locutions since it does not involve the (dubious) claim that they are in some way equivalent to “that”-clause ascriptions. (shrink)

In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...) argue that, if empty worlds are logically possible, then the model-theoretic and truth-functional considerations that are usually given address the problem posed by the first kind of formula, but not the problem posed by the second kind. I then show that Russell’s commitments in 1918 provide an answer to the problem of completely generalized molecular formulas: some truth-makers will be non-atomic facts that have no constituents. This shows that the neo-logical atomist goal of defending the principle of atomicity—the principle that only atomic facts are truth-makers—is not realizable. (shrink)

It has proved challenging to account for the dual role that a directly quoted part of a 'that'-clause plays in so-called mixed quotation. The Davidsonian account, elaborated by Cappelen and Lepore, handles many cases well; but it fails to accommodate a crucial feature of mixed quotation: that the part enclosed in quotation marks is used to specify not what the quoter says when she utters it, but what the quoted speaker says when she utters it. Here I show how the (...) Davidsonian can do better. The proposal rests on the idea that mixed quotation involves deferred demonstration: a mixed quotati on specifies what the subject says partly by demonstrating the quoter's utterance of the unquoted part and partly by deferred-demonstrating the subject's utterance of the quotation-marked part. (shrink)

Two types of formal models - landscape search tasks and two-armed bandit models - are often used to study the effects that various social factors have on epistemic performance. I argue that they can be understood within a single framework. In this unified framework, I develop a model that may be used to understand the effects of functional and demographic diversity and their interaction. Using the unified model, I find that the benefit of demographic diversity is most pronounced in a (...) functionally homogeneous group, and decreases with the increase of functional diversity. (shrink)

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks on (...) Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, (...) for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s logical definitions of arithmetical (...) concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...) and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

How does an engagement with religious traditions (broadly construed) illuminate and complicate the task of thinking through the ethics of eating? In this introduction, we survey some of the many food ethical issues that arise within various religious traditions and also consider some ethical positions that such traditions take on food. To say the least, we do not attempt to address all the ethical issues concerning food that arise in religious contexts, nor do we attempt to cover every tradition’s take (...) on food. We look at just a few traditions and a few interesting writings on food ethics and religion: What do they say about the ethics of eating? Why do they say these things? Here we use the terms “food ethics” and “religion” ecumenically as big tents under which many importantly different sorts of things may be grouped. Among the wide range of food ethical issues we consider in this chapter, for example, are religious views about the ethics of keeping, hurting, and killing animals, killing plants, dominion over creation, wastefulness, purity, blessing, atonement, and the connection between food and character. We realize, moreover, that it might be a stretch to label some of the views engaged by selected readings in this chapter as “religious” on a stringent understanding of that term; Lisa Kemmerer’s “Indigenous Traditions,” for instance, addresses some views that are recognizably spiritual but perhaps not religious in a strict sense. We hope that our ecumenical usage of the term can bring these important traditions to bear on the discussion without reducing them to something they are not. (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)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

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

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.

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)

The new Chomskian orthodoxy denies that our linguistic competence gives us knowledge *of* a language, and that the representations in the language faculty are representations *of* anything. In reply, I have argued that through their intuitions speaker/hearers, (but not their language faculties) have knowledge of language, though not of any externally existing language. In order to count as knowledge, these intuitions must track linguistic facts represented in the language faculty. I defend this idea against the objections Collins has raised to (...) such an account. (shrink)

Under no circumstances should the absurd "right to roam‟ be incorporated into the legislation of this country. In reality, it is clearly a mere licence to trespass. Armed with the appropriate economic and philosophical arguments, we should eventually be able to offer an effective counter-attack with a movement for the "right to own‟ privately every last one of the state-controlled commons, heaths, hills, mountains, downs, woodlands, rivers, beaches, and footpaths. As a result, there will be no imposition on legitimate landowners (...) and more access to better resources for ramblers. (shrink)

I offer a reading of Aristotle’s “doctrine of the mean” that avoids two pitfalls: taking it as truistic, and taking it as involving the bizarre thesis that whenever one acts as reason directs, one’s action is mid-way between some extremes. The crucial point is that while Aristotle denies the existence of useful general ethical truths, he himself offers truths about the *likelihoods* with which rationality will require actions of certain types; and it is with such truths that the statistical idea (...) of the mean gets a foothold in his theory of the virtues. (shrink)