The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

Improbable knowing is knowing something even though it is almost certain on one’s evidence at the time that one does not know that thing. Once probabilities on the agent’s evidence are introduced into epistemic logic in a very natural way, it is easy to construct models of improbable knowing, some of which have realistic interpretations, for instance concerning agents like us with limited powers of perceptual discrimination. Improbable knowing is an extreme case of failure of the KK principle, that is, (...) of a case of knowing something even though one does not know at the time that one knows that thing. A generalization of the argument yields cases of improbable rationality, in which it is rational for one to do something even though it is almost certain on one’s evidence at the time that it is not rational for one to do that thing. When the models are elaborated to represent appearances and beliefs as well as knowledge, they turn out to contain Gettier cases. Neglect of the possibility of improbable knowing may cause some sceptical claims and claims of the non-closure of knowledge under competent deduction to look more plausible than they deserve to. A formal appendix explores the closely related question of the conditions under which a reflection principle is violated. The principle says that the evidential probability of a proposition conditional on the evidential probability of that proposition’s being c is itself c. (shrink)

_Identity and Discrimination_, originally published in 1990 and the first book by respected philosopher Timothy Williamson, is now reissued and updated with the inclusion of significant new material. Williamson here proposes an original and rigorous theory linking identity, a relation central to metaphysics, and indiscriminability, a relation central to epistemology.__ Updated and reissued edition of Williamson’s first publication, with the inclusion of significant new material Argues for an original cognitive account of the relation between identity and (...) discrimination that has been influential in the philosophy of perception Pioneers the use of epistemic logic to solve puzzles about indiscriminability Develops the application of techniques from mathematical logic to understand issues about identity over time and across possible worlds. (shrink)

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

The main aim of this book is to encourage philosophers to take a more sophisticated and scientific attitude to their handling of evidence, both in theory and in practice, by introducing two categories neglected in current metaphilosophy. The first category is that of heuristics. These are typically efficient ways of solving problems of some kind, quick and easy to use, and mostly but not always reliable. Those most probably central to philosophical methodology are more or less humanly universal general cognitive (...) heuristics which we employ without conscious reflection. In many plausible cases, they can be shown to be implicitly inconsistent, and so cannot be perfectly valid, though for evolutionary reasons they are likely to be fairly reliable in normal cases. Such heuristics may well generate false but convincing data as applied to some actual or hypothetical. Arguably, the heuristics also generate philosophical paradoxes, just as heuristics embedded in our perceptual systems generate perceptual illusions. The second category is that of overfitting. This is a recognized pathology in science, when models are allowed to become very complicated to achieve a close fit with data, and further complications typically keep having to be made as new data comes in. When the data contains errors, such theorizing provides little insight. Scientists guard against overfitting by strongly preferring comparatively simple models. Philosophers should learn to do the same. This approach is applied to debates between coarse-grained (intensionalist) and fine-grained (hyperintensionalist) theories of metaphysics, ascriptions of propositional attitudes, and other topics, in favour of intensionalism. (shrink)

This paper aims to identify the constitutive rule of assertion, conceived by analogy with the rules of a game. That assertion has such rules is by no means obvious; perhaps it is more like a natural phenomenon than it seems. One way to find out is by supposing that it has such rules, in order to see where the hypothesis leads and what it explains. That will be done here. The hypothesis is not perfectly clear, of course, but we have (...) at least a crude conception of constitutive rules, which we may refine as we elaborate the hypothesis. Although no attempt will be made here to define ‘rule’, some remarks on constitutive rules will focus the discussion. (shrink)

'Knowledge and its Limits' starts its exposition of the knowledge-first approach to epistemology with a structural analogy between knowledge and action as the two key relations between mind and world (Williamson 2000: 1, 6-8). This chapter aims to reconsider the relation between knowledge and action, and refine the analogy.

Understandably absorbed in technical details, discussion of the semantic paradoxes risks losing sight of broad methodological principles. This chapter sketches a general approach to the comparison of rival logics, and applies it to argue that revision of classical propositional logic has much higher costs than its proponents typically recognize.

On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...) context C if and only if everything that is relevant in C satisfies the predicate ‘F’; ‘everything’ ranges just over the contextually relevant things. Such generality is restricted in a context-relative way. (shrink)

