Proofs and the Meaning and Completeness of the Logical Constants

  • Dag Prawitz
Part of the Synthese Library book series (SYLI, volume 122)


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.


Inference Rule Natural Deduction Logical Constant Elimination Rule Introduction Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Dummett, Michael, ‘The philosophical basis of intuitionistic logic’, in Logic Colloqium ’73 (H. E. Rose and J. C. Shepherdson, eds.), Amsterdam, 1975.Google Scholar
  2. Gentzen, Gerhard, ‘Untersuchungen über das logische Schliessen’, Mathematische Zeitschrift 39 (1935), pp. 176–210.CrossRefGoogle Scholar
  3. Prawitz, Dag, Natural Deduction. A Proof-Theoretical Study, Stockholm, 1965.Google Scholar
  4. 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
  5. 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
  6. Prawitz, Dag, ‘On the idea of a general proof theory’, Synthese 27 (1974), pp. 63–77.CrossRefGoogle Scholar
  7. Prawitz, Dag, ‘Meaning and proofs: on the conflict between classical and intuitionistic logic’, Theoria 43, 2–40.Google Scholar
  8. Zucker, Jeffrey, The adequacy problem for inferential logic, Department of Mathematics, University of Utrecht, preprint nr. 37, 1976.Google Scholar

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1979

Authors and Affiliations

  • Dag Prawitz
    • 1
  1. 1.Department of PhilosophyUniversity of StockholmSweden

Personalised recommendations