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.
Similar content being viewed by others
References
Almukdad, A., and D. Nelson, ‘Constructible falsity and inexact predicates’, Journal of Symbolic Logic 49 (1984), 231-233.
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.
Belnap, N. D., ‘Linear Logic Displayed’, Notre Dame Journal of Formal Logic 31 (1990), 14-25.
Belnap, N. D., ‘The Display Problem’, in: H. Wansing (ed.), Proof Theory of Modal Logic, Kluwer Academic Publishers, Dordrecht, 1996, 79-92.
Van Benthem, J., ‘Games in logic: A survey’, in: J. Ph. Hoepelman (ed.), Representation and Reasoning, Max Niemeyer Verlag, Tübingen, 1988, 3-15.
Van Benthem, J., Exploring Logical Dynamics, CSLI Publications, Stanford, 1996.
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.
Girard, J.-Y., Y. Lafont, and P. Taylor, Proofs and Types, Cambridge University Press, Cambridge, 1989.
Groenendijk, J., and M. Stockhof, ‘Dynamic Predicate Logic’, Linguistics and Philosophy 14 (1991), 39-100.
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.
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.)
Hintikka, J., Logic, Language Games and Information, Clarendon Press, Oxford, 1973.
Hintikka, J., and J. Kulas, The Game of Language, Reidel, Dordrecht, 1983.
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.
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.
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.
Von Kutschera, F., ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, Archiv für Mathematische Logik und Grundlagenforschung 12 (1969), 104-118.
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.
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.
McCullough, D. P., ‘Logical connectives for intuitionistic propositional logic’, Journal of Symbolic Logic 36 (1971), 15-20.
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.
Restall, G., ‘Displaying and deciding substructural logics 1: Logics with contraposition’, Journal of Philosophical Logic 27 (1998), 179-216.
Restall, G., ‘Display logic and gaggle theory’, Reports on Mathematical Logic 29 (1995), 133-146, (published 1996).
Schroeder-Heister, P., ‘A natural extension of natural deduction’, Journal of Symbolic Logic 49 (1984), 1284-1300.
Schroeder-Heister, P., ‘Uniform proof-theoretic semantics for logical constants’ (abstract), Journal of Symbolic Logic 56 (1991).
Sundholm, G., ‘Proof-theoretical semantics and Fregean identity-criteria for propositions’, The Monist 77 (1994), 294-314.
Tennant, N., Natural Logic, Edinburgh University Press, Edinburgh, 1978.
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.
Wansing, H., ‘Functional completeness for subsystems of intuitionistic propositional logic’, Journal of Philosophical Logic 22 (1993), 303-321.
Wansing, H., The Logic of Information Structures, Lecture Notes in AI 681, Springer-Verlag, Berlin, 1993.
Wansing, H., ‘Sequent calculi for normal modal propositional logics’, Journal of Logic and Computation 4 (1994), 125-142.
Wansing, H., ‘Tarskian structured consequence relations and functional completeness’, Mathematical Logic Quarterly 41 (1995), 73-92.
Wansing, H., ‘Strong cut-elimination in Display Logic’, Reports on Mathematical Logic 29 (1995), 117-131, (published 1996).
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.
Wansing, H., ‘Modal tableaux based on residuation’, Journal of Logic and Computation 7 (1997), 719-731.
Wansing, H., ‘Predicate Logics on Display’, Studia Logica 62 (1999), 49-75.
Wittgenstein, L., Philosophical Investigations, Blackwell, Oxford, 1953.
Zucker, J., and R. Tragesser, ‘The adequacy problem for inferential logic’, Journal of Philosophical Logic 7 (1978), 501-516.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1005217827758