The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

Assertions are praised as true, informative, relevant, sincere, warranted, well-phrased, or polite. They are criticized as false, uninformative, irrelevant, insincere, unwarranted, ill-phrased, or rude. Sometimes they deserve such praise or criticism. If any respect in which performances of an act can deserve praise or criticism is a norm for that act, then the speech act of assertion has many norms. So has almost any act; jumps can deserve praise as long or brave, criticism as short or cowardly. But it is (...) natural to suppose that some norms are more intimately connected to the nature of asserting than any norm is to the nature of jumping. One might suppose, for example, that someone who knowingly asserts a falsehood has thereby broken a rule of assertion, much as if he had broken a rule of a game; he has cheated. On this view, the speech act, like a game and unlike the act of jumping, is constituted by rules. Thus, not all norms for assertion are on a par. Norms such as relevance, good phrasing, and politeness are just applications of more general cognitive or social norms to the specific act of assertion. Perhaps the norm of informativeness results from a more complex interaction between a general norm of cooperativeness and the nature of assertion as a source of information. But on this view, not all norms for assertion derive from more general norms; otherwise nothing would differentiate it from other speech acts. (shrink)

The paper challenges the inferentialist account of concept possession that Paul Boghossian takes as a premise in his account of the transmission of justification by deductive reasoning in his paper 'Blind Reasoning'. Unorthodox speakers who reject the inferences in an alleged possession condition can still have the concept by understanding a word for it. In that sense, the inferences are not analytic. Inferentialist accounts of logical constants, theoretical terms (using the Ramsey-Carnap-Lewis method) and pejorative expressions such as 'Boche' are examined (...) and rejected. It is suggested that epistemological questions cannot be reduced to questions in the theory of thought and meaning. (shrink)

The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...) neutralized by the possibility of studying all these alternative logics within an agreed metalogical framework, typically that of first-order logic with set theory. In effect, metalogic is given the role of neutral arbiter. The paper will consider a variety of examples in which deep logical disputes re-emerge at the meta-level. One case is quantified modal logic, where some varieties of actualism require a modal meta-language (as opposed to the usual non-modal language of possible worlds model theory) in order not to make their denial of the Barcan formula self-defeating. Similarly, on some views the intended model theory for second-order logic can only be given in a second-order metalanguage—this may be needed to avoid versions of Russell’s paradox when the first-order quantifiers are read as absolutely unrestricted. It can be shown that the phenomenon of higher-order vagueness eventually forces fuzzy logical treatments of vagueness to use a fuzzy metalanguage, with consequent repercussions for what first-order principles are validated. The difficulty of proving the completeness of first-order intuitionistic logic on its intended interpretation by intuitionistically rather than just classically valid means is a more familiar example. These case studies will be discussed in some detail to reveal a variety of ways in which even metalogic is metaphysically contested, substantial and non-neutral. (shrink)

Isn't probability 1 certainty? If the probability is objective, so is the certainty: whatever has chance 1 of occurring is certain to occur. Equivalently, whatever has chance 0 of occurring is certain not to occur. If the probability is subjective, so is the certainty: if you give credence 1 to an event, you are certain that it will occur. Equivalently, if you give credence 0 to an event, you are certain that it will not occur. And so on for other (...) kinds of probability, such as evidential probability. The formal analogue of this picture is the regularity constraint: a probability distribution over sets of possibilities is regular just in case it assigns probability 0 only to the null set, and therefore probability 1 only to the set of all possibilities. (shrink)

Isn't probability 1 certainty? If the probability is objective, so is the certainty: whatever has chance 1 of occurring is certain to occur. Equivalently, whatever has chance 0 of occurring is certain not to occur. If the probability is subjective, so is the certainty: if you give credence 1 to an event, you are certain that it will occur. Equivalently, if you give credence 0 to an event, you are certain that it will not occur. And so on for other (...) kinds of probability, such as evidential probability. The formal analogue of this picture is the regularity constraint: a probability distribution over sets of possibilities is regular just in case it assigns probability 0 only to the null set, and therefore probability 1 only to the set of all possibilities. (shrink)

