Skip to main content
SpringerLink
Log in

Axiomatizing Belnap's conditional assertion

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. N.D. Belnap, Jr., ‘Conditional Assertion and Restricted Quantification’, inTruth Syntax and Modality, ed. H. Leblanc, Amsterdam, 1973, pp. 48–75.

  2. N.B. Cocchiarella, ‘On the Primary and Secondary Semantics of Logical Necessity’,Journal of Philosophical Logic 4 (1975), pp. 13–27.

    Article  Google Scholar 

  3. W. Craig, ‘On Axiomatizability Within a System’,The Journal of Symbolic Logic 18 (1953), pp. 30–32.

    Article  Google Scholar 

  4. J.M. Dunn, (Abstract), “Comments on N.D. Belnap, Jr.'s ‘Conditional Assertion and Restricted Quantification’,”Noûs 4 (1970), p. 13.

  5. J.M. Dunn and N.D. Belnap Jr., ‘The Substitution Interpretation of the Quantifiers’,Noûs 2 (1968), pp. 177–185.

    Article  Google Scholar 

  6. D. Kaplan,Foundations of Intensional Logic, unpublished Ph.D. thesis, University of California at Los Angeles, 1964.

  7. R. Montague and L. Henkin, “On the Definition of ‘Formal Deduction’,”The Journal of Symbolic Logic 21 (1956), pp. 129–136.

    Article  Google Scholar 

  8. B.C. van Fraassen, ‘Belnap connectives’, forthcoming.

Download references

Author information

Authors and Affiliations

  1. Indiana University, USA

    J. Michael Dunn

Authors
  1. J. Michael Dunn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported in part by NSF Grants GS-2648 and GS-33708. Its substance was reported in my comments on Belnap's paper in the symposium onQuantification and Generality at the American Philosophical Association's Western Division Meeting, St. Louis, May, 1970. A mimeo version was then in private circulation, and there was a rather vague abstract [4] (required for publication much in advance of the actual presentation). The main thrust of these results is in harmony with an (independent) suggestion due to W. V. O. Quine (another symposium participant) that it might be fruitful to consider Belnap's conditional assertion in the setting of three-valued logic, rather than in the modal logic setting given it by Belnap. Cf. esp. § 3 and § 8.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dunn, J.M. Axiomatizing Belnap's conditional assertion. J Philos Logic 4, 383–397 (1975). https://doi.org/10.1007/BF00558756

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00558756

Keywords

Search

Navigation