Alexander Pruss's Blog

The standard First Order Logic translation of “All A s are B s” is: ∀ x ( A ( x )→ B ( x )). Suppose we accept this translation and we f...

Alice has tools in a shed and sees a clearly unarmed thief approaching the shed. She knows she is in no danger of her life or limb—she can e...

From: Every G is H it seems we should be able to infer for any x : If x is G , then x is H . This pretty much forces one to read “I...

The theory consists of two theses and two definitions. I will use → for indicative conditionals. And all my disjunctions will b...

The material conditional account of indicatives is that "If s , then u " is true if and only if s is false or u is true o...

Say that a proposition p is weakly earthly provided that for every pair of worlds w 1 and w 2 which exactly match one another in respect...

I will argue that if the indicative "If p , then q " in English has mind-independent truth value (a somewhat vague phras...

What does it mean to say that language M is at least as "adequate" as language L ? One option would be to say that any pr...

On the material conditional interpretation, the propositional content of the indicative conditional "If p , then q " is p →...