What does' if'mean? It is one of the most commonly used words in the English language, in
itself a sign to the importance of conditional thinking to human cognitive life. We make …

The latter half of the 20th Century witnessed an 'intensional revolution': a great collective
effort to analyse notions which are absolutely fundamental to our understanding of the world …

An overview of hyperintensionality is provided. Hyperintensional languages have
expressions with meanings that are more fine-grained than necessary equivalence. That is …

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis
says all counterpossibles are true solely because their antecedents are impossible …

Our goal in this paper is to extend counterfactual accounts of scientific explanation to
mathematics. Our focus, in particular, is on intra-mathematical explanations: explanations of …

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles
present a puzzle for standard theories of counterfactuals, which predict that all …

People can think about hypothetical impossibilities and a curious observation is that some
impossible conditionals seem true and others do not. Four experiments test the proposal that …

The variably strict analysis of conditionals does not only largely dominate the philosophical
literature, since its invention by Stalnaker and Lewis, it also found its way into linguistics and …

Checking is a very common concept for describing a subject's epistemic goals and actions.
Surprisingly, there has been no philosophical attention paid to the notion of checking. This is …

Saul Kripke's work on the semantics of non-normal modal logics introduced the idea of non-
normal worlds, worlds where certain connectives behave differently from the way in which …