Population-level biomedical research offers new opportunities to improve population health, but also raises new challenges to traditional systems of research governance and ethical oversight. Partly in response to these challenges, various models of public involvement in research are being introduced. Yet, the ways in which public involvement should meet governance challenges are not well understood. We conducted a qualitative study with 36 experts and stakeholders using the World Café method to identify key governance challenges and explore how public involvement can (...) meet these challenges. This brief report discusses four cross-cutting themes from the study: the need to move beyond individual consent; issues in benefit and data sharing; the challenge of delineating and understanding publics; and the goal of clarifying justifications for public involvement. The report aims to provide a starting point for making sense of the relationship between public involvement and the governance of population-level biomedical research, showing connections, potential solutions and issues arising at their intersection. We suggest that, in population-level biomedical research, there is a pressing need for a shift away from conventional governance frameworks focused on the individual and towards a focus on collectives, as well as to foreground ethical issues around social justice and develop ways to address cultural diversity, value pluralism and competing stakeholder interests. There are many unresolved questions around how this shift could be realised, but these unresolved questions should form the basis for developing justificatory accounts and frameworks for suitable collective models of public involvement in population-level biomedical research governance. (shrink)

Arguing About Language presents a comprehensive selection of key readings on fundamental issues in the philosophy of language. It offers a fresh and exciting introduction to the subject, addressing both perennial problems and emerging topics. Classic readings from Frege, Russell, Kripke, Chomsky, Quine, Grice, Lewis and Davidson appear alongside more recent pieces by philosophers or linguists such as Robyn Carston, Delia Graff Fara, Frank Jackson, Ernie Lepore & Jerry Fodor, Nathan Salmon, Zoltán Szabó, Timothy Williamson and Crispin Wright. Organised (...) into clear sections, readings have been chosen that engage with one another and often take opposing views on the same question, helping students to get to grips with the key areas of debate in the philosophy of language, including: sense and reference definite descriptions linguistic conventions language and behaviour descriptivism and rigidity contextualism vagueness rule-following and normativity fictional discourse. Each article selected is clear, thought-provoking and free from unnecessary jargon. The editors provide lucid introductions to each section in which they give an overview of the debate and outline the arguments of the papers. Arguing About Language is an ideal reader for students looking for a balanced yet up-to-date introduction to the philosophy of language. Darragh Byrne is lecturer in philosophy at the University of Birmingham, UK. Max Kölbel is ICREA Research Professor at the University of Barcelona, Spain. He is the author of Truth without Objectivity (Routledge, 2002) and co-editor of Wittgenstein's Lasting Significance (Routledge, 2004) with Bernhard Weiss, as well as Relative Truth (Oxford, 2008) with Manuel García-Carpintero. (shrink)

‘Intuition deniers’ are those who—like Timothy Williamson, Max Deutsch, Herman Cappelen and a few others—reject the claim that philosophers centrally rely on intuitions as evidence. This ‘Centrality’ hypothesis, as Cappelen terms it, is standardly endorsed both by traditionalists and by experimental philosophers. Yet the intuition deniers claim that Centrality is false—and they generally also suggest that this undermines the significance of experimental philosophy. Three primary types of anti-Centrality argument have cross-cut the literature thus far. These arguments, I’ll claim, have (...) differing potential consequences on metaphilosophical debate. The first sort of argument centers on worries about the term ‘intuition’—for instance, worries about whether it has clear application, or whether anything actually falls under it. Call this the Argument from Unclear Application. The second argument type involves the claim that evidence in philosophy consists not of facts about intuitions, but of facts about e.g. knowledge and causation. Call this the Argument from Antipsychologism. The third type involves an attempt to demonstrate that philosophers support their claims not via bald appeal to intuition, but via argumentation. Call this the Argument from Argumentation. Although these three arguments have merit, none of them undermines the importance of experimental philosophy. Nonetheless, they do have significant consequences for the methodological debates that dominate meta-philosophy, and for experimental philosophy in particular. (shrink)

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, (...) and showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (shrink)

Unconditionals are syntactic conditionals whose affirmation affirms their consequent, unconditionally. Prominent instances were addressed by J.L. Austin ('There are biscuits if you want some') and Nelson Goodman (even-if 'semifactuals'). Their detailed features are explained in a Decision-Theoretic Semantics (DTS) which extends, by certainty and relevance conditions, the "CCCP" conditional probability construal of conditionals due to Ernest Adams and others. The construal of assertions of conditionals as conditional acts, defended by Keith DeRose and Richard Grandy in 1999 against objections arising from (...) Austin's unconditionals, is shown to be incompatible with any known version of CCCP. However, an ad-hoc decision-theoretic construal of their proposal is seen to work for Austin's unconditionals, albeit for these only. The DTS account of unconditionals hinges on stochastic independence or irrelevance conditions. For Austin's variant, it also involves changes in the expectations of non-indicator random variables, i.e. properly valuational relevance relations. The widely assumed speaker's knowledge presumption for assertion in general is reconstrued non-transcendently as a proposal to update to ostensible common certainty. This imperative replaces the factive 'T-axiom', KA-> A, of modal logical explications of knowledge to yield an doxastically imperatival, but evidence-sensitive theory of assertoric truth claims. On such a basis, Max Black's and G.E. Moore's ostensibilist account of assertors representing themselves as knowing is defended against Tim Williamson's 1996 and Igor Douven's 2006 respective deontic proposals for a knowledge or rational credibility requirement. Moreover, ostensibly unconditional, unhedged assertion is reconciled with a reality of dimly perceived potential defeaters on recognizing it to be a tacit semifactual, if need be. (shrink)