What we call “the evidential argument from evil” is not one argument but a family of them, originating (perhaps) in the 1979 formulation of William Rowe. Wykstra’s early versions of skeptical theism emerged in response to Rowe’s evidential arguments. But what sufficed as a response to Rowe may not suffice against later more sophisticated versions of the problem of evil—in particular, those along the lines pioneered by Paul Draper. Our chief aim here is to make an earlier version of skeptical (...) theism more responsive to the type abductive atheology pioneered by Draper. In particular, we suggest a moderate form of skeptical theism may be able to resist Draper’s abductive atheology. (shrink)

1 Department of Philosophy, University of Dundee, Dundee DD1 4HN. [email protected].

Many advocates of non-classical logic for reasons external to mathematics claim that their proposed revisions are consistent with the use of classical logic within pure mathematics. Doubts are raised about such claims, concerning the applicability of pure mathematics to natural and social science. -/- .

Most of our knowledge is inexact, and known by us to be so. An example of such known inexactness will be described in some detail. The description seems to entail a contradiction. However, the paradoxical reasoning rests on an assumption. It will be suggested that the description is correct and this assumption false. Its failure will be explained by means of a picture of inexact knowledge in which the notion of a margin for error is central. This picture suggests diagnoses (...) of other paradoxical arguments: Surprise Examinations, backwards inductions about Iterated Prisoner's Dilemma, and the Heap. (shrink)

Perennial philosophers' hopes are unlikely victims of swift, natural deduction. Yet anti-realism has been thought one. Not hoping for anti-realism myself I here show it, lest it be underestimated, to survive the following argument, adapted from W. D.Hart pp. 156, 164-5; he credits first publication to Fitch).

This study considers the philosophical arguments against that Extended Conciliar Christology and argues that none of them succeed in showing the doctrine to be false, or incoherent, or inconsistent.

The full-text of this article is not currently available in ORA, but you may be able to access the article via the publisher copy link on this record page. N.B. Prof Williamson is now based at the Faculty of Philosophy, University of Oxford.

Nietzsche consistently valorizes artistic falsehoods. On standard interpretations, this is because art provides deceptive yet salutary fictions that help us affirm life. This reading conflicts, however, with Nietzsche’s insistence that life-affirmation requires untrammeled honesty. I present an alternative interpretation which navigates the interpretive impasse. With special attention to the influence of Friedrich Schiller, the paper argues for three claims: (1) Nietzsche does not hold that art is false because it “beautifies,” but because it produces mere semblances of, its objects; (2) (...) these semblances are essentially non-deceptive; (3) he values artistic illusions because they dispose us positively to illusion more generally. Such ‘evaluative reorientation,’ I argue, is not merely consistent with, but integral to, achieving Nietzsche’s ideal of honesty. (shrink)

Until recently, many philosophers took Causal Decision Theory to be more successful than its rival, Evidential Decision Theory. Things have changed, however, with a renewed concern that cases involving an extreme form of decision instability are counterexamples to CDT :392–403, 1984; Egan in Philos Rev 116:93–114, 2007). Most prominent among those cases of extreme decision instability is the Psychopath Button, due to Andy Egan; in that case, CDT recommends a seemingly absurd act that almost certainly results in your death. This (...) renewed attention to decision instability has spurned an array of modifications to and rejections of CDT. I argue, however, that the Psychopath Button and its ilk are no counterexamples to CDT. That is, given the causalist’s commitments in Newcomb Problems, they already have the tools to justify CDT’s verdict in Egan-style cases of extreme decision instability. I first argue that there is no reason to think the Psychopath Button is a counterexample to CDT; in particular, many philosophers have placed too much weight on pre-theoretic intuition in Egan-cases, and apart from pre-theoretic intuition, arguments against CDT in cases of extreme decision instability are flawed. My second claim is that the causalist can provide good reasons for following CDT in cases of extreme decision instability. I present a new case, the Two Button Defense, that highlights precisely why the causalist can reasonably follow CDT in even the Psychopath Button. CDT therefore stands as a viable decision theory, without need for modification, restriction, or rejection. (shrink)

Samuel Clarke was one of Spinoza's earliest and fiercest opponents in England. I uncover three related Clarkean arguments against Spinoza's metaphysic that deserve more attention from readers today. Collectively, these arguments draw out a tension at the very heart of Spinoza's rationalist system. From the conjunction of a necessary being who acts necessarily and the principle of sufficient reason, Clarke reasons that there could be none of the diversity we find in the universe. In doing so, Clarke potentially reveals an (...) inconsistent triad in Spinoza. Responses to this inconsistency map onto a deep division in the contemporary Spinoza literature. I conclude that Clarke's arguments provide a new approach to the recently revived debate over acosmic interpretations of Spinoza and point to new interpretive possibilities. (shrink)

