Proofs and the Meaning and Completeness of the Logical Constants
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.
KeywordsInference Rule Natural Deduction Logical Constant Elimination Rule Introduction Rule
Unable to display preview. Download preview PDF.
- Dummett, Michael, ‘The philosophical basis of intuitionistic logic’, in Logic Colloqium ’73 (H. E. Rose and J. C. Shepherdson, eds.), Amsterdam, 1975.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, ‘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