, Volume 41, Issue 6, pp 1001-1024,
Open Access This content is freely available online to anyone, anywhere at any time.
Date: 06 Jun 2012

A Counterexample to Modus Tollens


This paper defends a counterexample to Modus Tollens, and uses it to draw some conclusions about the logic and semantics of indicative conditionals and probability operators in natural language. Along the way we investigate some of the interactions of these expressions with knows, and we call into question the thesis that all knowledge ascriptions have truth-conditions. A probabilistic dynamic semantics for probability operators, conditionals, and acceptance attitudes is developed around the idea of representing the common ground of a conversation as a set of probability spaces.