Abstract
Formal calculi of deduction have proved useful in logic and in the foundations of mathematics, as well as in metamathematics. Examples of some of these uses are:
-
(a)
The use of formal calculi in attempts to give a secure foundation for mathematics, as in the original work of Frege.
-
(b)
To generate syntactically an already given semantical consequence relation, e.g. in some branches of technical modal logic.
-
(c)
Formal calculi can serve as heuristic devices for finding metamathematical properties of the consequence relation, as was the case, e.g., in the early development of infinitary logic via the use of cut-free Gentzen sequent calculi.
-
(d)
Formal calculi have served as the objects of mathematical study, as in traditional work on Hilbert’s consistency programme.
-
(e)
Certain versions of formal calculi have been used in attempts to formulate philosophical insights into the nature of reasoning.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bell, J. and Machover, M.: 1977, A Course in Mathematical Logic, North-Holland, Amsterdam.
Bernays, P.: 1965, ‘Betrachtungen zum Sequenzen-Kalkül’, in A.-T. Tymieniecka (ed.), Logic and Methodology, North-Holland, Amsterdam, pp. 1–44.
Church, A.: 1956, Introduction to Mathematical Logic, Vol. 1, Princeton U.P., Princeton.
Van Dalen, D.: 1980, Logic and Structure, Springer, Berlin.
Dummett, M.: 1977, Elements of Intuitionism, Oxford U.P., Oxford.
Enderton, H. B.: 1972, A Mathematical Introduction to Logic, Academic Press, New York.
Feferman, S.: 1960, ‘Arithmetization of metamathematics in a general setting’, Fundamenta Math. 49, 35–92.
Fitting, M.: 1969, Intuitionistic Logic, Model Theory and Forcing, North-Holland, Amsterdam.
Frege, G.: 1879, Begriffsschrift, Nebert, Halle. Complete English translation in Van Heijenoort [1967].
Gentzen, G.: 1934, ‘Untersuchungen über das logische Schliessen’, Math. Zeitschrift 39, 176–210, 405–431. Complete English translation in Szabo [1969].
Gentzen, G.: 1936, ‘Die Wiederspruchsfreiheit der reinen Zahlentheorie’, Math. Annalen 112, 493–565. Complete English translation in Szabo [1969].
Van Heijenoort, J.: 1967, From Frege to Gödel, Harvard U.P., Cambridge, Mass.
Hilbert, D. and Bernays, P.: 1934, Grundlagen der Mathematik, Vol. 1, Springer, Berlin.
Hodges, W.: 1977, Logic, Penguin, Harmondsworth.
Jeffrey, R. C.: 1967, Formal Logic: Its Scope and Limits, McGraw-Hill, New York.
Kalish, D. and Montague, R.: 1965, ‘On Tarski’s formalization of predicate logic with identity’, Archiv für mathematische Logik und Grundlagenforschung 7, 81–101.
Kleene, S. C.: 1952, Introduction to Metamathematics, North-Holland, Amsterdam.
Kleene, S. C.: 1967, Mathematical Logic, John Wiley, New York.
Kripke, S.: 1963, ‘Semantical considerations on modal logic’, Acta Philosophica Fennica 16, 83–94.
Leivant, D.: 1979, ‘Assumption classes in natural deduction’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 25, 1–4.
Martin-Löf, P.: 1971, ‘Hauptsatz for the intuitionistic theory of iterated inductive definitions’ in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp. 179–216.
Mendelson, E.: 1964, Introduction to Mathematical Logic, Van Nostrand, New York.
Monk, D.: 1965, ‘Substitutionless predicate logic with identity’, Archiv für mathematische Logik und Grundlagenforschung 7, 102–121.
Pottinger, G.: 1979, ‘Normalization as a homomorphic image of cut-elimination’, Annals of Math. Logic 12, 323–357.
Prawitz, D.: 1965, Natural Deduction, Almqvist & Wiksell, Uppsala.
Prawitz, D.: 1971, ‘Ideas and results in proof theory’, in J. E. Fenstad (ed.), Proceedings of the Second Scandinavian Logic Symposium, North-Holland, Amsterdam, pp. 235–307.
Prawitz, D.: 1975, ‘Comments on Gentzen-style procedures and the classical notion of truth’, in J. Diller and G. H. Müller (eds.), Proof Theory Symposium, Lecture Notes in Mathematics 500, Springer, Berlin pp. 290–319.
Prawitz, D.: 1977, ‘Meaning of proofs’, Theoria 43, 2–40.
Scott, D. S.: 1974, ‘Rules and derived rules’, in S. Stenlund (ed.), Logical Theory and Semantical Analysis, Reidel, Dordrecht, pp. 147–161.
Scott, D., Bostock, D., Forbes, G., Isaacson, D., and Sundholm, G.: 1981, Notes on the Formalization of Logic, Vols. I, I I, Sub-Faculty of Philosophy, Oxford.
Schütte, K.: 1951, ‘Schlussweisen-Kalküle der Pradikatenlogik’, Math. Annalen 122, 47–65.
Schwichtenberg, H.: 1977, ‘Proof theory: Some applications of cut-elimination’, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, pp. 867–896.
Smoryński, C.: 1977, ‘The incompleteness theorems’, in J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, pp. 821–865.
Smullyan, R.: 1968, First-order Logic, Springer, Berlin.
Szabo, M.: 1969, The Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam.
Tait, W. W.: 1968, ‘Normal derivability in classical logic’, in J. Barwise (ed.), The Syntax and Semantics of Infinitary Languages, Lecture Notes in Mathematics 72, Springer, Berlin, pp. 204–236.
Takeuti, G.: 1975, Proof Theory, North-Holland, Amsterdam.
Tarski, A.: 1965, ‘A simplified formulation of predicate logic with identity’, Archiv für mathematische Logik und Grundlagenforschung 7, 61–79.
Tennant, N.: 1978, Natural Logic, Edinburgh U.P., Edinburgh.
Troelstra, A. S. (ed.): 1973, Metamathematical Investigations of Intuitionistic Arithmetic and Analysis, Lecture Notes in Mathematics 344, Springer, Berlin.
Zucker, J.: 1974, ‘The correspondence between cut-elimination and normalization’, Annals of Math. Logic 1, 1–112.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 D. Reidel Publishing Company
About this chapter
Cite this chapter
Sundholm, G. (1983). Systems of Deduction. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Synthese Library, vol 164. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-7066-3_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-7066-3_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-7068-7
Online ISBN: 978-94-009-7066-3
eBook Packages: Springer Book Archive