The book is primarily an essay on the epistemology of the sort of armchair knowledge that we can hope to achieve in philosophy. The possibility of such knowledge is not to be explained by reinterpreting philosophical questions as questions about words or concepts. Although there are philosophical questions about words and concepts, most philosophical questions are not about words or concepts: they are, just as they seem to be, about the things, many of them independent of us, to which the (...) words or concepts refer. Nor is our linguistic or conceptual competence the basis for our philosophical knowledge; such competence merely …. (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.

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.

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.

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 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.

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a (...) kind of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

Oxford Studies in Metaphysics is the forum for the best new work in this flourishing field. Much of the most interesting work in philosophy today is metaphysical in character: this new series is a much-needed focus for it. OSM offers a broad view of the subject, featuring not only the traditionally central topics such as existence, identity, modality, time, and causation, but also the rich clusters of metaphysical questions in neighbouring fields, such as philosophy of mind and philosophy of science. (...) Besides independent essays, volumes will often contain a critical essay on a recent book, or a symposium that allows participants to respond to one another's criticisms and questions. Anyone who wants to know what's happening in metaphysics can start here. Volume Two begins with a major paper on consciousness by Ned Block. Block examines 'Max Black's Objection to Mind-Body Identity', an argument for a dualism of physical and phenomenal properties, closely related to Jackson's 'knowledge argument'. His extensive exploration of this family of arguments for property dualism includes considerable discussion of John Perry and Stephen White; their responses to Block's paper complete the section on the metaphysics of consciousness.Three papers consider the thesis that the future is, in some sense, 'open'. Eli Hirsch elaborates a view according to which contingent statements about the future can be indeterminate in truth-value, while preserving 'straight logic', including a principle of bivalence. Peter Forrest defends a sort of 'growing block' theory of the passage of time, emphasizing the way such a metaphysics, combined with a truth-maker principle, can provide an analysis of natural necessity. Trenton Merricks presents a trenchant and original criticism of the 'growing block' theory of time.The volume continues with a group of papers on problems of ontology. Thomas Hofweber's paper, defending nominalism from the objection that there are 'inexpressible' properties and propositions, won the first annual Oxford Studies in Metaphysics Younger Scholar Prize. The papers by Phillip Bricker and Michael Loux examine a couple of deep divides within ontology. John Hawthorne's paper raises some extremely puzzling questions about the nature of persons, given the ontology needed for Timothy Williamson's theory of vagueness. Hawthorne uses these problems to motivate an alternative style of epistemicism. The final three papers take up several issues in the metaphysics of traditional theism. Michael Bergmann and Jeffrey Brower raise objections to combining a Platonic conception of universals with the doctrine of divine aseity; while Brian Leftow defends a non-Platonic theory of universals - a kind of divine-concept nominalism. Hud Hudson suggests that contemplation of the possibility of higher dimensions opens up new avenues in theodicy. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

_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)

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

Luther, A. R. The articulated unity of being in Scheler's phenomenology : basic drive and spirit.--Funk, R. L. Thought, values, and action.--Emad, P. Person, death, and world.--Smith, F. J. Peace and pacifism.--Scheler, M. Metaphysics and art.--Scheler, M. The meaning of suffering.

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)

Objective Bayesianism is a methodological theory that is currently applied in statistics, philosophy, artificial intelligence, physics and other sciences. This book develops the formal and philosophical foundations of the theory, at a level accessible to a graduate student with some familiarity with mathematical notation.

Abstract: Some proponents of “experimental philosophy” criticize philosophers' use of thought experiments on the basis of evidence that the verdicts vary with truth-independent factors. However, their data concern the verdicts of philosophically untrained subjects. According to the expertise defence, what matters are the verdicts of trained philosophers, who are more likely to pay careful attention to the details of the scenario and track their relevance. In a recent article, Jonathan M. Weinberg and others reply to the expertise defence that there (...) is no evidence for such expertise. They now receive a reply in this article, which argues that they have misconstrued the dialectical situation. Since they have produced no evidence that philosophical training is less efficacious for thought experimentation than for other cognitive tasks for which they acknowledge that it produces genuine expertise, such as informal argumentation, they have produced no evidence for treating the former more sceptically than the latter. (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)

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)

