One of the major challenges in the philosophy of religion is theological fatalism—roughly, the claim that divine omniscience is incompatible with free will. In this article, I present new reasons to be skeptical of what I consider to be the strongest argument for theological fatalism. First, I argue that divine foreknowledge is not necessary for an argument against free will if we take into account divine knowledge of contingent a priori truths. Second, I show that this argument can be generalized (...) so that ordinary human knowledge of contingent a priori truths also leads to an argument against free will. This, I believe, results in an absurd conclusion that is unacceptable to both theists and non-theists. But if there is something wrong with this argument, there is something wrong, too, with the argument for theological fatalism. Although there is a range of possible responses, I suggest that the core issue in all cases is a closure principle—specifically, the principle that ‘no choice about’ is closed under entailment (or strict implication). (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

It is a widely held principle that no one is able to do something that would require the past to have been different from how it actually is. This principle of the fixity of the past has been presented in numerous ways, playing a crucial role in arguments for logical and theological fatalism, and for the incompatibility of causal determinism and the ability to do otherwise. I will argue that, assuming bivalence, this principle is in conflict with standard views about (...) knowledge and the semantics for ‘actually’. I also consider many possible responses to the argument. (shrink)

In a recent article, P. Roger Turner and Justin Capes argue that no one is, or ever was, even partly morally responsible for certain world-indexed truths. Here we present our reasons for thinking that their argument is unsound: It depends on the premise that possible worlds are maximally consistent states of affairs, which is, under plausible assumptions concerning states of affairs, demonstrably false. Our argument to show this is based on Bertrand Russell’s original ‘paradox of propositions’. We should then opt (...) for a different approach to explain world-indexed truths whose upshot is that we may be morally responsible for some of them. The result to the effect that there are no maximally consistent states of affairs is independently interesting though, since this notion motivates an account of the nature of possible worlds in the metaphysics of modality. We also register in this article, independently of our response to Turner and Capes, and in the spirit of Russell’s aforementioned paradox and many other versions thereof, a proof of the claim that there is no set of all true propositions one can render false. (shrink)

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can be presented that (...) do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators. (shrink)

In a recent paper, Pruss proves the validity of the rule beta-2 relative to Lewis’s semantics for counterfactuals, which is a significant step forward in the debate about the consequence argument. Yet, we believe there remain intuitive counter-examples to beta-2 formulated with the actuality operator and rigidified descriptions. We offer a novel and two-dimensional formulation of the Lewisian semantics for counterfactuals and prove the validity of a new transfer rule according to which a new version of the consequence argument can (...) be formulated. This new transfer rule is immune to the counter-examples involving the actuality operator and rigidified descriptions. However, we show that counter-examples to this new rule can also be generated, demanding that the Lewisian semantics be generalized for higher dimensions where counter-examples can always be generated. (shrink)

In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...) Gödel’s proof, as Floyd and Putnam suggest (Floyd (2000), Floyd (2001)), or whether this remark reveals Wittgenstein’s misunderstanding of Gödel’s proof as Rodych and Steiner argued for recently (Rodych (1999, 2002, 2003), Steiner (2001)). In the following the arguments of both interpretations will be sketched and some deficiencies will be identified. Afterwards a detailed reconstruction of Wittgenstein’s argument will be offered. It will be seen that Wittgenstein’s argumentation is meant to be a rejection of Gödel’s proof but that it cannot satisfy this pretension. (shrink)

Several theists, including Linda Zagzebski, have claimed that theism is somehow committed to nonvacuism about counterpossibles. Even though Zagzebski herself has rejected vacuism, she has offered an argument in favour of it, which Edward Wierenga has defended as providing strong support for vacuism that is independent of the orthodox semantics for counterfactuals, mainly developed by David Lewis and Robert Stalnaker. In this paper I show that argument to be sound only relative to the orthodox semantics, which entails vacuism, and give (...) an example of a semantics for counterfactuals countenancing impossible worlds for which it fails. (shrink)

The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined in contrast to classical logic. The detailed elaboration of Wittgenstein’s conception depends on the realization of his ab-notation for first order logic.