Of all the cases made against classical logic, Michael Dummett's is the most deeply considered. Issuing from a systematic and original conception of the discipline, it constitutes one of the most distinctive achievements of twentieth century British philosophy. Although Dummett builds on the work of Brouwer and Heyting, he provides the case against classical logic with a new, explicit and general foundation in the philosophy of language. Dummett's central arguments, widely celebrated if not widely endorsed, concern the implications of the (...) relation between meaning and use for both the inference rules that govern logical connectives and the relation between truth and its recognition. It is less often noted that Dummett has a further argument against classical logic, one based on the semantic and set-theoretic paradoxes. That is the topic of this paper. (shrink)

This book is intended as a philosophical introduction to geo-ontologies, in response to their increasing diffusion within the contemporary debate, where philosophy plays a fundamental, though still unexplored, role. Accordingly, the first part offers a short overview of the ontological background of geo-ontologies, which comprehends computer science, philosophy and geography. The second part is devoted to describe the ontology of geography, to define notions such as geographical entities and boundaries, and to trace some philosophical tools useful for spatial representation. The (...) third part investigates the emerging of geo-ontologies from the spatial turn and is concerned with a taxonomy for geo-ontologies grounded on some fundamental geographical distinctions. Finally, the last part presents the emergence of Digital Humanities and the consequent proliferation of geographical projects focused on the ancient world, in particular Greek and Roman. (shrink)

When I take off my glasses, the world looks blurred. When I put them back on, it looks sharpedged. I do not think that the world really was blurred; I know that what changed was my relation to the distant physical objects ahead, not those objects themselves. I am more inclined to believe that the world really is and was sharp-edged. Is that belief any more reasonable than the belief that the world really is and was blurred? I see more (...) accurately with my glasses on than off, so visual appearances when they are on have some cognitive priority over visual appearances when they are off. If I must choose which kind of visual appearance to take at face value, I will choose the sharp-edged look. But what should I think when I see a mist, which looks very blurred however well I am seeing? Indeed, why choose to take any of the looks at face value? Why not regard all the choices as illegitimate projections of ways of seeing the world onto the world itself? (shrink)

Dummett's account of the semantic paradoxes in terms of his theory of indefinitely extensible concepts is compared with Bürge's account in terms of indexicality. Dummett's appeal to intuitionistic logic does not block the paradoxes but Bürge's attempt to avoid the Strengthened Liar is unconvincing. It is argued that in order to avoid the Strengthened Liar and other semantic paradoxes involving nonindexical expressions (constants), one must postulate that when we reflect on the paradoxes there are slight shifts in the meaning (not (...) just reference) we ascribe to metalinguistic expressions (in particular 'say', and derivatively 'true' and 'false'). Consideration of metaphor and gradual linguistic change suggests that such semantic shifts are consistent with language-learning and communication. On this account there is no threat to classical logic, bivalence or the fundamental principles governing 'true' and 'false'. (shrink)

Contextualism is relativism tamed. Relativism about truth is usually motivated by the idea of no-fault disagreement. Imagine two parties: one (she) says ‘P’; the other (he) says ‘Not P’.1 Apparently, if P then ‘P’ is true and ‘Not P’ false, so she is right and he is wrong; if not P then ‘P’ is false and ‘Not P’ true, so he is right and she is wrong. In both cases, there is an asymmetry between the two parties. Since P or (...) not P (by the law of excluded middle), there is indeed an asymmetry between them, one way or the other. Yet the two parties may strike a neutral observer as on a par, equally intelligent, informed, perceptive and alert. Relativists about truth strive to dissolve the unpleasant asymmetry: ‘”P” is true for her; “Not P” is true for him’. Trouble starts when we ask what the relativists mean by ‘for’ in the construction ‘true for X’. If to call something true ‘for’ X is just to say that X believes that it is true, then the attempted dissolution amounts to this: ‘She believes that “P” is true; he believes that “Not P” is true’. But that is to add no more than that both parties believe that they are right; it does nothing to undermine the argument for an asymmetry between them. Relativists had better mean something else by ‘true for X’. When asked to explain what else they mean, wild relativists bluster incoherently. Contextualists, by contrast, have a clear answer. A sentence is true for X if and only if it is true as uttered by X, true relative to a context in which X is the speaker. Such relativism is tame because the relativity to context in the truth-value of a sentence allows for absoluteness in the truth-value of what the sentence is used to say in a given context. When she says ‘P’, she speaks truly: not just truly for her, but absolutely truly. When he says ‘Not P’, he too speaks truly: not just truly for him, but absolutely truly. The argument for asymmetry 1 assumes that, when she says ‘P’, she speaks truly if and only if P, and when he says ‘Not P’, he speaks truly if and only if not P.. (shrink)

