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)

Rational agents face choices, even when taking seriously the possibility of determinism. Rational agents also follow the advice of Causal Decision Theory (CDT). Although many take these claims to be well-motivated, there is growing pressure to reject one of them, as CDT seems to go badly wrong in some deterministic cases. We argue that deterministic cases do not undermine a counterfactual model of rational deliberation, which is characteristic of CDT. Rather, they force us to distinguish between counterfactuals that are relevant (...) and ones that are irrelevant for the purposes of deliberation. We incorporate this distinction into decision theory to develop ‘Selective Causal Decision Theory’, which delivers the correct recommendations in deterministic cases while respecting the key motivations behind CDT. (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)

Timothy Williamson and Sebastian Sunday-Grève discuss the question of where philosophy starts, and the idea of philosophy as a non-natural science.

Sebastian Sunday-Grève and Timothy Williamson discuss the question of where philosophy starts and the idea of philosophy as a non-natural science.

Sebastian Sunday-Grève and Timothy Williamson discuss the relationship between curiosity and common sense.

In this paper we present the comparative study by Jonathan Stoltz, about the similarities between Timothy Williamson's epistemology and the Indo-Tibetan epistemological traditions that developed between the eighth and thirteenth centuries, which lie above that for them the knowledge is a kind of mental state as well as a restricted study of the return to metaphysics, a name that refers to the interesting position of authority born of an attempt to overcome his classical and strong Anglo-American analytical roots.

The following thesis discusses a range of central aspects in Timothy Williamson’s so-called «knowledge-first» epistemology. In particular, it adresses whether this kind of epistemological framework is apt to answer the challenges of scepticism.

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)

Timothy Williamson has defended the claim that the semantics of the indicative ‘if’ is given by the material conditional. Putative counterexamples can be handled by better understanding the role played in our assessment of indicatives by a fallible cognitive heuristic, called the Suppositional Procedure. Williamson’s Suppositional Conjecture has it that the Suppositional Procedure is humans’ primary way of prospectively assessing conditionals. This paper raises some doubts on the Suppositional Procedure and Conjecture.

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.

According to many philosophers, psychological explanation canlegitimately be given in terms of belief and desire, but not in termsof knowledge. To explain why someone does what they do (so the common wisdom holds) you can appeal to what they think or what they want, but not what they know. Timothy Williamson has recently argued against this view. Knowledge, Williamson insists, plays an essential role in ordinary psychological explanation.Williamson's argument works on two fronts.First, he argues against the (...) claim that, unlike knowledge, belief is``composite'' (representable as a conjunction of a narrow and a broadcondition). Belief's failure to be composite, Williamson thinks, undermines the usual motivations for psychological explanation in terms of belief rather than knowledge.Unfortunately, we claim, the motivations Williamson argues against donot depend on the claim that belief is composite, so what he saysleaves the case for a psychology of belief unscathed.Second, Williamson argues that knowledge can sometimes provide abetter explanation of action than belief can.We argue that, in the cases considered, explanations that cite beliefs(but not knowledge) are no less successful than explanations that citeknowledge. Thus, we conclude that Williamson's arguments fail both coming andgoing: they fail to undermine a psychology of belief, and they fail tomotivate a psychology of knowledge. (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.

Timothy Williamson’s Knowledge and its Limits has been highly influential since the beginning of this century. It can be read as a systematic response to scepticism. One of the most important notions in this response is the notion of «evidence,» which will be the focus of the present paper. I attempt to show primarily two things. First, the notion of evidence invoked by Williamson does not address the sceptical worry: he stipulates an objective notion of evidence, but (...) this begs the question against his opponent. Second, his related thesis «Evidence equals Knowledge» does not sit well with his own content externalism: he promises to relate epistemology to philosophy of mind, but he fails to live up to this commitment in his crucial chapter on scepticism. Other minor problems concerning evidence will also be discussed in due course. (shrink)

In May 1999, David Lewis sent Timothy Williamson an intriguing letter about knowledge and vagueness. This paper has a brief discussion of Lewis on evidence, and a longer discussion of a distinctive theory of vagueness Lewis puts forward in this letter, one rather different from standard forms of supervaluationism. Lewis's theory enables him to provide distinctive responses to the challenges to supervaluationism famously offered in chapter 5 of Timothy Williamson's 1994 book Vagueness. However these responses bring (...) out a number of very surprising features of Lewis's own view. -/- The letter from Lewis itself is available on the blog of The Age of Metaphysical Revolution Project, University of Manchester. (shrink)

