论文信息 - Proofs and the Meaning and Completeness of the Logical Constants

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.

D. Prawitz

[1] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .

[2] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .

[3] D. Prawitz. Ideas and Results in Proof Theory , 1971 .

[4] J. Fenstad. Proceedings of the Second Scandinavian Logic Symposium , 1971 .

[5] Dag Prawitz. Formulation des bétons autoplaçants : Optimisation du squelette granulaire par la méthode graphique de Dreux - Gorisse , 1974 .

[6] M. Dummett. The Philosophical Basis of Intuitionistic Logic , 1975 .

[7] Jeffery I. Zucker,et al. The adequacy problem for inferential logic , 1978, J. Philos. Log..