Skip to main content
SpringerLink
Log in

Natural deduction, separation, and the meaning of logical operators

  • Article
  • 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

Bibliography

  1. N. D. Belnap, ‘Tonk, Plonk and Plink’, in P. F. Strawson (ed.), Philosophical Logic, Oxford University Press, Oxford, 1967, pp. 132–137; reprinted from Analysis, Blackwell, 1962, Vol. 22, pp. 130–134.

    Google Scholar 

  2. N. D. Belnap, Jr. and R. H. Thomason, ‘A Rule-Completeness Theorem’, Notre Dame Journal of Formal Logic, Vol. IV, No. 1, pp. 39–43.

  3. N. D. Belnap, Jr., H. Leblanc, and R. H. Thomason, ‘On Not Strengthening Intuitionistic Logic’, Notre Dame Journal of Formal Logic, Vol. IV, No. 4, pp. 313–320.

  4. Kent Bendall, ‘Negation as a Sign of Negative Judgement’, Notre Dame Journal of Formal Logic, forthcoming.

  5. Evert W. Beth, The Foundations of Mathematics, North-Holland Publishing Company, Amsterdam, 1959.

    Google Scholar 

  6. Frederic Brenton Fitch, Symbolic Logic, The Ronald Press Co., New York 1952.

    Google Scholar 

  7. Gottlob Frege, ‘Negation’, in Peter Geach and Max Black (ed.), Translations from the Writings of Gottlob Frege, Basil Blackwell, Oxford, 1952.

    Google Scholar 

  8. Peter Geach, ‘Assertion’, The Philosophical Review, Vol., LXXIV (1965), pp. 449–465.

    Google Scholar 

  9. Gilbert H. Harman, ‘Induction’, in Marshall Swain (ed.), Induction Acceptance, and Rational Belief, D. Reidel Publishing Co., Dordrecht, 1970, pp. 83–99.

    Google Scholar 

  10. Gilbert H. Harman, Thought, Princeton University Press, Princeton, N.J., 1973.

    Google Scholar 

  11. Richard C. Jeffrey, Formal Logic; Its Scope and Limits, McGraw-Hill Book Co., New York, 1967.

    Google Scholar 

  12. Hughes Leblanc, ‘Two Shortcomings of Natural Deduction’, Journal of Philosophy, Vol. LXIII (1966), pp. 29–37.

    Google Scholar 

  13. Hugues Leblanc and William A. Wisdom, Deductive Logic, Allyn and Bacon, Inc., Boston, 1972.

    Google Scholar 

  14. D. Ponasse, Mathematical Logic, Goden and Brench, New York, 1973.

    Google Scholar 

  15. A. N. Prior, ‘The Runabout Inference-Ticket’, in P. F. Strawson, op. cit, pp. 129–131; reprinted from Analysis, Blackwell, 1960, Vol. 21, pp. 39–59.

  16. WillardVan Orman Quine, Methods of Logic, Third Edition, Holt, Rinehart & Winston, New York, 1972.

    Google Scholar 

  17. WillardVan Orman Quine, Philosophy of Logic, Prentice-Hall, Englewood Cliffs, N.J., 1970.

    Google Scholar 

  18. Raymond M. Smullyan, First-Order Logic. Springer-Verlag, New York, 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wesleyan University, Connecticut, USA

    Kent Bendall

Authors
  1. Kent Bendall
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bendall, K. Natural deduction, separation, and the meaning of logical operators. J Philos Logic 7, 245–276 (1978). https://doi.org/10.1007/BF00245930

Download citation

  • Issue Date:

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

Keywords

Search

Navigation