Lemmon and Scott introduced the notion of a modal system's providing the rule of disjunction. No consistent normal extension of KB provides this rule. An alternative rule is defined, which KDB, KTB, and other systems are shown to provide, while K and other systems provide the Lemmon-Scott rule but not the alternative rule. If S provides the alternative rule then either —A is a theorem of S or A is whenever A -> ΠA is a theorem; the converse fails. It (...) is suggested that systems with this property are appropriate for handling sorites paradoxes, where D is read as 'clearly*. The S4 axiom fails in such systems. (shrink)

§I schematises the evidence for an understanding of ‘know’ and other terms of epistemic appraisal that embodies contextualism or subject-sensitive invariantism, and distinguishes between those two approaches. §II argues that although the cases for contextualism and sensitive invariantism rely on a principle of charity in the interpretation of epistemic claims, neither approach satisfies charity fully, since both attribute metalinguistic errors to speakers. §III provides an equally charitable anti-sceptical insensitive invariantist explanation of much of the same evidence as the result of (...) psychological bias caused by salience effects. §IV suggests that the explanation appears to have implausible consequences about practical reasoning, but also that applications of contextualism or sensitive invariantism to the problem of scepticism have such consequences. §V argues that the inevitable difference between appropriateness and knowledge of appropriateness in practical reasoning, closely related to the difference between knowledge and knowledge of knowledge, explains the apparent implausibility. (shrink)

It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) necessary existence, a proof that generalizes to everything whatsoever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

This chapter responds to Saul Kripke’s critique of the idea of adopting an alternative logic. It defends an anti-exceptionalist view of logic, on which coming to accept a new logic is a special case of coming to accept a new scientific theory. The approach is illustrated in detail by debates on quantified modal logic. A distinction between folk logic and scientific logic is modelled on the distinction between folk physics and scientific physics. The importance of not confusing logic with metalogic (...) in applying this distinction is emphasized. Defeasible inferential dispositions are shown to play a major role in theory acceptance in logic and mathematics as well as in natural and social science. Like beliefs, such dispositions are malleable in response to evidence, though not simply at will. The chapter considers the Quinean objection that accepting an alternative logic involves changing the subject rather than denying the doctrine. The objection is shown to depend on neglect of the social dimension of meaning determination, akin to descriptivism about proper names and natural kind terms criticized by Kripke and Putnam. Normal standards of interpretation indicate that disputes between classical and non-classical logicians are genuine disagreements. (shrink)

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (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)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

Two opposing tendencies in the philosophy of language go by the names of ‘referentialism’ and ‘inferentialism’ respectively. In the crudest version of the contrast, the referentialist account of meaning gives centre stage to the referential semantics for a language, which is then used to explain the inference rules for the language, perhaps as those which preserve truth on that semantics (since a referential semantics for a language determines the truth-conditions of its sentences). By contrast, the inferentialist account of meaning gives (...) centre stage to the inference rules for the language, which are then used to explain its referential semantics, perhaps as the semantics on which the rules preserve truth. On pain of circularity, we cannot combine both directions of explanation. (shrink)

An interview with Timothy Williamson on Modality and other matters. Williams is asked three main questions: the first about the difference between philosophical and non-philosophical knowledge, the second concerns the epistemology of modality, and the third is on the emerging metaphysical picture.

Epistemic logics for subjects of bounded rationality are in effect nonnormal modal logics. Admissible rules are of interest in such logics. However, the usual methods for establishing admissibility employ Kripke models and are therefore inappropriate for nonnormal logics. This paper extends syntactic methods for a variety of rules and nonnormal logics. In doing so it answers a question asked by Chellas and Segerberg.

1. What are called ‘intuitions’ in philosophy are just applications of our ordinary capacities for judgement. We think of them as intuitions when a special kind of scepticism about those capacities is salient. 2. Like scepticism about perception, scepticism about judgement pressures us into conceiving our evidence as facts about our internal psychological states: here, facts about our conscious inclinations to make judgements about some topic rather than facts about the topic itself. But the pressure should be resisted, for it (...) rests on bad epistemology: specifically, on an impossible ideal of unproblematically identifiable evidence. 3. Our resistance to scepticism about judgement is not simply epistemic conservativism, for we resist it on behalf of others as well as ourselves. A reason is needed for thinking that beliefs tend to be true. 4. Evolutionary explanations of the tendency assume what they should explain. Explanations that appeal to constraints on the determination of reference are more promising. Davidson’s truth-maximizing principle of charity is examined but rejected. 5. An alternative principle is defended on which the nature of reference is to maximize knowledge rather than truth. It is related to an externalist conception of mind on which knowing is the central mental state. 6. The knowledge-maximizing principle of charity explains why scenarios for scepticism about judgement do not warrant such scepticism, although it does not explain how we know in any particular case. We should face the fact that evidence is always liable to be contested in philosophy, and stop using talk of intuition to disguise this unpleasant truth from ourselves. (shrink)