The paper explains how Gettier’s conclusion can be reached on general theoretical grounds within the framework of epistemic logic, without reliance on thought experiments. It extends the argument to permissive conceptions of justification that invalidate principles of multi-premise closure and require neighbourhood semantics rather than semantics of a more standard type. The paper concludes by recommending a robust methodology that aims at convergence in results between thought experimentation and more formal methods. It also warns against conjunctive definitions as sharing several (...) of the drawbacks of disjunctive definitions. (shrink)

Effective Altruism encourages affluent people to make significant donations to improve the wellbeing of the world’s poor, using quantified and observational methods to identify the most efficient charities. Critics argue that EA is inattentive to the systemic causes of poverty and underestimates the effectiveness of individual contributions to systemic change. EA claims to be open to systemic change but suggests that systemic critiques, such as the socialist critique of capitalism, are unhelpfully vague and serve primarily as hypocritical rationalizations of continued (...) affluence. I reformulate the systemic change objection, rebut the charges of vagueness and bad faith and argue that charity may not be worth doing at all from a purely altruistic perspective. In order to take systemic change seriously, EA must repudiate its narrowly empiricist approach, embrace holistic, interpretive social analysis and make inevitably controversial judgments about the complex dynamics of collective action. These kinds of evidence and judgment cannot be empirically verified but are essential to taking systemic change seriously. EA is thereby forced to sacrifice its a-political approach to altruism. I also highlight the importance of quotidian, extra-political contributions to perpetuating or changing harmful social practices. Radical efforts to resist, subvert and reconstruct harmful social practices, such as those involved in economic decision-making, could be just as effective and demanding as charity. But such efforts may be incompatible with extensive philanthropy, because they can require people to retain some level of affluence for strategic reasons but to repudiate both the acquisition of significant wealth and charity as is currently organized. The wealth and status of some critics of charity may indeed be incompatible with effectively contributing to social change, but the altruistic merits of charity are neither as obvious nor as easily demonstrated as EA believes. (shrink)

The article presents an anti-exceptionalist view of philosophical methodology, on which it is much closer to the methodology of other disciplines than many philosophers like to think. Like mathematics, it is a science, but not a natural science. Its methods are not primarily experimental, though it can draw on the results of natural science. Like foundational mathematics, its methods are abductive as well as deductive. As in the natural sciences, much progress in philosophy consists in the construction of better models (...) rather than in the discovery of new laws. We should not worry about whether philosophy is a priori or a posteriori, because the distinction is epistemologically superficial. (shrink)

Operational epistemology is, to a first approximation, the attempt to provide cognitive rules such that one is in principle always in a position to know whether one is complying with them. In Knowledge and its Limits, I argue that the only such rules are trivial ones. In this paper, I generalize the argument in several ways to more thoroughly probabilistic settings, in order to show that it does not merely demonstrate some oddity of the folk epistemological conception of knowledge. Some (...) of the generalizations involve a formal semantic framework for treating epistemic probabilities of epistemic probabilities and expectations of expectations. The upshot is that operational epistemology cannot work, and that knowledge-based epistemology has the right characteristics to avoid its problems. (shrink)

There is an argument which seems to show that if all truths are knowable then all truths are known. It may be viewed as a "reductio ad absurdum" of certain forms of antirealism. However, The claim has been made elsewhere that the argument fails against antirealists who employ constructivist rather than classical logic. The paper defends and amplifies this claim against criticisms by crispin wright and others. Relations between knowability and time are discussed. Suggestions are also made about the proper (...) form of the constructivist semantics for the conditional, Involving a non-Platonistic version of the distinction between types and tokens of proofs. (shrink)

Audi explains what he means by ‘normative’ in the case of belief: cognitive (epistemic) normativity is a matter of what ought to be believed, where the force of the “ought” is in part to attribute liability to criticism and negative (disapproving) attitudes toward the person(s) in question.