We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.

Patrick Grim advances arguments meant to show that the doctrine of divine omniscience—the classical doctrine according to which God knows all truths—is false. In particular, we here have in mind to focus on two such arguments: the set theoretic argument and the semantic argument. These arguments due to Grim run parallel to, respectively, familiar paradoxes in set theory and naive truth theory. It is beyond the purview of this article to adjudicate whether or not these are successful arguments against the (...) classical doctrine of omniscience. What we are here interested in is a way in which these arguments can be generalized. In particular, we show how generalizations of those arguments can target, explicitly, alternatives to the classical doctrine of omniscience, including what we here call 'restricted omniscience' and 'open future open theism'. As a corollary, considerations of Grim-style arguments do not support these alternatives to the classical doctrine of omniscience over the classical doctrine. We conclude that what is paradoxical is not the classical doctrine of omniscience just as such; rather, what is paradoxical is a core commitment shared by the classical doctrine and its more modest alternatives, namely, the thesis that God is a perfectly logical reasoner. (shrink)

Lawrence Kohlberg's Approach to Moral Education presents what the late Lawrence Kohlberg regarded as the definitive statement of his educational theory. Addressing the sociology and social psychology of schooling, the authors propose that school culture become the center of moral education and research. They discuss how schools can develop as just and cohesive communities by involving students in democracy, and they focus on the moral decisions teachers and students face as they democratically resolve problems. As the authors put (...) it: "...we propose an educational renewal of our democratic society.... We have attempted to establish schools that do more than just teach about democratic citizenship, that are themselves democratic societies.". (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

Frege says, at the end of a discussion of formalism in the Foundations of Arithmetic, that his own foundational program “could be called formal” but is “completely different” from the view he has just criticized. This essay examines Frege’s relationship to Hermann Hankel, his main formalist interlocutor in the Foundations, in order to make sense of these claims. The investigation reveals a surprising result: Frege’s foundational program actually has quite a lot in common with Hankel’s. This undercuts Frege’s claim that (...) his own view is completely different from Hankel’s formalism, and motivates a closer examination of where the differences lie. On the interpretation offered here, Frege shares important parts of the formalist perspective, but differs in recognizing a kind of content for arithmetical terms which can only be made available via proof from prior postulates. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...) on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

The dispute about the role of class in understanding the life situations of people of color has tended to be overpolarized, between a class reductionism and an “it's only race” position. Class processes shape racial groups’ life situations. Race and class are also distinct axes of injustice; but class injustice informs racial injustice. Some aspects of racial injustice can be expressed only in concepts associated with class (e.g., material deprivation, inferior education). But other aspects of racial injustice or other harms, (...) such as racial discrimination or stigma, are not reducible to class concepts and cannot be fully addressed through class-focused policies. Overall, any attempt to fully secure racial justice for a racial group will require a combination of race-focused and class-focused policies. Anti-racist outlooks often neglect or downplay either the normative or the explanatory significance of class, or both—for example, by overlooking or downplaying the dignitary harms of class and the material harms of race; missing the historical dimension of class injustice; masking class by a narrowing of the complex normative structure of racial disparities; or not recognizing that a class-focused initiative (like raising the minimum wage) can address substantial racial justice concerns, even though not all of them. “Systemic racism” terminology recognizes class explanatorily but suppresses it normatively. Charles Mills's influential notion of “white supremacy,” while a powerful tool for conceptualizing and illuminating racial injustice, can also contribute to minimizing or masking the justice-related impact of class, as do some of Mills's specific discussions of class in various writings. (shrink)

Examines the theories of Socrates, Kant, Dewey, Piaget, and others to explore the implications of Socrates' question "what is a virtuous man, and what is a virtuous school and society which educates virtuous men.".