This paper examines Timothy Williamson's recent 'expertise defense' of armchair philosophy mounted by skeptical experimental philosophers. The skeptical experimental philosophers argue that the methodology of traditional 'armchair' philosophers rests up trusting their own intuitions about particular problem cases. Empirical studies suggest that these intuitions are not generally shared and that such intuitions are strongly influenced factors that are not truth conducive such as cultural background or whether or not the question is asked in a messy or tidy office. (...) Williamson's response is that the skeptical armchair philosophers trust the expertise of the social scientists, as they trust and use the methods of the social sciences to undermine trust in the judgment of armchair philosophers. Given this, the burden of proof is on the skeptical experimental philosopher to give us a reason to doubt the expertise of the armchair philosopher. I examine how our understanding of the history of philosophy is significant in this context. And suggest that prevalent false beliefs about the history of philosophy can lead to mistrust of the expertise of philosophers. (shrink)

This paper looks at Timothy Williamson’s formulation of the thesis of Evidence Neutrality (EN). I motivate and argue for an upgraded version of EN by showing that changing one’s assumption about the nature of evidence (i.e. fallibility vs. factivity) generates a different verdict on EN. Then, I show how Williamson’s interpretation of EN is incomplete in light of a principle that guides his complete understanding of the nature of evidence. I reformulate EN to overcome deficiencies in (...) class='Hi'>Williamson’s interpretation of EN, and, lastly, I use cases from philosophy and science to show that reformulated‐EN promotes better practices in both domains while, at the same time, it avoids psychologizing evidence. (shrink)

The paper provides a review of the collection of scientific works «Williamson on Modality» and contains a brief summary of the main ideas of the articles published in the book.

This is a critical notice of Timothy Williamson's, The Philosophy of Philosophy (Blackwell, 2007). It focuses on criticizing the book's two main positive proposals: that we should “replace true belief by knowledge in a principle of charity constitutive of content”, and that “the epistemology of metaphysically modal thinking is tantamount to a special case of the epistemology of counterfactual thinking”.

Skeptical theism is a family of responses to the evidential problem of evil. What unifies this family is two general claims. First, that even if God were to exist, we shouldn’t expect to see God’s reasons for permitting the suffering we observe. Second, the previous claim entails the failure of a variety of arguments from evil against the existence of God. In this essay, we identify three particular articulations of skeptical theism—three different ways of “filling in” those two claims—and describes (...) their role in responding to evidential arguments of evil due to William Rowe and Paul Draper. But skeptical theism has been subject to a variety of criticisms, several of which raise interesting issues and puzzles not just in philosophy of religion but other areas of philosophy as well. Consequently, we discuss some of these criticisms, partly with an eye to bringing out the connections between skeptical theism and current topics in mainstream philosophy. Finally, we conclude by situating skeptical theism within our own distinctive methodology for evaluating world views, what we call “worldview theory versioning.”. (shrink)

Experiences of embodied remembering are familiar and diverse. We settle bodily into familiar chairs or find our way easily round familiar rooms. We inhabit our own kitchens or cars or workspaces effectively and comfortably, and feel disrupted when our habitual and accustomed objects or technologies change or break or are not available. Hearing a particular song can viscerally bring back either one conversation long ago, or just the urge to dance. Some people explicitly use their bodies to record, store, or (...) cue memories. Others can move skilfully, without stopping to think, in complex and changing environments thanks to the cumulative expertise accrued in their history of fighting fires, or dancing, or playing hockey. The forms of memory involved in these cases may be distinct, operating at different timescales and levels, and by way of different mechanisms and media, but they often cooperate in the many contexts of our practices of remembering. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)

For millennia self has been conjectured to be necessary for consciousness. But scant empirical evidence has been adduced to support this hypothesis. Inconsistent explications of “self” and failure to design apt experiments have impeded progress. Advocates of phenomenological psychiatry, however, have helped explicate “self,” and employed it to explain some psychopathological symptoms. In those studies, “self” is understood in a minimalist sense, sheer “for-me-ness.” Unfortunately, explication of the “minimal self” (MS) has relied on conceptual analysis, and applications to psychopathology have (...) been hermeneutic, allowing for many degrees of interpretive latitude. The result is that MS’s current scientific status is analogous to that of the “atom,” at the time when “atom” was just beginning to undergo transformation from a philosophical to a scientific concept. Fortunately, there is now an opportunity to promote a similar transformation for “MS.” Discovery of the brain’s Default Mode Network (DMN) opened the door to neuroimaging investigations of self. Taking the DMN and other forms of intrinsic activity as a starting point, an empirical foothold can be established, one that spurs experimental research and that enables extension of research into multiple phenomena. New experimental protocols that posit “MS” can help explain phenomena hitherto not thought to be related to self, thereby hastening development of a mature science of self. In particular, targeting phenomena wherein consciousness is lost and recovered, as in some cases of Unresponsive Wakefulness Syndrome (UWS), allow for design of neuroimaging probes that enable detection of MS during non-conscious states. These probes, as well as other experimental protocols applied to NREM Sleep, General Anesthesia (GA), and the waking state, provide some evidence to suggest that not only can self and consciousness dissociate, MS might be a necessary precondition for conscious experience. Finally, these findings have implications for the science of consciousness: it has been suggested that “levels of consciousness” (LoC) is not a legitimate concept for the science of consciousness. But because we have the conceptual and methodological tools with which to refine investigations of MS, we have the means to identify a possible foundation—a bifurcation point—for consciousness, as well as the means by which to measure degrees of distance from that foundation. These neuroimaging investigations of MS position us to better assess whether LoC has a role to play in a mature science of consciousness. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for intensions and (...) hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the contents of the (...) types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Being social creatures in a complex world, we do things together. We act jointly. While cooperation, in its broadest sense, can involve merely getting out of each other’s way, or refusing to deceive other people, it is also essential to human nature that it involves more active forms of collaboration and coordination (Tomasello 2009; Sterelny 2012). We collaborate with others in many ordinary activities which, though at times similar to those of other animals, take unique and diverse cultural and psychological (...) forms in human beings. But we also work closely and interactively with each other in more peculiar and flexible practices which are in distinctive ways both species-specific and culturally and historically contingent: from team sports to shared labour, from committee work to mass demonstrations, from dancing to reminiscing together about old times. (shrink)

