The author argues that Plato’s “proof” that happiness follows justice has a fatal flaw – because the philosopher king in Plato’s Republic is itself a counter example.
In this paper, I examine a new line of response to Frankfurt’s challenge to the traditional association of moral responsibility with the ability to do otherwise. According to this response, Frankfurt’s counterexample strategy fails, not in light of the conditions for moral responsibility per se, but in view of the conditions for action. Specifically, it is claimed, a piece of behavior counts as an action only if it is within the agent’s power to avoid performing it. In so far (...) as Frankfurt’s challenge presupposes that actions can be unavoidable, this view of action seems to bring his challenge up short. Helen Steward and Maria Alvarez have independently proposed versions of this response. Here I argue that this response is unavailable to Frankfurt’s incompatibilist opponents. This becomes evident when we put this question to its proponents: “Are actions that originate deterministically ipso facto unavoidable?” If they answer “yes,” they encounter one horn of a dilemma. If they answer “no,” they encounter the other horn. Since no one has a clearer stake in meeting Frankfurt’s challenge than these theorists do, it is significant that the Steward-Alvarez response is unavailable to them. (shrink)
In this paper I argue that even if we accept that Jones does not kill Smith in the counterfactual scenario, Frankfurt’s counterexample is still safe because showing that Jones does not kill Smith in the counterfactual scenario does not show that Jones avoids killing Smith, because whether Black intervenes is not up to Jones. I argue that Frankfurt’s counterexample does not depend on the agent acting (let alone doing the same thing) in the counterfactual scenario.
This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with 'knows', and we call into question the thesis that all knowledge ascriptions have truth-conditions.
Manley and Wasserman (2008) join the chorus of opposition to the possibility of conditional analysis of dispositions. But that score cannot be settled without more careful attention to the implicit philosophical methodology. Some of the opposition to such an analysis badly overestimates the effect of counterexamples, as if the Gettier example were sufficient to refute the possibility of conjunctive analysis of knowledge. A general objection to a form of analysis must satisfy a number of constraints, and Manley and Wasserman join (...) the chorus too in failing to satisfy them. Most significant is the optional presupposition that the conditional used in analysis will exhibit some sort of centring. We show that even a careful effort to repair and reform Manley and Wasserman's objection to provide a satisfactory argument requires, ultimately, appeal to centring. Worse, the particular positive proposal they offer is vulnerable to a minor variant of their own counterexample. (shrink)
Here I motivate and defend a new counterexample to logical (or non-causal) versions of the direct argument for responsibility-determinism incompatibilism. Such versions purport to establish incompatibilism via an inference principle to the effect that non-responsibility transfers along relations of logical consequence, including those that hold between earlier and later states of a deterministic world. Unlike previous counterexamples, this case doesn't depend on preemptive overdetermination; nor can it be blocked with a simple modification of the inference principle. In defending this (...)counterexample, I show that van Inwagen's technical notion of being partly responsible for a state of affairs, which figures in his statement of the principle, is problematic. (shrink)
In a paper from 2001, Michael C. Rea considers the question of what pornography is. First, he examines a number of existing definitions of ‘pornography’ and after having rejected them all, he goes on to present his own preferred definition. In this short paper, I suggest a counterexample to Rea’s definition. In particular, I suggest that there is something that, on the one hand, is pornography according to Rea’s definition, but, on the other hand, is not something that we (...) would intuitively describe as being an instance of pornography. (shrink)
Many epistemologists treat knowledge as a binary relation that holds between a subject and a proposition. The contrastive account of knowledge developed by Jonathan Schaffer maintains that knowledge is a ternary, contrastive relation that holds between a subject, a proposition, and a set of contextually salient alternative propositions the subject’s evidence must eliminate. For the contrastivist, it is never simply the case that S knows that p; in every case of knowledge S knows that p rather than q. This paper (...) offers a counterexample to the contrastive account of knowledge. Part 1 summarizes the contrastive theory developed by Schaffer in a series of recent papers. Part 2 presents an example from a class of cases characterized by compatibility between the proposition p and each of the alternative propositions that occupy q. In such cases the alternative propositions that partially constitute the ternary contrastive relation play no role in the acquisition of knowledge. Part 3 considers and rejects potential responses to the counterexample. The paper concludes that the contrastive theory is not a general account of knowledge. (shrink)
My aim in this paper is to provide an effective counterexample to consequentialism. I assume that traditional counterexamples, such as Transplant (A doctor should kill one person and transplant her organs to five terminal patients, thereby saving their lives) and Judge (A judge should sentence to death an innocent person if he knows that an outraged mob will otherwise kill many innocent persons), are not effective, for two reasons: first, they make unrealistic assumptions and, second, they do not pass (...) the rule-consequentialist institutional test. My example (The Moral Murderer), instead, assumes a realistic empirical framework and the relevant action does not undermine basic social institutions. On the contrary, it reinforces them. In The Moral Murderer, Tom (an adult male) is morally allowed to murder a person (preferably a woman) in order to be punished to death. (shrink)
Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...) out to prove propositions, the psychologists, neuroscientists, and other empirical types among us, set out to show that a proposition is supported by the data, and that it is the best such proposition so supported. The philosophers among us, when they are not causing trouble by arguing that AI is a dead end or that cognitive science can get along without representations, work pretty much like the mathematicians: we set out to prove certain propositions true on the basis of logic, first principles, plausible assumptions, and others' data. But, back to the book of real analysis counterexamples. If some mathematician happened t o think that some proposition about continuity, say, was plausibly true, he or she would then set out to prove it. If the proposition was in fact not a theorem, then a lot of precious time would be wasted trying to prove it. Wouldn't it be great to have a book that listed plausibly true propositions that were in fact not true, and listed with each such proposition a counterexample to it? Of course it would. (shrink)
In recent years there has been a growing consensus that ordinary reasoning does not conform to the laws of classical logic, but is rather nonmonotonic in the sense that conclusions previously drawn may well be removed upon acquiring further information. Even so, rational belief formation has up to now been modelled as conforming to some fundamental principles that are classically valid. The counterexample described in this paper suggests that a number of the most cherished of these principles should not (...) be regarded as valid for commonsense reasoning. An explanation of this puzzling failure is given, arguing that a problem in the theory of rational choice transfers to the realm of belief formation. (shrink)
The last section of “Lecture at Zilsel’s” [9, §4] contains an interesting but quite condensed discussion of Gentzen’s first version of his consistency proof for P A [8], reformulating it as what has come to be called the no-counterexample interpretation. I will describe Gentzen’s result (in game-theoretic terms), fill in the details (with some corrections) of Godel's reformulation, and discuss the relation between the two proofs.
According to a subjectivist view of some concept, C, there is an a priori implication of subjective responses in C's application or possession conditions. Subjectivists who intend their view to be descriptive of our practice with C will hold that it is possible for there to be true empirical claims which explain such responses in terms of certain things being C. Mark Johnston's "missing-explanation argument" employs a substitution principle with a view to establishing that these strands of subjectivism are inconsistent. (...) I suggest that Johnston's substitution principle survives an attempt by Alex Miller to show that it is unreliable, but that it is prey to a counterexample which cannot be explained away by the proponent of the missing-explanation argument. I conclude that the missing-explanation argument poses no threat to subjectivism. (shrink)
The present study is part of recent attempts to specify the characteristics of the counterexample retrieval process during causal conditional reasoning. The study tried to pinpoint whether the retrieval of stored counterexamples (alternative causes and disabling conditions) for a causal conditional is completely automatic in nature or whether the search process also demands executive working memory (WM) resources. In Experiment 1, participants were presented with a counterexample generation task and a measure of WM capacity. We found a positive (...) relation between search efficiency, as measured by the number of generated counterexamples in limited time, and WM capacity. Experiment 2 examined the effects of a secondary WM load on the retrieval performance. As predicted, burdening WM with an attention-demanding secondary task decreased the retrieval efficiency. Both low and high spans were affected by the WM load but load effects were less pronounced for the most strongly associated counterexamples. Findings established that in addition to an automatic search component, the counterexample retrieval draws on WM resources. (shrink)
James L. Anderson analyzed the conceptual novelty of Einstein's theory of gravity as its lack of ``absolute objects.'' Michael Friedman's related concept of absolute objects has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using Nathan Rosen's action principle, I complete Anna Maidens's argument that the Jones-Geroch problem is not solved by requiring that absolute objects not be varied. Recalling Anderson's proscription of (globally) (...) ``irrelevant'' variables that do no work (anywhere in any model), I generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free, and there is no good reason to have a timelike dust 4-velocity vector there. Eliminating the irrelevant timelike vctors keeps the dust 4-velocity from counting as absolute by spoiling its neighborhood-by-neighborhood diffeomorphic equivalence to (1,0,0,0). A more fundamental Gerochian timelike vector field presents itself in gravity with spinors in the standard orthonormal tetrad formalism, though eliminating irrelevant fields might solve this problem as well. (shrink)
In [15], [16] G. Kreisel introduced the no-counterexample interpretation (n.c.i.) of Peano arithmetic. In particular he proved, using a complicated ε-substitution method (due to W. Ackermann), that for every theorem A (A prenex) of first-order Peano arithmetic PA one can find ordinal recursive functionals Φ A of order type 0 which realize the Herbrand normal form A H of A. Subsequently more perspicuous proofs of this fact via functional interpretation (combined with normalization) and cut-elimination were found. These proofs however (...) do not carry out the no-counterexample interpretation as a local proof interpretation and don't respect the modus ponens on the level of the no-counterexample interpretation of formulas A and A → B. Closely related to this phenomenon is the fact that both proofs do not establish the condition (δ) and--at least not constructively-- (γ) which are part of the definition of an 'interpretation of a formal system' as formulated in [15]. In this paper we determine the complexity of the no-counterexample interpretation of the modus ponens rule for (i) PA-provable sentences, (ii) for arbitrary sentences A, B ∈ L(PA) uniformly in functionals satisfying the no-counterexample interpretation of (prenex normal forms of) A and A → B, and (iii) for arbitrary A, B ∈ L(PA) pointwise in given α( 0 ) -recursive functionals satisfying the no-counterexample interpretation of A and A → B. This yields in particular perspicuous proofs of new uniform versions of the conditions (γ), (δ). Finally we discuss a variant of the concept of an interpretation presented in [17] and show that it is incomparable with the concept studied in [15], [16]. In particular we show that the no-counterexample interpretation of PA n by α( n (ω))-recursive functionals (n ≥ 1) is an interpretation in the sense of [17] but not in the sense of [15] since it violates the condition (δ). (shrink)
Incompatibilism about freedom and causal determinism is commonly supported by appeal to versions of the well known Consequence argument. Critics of the Consequence argument have presented counterexamples to the Consequence argument's central inference principle. The thesis of this article is that proponents of the Consequence argument can easily bypass even the best of these counterexamples.
Peter Railton (1978) has introduced the influential deductive-nomological-probabilistic (DNP) model of explanation which is the culmination of a tradition of formal, non-pragmatic accounts of scientific explanation. The other models in this tradition have been shown to be susceptible to a class of counterexamples involving intervening causes which speak against their sufficiency. This treatment has never been extended to the DNP model; we contend that the usual form of these counterexamples is ineffective in this case. However, we develop below a new (...) version which overcomes these difficulties. Thus we claim that all of the models in this tradition, DNP included, have an equal status with respect to sufficiency. (shrink)
For a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown (extending previous results of Steel) how sufficiently iterable fine structure models recognize themselves as global core (...) models. (shrink)
Plantinga’s Free Will Defense is an argument that, possibly, God cannot actualize a world containing significant creaturely free will and no wrongdoings. I will argue that if standard Molinism is true, there is a pair of worlds w1 and w2 each of which contains a significantly free creature who never chooses wrongly, and that are such that, necessarily, at least one of these worlds is a world that God can actualize.
In this paper I refute an apparently obvious objection to Frankfurt-type counterexamples to the Principle of Alternate Possibilities according to which if in the counterfactual scenario the agent does not act, then the agent could have avoided acting in the actual scenario. And because what happens in the counterfactual scenario cannot count as the relevant agent’s actions given the sort of external control that agent is under, then we can ground responsibility on that agent having been able to avoid acting. (...) I illustrate how this objection to Frankfurt’s famous counterexample is motivated by Frankfurt’s own ‘guidance’ view of agency. My argument consists in showing that even if we concede that the agent does not act in the counterfactual scenario, that does not show that the agent could have avoided acting in the actual scenario. This depends on the crucial distinction between ‘not φ-ing’ and ‘avoiding φ-ing’. (shrink)
Ethicists and economists commonly assume that if A is all things considered better than B, and B is all things considered better than C, then A is all things considered better than C. Call this principle Transitivity. Although it has great conceptual, intuitive, and empirical appeal, I argue against it. Larry S. Temkin explains how three types of ethical principle, which cannot be dismissed a priori, threaten Transitivity: (a) principles implying that in some cases different factors are relevant to comparing (...) A to C than to comparing A to B or B to C; (b) principles of limited scope; (c) principles implying that morally relevant differences in degree can amount to differences in kind. My counterexamples employ a principle of type (c): pleasures and pains enormously different in intensity differ in kind. Temkin has also endorsed this type of counterexample, using arguments based on earlier drafts of this paper. (shrink)
The well-known "Consequence Argument" for the incompatibility of freedom and determinism relies on a certain rule of inference; "Principle Beta". Thomas Crisp and Ted Warfield have recently argued that all hitherto suggested counterexamples to Beta can be easily circumvented by proponents of the Consequence Argument. I present a new counterexample which, I argue, is free from the flaws Crisp and Warfield detect in earlier examples.
Cantors diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantors theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.
One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)
The Anderson-Friedman absolute objects program has been a favorite analysis of the substantive general covariance that supposedly characterizes Einstein's General Theory of Relativity (GTR). Absolute objects are the same locally in all models (modulo gauge freedom). Substantive general covariance is the lack of absolute objects. Several counterexamples have been proposed, however, including the Jones-Geroch dust and Torretti constant curvature spaces counterexamples. The Jones-Geroch dust case, ostensibly a false positive, is resolved by noting that holes in the dust in some models (...) ensure that no physically relevant nonvanishing timelike vector field exists there, so no absolute object exists. The Torretti constant curvature spaces case, allegedly a false negative, is resolved by testing an irreducible piece of the metric, the conformal metric density of weight -2/3, for absoluteness; this geometric object is absolute. A new counterexample is proposed involving the orthonormal tetrad said to be necessary to couple spinors to a curved metric. The threat of finding an absolute object in GTR + spinors is overcome by the use of an alternative spinor formalism that takes a symmetric square root of the metric (with the help of the matrix diag(-1,1,1,1)), eliminating 6 of the 16 tetrad components as irrelevant. The importance of eliminating irrelevant structures, as Anderson emphasized, is clear. The importance of the choice of physical fields is also evident. A new counterexample due to Robert Geroch and Domenico Giulini, however, finds an absolute object in vacuum GTR itself, namely the scalar density $g$ given by the metric components' determinant. Thus either the definition of absoluteness or its use to analyze GTR's substantive general covariance is flawed. Anderson's belief that all absolute objects are nonvariational (that is, not varied in a suitable action principle) and vice versa is also falsified by the Geroch-Giulini counterexample. However, it remains plausible that all nonvariational fields are absolute, so adding nonvariationality as a necessary condition for absoluteness, as Hiskes once suggested, would likely leave no useful work to the Anderson-Friedman condition of sameness in all models. Simply having only variational fields in an action principle (suitably free of irrelevant fields) might be a satisfactory analysis of substantive general covariance, if one exists. This proposal also resembles the suggestion that GTR is "already parameterized," if one decides to parameterize theories by defining the nonvariational fields in terms of preferred coordinates called clock fields. More questions need to be addressed. Which fields should be tested for absoluteness: only primitive fields (which ones?), or all or some (which?) of their concomitants also? Geroch observes that some kinds of geometric objects, such as tangent vectors, scalar densities, and tangent vector densities of non-unit weight, satisfy the condition of sameness in all models if they merely fail to vanish. If these "susceptible" geometric objects can hardly help being absolute, to what degree are they, or the theories harboring them, responsible for this absoluteness? The answer to this question helps to determine the significance of the Geroch-Giulini counterexample. (shrink)
One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)
Two experiments examined the contribution of working memory (WM) to the retrieval and inhibition of background knowledge about counterexamples (alternatives and disablers, Cummins, 1995) during conditional reasoning. Experiment 1 presented a conditional reasoning task with everyday, causal conditionals to a group of people with high and low WM spans. High spans rejected the logically invalid AC and DA inferences to a greater extent than low spans, whereas low spans accepted the logically valid MP and MT inferences less frequently than high (...) spans. In Experiment 2, an executive-attention-demanding secondary task was imposed during the reasoning task. Findings corroborate that WM resources are used for retrieval of stored counterexamples and that people with high WM spans will use WM resources to inhibit the counterexample activation when the type of counterexample conflicts with the logical validity of the reasoning problem. (shrink)
I argue that there are at least two kinds of tacit premises; describe a certain type of counterexample against the validity of arguments, and then use it to identify one kind of tacit premise. I distinguish two classes of tacit premises on the grounds that they are discovered or constructed differently, they have different roles in an argument or causal explanation, and have different logical relations to each other.
James L. Anderson analyzed the novelty of Einstein's theory of gravity as its lack of "absolute objects." Michael Friedman's related work has been criticized by Roger Jones and Robert Geroch for implausibly admitting as absolute the timelike 4-velocity field of dust in cosmological models in Einstein's theory. Using the Rosen-Sorkin Lagrange multiplier trick, I complete Anna Maidens's argument that the problem is not solved by prohibiting variation of absolute objects in an action principle. Recalling Anderson's proscription of "irrelevant" variables, I (...) generalize that proscription to locally irrelevant variables that do no work in some places in some models. This move vindicates Friedman's intuitions and removes the Jones-Geroch counterexample: some regions of some models of gravity with dust are dust-free and so naturally lack a timelike 4-velocity, so diffeomorphic equivalence to (1,0,0,0) is spoiled. Torretti's example involving constant curvature spaces is shown to have an absolute object on Anderson's analysis, viz., the conformal spatial metric density. The previously neglected threat of an absolute object from an orthonormal tetrad used for coupling spinors to gravity appears resolvable by eliminating irrelevant fields. However, given Anderson's definition, GTR itself has an absolute object (as Robert Geroch has observed recently): a change of variables to a conformal metric density and a scalar density shows that the latter is absolute. (shrink)
In a recent article, David Hunt has proposed a theological counterexample to the principle of alternative possibilities involving divine foreknowledge (G-scenario). Hunt claims that this example is immune to my criticism of regular Frankfurt-type counterexamples to that principle, as God’s foreknowing an agent’s act does not causally determine that act. Furthermore, he claims that the considerations which support the claim that the agent is morally responsible for his act in a Frankfurt-type scenario also hold in a G-scenario. In reply, (...) Icontest Hunt’s symmetry claim and also raise a worry whether, given theological fatalism, the agent’s act in a G-scenario can be deemed a free act in the libertarian sense. Finally, I offer an independent argument why in a G-scenario the agent should not regarded morally blameworthy for his act. (shrink)
Hall [(2007), Philosophical Studies, 132, 109–136] offers a critique of structural equations accounts of actual causation, and then offers a new theory of his own. In this paper, I respond to Hall’s critique, and present some counterexamples to his new theory. These counterexamples are then diagnosed.
Recently, several authors have claimed to have found graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles. In this paper, I argue that their counterexamples presuppose a certain view of what unlabeled graphs are, and that this view is optional at best.
A great deal of attention has been paid recently to the claim that traditional Frankfurt-type counterexamples to the Principle of Alternative Possibilities (PAP), which depend for their success on the presence of a perfectly reliable indicator (or prior sign ) of what an agent will freely do if left to act on his own, are guilty of begging the question against incompatibilists, since such indicators seem to presuppose a deterministic relation between an agent’s free action and its causal antecedents. Objections (...) of this sort have given rise to considerable efforts to construct alternative Frankfurt-type counterexamples that do not rely on prior signs of this kind and so do not presuppose determinism in a way that incompatibilists should find objectionable. One consequence of this shift in the way Frankfurt-type counterexamples are formulated is that it provides an opportunity for the forceful resurgence of certain versions of the so-called flicker defense of PAP. In this paper I develop two versions of the flicker defense, indicate their advantages over other versions of this strategy, and defend them against objections. Insofar as either of these is successful, it will show not only that PAP has yet to be falsified by any of the modified Frankfurt-type counterexamples currently on offer but that cases of this sort are in principle incapable of falsifying PAP. (shrink)
Various formally valid counterexamples have been adduced against the Humean dictum that one cannot derive an “ought” from an “is.” There are formal rebuttals—some very sophisticated now (e.g., Charles R. Pigden’s and Gerhard Schurz’s)—to such counterexamples. But what follows is an intuitive and informal argument against them. I maintain that it is better than these sophisticated formal defenses of the Humean dictum and that it also helps us see why it implausible to think that we can be as decisive about (...) the truth or falsity of the dictum as both the formal counterexamples or formal barriers to them purport to be. (shrink)
This paper shows that the counterexamples proposed by Strong in 2008 in the Journal of Medical Ethics to Marquis’s argument against abortion fail. Strong’s basic idea is that there are cases — for example, terminally ill patients — where killing an adult human being is prima facie seriously morally wrong even though that human being is not being deprived of a "valuable future". So Marquis would be wrong in thinking that what is essential about the wrongness of killing an adult (...) human being is that they are being deprived of a valuable future. This paper shows that whichever way the concept of "valuable future" is interpreted, the proposed counterexamples fail: if it is interpreted as "future like ours", the proposed counterexamples have no bearing on Marquis’s argument. If the concept is interpreted as referring to the patient’s preferences, it must be either conceded that the patients in Strong’s scenarios have some valuable future or admitted that killing them is not seriously morally wrong. Finally, if "valuable future" is interpreted as referring to objective standards, one ends up with implausible and unpalatable moral claims. (shrink)
In an earlier paper in these pages (2008), we explored the puzzling link between dispositions and conditionals. First, we rehearsed the standard counterexamples to the simple conditional analysis and the refined conditional analysis defended by David Lewis. Second, we attacked a tempting response to these counterexamples: what we called the ‘getting specific strategy’. Third, we presented a series of structural considerations that pose problems for many attempts to understand the link between dispositions and conditionals. Finally, we developed our own account (...) of this link, which avoids all of the standard counterexamples and comports with the relevant structural considerations. In this paper, we reply to some objections. (shrink)
Choi (Philosophia, 38(3), 2010) argues that my counterexamples in Lee (Philosophia, 38(3), 2010) to the simple conditional analysis of disposition ascription are bogus counterexamples. In this paper, I argue that Choi’s arguments are not satisfactory and that my examples are genuine counterexamples.
In my essay, a critique of “the best secular argument against abortion” I reconstructed and criticised two versions of Don Marquis’s well-known argument against abortion. In critiquing the version I call the “essence argument”, I presented counterexamples to one of the premises in that argument. In this issue of the journal, Ezio Di Nucci takes note of the fact that I used the term “valuable future” in the premise but used the term “future like ours” in the counterexamples. Because the (...) terms are different, Di Nucci claimed that my counterexamples had no bearing on the premise and are therefore unsuccessful. The main error in Di Nucci’s objection is a failure to acknowledge that Marquis uses the terms “valuable future” and “future like ours” interchangeably. For the purpose of reconstructing Marquis’s argument, the term “valuable future” is to be taken in a sense that means the same as “future like ours”. Once this point is recognised, Di Nucci’s objection falls apart. (shrink)
This is a revised version of “Counterexamples to the Transitivity of Better Than,” Australasian Journal of Philosophy, Vol. 76, No. 1 (March 1998), pp. 71-83., which is available on the same webapge.
The likelihood theory of evidence (LTE) says, roughly, that all the information relevant to the bearing of data on hypotheses (or models) is contained in the likelihoods. There exist counterexamples in which one can tell which of two hypotheses is true from the full data, but not from the likelihoods alone. These examples suggest that some forms of scientific reasoning, such as the consilience of inductions (Whewell, 1858. In Novum organon renovatum (Part II of the 3rd ed.). The philosophy of (...) the inductive sciences. London: Cass, 1967), cannot be represented within Bayesian and Likelihoodist philosophies of science. (shrink)
This paper reveals and corrects a flaw in Nozick’s account of knowledge via inference. First, two counterexamples are provided by considering cases which would not typically be regarded as instances of knowledge although they are counted as such by Nozick’s theory. Then the general form of these counterexamples is given. From this it is apparent that the counterexamples show that Nozick’s theory fails to take account of cases in which the subject infers q from p, but in counterfactual situations some (...) proposition other than p would entail q. In view of this, the theory is then revised to eliminate the counterexamples. (shrink)
Incompatibilism about freedom and causal determinism is commonly supported by appeal to versions of the well known Consequence argument. Critics of the Consequence argument have presented counterexamples to the Consequence argument's central inference principle. The thesis of this article is that proponents of the Consequence argument can easily bypass even the best of these counterexamples.
David Makinson has argued that the compelling character of counterexamples to the Recovery Condition on contraction is due to an appeal to justificational structure. In “naked theories” where such structure is ignored or is not present, Recovery does apply. This note attempts to show that Makinson is mistaken on both counts. Recovery fails when no appeal is made to justificational structure.
Murali Ramachandran has kindly provided me with four (alleged) counterexamples to the theory of causation which I recently put forward in Mind (Ramachandran 2000; Noordhof 1999). Space is limited for a response. Since this note will be published Ramachandran's paper, I will not set out the cases he gives. I refer the reader to the appropriate descriptions. I will also presume knowledge of the framework of my paper and just give page references in case this is helpful. I will try (...) to couch the discussion with as little reference to the technical apparatus of my paper as possible. Maybe the ideas will stand out more clearly that way. (shrink)
We produce counterexamples to the unique and cofinal branches hypotheses, assuming (slightly less than) the existence of a cardinal which is strong past a Woodin cardinal.
I give two arguments for the claim that all events which occur at the actual world and are such that they could be caused, are also such that they must actually be caused. The first argument is an improvement of a similar argument advanced by Alexander Pruss, which I show to be invalid. It uses Pruss’s Brouwer Analog for counterfactual logic, and, as a consequence, implies inconsistency with Lewis’s semantics for counterfactuals. While (I suggest) this consequence may not be objectionable, (...) the argument founders on the fact that Pruss’s Brouwer Analog has a clear counterexample. I thus turn to a second, “Lewisian” argument, which requires only an affirmation of one element of Lewis’s analysis of causation and one other, fairly weak possibility claim about the nature of wholly contingent events. The final section of the paper explains how both arguments escape objections from supposed indeterminacy in quantum physics. (shrink)
Andy Clark and David Chalmers claim that cognitive processes can and do extend outside the head.1 Call this the “hypothesis of extended cognition” (HEC). HEC has been strongly criticised by Fred Adams, Ken Aizawa and Robert Rupert.2 In this paper I argue for two claims. First, HEC is a harder target than Rupert, Adams and Aizawa have supposed. A widely-held view about the nature of the mind, functionalism—a view to which Rupert, Adams and Aizawa appear to subscribe— entails HEC. Either (...) HEC is true, or functionalism is false. The relationship between functionalism and HEC goes beyond support for the relatively uncontroversial claim that it is logically or nomologically possible for cognition to extend (the “can” part of HEC); functionalism entails that cognitive processes do extend in the actual world. Second, I argue that the version of HEC entailed by functionalism is more radical than the version that Clark and Chalmers suggest. I argue that it is so radical as to form a counterexample to functionalism. If functionalism is modified to prevent these consequences, then HEC falls victim to Rupert, Adams and Aizawa’s original criticism. An advocate of HEC has two choices: (1) accept functionalism and radical HEC; (2) give up HEC entirely. Clark and Chalmers’ intermediate position of a modest form of HEC is unsustainable. The argument of this paper, although initially appearing to support Clark and Chalmers, ultimately argues against their position. The price of HEC is rampant expansion of the mind into the world, and the implausibility of such expansion is indicative of deep-seated problems with functionalism. The argument of this paper consequently speaks to wider issues than just the status of HEC. The reasons for.. (shrink)
Intuitively, Gettier cases are instances of justified true beliefs that are not cases of knowledge. Should we therefore conclude that knowledge is not justified true belief? Only if we have reason to trust intuition here. But intuitions are unreliable in a wide range of cases. And it can be argued that the Gettier intuitions have a greater resemblance to unreliable intuitions than to reliable intuitions. Whats distinctive about the faulty intuitions, I argue, is that respecting them would mean abandoning a (...) simple, systematic and largely successful theory in favour of a complicated, disjunctive and idiosyncratic theory. So maybe respecting the Gettier intuitions was the wrong reaction, we should instead have been explaining why we are all so easily misled by these kinds of cases. (shrink)
In 1969 Harry Frankfurt published his hugely influential paper 'Alternate Possibilities and Moral Responsibility' in which he claimed to present a counterexample to the so-called 'Principle of Alternate Possibilities' ('a person is morally responsible for what he has done only if he could have done otherwise'). The success of Frankfurt-style cases as counterexamples to the Principle has been much debated since. I present an objection to these cases that, in questioning their conceptual cogency, undercuts many of those debates. Such (...) cases all require a counterfactual mechanism that could cause an agent to perform an action that he cannot avoid performing. I argue that, given our concept of what it is for someone to act, this requirement is inconsistent. Frankfurt-style alleged counterexamples are cases where an agent is morally responsible for an action he performs even though, the claim goes, he could not have avoided performing that action. However, it has recently been argued, e.g. by John Fischer, that a counterexample to the Principle could be a 'Fischer-style case', i.e. a case where the agent can either perform the action or do nothing else. I argue that, although Fischer-style cases do not share the conceptual flaw common to all Frankfurt-style cases, they also fail as counterexamples to the Principle. The paper finishes with a brief discussion of the significance of the Principle of Alternate Possibilities. (shrink)
The question of the psychopath's responsibility for his or her wrongdoing has received considerable attention. Much of this attention has been directed toward whether psychopaths are a counterexample to motivational internalism (MI): Do they possess normal moral beliefs, which fail to motivate them? In this paper, I argue that this is a question that remains conceptually and empirically intractable, and that we ought to settle the psychopath's responsibility in some other way. I argue that recent empirical work on the (...) moral judgments of psychopaths provides us with good reason to think that they are not fully responsible agents, because their actions cannot express the kinds of ill-will toward others that grounds attributions of distinctively moral responsibility. I defend this view against objections, especially those due to an influential account of moral responsibility that holds that moral knowledge is not necessary for responsibility. (shrink)
We previously argued that somatoparaphrenia poses a challenge for David Rosenthal’s Thin Immunity Principle (TIP) and his Higher-Order Thought theory of consciousness. Rosenthal responded that this counterexample can be accommodated, without violating TIP, if it is reinterpreted as a concern about subjective bodily location. But Rosenthal’s interpretation fails, because it treats mental ownership as merely derivative from subjective bodily location. Mental ownership—matters pertaining to who experiences a mental state—can be misrepresented. Acknowledging that who experiences a mental state can be (...) misrepresented has profound empirical implications: a research program for the investigation of this neglected phenomenon is needed. (shrink)
Susan Wolf objects to the Real Self View (RSV) of moral responsibility that it is insufficient, that even if one’s actions are expressions of one’s deepest or “real” self, one might still not be morally responsible for one’s actions. As a counterexample to the RSV, Wolf offers the case of JoJo, the son of a dictator, who endorses his father’s (evil) values, but who is insane and is thus not responsible for his actions. Wolf’s data for this conclusion derives (...) from what she takes to be our “pretheoretic intuitions” about JoJo. As it turns out, though, experimental data on actual pretheoretic intuitions does not seem to support Wolf’s claim. In this paper, we present such data and argue that, at least with respect to this particular objection, the RSV can survive Wolf’s attack intact. (shrink)
Many philosophers (myself included) have been converted to causal decision theory by something like the following line of argument: Evidential decision theory endorses irrational courses of action in a range of examples, and endorses “an irrational policy of managing the news”. These are fatal problems for evidential decision theory. Causal decision theory delivers the right results in the troublesome examples, and does not endorse this kind of irrational news-managing. So we should give up evidential decision theory, and be causal decision (...) theorists instead. Unfortunately, causal decision theory has its own family of problematic examples for which it endorses irrational courses of action, and its own irrational policy that it is committed to endorsing. These are, I think, fatal problems for causal decision theory. I wish that I had another theory to offer in its place. (shrink)
According to the principle of alternative possibilities (PAP), a person is morally responsible for what he has done only if he could have done otherwise. In what follows, I want to defend this principle against an apparent counterexample offered recently by Derk Pereboom (Living without free will, 2001 ; Midwest Studies in Philosophy, 29:228–247, 2005 ). Pereboom’s case, a variant of what are known as ‘Frankfurt cases,’ is important for it attempts to overcome a dilemma posed for earlier alleged (...) counterexamples to PAP. However, I will argue that by paying closer attention to the details of Pereboom’s example, we see that his example fails to show a way between the horns of the dilemma posed for the earlier Frankfurt examples. (shrink)
Timothy Williamson has argued that a person S ’s total evidence is constituted solely by propositions that S knows. This theory of evidence entails that a false belief can not be a part of S ’s evidence base for a conclusion. I argue by counterexample that this thesis (E = K for now) forces an implausible separation between what it means for a belief to be justified and rational from one’s perspective and what it means to base one’s beliefs (...) on the evidence. Furthermore, I argue that E = K entails the implausible result that there are cases in which a well-evidenced belief necessarily can not serve as evidence for a further proposition. (shrink)
In the history of philosophy, especially its recent history, a number of definitions of necessity have been ventured. Most people, however, find these definitions either circular or subject to counterexamples. I will show that, given a broadly Fregean conception of properties, necessity does indeed have a noncircular counterexample-free definition.
In this paper, I distinguish two often-conflated theses—the thesis that all dispositions are intrinsic properties and the thesis that the causal bases of all dispositions are intrinsic properties—and argue that the falsity of the former does not entail the falsity of the latter. In particular, I argue that extrinsic dispositions are a counterexample to first thesis but not necessarily to the second thesis, because an extrinsic disposition does not need to include any extrinsic property in its causal basis. I (...) conclude by drawing some general lessons about the nature of dispositions and their relation to their causal bases. (shrink)
While many are impressed with the utility of possible worlds in linguistics and philosophy, few can accept the modal realism of David Lewis, who regards possible worlds as sui generis entities of a kind with the concrete world we inhabit.1 Not all uses of possible worlds require exotic ontology. Consider, for instance, the use of Kripke models to establish formal results in modal logic. These models contain sets often regarded for heuristic reasons as sets of “possible worlds”. But the “worlds” (...) in these sets can be anything at all; they can be numbers, or people, or sh. The set of worlds, together with the accessibility relation and the rest of the model, is used as a purely formal structure.2 One can even go beyond establishing results about formal systems and apply Kripke models to English, as Charles Chihara has recently argued.3 Chihara shows, for instance, how to use Kripke models (plus primitive modal notions) to give an account of validity for English modal sentences. In other cases worlds are not really needed at all. It is often vivid to give a counterexample thus: “There is a possible world in which P. Since your theory implies that in all worlds, not-P, your theory is wrong.” But the counterexample could just as easily be given using modal operators: “Possibly, P. Since your theory implies that it is necessary that not-P, your theory is wrong.”. (shrink)
Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)
J. A. Gray et al. have recently argued that synaesthesia can be used as a counterexample to functionalism. They provide empirical evidence which they hold supports two anti-functionalist claims: disparate functions share the same types of qualia and the effects of synaesthetic qualia are, contrary to what one would expect from evolutionary considerations, adverse to those functions with which those types of qualia are normally linked. I argue that the empirical evidence they cite does not rule out functionalism, rather (...) the reverse. The fact that the effects of synaesthesia are adverse shows that understanding synaesthetic experiences requires a concept of dysfunction, which in turn presupposes a functionalist account. Such an account, moreover, shows how tokens of the same types of qualia can be associated with different causal histories, thus disarming their first objection. (shrink)
One can have no prior credence whatsoever (not even zero) in a temporally indexical claim. This fact saves the principle of conditionalization from potential counterexample and undermines the Elga and Arntzenius/Dorr arguments for the thirder position and Lewis' argument for the halfer position on the Sleeping Beauty Problem, thereby supporting the double-halfer position. -/- .
The rare condition known as dicephalus occurs when (prior to implantation) a zygote fails to divide completely, resulting in twins who are conjoined below the neck. Human dicephalic twins look like a two-headed person, with each brain supporting a distinct mental life. Jeff McMahan has recently argued that, because they instance two of us but only one animal, dicephalic twins provide a counterexample to the animalist's claim that each of us is identical with a human animal. To the contrary, (...) I argue that in cases of dicephalus it is obvious neither that there is one animal nor that there are two of us. Consequently, the animalist criterion does not straightforwardly apply to cases of dicephalus. I defend an account of dicephalus that is both sensitive to the complexity of twinning phenomena and not inconsistent with animalism. In my view, dicephalic twins are a borderline case of the concept HUMAN ANIMAL. I conclude with some speculative remarks concerning the normative import (if any) of my claim that dicephalic twins are a borderline case. (shrink)
In ‘Two Spheres, Twenty Spheres, and the Identity of Indiscernibles,’ Della Rocca argues that any counterexample to the PII would involve ‘a brute fact of non-identity [. . .] not grounded in any qualitative difference.’ I respond that Adams's so-called Continuity Argument against the PII does not postulate qualitatively inexplicable brute facts of identity or non-identity if understood in the context of Kripkean modality. One upshot is that if the PII is understood to quantify over modal as well as (...) non-modal properties, the qualitative explicability of numerical distinctness requires not the PII but a principle of the identity of necessary indiscernibles. (shrink)
In this paper, I argue that the “Ought Implies Can” (OIC) principle, as it is employed in epistemology, particularly in the literature on epistemic norms, is open to counterexamples. I present a counterexample to OIC and discuss several objections to it. If this counterexample works, then it shows that it is possible that S ought to believe that p, even though S cannot believe that p. If this is correct, then OIC, considered from an epistemic point of view, (...) is false, since it is supposed to hold for any S and any p. (shrink)
Many contemporary epistemologists hold that a subject S’s true belief that p counts as knowledge only if S’s belief that p is also, in some important sense, safe. I describe accounts of this safety condition from John Hawthorne, Duncan Pritchard, and Ernest Sosa. There have been three counterexamples to safety proposed in the recent literature, from Comesaña, Neta and Rohrbaugh, and Kelp. I explain why all three proposals fail: each moves fallaciously from the fact that S was at epistemic risk (...) just before forming her belief to the conclusion that S’s belief was formed unsafely. In light of lessons from their failure, I provide a new and successful counterexample to the safety condition on knowledge. It follows, then, that knowledge need not be safe. Safety at a time depends counterfactually on what would likely happen at that time or soon after in a way that knowledge does not. I close by considering one objection concerning higher-order safety. (shrink)
Ernest Sosa has argued that if someone knows that p, then his belief that p is “safe”. and Timothy Williamson has agreed. In this paper I argue that safety, as defined by Sosa, is not a necessary condition on knowledge – that we can have unsafe knowledge. I present Sosa’s definition of safety and a counterexample to it as a necessary condition on knowledge. I also argue that Sosa’s most recent refinements to the notion of safety don’t help him (...) to avoid the counterexample. I consider three replies on behalf of the defender of safety, and find them all wanting. Finally, I offer a tentative diagnosis of my counterexample. (shrink)
According to Tyes PANIC theory of consciousness, perceptualstates of creatures which are related to a disjunction ofexternal contents will fail to represent sensorily, andthereby fail to be conscious states. In this paper I arguethat heat perception, a form of perception neglected in therecent literature, serves as a counterexample to Tyesradical externalist claim. Having laid out Tyes `absentqualia scenario, the PANIC theory from which it derivesand the case of heat perception as a counterexample, Idefend the putative counterexample against (...) three possibleresponses: (1) that heat perception represents general(i.e. non-disjunctive) intrinsic properties of objects,(2) that heat perception represents the non-specific heatenergy that is transferred between a subjects body andanother body and (3) that heat perception exclusivelyrepresents heat properties of the subjects own body. (shrink)
Here is a simple counterexample to David Lewis’s causal influence account of causation, one that is especially illuminating due to its connection to what Lewis himself writes: it is a variant of his trumping example.