Timothy Williamson has fruitfully exploited formal resources to shed considerable light on the nature of knowledge. In the paper under examination, Williamson turns his attention to Gettier cases, showing how they can be motivated formally. At the same time, he disparages the kind of justification he thinks gives rise to these cases. He favors instead his own notion of justification for which Gettier cases cannot arise. We take issue both with his disparagement of the kind of justification that (...) figures in Gettier cases and the specifics of the formal motivation. (shrink)

[Paul Boghossian] The paper asks under what conditions deductive reasoning transmits justification from its premises to its conclusion. It argues that both standard externalist and standard internalist accounts of this phenomenon fail. The nature of this failure is taken to indicate the way forward: basic forms of deductive reasoning must justify by being instances of ’blind but blameless’ reasoning. Finally, the paper explores the suggestion that an inferentialist account of the logical constants can help explain how such reasoning is possible. (...) /// [Timothy Williamson] 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)

Eighteen leading philosophers offer critical assessments of Timothy Williamson's ground-breaking work on knowledge and its impact on philosophy today. They discuss epistemological issues concerning evidence, defeasibility, scepticism, testimony, assertion, and perception, and debate Williamson's central claim that knowledge is a mental state.

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)

§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)

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.

Timothy Williamson’s project in Knowledge and Its Limits (Williamson, 2000)1 includes proposals for substantial revisions in the received approach to epistemology. One received view is that knowledge is conceptualized in terms of a conjunction of factors that are individually necessary and jointly sufficient for knowing. A central aim of epistemology is to state such necessary and sufficient conditions. Against this received view, Williamson argues that a necessary but insufficient condition need not be a conjunct of a non-circular (...) necessary and sufficient condition. Although being coloured is a necessary but insufficient condition for being red, we cannot state a necessary and sufficient condition for being red by conjoining being coloured with other properties specified without reference to red. Neither the equation ‘Red = coloured + X’ nor the equation ‘Knowledge = true belief + X’ need have a non-circular solution. (3) Williamson further argues that we have inductive reasons for thinking that no analysis of the concept knows of the standard kind is correct. The inductive reasons are simply the history of failed attempts at such “factorizing” or “decompositional” analyses. Williamson not only rejects the prospect of explaining knowledge in terms of belief, justification, and evidence, but he proposes to reverse the order of explanation. That order of explanation has been reversed in this book. The concept knows is fundamental, the primary implement of epistemological inquiry. (185) It is not altogether easy, however, to reconcile this radical program with other things Williamson says in the book. In particular, the book contains two rather unrelated accounts of knowing, and one of these accounts appeals to some of the same ingredients that traditional (or semi-traditional) analysts have used in the past. The first account, which appears in Chapter 1, says that knowing is the most general factive stative propositional attitude. The account is presented in terms of three conditions: (1) If Φ is an FMSO [factive mental state operator], from ‘S Φs that A’ one may infer ‘A’.. (shrink)

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)

Russo and Williamson put forward the following thesis: in order to establish a causal claim in medicine, one normally needs to establish both that the putative cause and putative effect are appropriately correlated and that there is some underlying mechanism that can account for this correlation. I argue that, although the Russo-Williamson thesis conflicts with the tenets of present-day evidence-based medicine, it offers a better causal epistemology than that provided by present-day EBM because it better explains two key (...) aspects of causal discovery. First, the thesis better explains the role of clinical studies in establishing causal claims. Second, it yields a better account of extrapolation. (shrink)

Bayesian nets are widely used in artificial intelligence as a calculus for causal reasoning, enabling machines to make predictions, perform diagnoses, take decisions and even to discover causal relationships. This book, aimed at researchers and graduate students in computer science, mathematics and philosophy, brings together two important research topics: how to automate reasoning in artificial intelligence, and the nature of causality and probability in philosophy.

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)

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)

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 (in the relevant sense) 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)

A striking feature of the traditional armchair method of philosophy is the use of imaginary examples: for instance, of Gettier cases as counterexamples to the justified true belief analysis of knowledge. The use of such examples is often thought to involve some sort of a priori rational intuition, which crude rationalists regard as a virtue and crude empiricists as a vice. It is argued here that, on the contrary, what is involved is simply an application of our general cognitive capacity (...) to handle counterfactual conditionals, which is not exclusively a priori and is not usefully conceived as a form of rational intuition. It is explained how questions of metaphysical possibility and necessity are equivalent to questions about counterfactuals, and the epistemology of the former (in particular, the role of conceiving or imagining) is a special case of the epistemology of the latter. A non-imaginary Gettier case is presented in order to show how little difference it makes. (shrink)

The theorems of the simplest and strongest sensible quantified modal logic include the Barcan Formula and its converse. Both formulas face strong intuitive objections. This paper develops a theory of possibilia to meet those objections.

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)

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)