The received view says that possibility is the dual of necessity: a proposition is (metaphysically, logically, epistemically etc.) possible iff it is not the case that its negation is (metaphysically, logically, epistemically etc., respectively) necessary. This reading is usually taken for granted by modal logicians and indeed seems plausible when dealing with logical or metaphysical possibility. But what about epistemic possibility? We argue that the dual definition of epistemic possibility in terms of epistemic necessity generates tension when reasoning about non-idealized (...) agents and is a problem of concern for most hyperintensional epistemic logics that alleviate the problem of logical omniscience. The tension is particularly evident when knowledge is taken as a primitive to define other epistemic concepts, such as justification and belief, as done in the knowledge-first tradition. We propose a non-dual interpretation of epistemic possibility, employing a hyperintensionality filter similar to the one that makes the corresponding epistemic necessity operator hyperintensional. We employ the proposed semantics to model Stalnaker's belief as epistemic possibility of knowledge and provide a sound and complete axiomatization for a hyperintensional version of his bimodal logic of knowledge and belief. (shrink)

Scientists regularly make possibility claims. While philosophers of science are well aware of the distinction between epistemic and objective notions of possibility, we believe that they often fail to apply this distinction in their analyses of scientific practices that employ modal concepts. We argue that heeding this distinction will help further progress in current debates in the philosophy of science, as it shows that the debaters talk about different things, rather than disagree on the same issue. We first discuss how (...) the two notions differ with respect to their epistemology and show that these differences are sometimes ignored in the philosophy of science. We then revisit four current philosophy of science debates about modelling, that are framed in modal terms, to showcase how the distinction significantly clarifies these debates and thereby and helps advance them. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional 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 and hyperintensional expressivist approaches 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)

The standard view of clauses embedded under attitude verbs or modal predicates is that they act as terms standing for propositions, a view that faces a range of philosophical and linguistic difficulties. Recently an alternative has been explored according to which embedded clauses act semantically as predicates of content-bearing objects. This paper argues that this approach faces serious problems when it is based on possible worlds-semantics. It outlines a development of the approach in terms of truthmaker theory instead.

This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...) language, semantics, and philosophy of mind. (shrink)

Going about our daily lives in an orderly manner requires us, once we are aware of them, to dismiss many metaphysical possibilities. We take it for granted that we are not brains in vats, or living in the Matrix, or in an extended dream. Call these things that we take for granted “anti-skeptical assumptions”. What should a reflective agent who believes these things think of these beliefs? For various reasons, it can seem that we do not have evidence for such (...) anti-skeptical assumptions. Are anti-skeptical assumptions, then, beliefs that one may rationally hold without evidence for them – indeed, even in the face of a positive judgment that one lacks evidence for them? I survey and criticize some prominent answers to this question, and then offer a positive view that blends externalism about evidence with a mild, qualified kind of pragmatism. The view I offer aims to do justice to the sense that anti-skeptical assumptions are evidentially groundless while also maintaining that one cannot rationally believe something that one judges oneself to lack sufficient evidence for. (shrink)

Possible worlds semantics faces a range of difficulties for at least certain types of modals, especially deontic modals with their distinction between heavy and light permissions and obligations. This paper outlines a new semantics of modals that aims to overcome some of those difficulties. The semantics is based on an a novel ontology of modal objects, entities like obligations, permissions, needs, as well as epistemic states, abilities, and essences. Moreover, it is based on truthmaking, in the sense of Fine’s recent (...) truthmaker semantics. (shrink)