This paper critically examines Michael Zimmerman’s account of basic final value in The Nature of Intrinsic Value. Zimmerman’s account has several positive features. Unfortunately, as I argue, given one plausible assumption about value his account derives a contradiction. I argue that rejecting that assumption has several implausible results and that we should instead reject Zimmerman’s account. I then sketch an alternative account of basic final value, showing how it retains some of the positive features of Zimmerman’s account while avoiding its (...) pitfalls. (shrink)

Despite their recent development, geo-ontologies represent a complicated conundrum for the different experts involved in their design. Computer scientists use ontologies for describing the meaning of data and their semantics in order to make information resources built for humans understandable also for artificial agents. Geographers pursue conceptualizations that describe the domain of interest in a way that should be accessible, informative, and complete for their final recipients. In this context, philosophers are not required to sketch the historical background of ontology. (...) Rather, they should offer conceptual solutions for carving nature at the joints and choosing how best to categorize and classify the different entities belonging to the geographical domain in question. Accordingly, the aim of this paper is to combine assumptions and requirements coming from these different areas of research in order to show what different categories might potentially complete the current domain of geo-ontologies. (shrink)

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the (...) meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge. (shrink)

1. As John Hawthorne and Maria Lasonen-Aarnio appreciate, some of the central issues raised in their ‘Knowledge and Objective Chance’ arise for all but the most extreme theories of knowledge. In a wide range of cases, according to very plausible everyday judgments, we know something about the future, even though, according to quantum mechanics, our belief has a small but nonzero chance (objective probability) of being untrue. In easily constructed examples, we are in that position simultaneously with respect to many (...) different propositions about the future that are equiprobable and probabilistically independent of each other, at least to a reasonable approximation. (shrink)

A kind of intellectual project characteristic of Ernest Sosa is to resolve an apparently flat-out dispute by showing that it is not after all a zero-sum game. His irenic goal is to do justice to both sides and give each of them most of what it wants. In his subtle paper ‘Abilities, Concepts, and Externalism’ he applies this strategy to the dispute between internalism and externalism in the philosophy of mind. It is a pleasure to engage in discussion with a (...) philosopher of Sosa’s fair-mindedness and analytical skills. (shrink)

Obesity is often considered a public health crisis in rich countries that might be alleviated by preventive regulations such as a sugar tax or limiting the density of fast food outlets. This paper evaluates these regulations from the point of view of equity. Obesity is in many countries correlated with socioeconomic status and some believe that preventive regulations would reduce inequity. The puzzle is this: how could policies that reduce the options of the badly off be more equitable? Suppose we (...) distinguish: (1) the badly off have poor options from (2) the badly off are poor at choosing between their options (ie, have a choosing problem). If obesity is due to a poverty of options, it would be perverse to reduce them further. Some people in public health say that preventive regulations do not reduce options but, I shall argue, they are largely wrong. So the equity case for regulations depends on the worst off having a choosing problem. It also depends on their having a choosing problem that makes their choices against their interests. Perhaps they do. I ask, briefly, what the evidence has to say about whether the badly off choose against their interests. The evidence is thin but implies that introducing preventive regulations for the sake of equity would be at least premature. (shrink)

In his recent article “Against Divine Truthmaker Simplicity,” Noël Saenz has provided two careful arguments for the falsity of a theory of divine simplicity which he dubs “Divine Truthmaker Simplicity.” In this brief response, I criticize his two arguments, arguing that neither is sound.

Evidentialism has shown itself to be an important research program in contemporary epistemology, with evidentialists giving theories of virtually every important topic in epistemology. Nevertheless, at the heart of evidentialism is a handful of concepts, namely evidence, evidence possession, and evidential fit. If evidentialists cannot give us a plausible account of these concepts, then their research program, with all its various theories, will be in serious trouble. In this paper, I argue that evidentialists has yet to give a plausible account (...) of evidence possession and the prospects for doing so are dim. (shrink)

Rational thinkers respect their evidence. Properly understood, that is a platitude. But how can one respect one's evidence unless one knows what it is? So must not rational thinkers know what their evidence is?

Russian translation of Williamson T. Imagination, Stipulation and Vagueness // Philosophical Issues, 8, 1997. Translated by Alisa Veruk, Nina Zubkova with kind permission of the author.