Skip to main content
SpringerLink
Log in

Conditional Logic

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Synthese Library ((SYLI,volume 165))

Abstract

Prior to 1968 several writers had explored the conditions for the truth or assertability of conditionals, but this work did not result in an attempt to provide formal models for the semantical structure of conditionals. It had also been suggested that a proper logic for conditionals might be provided by combining modal operators with material conditionals in some way, but this suggestion never led to any widely accepted formal logic for conditionals.2 Then Stalnaker [1968] provided both a formal semantics for conditionals and an axiomatic system of conditional logic. This important paper effectively inaugurated that branch of philosophical logic which we today call conditional logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Adams, E.: 1966, ‘Probability and the logic of conditionals’, in J. Hintikka and P. Suppes (eds.), Aspects of Inductive Logic, North-Holland, Amsterdam.

    Google Scholar 

  • Adams, E.: 1975, The Logic of Conditionals’, An Application of Probability to Deductive Logic, Reidel, Dordrecht.

    Google Scholar 

  • Adams, E.: 1975a, ‘Counterfactual Conditionals and Prior Probabilities’, in C. A. Hooker and W. L. Harper (eds.), Proceedings of International Congress on the Foundations of Statistics, Reidel, Dordrecht.

    Google Scholar 

  • Adams, E.: 1977, ‘A note on comparing probabilistic and modal logics of conditionals’, Theoria 43, 186–194.

    Article  Google Scholar 

  • Adams, E.: 1981, ‘Transmissible improbabilities and marginal essentialness of premises in inferences involving indicative conditionals’, J. Philosophical Logic 10, 149–177.

    Google Scholar 

  • Åqvist, L.: 1971, Modal Logic with Subjunctive Conditionals, Uppsala.

    Google Scholar 

  • Bennett, J.: 1974, ‘Counterfactuals and possible worlds’, Canadian J. Philosophy 4, 381–402.

    Google Scholar 

  • Bennett, J.: 1982, ‘Even If’, Linguistics and Philosophy 5, 403–418.

    Article  Google Scholar 

  • Bigelow, J. C.: 1976,‘If-Then Meets the Possible Worlds’, Philosophia 6, 215–236.

    Article  Google Scholar 

  • Blue, N. A.: 1981, ‘A metalinguistic interpretation of counterfactual conditionals’, J. Philosophical Logic 10, 179–200.

    Google Scholar 

  • Bowie, G. Lee: 1979, ‘The similarity approach to counterfactuals: some problems’, Noûs 13, 477–497.

    Article  Google Scholar 

  • Burgess, J. P.: 1979, ‘Quick completeness proofs for some logics of conditionals’, Notre Dame J. Formal Logic 22, 76–84.

    Article  Google Scholar 

  • Burgess, J. P.: 1984, ‘Basic tense logic’, Chapter II.2 in this volume.

    Google Scholar 

  • Burks, A. W.: 1951, ‘The logic of causal propositions’, Mind 60, 363–382.

    Article  Google Scholar 

  • Butcher, D.: 1978, ‘Subjunctive Conditional Modal Logic’, PhD dissertation, Stanford.

    Google Scholar 

  • Butcher, D.: 1983, ‘An incompatible pair of subjunctive conditional modal axioms’, Philosophical Studies 44, 71–110.

    Article  Google Scholar 

  • Butcher, D.: 1983a, ‘Consequent-relative subjunctive implication’, in preparation.

    Google Scholar 

  • Chellas, B. F.: 1975, ‘Basic conditional logic’, J. Philosophical Logic 4, 133–153.

    Article  Google Scholar 

  • Clark, M.: 1971, ‘Ifs and hooks’, Analysis 32, 33–39.

    Article  Google Scholar 

  • Chisholm, R.: 1946, ‘The contrary-to-fact conditional’, Mind 55, 289–307.

    Article  Google Scholar 

  • Creary, L. G. and Hill, C. S.: 1975, Review of Lewis [1973], Philosophy of Science 43, 341–344.

    Article  Google Scholar 

  • Daniels, B. and Freeman, J. B.: 1980, ‘An analysis of the subjunctive conditional’, Notre Dame J. Formal Logic 21, 639–655.

    Article  Google Scholar 

  • Davis, W.: 1979, ‘Indicative and subjunctive conditionals’, Philosophical Review 88, 544–564.

    Article  Google Scholar 

  • Ellis, B., Jackson, F., and Pargetter, R.: 1977, ‘An objection to possible world semantics for counterfactual logics’, J. Philosophical Logic 6, 355–357.

    Article  Google Scholar 

  • Fetzer, J. H. and Nute, D.: 1979, ‘Syntax, semantics, and ontology: a probabilistic causal calculus’, Synthese 40, 453–495.

    Article  Google Scholar 

  • Fetzer, J. H. and Nute, D.: 1980, ‘A probabilistic causal calculus: conflicting conceptions’, Synthese 44, 241–246.

    Article  Google Scholar 

  • Fine, K.: 1975, Review of Lewis [1973], Mind 84, 451–458.

    Article  Google Scholar 

  • Gabbay, D. M.: 1972, ‘A general theory of the conditional in terms of a ternary operator’, Theoria 38, 97–104.

    Article  Google Scholar 

  • Gardenförs, P.: 1979, ‘Conditionals and changes of belief’, in I. Niiniluoto and R. Tuo-mela (eds.), The Logic and Epistemology of Scientific Change, North-Holland, Amsterdam.

    Google Scholar 

  • Gardenförs, P.: 1979a, ‘Even If’, in F. V. Jensen, B. H. Mayoh, and K. K. Moller (eds.), Proceedings from 5th Scandinavian Logic Symposium, Aalborg University Press, Aalborg.

    Google Scholar 

  • Gibbard, A. and Harper, W. L.: 1981, ‘Counterfactuals and two kinds of expected utility’, in W. L. Harper, R. Stalnaker, and G. Pearce (eds.), Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Goodman, N.: 1955, Fact, Fiction and Forecast, Harvard, Cambridge, Massachusetts.

    Google Scholar 

  • Grice, P.: 1967, ‘Logic and conversation’, The William James Lectures, given at Harvard University.

    Google Scholar 

  • Hilpinen, R.: 1981, ‘Conditionals and possible worlds’, in G. Floistad (ed.), Contemporary Philosophy: A New Survey, Vol. I: Philosophy of Language/Philosophical Logic, Martinus Nijhoff, The Hague.

    Google Scholar 

  • Hilpinen, R.: 1982, ‘Disjunctive permissions and conditionals with disjunctive antecedents’, in Ilkka Niiniluoto and Esa Saarinen (eds.), Proceedings of the Second Soviet-Finnish Logic Conference, Moscow, 3–7 December 1979,Acta Philosophica Fennica.

    Google Scholar 

  • Hertzberger, H. G.: 1979, ‘Counterfactuals and consistency’, J.Philosophy 76, 83–88.

    Article  Google Scholar 

  • Humberstone, I. L.: 1978, ‘Two merits of the circumstantial operator language for conditional logic’, Australasian J. Philosophy 56, 21–24.

    Article  Google Scholar 

  • Hunter, G.: 1980, ‘Conditionals, indicative and subjunctive’, in J. Dancey (ed.), Papers on Language and Logic, Keele University Library.

    Google Scholar 

  • Hunter, G.: 1982, Review of Nute [1980], Mind 91, 136–138.

    Article  Google Scholar 

  • Jackson, F.: 1977, ‘A causal theory of counterfactuals’, Australasian J. Philosophy 55, 3–21.

    Article  Google Scholar 

  • Jackson, F.: 1979, ‘On assertion and indicative conditionals’, Philosophical Review 88, 565–589.

    Article  Google Scholar 

  • Kim, J.: 1973, ‘Causes and counterfactuals’, J. Philosophy 70, 570–572.

    Article  Google Scholar 

  • Kratzer, A.: 1979, ‘Conditional necessity and possibility’, in R. Bauerle, U. Egli, and A. von Stechow (eds.), Semantics from Different Points of View, Springer-Verlag, Berlin.

    Google Scholar 

  • Kratzer, A.: 1981, ‘Partition and revision: the semantics of counterfactuals’, J. Philosophical Logic 10, 201–216.

    Article  Google Scholar 

  • Kvart, I.: 1980, ‘Formal semantics for temporal logic and counterfactuals’, Logique et Analyse 23, 35–62.

    Google Scholar 

  • Kvart, I.: 1982, Toward a Theory of Counterfactuals, Hackett, Indianapolis.

    Google Scholar 

  • Lewis, D.: 1971, ‘Completeness and decidability of three logics of counterfactual conditionals’, Theoria 37, 74–85.

    Article  Google Scholar 

  • Lewis, D.: 1973, Count erfactuals, Harvard, Cambridge, Massachusetts.

    Google Scholar 

  • Lewis, D.: 1973a, ‘Counterfactuals and comparative possibility’, J. Philosophical Logic 2, 418–446.

    Article  Google Scholar 

  • Lewis, D.: 1973b, ‘Causation’, J. Philosophy 70, 556–567.

    Article  Google Scholar 

  • Lewis, D.: 1976, ‘Probabilities of conditionals and conditional probabilities’, Philosophical Review 85, 297–315.

    Article  Google Scholar 

  • Lewis, D.: 1977, ‘Possible world semantics for counterfactual logics: a rejoinder’, J Philosophical Logic 6, 359–363.

    Article  Google Scholar 

  • Lewis, D.: 1979, ‘Counterfactual dependence and time’s arrow’, Noûs 13, 455–476.

    Article  Google Scholar 

  • Lewis, D.: 1979a, ‘Scorekeeping in a language game’, J. Philosophical Logic 8, 339–359.

    Article  Google Scholar 

  • Lewis, D.: 1981, ‘Ordering semantics and premise semantics for counterfactuals’, J. Philosophical Logic 10, 217–234.

    Article  Google Scholar 

  • Lewis, D.: 1981a, ‘A subjectivist’s guide to objective change’, in W. L. Harper, R. Stal-naker, and G. Pearce (eds.), Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Loewer, B.: 1976, ‘Counterfactuals with disjunctive antecedents’, J. Philosophy 73, 531–536.

    Article  Google Scholar 

  • Loewer, B.: 1978, ‘Cotenability and counterfactual logics’, J. Philosophical Logic 8, 99–116.

    Google Scholar 

  • Mayer, J. C.: 1981, ‘A misplaced thesis of conditional logic’, J. Philosophical Logic 10, 235–238.

    Article  Google Scholar 

  • McKay, T. and Van Inwagen, P.: 1977, ‘Counterfactuals with disjunctive antecedents’, Philosophical Studies 31, 353–356.

    Article  Google Scholar 

  • Nute, D.: 1975, ‘Counterfactuals’, Note Dame J. Formal Logic 16, 476–482.

    Article  Google Scholar 

  • Nute, D.: 1975a, ‘Counterfactuals and the similarity of worlds’, J. Philosophy 72, 773–778.

    Article  Google Scholar 

  • Nute, D.: 1977, ‘Scientific law and nomological conditionals’, a technical report prepared for the National Science Foundation.

    Google Scholar 

  • Nute, D.: 1978, ‘An incompleteness theorem for conditional logic’, Notre Dame J. Formal Logic 19, 634–636.

    Article  Google Scholar 

  • Nute, D.: 1978a, ‘Simplification and substitution of counterfactual antecedents’, Philo-sophia 7, 317–326.

    Google Scholar 

  • Nute, D.: 1979, ‘Algebraic semantics for conditional logics’, Reports on Mathematical Logic 10, 79–101.

    Google Scholar 

  • Nute, D.: 1980, Topics in Conditional Logic, Reidel, Dordrecht.

    Book  Google Scholar 

  • Nute, D.: 1980a, ‘Conversational scorekeeping and conditionals’, J. Philosophical Logic 9, 153–166.

    Article  Google Scholar 

  • Nute, D.: 1981, ‘Introduction’, J. Philosophical Logic 10, 127–147.

    Article  Google Scholar 

  • Nute, D.: 1981a, Review of Pollock [1916], Noûs 15, 212–219.

    Article  Google Scholar 

  • Nute, D.: 1981b, ‘Causes, laws, and law statements’, Synthese 48, 347–370.

    Article  Google Scholar 

  • Nute, D.: 1982, ‘Tense and conditionals’, a technical report prepared for the German Science Foundation.

    Google Scholar 

  • Nute, D. and Mitcheltree, W.: 1981, Review of Adams [1915], Noûs 15, 432–436.

    Article  Google Scholar 

  • Pollock, J.: 1974, Knowledge and Justification, Princeton Univ. Press, Princeton.

    Google Scholar 

  • Pollock, J.: 1916, Subjunctive Reasoning, Reidel, Dordrecht.

    Google Scholar 

  • Pollock, J.: 1981, ‘A refined theory of counterfactuals’, J. Philosophical Logic 10, 239–266.

    Article  Google Scholar 

  • Posch, G.: 1980, Zur Semantik der Kontrafaktischen Konditionale, Narr, Tuebingen.

    Google Scholar 

  • Post, J.: 1981, Review of Pollock [1916], Philosophia 9, 405–420.

    Article  Google Scholar 

  • Seilars, W. S.: 1958, ‘Counterfactuals, dispositions and the causal modalities’, in Feigl, Scriven, and Maxwell (eds.), Minnesota Studies in the Philosophy of Science, Vol. 2, University of Minnesota, Minneapolis.

    Google Scholar 

  • Rescher, N.: 1964, Hypothetical Reasoning, Reidel, Dordrecht.

    Google Scholar 

  • Slote, M. A.: 1978, ‘Time and counterfactuals’, Philosphical Review 87, 3–27.

    Article  Google Scholar 

  • Stalnaker, R.: 1968, ‘A theory of conditionals’, in N. Rescher (ed.), Studies in Logical Theory, American Philosophical Quarterly Monograph Series, No. 2, Blackwell, Oxford.

    Google Scholar 

  • Stalnaker, R.: 1970, ‘Probabilities and conditionals’, Philosophy of Science 28, 64–80.

    Article  Google Scholar 

  • Stalnaker, R.: 1975, ‘Indicative conditionals’, Philosophia 5, 269–286.

    Article  Google Scholar 

  • Stalnaker, R.: 1976, ‘Stalnaker to Van Fraassen’, in C. A. Hooker and W. L. Harper (eds.), Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, Reidel, Dordrecht.

    Google Scholar 

  • Stalnaker, R.: 1981, ‘A defense of conditional excluded middle’, in W. L. Harper, R. Stalnaker, and G. Pearce (eds.), Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Stalnaker, R.: 1981a, ‘Letter to David Lewis’, in W. L. Harper, R. Stalnaker, and G. Pearce, Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Stalnaker, R. and Thomason, R. H.: 1970, ‘A semantical analysis of conditional logic’, Theoria 36, 23–42.

    Article  Google Scholar 

  • Swain, M.: 1978, ‘A counterfactual analysis of event causation’, Philosophical Studies 34, 1–19.

    Article  Google Scholar 

  • Thomason, R. H. and Gupta, A.: 1981, ‘A theory of conditionals in the context of branching time’ in W. L. Harper, R. Stalnaker, and G. Pearce (eds.), Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Van Fraassen, B. C.: 1974, ‘Hidden variables in conditional logic’, Theoria 40, 176–190.

    Google Scholar 

  • Van Fraassen, B. C.: 1976, ‘Probabilities of conditionals’, in C. A. Hooker and W. L. Harper (eds.), Foundations of Probability Theory, Statistical Inference, and Statistical Theories of Science, Reidel, Dordrecht.

    Google Scholar 

  • Van Fraassen, B. C.: 1981, ‘A temporal framework for conditionals and change’, in W. L. Harper, R. Stalnaker, and G. Pearce (eds.), Ifs, Reidel, Dordrecht.

    Google Scholar 

  • Veltman, F.: 1976, ‘Prejudices, presuppositions and the theory of conditionals’, in J. Groenendijk and M. Stokhof (eds.), Amsterdam Papers in Formal Grammar, Vol. I, Centrale Interfaculteit, Universiteit van Amsterdam.

    Google Scholar 

  • Warmbrōd, K.: 1981, ‘Counterfactuals and substitution of equivalent antecedents’, J. Philosphical Logic 10, 267–289.

    Article  Google Scholar 

Download references

Authors
  1. Donald Nute
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, Bar-Ilan University, Israel

    D. Gabbay

  2. Neuphilologische Fakultaet, University of Tuebingen, West Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 1984 D. Reidel Publishing Company

About this chapter

Cite this chapter

Nute, D. (1984). Conditional Logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Synthese Library, vol 165. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-6259-0_8

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-6259-0_8

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-009-6261-3

  • Online ISBN: 978-94-009-6259-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation