An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Curry's paradox for "if.. then.." concerns the paradoxical features of sentences of the form "If this very sentence is true, then 2+2=5". Standard inference principles lead us to the conclusion that such conditionals have true consequents: so, for example, 2+2=5 after all. There has been a lot of technical work done on formal options for blocking Curry paradoxes while only compromising a little on the various central principles of logic and meaning that are under threat. -/- Once we have a (...) sense of the technical options, though, a philosophical choice remains. When dealing with puzzles in the logic of conditionals, a natural place to turn is independently motivated semantic theories of the behaviour of "if... then...". This paper argues that the closest-worlds approach outlined in Nolan 1997 offers a philosophically satisfying reason to deny conditional proof and so block the paradoxical Curry reasoning, and can give the verdict that standard Curry conditionals are false, along with related "contraction conditionals". (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (shrink)

Epistemic conservatism says that an agent is in some measure justified in maintaining a belief simply in virtue of the fact that the agent has that belief. In his new book On Evidence in Philosophy, William Lycan argues that there is no special objection to EC that does not also impugn the other epistemic virtues. In a forthcoming Synthese piece, Daniel Coren argues that, for us as we are, EC cannot be evaluated. Coren does not discuss Lycan, and vice versa. (...) Here I connect these two discussions of EC in order to shed light on the broader nature of epistemic virtues. Does Coren’s argument extrapolate to the other virtues? I argue that both answers to that question yield interesting results. If his argument does not extrapolate to the other virtues, that would show there is something special about EC that Lycan failed to notice. If, instead, Coren’s argument does extrapolate to the other virtues, then we learn something significant and novel about virtues such as simplicity, namely, simplicity cannot be evaluated. I discuss those results. (shrink)

The aim of this paper is to point out the limitations of Hybrid Modal Realism as a general theory of modalities, i.e. one that gives an analysis of possibilities as well as impossibilities. To do so we will firstly sketch the goals that theories of impossible worlds should achieve. Secondly we will briefly present the two most popular accounts of impossibilities—Extended Modal Realism and Extended Ersatzism. We will focus on the aspects of both theories which became the motivation for a (...) hybrid view. In the last part of this paper we will analyze Francesco Berto’s Hybrid Modal Realism and present reasons why this account is an insufficient tool for analyzing impossibilities. (shrink)

Paraconsistent logics are characterized by rejection of ex falso quodlibet, the principle of explosion, which states that from a contradiction, anything can be derived. Strikingly these logics have found a wide range of application, despite the misgivings of philosophers as prominent as Lewis and Putnam. Such applications, I will argue, are of significant philosophical interest. They suggest ways to employ these logics in philosophical and scientific theories. To this end I will sketch out a ‘naturalized semantic dialetheism’ following Priest’s early (...) suggestion that the principles governing human natural language may well be inconsistent. There will be a significant deviation from Priest’s work, namely, the assumption of a broadly Chomskyan picture of semantics. This allows us to explain natural language inconsistency tolerance without commitment to contentious views in formal logic. (shrink)