The possibility of justified true belief without knowledge is normally motivated by informally classified examples. This paper shows that it can also be motivated more formally, by a natural class of epistemic models in which both knowledge and justified belief are represented. The models involve a distinction between appearance and reality. Gettier cases arise because the agent's ignorance increases as the gap between appearance and reality widens. The models also exhibit an epistemic asymmetry between good and bad cases that sceptics (...) seem to ignore or deny. (shrink)

This article argues that heuristics play a key role in philosophy, in generating both our verdicts on proposed counterexamples to philosophical theories and philosophical paradoxes. Heuristics are efficient ways of answering questions, quick and easy to use, but imperfectly reliable. They have been studied by psychologists and cognitive scientists such as Gigerenzer and Kahneman, but their relevance to philosophical methodology has not been properly recognized. Several heuristics are discussed at length. Thepersistence heuristiccan be summarized in the slogan ‘Small changes don’t (...) matter’. Without it, updating would present an intractable problem for both natural and artificial intelligence. But our reliance on the persistence heuristic also makes us vulnerable to paradoxes of vagueness.Disquotational heuristicsof various kinds are considered. They play central roles in our ascriptions of truth, falsity, and belief, but they also generate semantic paradoxes such as the Liar and Frege puzzles about coreference. The use of an additive heuristic for combining reasons is also discussed. Our reliance on fallible heuristics in philosophy does not make philosophical knowledge impossible, just as our reliance on fallible heuristics in perception does not make perceptual knowledge impossible. Nevertheless, it should motivate us to take a more critical attitude to our data. By identifying and analyzing the heuristics on which we rely, we may be able to work out where they make us most vulnerable to error. (shrink)

The lecture starts by considering analytic philosophy as a tradition, and its global spread over recent years, of which Disputatio’s success is itself evidence. The costs and benefits of the role of English as the international language of analytic philosophy are briefly assessed. The spread of analytic philosophy is welcomed as the best hope for scientific philosophy, in a sense of ‘science’ on which mathematics, history, and philosophy can all count as sciences, though not as natural sciences. Arguably, experimental philosophy (...) provides no plausible alternative methodology for philosophy, only a way of psychologizing it. However, it serves a useful purpose by highlighting the inadequacy of current methods for detecting errors in judgments on possible cases, which may result from reliance on possibly universal but imperfectly reliable cognitive heuristics. The problem is exacerbated by analytic philosophers’ tendency to regard increased flexibility in a theoretical framework as progress, where natural scientists would treat it as methodologically vicious profligacy with degrees of freedom. The result is a familiar type of bad science, overfitting theory to uncritically accepted data. The recent ‘hyperintensional revolution’ may be an example of such overfitting, it is suggested. The lecture ends with a call for a more miserly attitude to degrees of freedom. (shrink)

A concept of informational equivalence between relations is explicated to generalize some suggestions by Geach. It is shown that two relations are informationally equivalent if and only if each can be defined in terms of the other without the use of quantifiers. It is shown that there is a general method for listing the ./-place relations informationally equivalent to an arbitrary given /-place relation if and only if i (...) the invariants of the group of invertible quantifier-free definitions, for / =j. Quantifier-free definition is contrasted with general first-order definition by means of an example of two first-order interdefinable relations which are not interdefined by any pair of mutually inverse first-order definitions. (shrink)

Timothy Williamson; VII*—Equivocation and Existence, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 109–128, https://doi.org/10.

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)

