Skip to main content
SpringerLink
Log in

Proofs and the Meaning and Completeness of the Logical Constants

  • Chapter
Essays on Mathematical and Philosophical Logic

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

Abstract

In this lecture I shall discuss the notions of meaning and proof and how they depend on each other. In conclusion, I shall deal with the question of the completeness of the usual sentential operations.

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 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover 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

  • Dummett, Michael, ‘The philosophical basis of intuitionistic logic’, in Logic Colloqium ’73 (H. E. Rose and J. C. Shepherdson, eds.), Amsterdam, 1975.

    Google Scholar 

  • Gentzen, Gerhard, ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift 39 (1935), pp. 176–210.

    Article  Google Scholar 

  • Prawitz, Dag, Natural Deduction. A Proof-Theoretical Study, Stockholm, 1965.

    Google Scholar 

  • Prawitz, Dag, ‘Ideas and results in proof theory’, in Proceedings of the Second Scandinavian Logic Symposium (ed. J. E. Fenstad), Amsterdam, 1975, pp. 235–250.

    Google Scholar 

  • Prawitz, Dag, ‘Towards a foundation of general proof theory’, in Logic, Methodology, and the Philosophy of Science IV (eds. P. Suppes et al, Amsterdam, 1973, pp. 63–77.

    Google Scholar 

  • Prawitz, Dag, ‘On the idea of a general proof theory’, Synthese 27 (1974), pp. 63–77.

    Article  Google Scholar 

  • Prawitz, Dag, ‘Meaning and proofs: on the conflict between classical and intuitionistic logic’, Theoria 43, 2–40.

    Google Scholar 

  • Zucker, Jeffrey, The adequacy problem for inferential logic, Department of Mathematics, University of Utrecht, preprint nr. 37, 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Stockholm, Sweden

    Dag Prawitz

Authors
  1. Dag Prawitz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Academy of Finland, Finland

    Jaakko Hintikka

  2. Stanford University, USA

    Jaakko Hintikka

Rights and permissions

Reprints and permissions

Copyright information

© 1979 D. Reidel Publishing Company, Dordrecht, Holland

About this chapter

Cite this chapter

Prawitz, D. (1979). Proofs and the Meaning and Completeness of the Logical Constants. In: Hintikka, J., Niiniluoto, I., Saarinen, E. (eds) Essays on Mathematical and Philosophical Logic. Synthese Library, vol 122. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-9825-4_2

Download citation

  • DOI: https://doi.org/10.1007/978-94-009-9825-4_2

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-009-9827-8

  • Online ISBN: 978-94-009-9825-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation