Conditionals and consequences

Abstract We examine the notion of conditionals and the role of conditionals in inductive logics and arguments. We identify three mistakes commonly made in the study of, or motivation for, non-classical logics. A nonmonotonic consequence relation based on evidential probability is formulated. With respect to this acceptance relation some rules of inference of System P are unsound, and we propose refinements that hold in our framework.

[1]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[2]  H. Kyburg.  Probability and Rationality , 1961 .

[3]  C. Lewis,et al.  A Survey Of Symbolic Logic , 1920 .

[4]  Richard Bradley,et al.  A preservation condition for conditionals , 2000 .

[5]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[6]  Henry E. Kyburg,et al.  Real Logic is Nonmonotonic , 2001, Minds and Machines.

[7]  Dana S. Scott,et al.  Advice on Modal Logic , 1970 .

[8]  Stefan Kaufmann,et al.  Probabilities of Conditionals , 2001 .

[9]  J. Hintikka,et al.  Aspects of Inductive Logic. , 1968 .

[10]  Rohit Parikh,et al.  Conditional Probability and Defeasible Inference , 2005, J. Philos. Log..

[11]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

[12]  A. Heyting,et al.  Intuitionism: An introduction , 1956 .

[13]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[14]  Frank Jackson,et al.  On Assertion and Indicative Conditionals , 1979 .

[15]  Gottlob Frege,et al.  The Foundations of Arithmetic , 2017 .

[16]  Frank Daring.  On the Probabilities of Conditionals , 1994 .

[17]  Vann McGee,et al.  Conditional Probabilities and Compounds of Conditionals , 1989 .

[18]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[19]  Willard Van Orman Quine,et al.  Mathematical logic , 1967 .

[20]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[21]  Henry E. Kyburg,et al.  The Rule of Adjunction and Reasonable Inference , 1997 .

[22]  D. Hubin,et al.  THE JOURNAL OF PHILOSOPHY , 2004 .

[23]  Patrick Suppes,et al.  Some questions about Adams' conditionals , 1994 .

[24]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[25]  Nuel D. Belnap,et al.  Entailment. Vol. 1 , 1977 .

[26]  Judea Pearl,et al.  System Z: a Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning^ , 1990 .

[27]  B. V. Fraassen.  Fine-grained opinion, probability, and the logic of full belief , 1995, Journal of Philosophical Logic.

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

[29]  R. Loui,et al.  Change in View , 1987, Artif. Intell..

[30]  George Boole,et al.  The mathematical analysis of logic , 1948 .

[31]  Henry E. Kyburg,et al.  The Logic of Risky Knowledge , 2002, WoLLIC.

[32]  Richard Bradley.  Adams Conditionals and Non-Monotonic Probabilities , 2006, J. Log. Lang. Inf..

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

[34]  K. Lambert.  Philosophical Problems in Logic , 1970 .

[35]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[36]  Gregory R. Wheeler,et al.  Rational Acceptance and Conjunctive/Disjunctive Absorption , 2006, J. Log. Lang. Inf..

[37]  Daniel Lehmann,et al.  What does a Conditional Knowledge Base Entail? , 1989, Artif. Intell..

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

[39]  P. Maher,et al.  Acceptance without Belief , 1990, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[40]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[41]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[42]  Horacio L. Arló-Costa.  First Order Extensions of Classical Systems of Modal Logic; The role of the Barcan schemas , 2002, Stud Logica.

[43]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[44]  Dorothy Edgington,et al.  Do conditionals have truth conditions , 1986 .

[45]  Grigoris Antoniou,et al.  Nonmonotonic reasoning , 1997 .

[46]  Alan Hájek.  Probabilities of conditionals — Revisited , 1989, J. Philos. Log..

[47]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[48]  G. Harman,et al.  The Problem of Induction , 2006 .

[49]  Choh Man Teng,et al.  Uncertain Inference: Preface , 2001 .

[50]  R. H.,et al.  The Principles of Mathematics , 1903, Nature.

[51]  Ian Pratt-Hartmann,et al.  Fragments of Language , 2004, J. Log. Lang. Inf..

[52]  James Hawthorne,et al.  Nonmonotonic conditionals that behave like conditional probabilities above a threshold , 2007, J. Appl. Log..

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

[54]  E. W. Adams,et al.  Probability and the Logic of Conditionals , 1966 .

[55]  Horacio Arló-Costa.  Bayesian Epistemology and Epistemic Conditionals: On the Status of the Export-Import Laws , 2001 .