Frege puzzles exploit cognitive differences between co-referential terms. Traditionally, they were handled by some version of Frege’s distinction between sense and reference, which avoided disruptive consequences for epistemology. However, the Fregean programme did not live up to its original promise, and was undermined by the development of theories of direct reference; for semantic purposes, its prospects now look dim. In particular, well-known analogues of Frege puzzles concern pairs of uncontentious synonyms; attempts to deal with them by distinguishing idiolects or postulating (...) ‘narrow contents’ or elaborate forms of context-sensitivity are inadequate or semantically implausible. Although ascriptions of knowledge, belief, and other attitudes are ubiquitous in epistemology, epistemologists have not properly come to terms with the surprising consequences of anti-Fregean semantic accounts of attitude ascriptions. In ‘A Puzzle about Belief ’, Saul Kripke shows that natural-seeming disquotational principles for ascribing belief lead to apparently unacceptable consequences, including outright contradictions, in problem cases. Such disquotation principles, I argue, are best regarded not as conceptual connections but just as heuristics in the psychological sense, quick and easy ways of assessing belief ascriptions, usually accurate under normal conditions but far from 100% reliable. I discuss similar heuristics for ascribing knowledge and other attitudes. That the principles have a merely heuristic status need not be pre-theoretically manifest to their users. This view vindicates Kripke’s conclusion that it would be wrong-headed to draw semantic conclusions from Frege puzzles. I discuss the epistemological consequences of an anti-Fregean approach to Frege puzzles, including for Kripke’s cases of the contingent a priori and the necessary a posteriori, but also for evidence, for epistemic modalities, and for epistemic and subjective conceptions of probability. Anna Mahtani’s recent identification of Frege puzzles for the ex ante Pareto Principle as used in welfare economics provides an interesting example. I suggest a model-building methodology as the most promising way of handling at least some of the difficulties. A final issue is the choice between different anti-Fregean approaches to semantics, from very coarse-grained intensional approaches on which sentences express functions from possible worlds to truth-values to more fine-grained hyperintensional approaches on which sentences express functions from possible or impossible worlds to truth-values or else Russellian structured propositions. Some of the hyperintensional theories violate semantic compositionality. More generally, since our attitude ascriptions rely on heuristics, they should be expected to exhibit some level of error; although hyperintensional approaches may be able slightly to reduce the level of postulated error, they do so at the cost of vastly increased theoretical complexity, and so have weak explanatory power. Methodologically, a simple intensional approach does better. (shrink)

This chapter argues that the speech act of assertion is fundamentally characterized by the rule that one should assert only what one knows to be the case. Accounts based on other rules such as that one should assert only what is true or what one reasonably believes are argued to give false predictions in various cases, such as assertions about lotteries. The connection between knowledge and assertion is shown not to be merely a matter of Grice's conversational implicature. The account (...) is applied to the connection between assertion and proof in mathematics. The point of having such a speech act is explored through the analogy between knowledge and action. (shrink)

The idea of margin for error of principles is used to analyse the Surprise Examination Paradox. Although the pupils in the story know that there will be a surprise examination, they do not know that they will know tomorrow that they will know the day after that …, because each iteration requires a further margin for error until nothing is left. A similar account is suggested for knowledge of rationality in Iterated Prisoner's Dilemma. Versions of the Surprise Examination Paradox in (...) which the pupils know only that there will not be an expected examination are used to criticize alternative accounts of the paradox. (shrink)

This chapter contains sections titled: Sorites paradoxes threaten identity across possible worlds, as Roderick Chisholm pointed out some time ago. This chapter develops one such paradox, arguing that it formally resembles the problems of personal identity, and can be resolved by means a modal paradox, which is discussed in the first section. Lest it be thought that the paradox depends on the special nature of possibility, similar paradoxes are sketched for identity over time in the second section. The section underlines (...) the point of a uniform approach by sketching temporal analogues of modal paradoxes about artifact identity. Both modal and temporal versions involve the identity of artifacts. Treatments of closely related problems by Graeme Forbes and Nathan Salmon do not generalize in the same way. The concern of this chapter is to see how much of the original conception can be saved; maximal M‐relations provide the appropriate technique. (shrink)

A composite condition is one that consists of the conjunction of a purely internalist condition and a purely external condition; a condition that is not composite is prime. A general method of argument is provided for showing that many mental states, including knowing, are prime. A connection is made with the account of knowledge that Plato gives in the Meno. The primeness of mental states is shown to contribute to their value in the explanation of action by facilitating a kind (...) of generality, which is made precise by use of the probabilistic notion of a correlation coefficient. The account is extended to the explanation of non‐mental events. (shrink)

What does 'if' mean? Timothy Williamson presents a controversial new approach to understanding conditional thinking, which is central to human cognitive life. He argues that in using 'if' we rely on psychological heuristics, fast and frugal methods which can lead us to trust faulty data and prematurely reject simple theories.