Skip to main content
SpringerLink
Log in

The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.

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

Similar content being viewed by others

References

  1. Almukdad, A., and D. Nelson, ‘Constructible falsity and inexact predicates’, Journal of Symbolic Logic 49 (1984), 231-233.

    Article  Google Scholar 

  2. Belnap, N. D., ‘Display Logic’, Journal of Philosophical Logic 11, 375-417, 1982. Reprinted with minor changes as §62 of A. R. Anderson, N. D. Belnap, and J. M. Dunn, Entailment: the logic of relevance and necessity, Vol. 2, Princeton University Press, Princeton, 1992.

    Google Scholar 

  3. Belnap, N. D., ‘Linear Logic Displayed’, Notre Dame Journal of Formal Logic 31 (1990), 14-25.

    Article  Google Scholar 

  4. Belnap, N. D., ‘The Display Problem’, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 79-92.

    Google Scholar 

  5. Van Benthem, J., ‘Games in logic: A survey’, in: J. Ph. Hoepelman (ed.), Representation and Reasoning, Max Niemeyer Verlag, Tübingen, 1988, 3-15.

    Google Scholar 

  6. Van Benthem, J., Exploring Logical Dynamics, CSLI Publications, Stanford, 1996.

    Google Scholar 

  7. Gentzen, G., ‘Investigations into logical deduction’, in: M. E. Szabo (ed.), The Collected Papers of Gerhard Gentzen, North Holland, Amsterdam, 1969, 68-131. English translation of: Untersuchungen über das logische Schließen, Mathematische Zeitschrift 39 (1934), I 176–210, II 405–431.

    Google Scholar 

  8. Girard, J.-Y., Y. Lafont, and P. Taylor, Proofs and Types, Cambridge University Press, Cambridge, 1989.

    Google Scholar 

  9. Groenendijk, J., and M. Stockhof, ‘Dynamic Predicate Logic’, Linguistics and Philosophy 14 (1991), 39-100.

    Article  Google Scholar 

  10. Felscher, W., ‘Dialogues as a foundation for intuitionistic logic’, in: D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. III, Reidel, Dordrecht, 1986, 341-372.

    Google Scholar 

  11. Hacking, I., ‘What is logic?’, The Journal of Philosophy 76 (1979), 285-319. Reprinted in: D. Gabbay (ed.), What is a Logical System?, Oxford University Press, Oxford, 1994, 1–33. (Cited after the reprint.)

    Article  Google Scholar 

  12. Hintikka, J., Logic, Language Games and Information, Clarendon Press, Oxford, 1973.

    Google Scholar 

  13. Hintikka, J., and J. Kulas, The Game of Language, Reidel, Dordrecht, 1983.

    Google Scholar 

  14. Hintikka, J., and G. Sandu, ‘Game-theoretical semantics’, in: J. van Benthem and A. ter Meulen (eds.), Handbook of Logic and Language, Elsevier, Amsterdam and MIT Press, Cambridge (Mass.), 1997, 361-410.

    Google Scholar 

  15. Kracht, M., ‘Power and weakness of the Modal Display Calculus’, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 93-121.

    Google Scholar 

  16. Von Kutschera, F., ‘Die Vollständigkeit des Operatorensystems ·¬, ∧, ∨, ⊃× für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik’, Archiv für Mathematische Logik und Grundlagenforschung 11 (1968), 3-16.

    Article  Google Scholar 

  17. Von Kutschera, F., ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, Archiv für Mathematische Logik und Grundlagenforschung 12 (1969), 104-118.

    Article  Google Scholar 

  18. Lorenz, K., ‘Dialogspiele als semantische Grundlage von Logikkalkülen’, Archiv für mathematische Logik und Grundlagenforschung 11 (1968), 32-55, 73–100. Reprinted in: P. Lorenzen and K. Lorenz, Dialogische Logik, Wissenschaftliche Buchgesellschaft, Darmstadt, 1978, 96–162.

    Article  Google Scholar 

  19. Lorenz, K., ‘Dialogspiele und Syntax’, in: M. Dascal et al. (eds.), Sprachphilosophie/Philosophy of Language/La philosophie du langage, Volume 2, de Gruyter, Berlin, 1996, 1380-1391.

    Google Scholar 

  20. McCullough, D. P., ‘Logical connectives for intuitionistic propositional logic’, Journal of Symbolic Logic 36 (1971), 15-20.

    Article  Google Scholar 

  21. Prawitz, D., 'Proofs and the meaning and completeness of the logical constants, in: J. Hintikka et al. (eds.), Essays on Mathematical and Philosophical Logic, Reidel, Dordrecht, 1979, 25-40.

    Google Scholar 

  22. Restall, G., ‘Displaying and deciding substructural logics 1: Logics with contraposition’, Journal of Philosophical Logic 27 (1998), 179-216.

    Article  Google Scholar 

  23. Restall, G., ‘Display logic and gaggle theory’, Reports on Mathematical Logic 29 (1995), 133-146, (published 1996).

    Google Scholar 

  24. Schroeder-Heister, P., ‘A natural extension of natural deduction’, Journal of Symbolic Logic 49 (1984), 1284-1300.

    Article  Google Scholar 

  25. Schroeder-Heister, P., ‘Uniform proof-theoretic semantics for logical constants’ (abstract), Journal of Symbolic Logic 56 (1991).

  26. Sundholm, G., ‘Proof-theoretical semantics and Fregean identity-criteria for propositions’, The Monist 77 (1994), 294-314.

    Google Scholar 

  27. Tennant, N., Natural Logic, Edinburgh University Press, Edinburgh, 1978.

    Google Scholar 

  28. Tennant, N., ‘The transmission of truth and the transitivity of deduction’, in: D. Gabbay (ed.), What is a Logical System?, Oxford University Press, Oxford, 1994, 161-178.

    Google Scholar 

  29. Wansing, H., ‘Functional completeness for subsystems of intuitionistic propositional logic’, Journal of Philosophical Logic 22 (1993), 303-321.

    Article  Google Scholar 

  30. Wansing, H., The Logic of Information Structures, Lecture Notes in AI 681, Springer-Verlag, Berlin, 1993.

    Google Scholar 

  31. Wansing, H., ‘Sequent calculi for normal modal propositional logics’, Journal of Logic and Computation 4 (1994), 125-142.

    Google Scholar 

  32. Wansing, H., ‘Tarskian structured consequence relations and functional completeness’, Mathematical Logic Quarterly 41 (1995), 73-92.

    Google Scholar 

  33. Wansing, H., ‘Strong cut-elimination in Display Logic’, Reports on Mathematical Logic 29 (1995), 117-131, (published 1996).

    Google Scholar 

  34. Wansing, H., ‘A proof-theoretic proof of functional completeness for many modal and tense logics’, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 123-136.

    Google Scholar 

  35. Wansing, H., ‘Modal tableaux based on residuation’, Journal of Logic and Computation 7 (1997), 719-731.

    Article  Google Scholar 

  36. Wansing, H., ‘Predicate Logics on Display’, Studia Logica 62 (1999), 49-75.

    Article  Google Scholar 

  37. Wittgenstein, L., Philosophical Investigations, Blackwell, Oxford, 1953.

    Google Scholar 

  38. Zucker, J., and R. Tragesser, ‘The adequacy problem for inferential logic’, Journal of Philosophical Logic 7 (1978), 501-516.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Logic and Philosophy of Science, University of Leipzig, Augustusplatz 9, 04109, Leipzig, Germany

    Heinrich Wansing

Authors
  1. Heinrich Wansing
    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

Wansing, H. The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations. Studia Logica 64, 3–20 (2000). https://doi.org/10.1023/A:1005217827758

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005217827758

Search

Navigation