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.

[1]  S. Yalcin.  Nonfactualism about Epistemic Modality , 2011 .

[2]  John MacFarlane,et al.  Ifs and Oughts , 2010 .

[3]  K. Mccullough,et al.  Papers from the Parasession on Pragmatics and Grammatical Theory at the Twenty-second Regional Meeting, Chicago Linguistic Society, 1986 , 1986 .

[4]  R. Jeffrey.  Bayesianism with a Human Face , 1983 .

[5]  Irene Heim,et al.  The semantics of definite and indefinite noun phrases : a dissertation , 1982 .

[6]  Seth Yalcin,et al.  Context Probabilism , 2011, Amsterdam Colloquium on Logic, Language and Meaning.

[7]  Edward L. Keenan,et al.  Formal Semantics of Natural Language , 1975 .

[8]  J. MacFarlane.  Epistemic Modals Are Assessment‐Sensitive , 2011 .

[9]  Jeroen Groenendijk,et al.  Dynamic predicate logic , 1991 .

[10]  Daniel Rothschild.  Do indicative conditionals express propositions , 2013 .

[11]  B. V. Fraassen.  Probabilities of Conditionals , 1976 .

[12]  Seth Yalcin,et al.  Probability Operators , 2010 .

[13]  D. Lewis.  Probabilities of Conditionals and Conditional Probabilities , 1976 .

[14]  S. Moss.  Epistemology Formalized , 2012 .

[15]  H. Feigl,et al.  Minnesota studies in the philosophy of science , 1956 .

[16]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[17]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[18]  Allan Gibbard,et al.  Two Recent Theories of Conditionals , 1980 .

[19]  L. Carroll.  A LOGICAL PARADOX. , 1894 .

[20]  David I. Beaver.  Presupposition and Assertion in Dynamic Semantics , 2001 .

[21]  J. Cantwell.  Changing the Modal Context , 2008 .

[22]  Daniel Rothschild,et al.  V-expressing credences , 2012 .

[23]  J. Earman.  Testing Scientific Theories , 1984 .

[24]  Frank Veltman,et al.  Defaults in update semantics , 1996, J. Philos. Log..

[25]  Seth Yalcin,et al.  VI—Bayesian Expressivism , 2012 .

[26]  Kai von Fintel,et al.  Epistemic Containment , 2003, Linguistic Inquiry.

[27]  H. D. Swart,et al.  Adverbs of quantification , 1991 .

[28]  A. Gillies.  Epistemic Conditionals and Conditional Epistemics , 2004 .

[29]  Seth Yalcin,et al.  Probability Operators: Probability Operators , 2010 .

[30]  Seth Yalcin,et al.  More on Epistemic Modals , 2009 .

[31]  J. Dewey.  Studies In Logical Theory , 1904 .

[32]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[33]  R. Rooij.  Conjunctive interpretation of disjunction , 2010 .

[34]  Vann McGee.  A Counterexample to Modus Ponens , 1985 .

[35]  A. Kratzer.  The Notional Category of Modality , 2008 .

[36]  Robert Stalnaker.  Indicative conditionals , 1975 .

[37]  H. Savin,et al.  The projection problem for presuppositions , 1971 .

[38]  J. Bennett.  A Philosophical Guide to Conditionals , 2003 .

[39]  S. Yalcin.  Epistemic Modals , 2007 .