Observers have noted a decline (in the US) in attributions of genetically-based inferiority (e.g. in intelligence) to Blacks, and a rise in attributions of culturally-based inferiority. Is this "culturalism" merely warmed-over racism ("cultural racism") or a genuinely distinct way of thinking about racial groups? The question raises a larger one about the relative place of biology and culture in racist thought. I develop a typology of culturalisms as applied to race: (1) inherentist or essentialist culturalism (inferiorizing cultural characteristics wrongly but (...) intelligibly regarded as inhering in the nature of racial groups). This view has an historical pedigree in the work of J.G. von Herder, and the tradition of "national racism." (2) non-inherentist culturalism (groups regarded as possessing changeable, malleable inferiorizing cultural characteristics). (3) colonalist culturalism (colonial subjects regarded as uncivilized but capable of becoming civilized under European tutelage). (4) neo-racism (cultures of former colonial subjects in or potentially immigrating to European countries are regarded in an inherentist manner and incompatible with but not inferior to European cultures). Non-inherentist culturalism (#2) can be put to either a racist or an anti-racist use. (shrink)

Mathematical formalism is the the view that numbers are "signs" and that arithmetic is like a game played with such signs. Frege's colleague Thomae defended formalism using an analogy with chess, and Frege's critique of this analogy has had a major influence on discussions in analytic philosophy about signs, rules, meaning, and mathematics. Here I offer a new interpretation of formalism as defended by Thomae and his predecessors, paying close attention to the mathematical details and historical context. I argue that (...) for Thomae, the formal standpoint is an _algebraic perspective_ on a domain of objects, and a "sign" is not a linguistic expression or mark, but a representation of an object within that perspective. Thomae exploits a shift into this perspective to give a purely algebraic construction of the real numbers from the rational numbers. I suggest that Thomae's chess analogy is intended to provide a model for such shifts in perspective. (shrink)

Since the publication of Andrews Reath's “Two Conceptions of the Highest Good in Kant” (Journal of the History of Philosophy 26:4 (1988)), most scholars have come to accept the view that Kant migrated away from an earlier “theological” version to one that is more “secular.” The purpose of this paper is to explore the roots of this interpretative trend, re-assess its merits, and then examine how the Highest Good is portrayed in Kant’s Religion within the Boundaries of Mere Reason. As (...) will be argued, it is in this text more so than any other where Kant develops his most philosophically sophisticated account of the Highest Good. Because of the central significance of Kant’s doctrine of the Highest Good for both his ethical theory and philosophy of religion, this paper therefore seeks to provide an important corrective to the current received views. (shrink)

Rigidity does interesting philosophical work, with important consequences felt throughout metaphysics, epistemology, philosophy of mind, and so on. The authors’ aim in this article is to show that rigidity has yet another role to play, with surprising consequences for the problem of free will and determinism, for the phenomenon of rigidity has the upshot that some metaphysically necessary truths are up to us. The significance of this claim is shown in the context of influential arguments against free will. The authors (...) show that some virtually indisputable inference rules employed in formulations of the Consequence Argument, as well as in fatalistic arguments, fail with a variety of counter-examples. Along the way, the authors compare the present arguments to other, similar arguments made in recent years. (shrink)

Anhand der genaueren Analyse von Newtons experimentum crucis und der Argumentation, die er auf dieses Experiment stützt, sowie Goethes Kritik hieran sollen im Folgenden zwei verbreitete Vorurteile revidiert werden: -/- 1. Newton ist kein Dogmatiker, der methodische Ansprüche vertritt, die er nicht einlösen kann, sondern gründet seinen Anspruch, experimentelle Beweise führen zu können, auf einer vorbildlichen Methodologie kausaler Erklärungen, was seine Kritiker allerdings übersehen. 2. Goethe ist kein Antiwissenschaftler, der einen einzigartigen Kontrapunkt zur vorherrschenden wissenschaftlichen Tradition bildet, sondern steht inmitten (...) traditioneller Auffassungen zur Farbenlehre, deren experimentelle und methodologische Grundlagen bezüglich eines Erklärungsanspruches denen Newtons unterlegen sind. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then logical analysis of colors.

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on (...) nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

Es wird gezeigt, dass Wittgenstein in seiner Frühphilosophie ein nicht-axiomatisches Beweisverständnis entwickelt, für das sich das Problem der Begründung der Axiome nicht stellt. Nach Wittgensteins Beweisverständnis besteht der Beweis einer formalen Eigenschaft einer Formel – z.B. der logischen Wahrheit einer prädikatenlogischen Formel oder der Gleichheit zweier arithmetischer Ausdrücke – in der Transformation der Formel in eine andere Notation, an deren Eigenschaften sich entscheiden lässt, ob die zu beweisende formale Eigenschaft besteht oder nicht besteht. Dieses Verständnis grenzt Wittgenstein gegenüber einem axiomatischen (...) Beweisverständnis ab. Sein Beweisverständnis bedingt ein Programm der Grundlegung der Mathematik, das eine Alternative zu den Ansätzen des Logizismus, Formalismus und Konstruktivismus darstellt. Wittgensteins Ansatz steht im Widerspruch zu den Ergebnissen der Metamathematik, da er die Möglichkeit der Formulierung von Entscheidungsverfahren in der Prädikatenlogik und Arithmetik voraussetzt. Um seinem Ansatz gegenüber der traditionellen Metamathematik Recht zu geben, müsste gezeigt werden, dass sein Beweisverständnis im Bereich der Logik und Arithmetik – der traditionellen Metamathematik zum Trotz – realisierbar ist. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

Neoliberalism is an approach to social policy, now globally influential, that applies market approaches to all aspects of social life, including education. Charter schools, privately operated but publicly funded, are its most prominent manifestation in the U.S. The neoliberal principles of competition, consumerism, and choice cannot serve as foundations of a sound and equitable public education system. Neoliberalism embraces socio-economic inequality overall and in doing so constricts any justice mission its adherents espouse in virtue of serving a relatively disadvantaged student (...) population, as charter schools often (by no means always) do. It constricts educational justice by (1) embracing a “human capital” approach as the primary good of education, (2) creating educational inequality through (unofficially) selecting a relatively advantaged segment of the disadvantaged demographic it serves, (3) denying the effect of poverty on educational performance, and (4) devaluing its students’ familial ethnic cultures. (shrink)

I argue that physicians can save women from life-threatening pregnancies by performing a craniotomy, placentectomy, or salpingotomy without intending death or harm. To support this conclusion, I defend the relevance thesis about intentions (a person intends X only if X explains the action). I then criticize the identity thesis (if a person intends X and knows that X is identical to Y then the person intends Y) and three mistakenly strict moral principles: (1) one may not intend something that is (...) a serious harm for an innocent person, (2) one may not intend to terminate pregnancy before viability, and (3) one may not act on a person’s body in a harmful way in order to benefit another person. (1) would prohibit procuring organs from living donors, (2) would prohibit treating hepatic pregnancies and other ectopic pregnancies, and (3) would prohibit procuring organs from living donors and performing many prenatal surgeries. (shrink)

Stereotypes are false or misleading generalizations about groups, generally widely shared in a society, and held in a manner resistant, but not totally, to counterevidence. Stereotypes shape the stereotyper’s perception of stereotyped groups, seeing the stereotypic characteristics when they are not present, and generally homogenizing the group. The association between the group and the given characteristic involved in a stereotype often involves a cognitive investment weaker than that of belief. The cognitive distortions involved in stereotyping lead to various forms of (...) moral distortion, to which moral philosophers have paid insufficient attention. Some of these are common to all stereotypes—failing to see members of the stereotyped groups as individuals, moral distancing, failing to see subgroup diversity within the group. Other moral distortions vary with the stereotype. Some attribute a much more damaging or stigmatizing characteristic (e.g. being violent) than others (e.g. being good at basketball). But the characteristic in question must also be viewed in its wider historical and social context to appreciate its overall negative and positive dimensions. (shrink)

The past decade has seen a sizable increase in scholarship on Kant’s Religion. Yet, unlike the centuries of debate that inform our study of his other major works, scholarship on the Religion is still just in its infancy. As such, it is in a particularly vulnerable state where errors made now could hinder scholarship for decades to come. It is the purpose of this paper to mitigate one such danger, a danger issuing from the widely assumed view that the Religion (...) is shaped by “two experiments.” We will begin with a survey of the four current interpretations of the experiments, and then propose one further interpretation, one that hopefully will help dismantle this alleged “conundrum” and thereby help scholarship on the Religion move beyond this early misstep. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Politics never became a central intellectual interest of Murdoch’s, but she produced one important and visionary political essay in the ‘50’s, several popular writings on political matters, and a significant chapter in Metaphysics as a Guide to Morals that echoes throughout that book. In the 1958 “House of Theory,” she sees the welfare state as having almost entirely failed to address the deeper problems of capitalist society, including a failure to create the conditions for values she saw as central to (...) the socialist tradition—equality, absence of exploitation, meaningful work, and a sense of community. In Metaphysics as a Guide to Morals, Murdoch abandons the idea that moral ideals provide a guide to constructing a good society. She retains from her earlier work that the individual-moral domain is governed by perfectionism, but society cannot be. ‘Society must be thought of as a bad job to be made the best of’, for example, through the liberal idea of rights. Murdoch had a lifelong engagement with Marxism as a philosophy, introduced to her as a member of the Communist Party in the late ‘30’s and ‘40’s, and continuing through her subsequent long Labour period, and even when she moved to the Right in the Thatcher era. Marx and Marxism were always part of her mental universe, and she continued to work out what she agreed and disagreed with in it. (shrink)

Unusual among Western philosophers, Schopenhauer explicitly drew on Hindu and especially Buddhist traditions inhis moral philosophy. He saw plurality, especially the plurality of human persons, as a kind of illusion; in reality all is one, and compassionate acts express an implicit recognition of this oneness. Max Scheler retains the transcendence of self aspect of compassion but emphasizes that the subject must have a clear, lived sense of herself as a distinct individual in order for that transcendence to take place properly. (...) This feature is absent in the Buddhist tradition. Feminist philosophers of the early second wave built on this insight (only occasionally drawing it from Scheler) to recognize ways women are often not socialized to develop this distinctive sense of self, therefore harming their ability to engage in compassion and other forms of care for others. Iris Murdoch adds a Freudian-inspired (though Freud influenced Scheler also) pessimism about the ability of humans to keep their identities sufficiently distinct from the other to allow a clear view of the other, and thus real care and help to the other to take place. But in her later work, Murdoch explicitly recognizes and draws on the Buddhist tradition of oneness and transcendence of the self. Group solidarities can partake of aspects of Buddhist oneness and self-transcendence, for example the sense of fellowship in a social justice movement in which Blacks draw on a shared identity to experience connection, compassion, empathy, and solidarity with one another. But social justice movements also allow for a solidarity across racial lines, grounded in the shared commitment to justice, including justice for one of the groups in the solidarity community. (All these issues are powerfully portrayed in the 2014 film, Selma.) None of these solidarities, however, express the universalistic dimension of Buddhist oneness. (shrink)

In the Fifth Meditation, Descartes makes a remarkable claim about the ontological status of geometrical figures. He asserts that an object such as a triangle has a 'true and immutable nature' that does not depend on the mind, yet has being even if there are no triangles existing in the world. This statement has led many commentators to assume that Descartes is a Platonist regarding essences and in the philosophy of mathematics. One problem with this seemingly natural reading is that (...) it contradicts the conceptualist account of universals that one finds in the Principles of Philosophy and elsewhere. In this paper, I offer a novel interpretation of the notion of a true and immutable nature which reconciles the Fifth Meditation with the conceptualism of Descartes' other work. Specifically, I argue that Descartes takes natures to be innate ideas considered in terms of their so-called 'objective being'. (shrink)

In this paper we look at the manual analysis of arguments and how this compares to the current state of automatic argument analysis. These considerations are used to develop a new approach combining a machine learning algorithm to extract propositions from text, with a topic model to determine argument structure. The results of this method are compared to a manual analysis.

Carl Gillett has defended what he calls the “dimensioned” view of the realization relation, which he contrasts with the traditional “flat” view of realization (2003, 2007; see also Gillett 2002). Intuitively, the dimensioned approach characterizes realization in terms of composition whereas the flat approach views realization in terms of occupiers of functional roles. Elsewhere we have argued that the general view of realization and multiple realization that Gillett advances is not able to discharge the theoretical duties of those relations (Shapiro (...) 2004, unpublished manuscript; Polger 2004, 2007, forthcoming). Here we focus on an internal objection to Gillett’s account and then raise some broader reasons to reject it. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 55-81 [Access article in PDF] Self-Knowledge in Descartes and Malebranche Lawrence Nolan John Whipple 1. Introduction Descartes's notorious claim that mind is better known than body has been the target of repeated criticisms, but none appears more challenging than that of his intellectual heir Nicolas Malebranche.1 Whereas other critics—especially twentieth-century philosophers eager to use Descartes as their whipping boy—have often (...) been uncharitable, Malebranche accepts many of the fundamental Cartesian doctrines, including mind-body dualism. But he argues that Descartes's position on knowledge of the mind is internally inconsistent. Malebranche agrees with Descartes that the existence of the mind is better known than that of body, but he vehemently denies that the nature of the mind is better known. This denial is based on his view that we lack a clear idea of the mind.2 [End Page 55]Malebranche's polemic has attracted much attention in recent scholarship.3 The growing consensus among commentators is that Malebranche develops a devastating internal critique of Descartes's theory of the mind. For example, Nicholas Jolley writes: "In his case for his negative thesis [concerning knowledge of the mind] Malebranche mounted a powerful, even annihilating, critique of Descartes. This critique embodies the remarkable insight that there is a serious muddle at the heart of Descartes's whole theory of knowledge."4 In a book-length defense of Malebranche's critique, Tad Schmaltz also emphasizes its internal character: "the interpretation here of Malebranche's theory presents it as fundamentally Cartesian, and thereby serves to reinforce his own view that he has provided an authoritative interpretation of the account of mind in the writings of Descartes and other Cartesians."5 Schmaltz also asserts: "Malebranche took his negative thesis concerning our knowledge of the soul to involve not so much a rejection of Cartesianism as an internal correction of it."6We think such remarks misstate the case. Indeed, we argue in this paper that Malebranche's polemic fails as an internal critique of Descartes's theory of the mind. Although we do not here aspire to defend Descartes's strong thesis—that mind is better known than body—we do think he can consistently maintain that we have a clear and distinct idea of the mind, and thus that our knowledge of the mind's nature is at least on a par with our knowledge of corporeal nature.7 While Malebranche's rhetoric would encourage us to think that the debate between him and his predecessor is being fought on common or neutral ground, the fact is that Malebranche often appeals to assumptions and aspects of his own theory of "Vision in God" that Descartes would reject. Once more, he interprets Descartes's theory of knowledge in ways that are misguided and sometimes even uncharitable. If Malebranche's critique succeeds at all, it succeeds only against a straw man—Malebranche's Descartes and not the historical figure.Ours is not the first effort to defend Descartes against this particular attack. When Malebranche first published his critique in Book Three of his first great work, The Search After Truth (1674),8 Descartes had been dead for over two decades, [End Page 56] but he was ably defended by the famous Cartesian Antoine Arnauld in On True and False Ideas (1683). In the ensuing debate Arnauld was clearly the superior dialectician, but while winning several tactical points, he appears not to fully appreciate the crux of Malebranche's argument, or at least that is the view of Jolley and Schmaltz.9 We have a somewhat higher opinion of Arnauld's side of the debate. Granted, some of his defenses are facile and can be easily dismissed; others however are quite compelling when properly developed. In at least one instance, we attempt to provide that development. At the same time we think it is a mistake to treat Arnauld as Descartes's surrogate or as if he had issued the final salvo from the camp of the orthodox Cartesians. Arnauld was a... (shrink)

What does it mean to ‘give’ the value of a variable in an algebraic context, and how does giving the value of a variable differ from merely describing it? I argue that to answer this question, we need to examine the role that giving the value of a variable plays in problem-solving practice. I argue that four different features are required for a statement to count as giving the value of a variable in the context of solving an elementary algebra (...) problem: the variable must be in the scope opened by the problem statement; the values given must be in the range of the variable, which is determined by the problem; the statement giving the values must represent a complete solution; and it must be in a canonical form. This account helps us better understand elementary algebra itself, as well as the use of algebraic tools to analyze phenomena in natural language. (shrink)

Successful athletic performance requires precision in many respects. A batter stands behind home plate awaiting the arrival of a ball that is less than three inches in diameter and moving close to 100 mph. His goal is to hit it with a ba­­t that is also less than three inches in diameter. This impressive feat requires extraordinary temporal and spatial coordination. The sweet spot of the bat must be at the same place, at the same time, as the ball. A (...) basketball player must keep a ball bouncing as she speeds from one end of the court to another, evading defensive players. She may never break pace as she lifts from the ground, throwing the ball fifteen feet toward a hoop that is eighteen inches in diameter. One task facing a psychologist involves explaining how the body does such things within the sometimes very demanding spatial and temporal constraints that a given task imposes. Part of the goal of this chapter is to sketch the commitments of an embodied approach to such an explanation. We shall see that an embodied account of motor skills draws concepts that depart radically from more traditional cognitivist theories of motor activity. Similarly, because an embodied approach to cognition introduces new ways to understand the human capacity for social interaction, it also promises to shed new light on how athletes coordinate their actions with each other. (shrink)

"Procedural Justice" offers a theory of procedural fairness for civil dispute resolution. The core idea behind the theory is the procedural legitimacy thesis: participation rights are essential for the legitimacy of adjudicatory procedures. The theory yields two principles of procedural justice: the accuracy principle and the participation principle. The two principles require a system of procedure to aim at accuracy and to afford reasonable rights of participation qualified by a practicability constraint. The Article begins in Part I, Introduction, with two (...) observations. First, the function of procedure is to particularize general substantive norms so that they can guide action. Second, the hard problem of procedural justice corresponds to the following question: How can we regard ourselves as obligated by legitimate authority to comply with a judgment that we believe (or even know) to be in error with respect to the substantive merits? The theory of procedural justice is developed in several stages, beginning with some preliminary questions and problems. The first question - what is procedure? - is the most difficult and requires an extensive answer: Part II, Substance and Procedure, defines the subject of the inquiry by offering a new theory of the distinction between substance and procedure that acknowledges the entanglement of the action-guiding roles of substantive and procedural rules while preserving the distinction between two ideal types of rules. The key to the development of this account of the nature of procedure is a thought experiment, in which we imagine a world with the maximum possible acoustic separation between substance and procedure. Part III, The Foundations of Procedural Justice, lays out the premises of general jurisprudence that ground the theory and answers a series of objections to the notion that the search for a theory of procedural justice is a worthwhile enterprise. Sections II and III set the stage for the more difficult work of constructing a theory of procedural legitimacy. Part IV, Views of Procedural Justice, investigates the theories of procedural fairness found explicitly or implicitly in case law and commentary. After a preliminary inquiry that distinguishes procedural justice from other forms of justice, Part IV focuses on three models or theories. The first, the accuracy model, assumes that the aim of civil dispute resolution is correct application of the law to the facts. The second, the balancing model, assumes that the aim of civil procedure is to strike a fair balance between the costs and benefits of adjudication. The third, the participation model, assumes that the very idea of a correct outcome must be understood as a function of process that guarantees fair and equal participation. Part IV demonstrates that none of these models provides the basis for a fully adequate theory of procedural justice. In Part V, The Value of Participation, the lessons learned from analysis and critique of the three models are then applied to the question whether a right of participation can be justified for reasons that are not reducible to either its effect on the accuracy or its effect on the cost of adjudication. The most important result of Part V is the Participatory Legitimacy Thesis: it is (usually) a condition for the fairness of a procedure that those who are to be finally bound shall have a reasonable opportunity to participate in the proceedings. The central normative thrust of Procedural Justice is developed in Part VI, Principles of Procedural Justice. The first principle, the Participation Principle, stipulates a minimum (and minimal) right of participation, in the form of notice and an opportunity to be heard, that must be satisfied (if feasible) in order for a procedure to be considered fair. The second principle, the Accuracy Principle, specifies the achievement of legally correct outcomes as the criterion for measuring procedural fairness, subject to four provisos, each of which sets out circumstances under which a departure from the goal of accuracy is justified by procedural fairness itself. In Part VII, The Problem of Aggregation, the Participation Principle and the Accuracy Principle are applied to the central problem of contemporary civil procedure - the aggregation of claims in mass litigation. Part VIII offers some concluding observations about the point and significance of Procedural Justice. (shrink)

Semantic originalism is a theory of constitutional meaning that aims to disentangle the semantic, legal, and normative strands of debates in constitutional theory about the role of original meaning in constitutional interpretation and construction. This theory affirms four theses: (1) the fixation thesis, (2) the clause meaning thesis, (3) the contribution thesis, and (4) the fidelity thesis. -/- The fixation thesis claims that the semantic content of each constitutional provision is fixed at the time the provision is framed and ratified: (...) subsequent changes in linguistic practice cannot change the semantic content of an utterance. -/- The clause meaning thesis claims that the semantic content is given by the conventional semantic meaning (or original public meaning) of the text with four modifications. The first modification is provided by the publicly available context of constitutional utterance: words and phrases that might be ambiguous in isolation can become clear in light of those circumstances of framing and ratification that could be expected to known to interpreters of the Constitution across time. The second modification is provided by the idea of the division of linguistic labor: some constitutional provisions, such as the natural born citizen clause may be terms of art, the meaning of which are fixed by the usages of experts. The third modification is provided by the idea of constitutional implicature: the constitution may mean things it does not explicitly say. The fourth modification is provided by the idea of constitutional stipulations: the constitution brings into being new terms such as House of Representatives and the meaning of these terms is stipulated by the Constitution itself. -/- The contribution thesis asserts that the semantic content of the Constitution contributes to the law: the most plausible version of the contribution thesis is modest, claiming that the semantic content of the Constitution provides rules of constitutional law, subject to various qualifications. Our constitutional practice provides strong evidence for the modest version of the contribution thesis. -/- The fidelity thesis asserts that we have good reasons to affirm fidelity to constitutional law: virtuous citizens and officials are disposed to act in accord with the Constitution; right acting citizens and officials obey the constitution in normal circumstances; constitutional conformity produces good consequences. Our public political culture affirms the great value of the rule of law. -/- We can summarize semantic originalism as a slogan: The original public meaning of the constitution is the law and for that reason it should be respected and obeyed. The slogan recapitulates each of the claims made by semantic originalism, but it is potentially misleading because it does not clearly distinguish between the semantic claims made by the fixation and clause meaning theses, the legal claim made by the contribution thesis, and the normative claim made by the fidelity thesis. -/- Part I introduces the four theses. Part II is entitled An Opinionated History of Constitutional Originalism, and it provides the context for all that follows. Part III is entitled Semantic Originalism: A Theory of Constitutional Meaning, and it lays out the case for original public meaning as the best nonnormative theory of constitutional content. Part IV is entitled The Normative Implications of Semantic Originalism, and it articulates a variety of normative arguments for originalism. Part V is entitled Conclusion: Semantic Originalism and Living Constitutionalism, and it explores the broad implications of semantic originalism for living constitutionalism and the future of constitutional theory. (shrink)

Solidarity within a group facing adversity exemplifies certain human goods, some instrumental to the goal of mitigating the adversity, some non-instrumental, such as trust, loyalty, and mutual concern. Group identity, shared experience, and shared political commitments are three distinct but often-conflated bases of racial group solidarity. Solidarity groups built around political commitments include members of more than one identity group, even when the political focus is primarily on the justice-related interests of only one identity group (such as African Americans). A (...) solidarity group is more than a mere political coalition or alliance. Two other forms of political- commitment solidarity groups are ones devoted to racial justice more generally, and social justice even more generally. Racially plural political solidarity groups realize values beyond the afore-mentioned solidaristic ones, in meeting the challenges of different races working together. (shrink)