The harms associated with wireless mobile devices (e.g. smartphones) are well documented. They have been linked to anxiety, depression, diminished attention span, sleep disturbance, and decreased relationship satisfaction. Perhaps what is most worrying from a moral perspective, however, is the effect these devices can have on our autonomy. In this article, we argue that there is an obligation to foster and safeguard autonomy in ourselves, and we suggest that wireless mobile devices pose a serious threat to our capacity to fulfill (...) this obligation. We defend the existence of an imperfect duty to be a ‘digital minimalist’. That is, we have a moral obligation to be intentional about how and to what extent we use these devices. The empirical findings already justify prudential reasons in favor of digital minimalism, but the moral duty is distinct from and independent of prudential considerations. (shrink)

Carruthers argues that knowledge of our own propositional attitudes is achieved by the same mechanism used to attain knowledge of other people's minds. This seems incompatible with "privileged access"---the idea that we have more reliable beliefs about our own mental states, regardless of the mechanism. At one point Carruthers seems to suggest he may be able to maintain privileged access, because we have additional sensory information in our own case. We raise a number of worries for this suggestion, concluding that (...) Carruthers's new theory cannot clearly preserve the superior reliability of our beliefs about our own attitudes. (shrink)

Critics of persuasive advertising argue that it undermines the autonomy of consumers by manipulating their desires in morally problematic ways. My aim is this paper is to refine that argument by employing a conception of autonomy that is not at odds with certain forms of manipulation. I argue that the charge of manipulation is not sufficient for condemning persuasive advertising. On my view, manipulation of an agent’s desires through advertising is justifiable in cases where the agent accepts the process through (...) which the desires were developed. I show how the standard manipulation objection proves too much as it would also condemn cases of that kind. I argue that this distinction is especially important when we consider the implications of “new media.” In addition to increasing vulnerability to manipulation, new media have considerable impacts on well-being. By siding with the traditional autonomy argument, we would be compelled to take an implausible stand against all forms of manipulation through advertising, but I suggest that only a proper subset of those cases are morally problematic. This conclusion opens up a space for persuasive advertising that is permissible while nevertheless condemning cases that violate consumers’ autonomy. (shrink)

Experiences of embodied remembering are familiar and diverse. We settle bodily into familiar chairs or find our way easily round familiar rooms. We inhabit our own kitchens or cars or workspaces effectively and comfortably, and feel disrupted when our habitual and accustomed objects or technologies change or break or are not available. Hearing a particular song can viscerally bring back either one conversation long ago, or just the urge to dance. Some people explicitly use their bodies to record, store, or (...) cue memories. Others can move skilfully, without stopping to think, in complex and changing environments thanks to the cumulative expertise accrued in their history of fighting fires, or dancing, or playing hockey. The forms of memory involved in these cases may be distinct, operating at different timescales and levels, and by way of different mechanisms and media, but they often cooperate in the many contexts of our practices of remembering. (shrink)

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

This paper provides a rebuttal to the argument in Bowen (2018) in `Synthese'. Bowen provides a novel hyperintensional, ground-theoretic regimentation of the proposals in the metaphysics of consciousness. He then argues that Chalmers' (2010) intensional two-dimensional conceivability argument against physicalism is unsound, in light of the hyperintensional metaphysics of consciousness. Thus, intensional conceivability cannot be a guide to hyperintensional metaphysics. This paper demonstrates that a multi-hyperintensional version of epistemic two-dimensional semantics can be countenanced, and is sufficient for conceivability to be (...) a guide to metaphysics in the hyperintensional setting such that Chalmers' argument, hyperintensionally construed, is in fact sound. (shrink)