Abstract
Prawitz’s views concerning inferences and their validity are examined in the light of opinions about general proof theory and proof-theoretic semantics inspired by categorial proof theory. The frame for these opinions, and for the ensuing examination of those of Prawitz, is provided by what has been qualified as a dogmatic position that proof-theoretic semantics shares with model-theoretic semantics.
Work on this paper was supported by the Ministry of Education, Science and Technological Development of Serbia, and the Alexander von Humboldt Foundation has supported its presentation at the workshop “Dag Prawitz on Proofs and Meaning”, in Bochum, in September 2012. I am indebted in particular to Heinrich Wansing, who invited me to write the paper and enabled me to present it at this workshop, which he organized.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Došen, K. (1980). Logical constants: An essay in proof theory, Doctoral thesis. University of Oxford. http://www.mi.sanu.ac.rs/~kosta/publications.htm
Došen, K. (1996) Deductive completeness. The Bulletin of Symbolic Logic, 2 (pp. 243–283, 523). (For corrections see Došen 2001, Sect. 5.1.7, and Došen 2003).
Došen, K. (1997). Logical consequence: A turn in style. In M. L. Dalla Chiara et al. (Eds.), Logic and Scientific Methods, Volume I of the 10th International Congress of Logic, Methodology and Philosophy of Science, Florence 1995 (pp. 289–311). Dordrecht: Kluwer. http://www.mi.sanu.ac.rs/~kosta/publications.htm
Došen, K. (2001). Abstraction and application in adjunction. In Z. Kadelburg (Ed.), Proceedings of the Tenth Congress of Yugoslav Mathematicians, Faculty of Mathematics, University of Belgrade, Belgrade (pp. 33–46). http://arXiv.org
Došen, K. (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic Logic, 9, 477–503. (Version with corrected remark on difunctionality available at: http://arXiv.org)
Došen, K. (2006). Models of deduction, proof-theoretic semantics. In R. Kahle, & P. Schroeder-Heister (Eds.), Proceedings of the Conference “Proof-Theoretic Semantics, Tübingen 1999”, Synthese, vol. 148 (pp. 639–657). http://www.mi.sanu.ac.rs/~kosta/publications.htm
Došen, K. (2011). A prologue to the theory of deduction. In M. Peliš, V. Punčochář (Eds.), The logica yearbook 2010 (pp. 65–80). London: College Publications (http://www.mi.sanu.ac.rs/~kosta/publications.htm)
Došen, & K., Petrić, Z. (2004). Proof-theoretical coherence. London: KCL Publications (College Publications). (Revised version of 2007 available at: http://www.mi.sanu.ac.rs/~kosta/publications.htm)
Došen, & K., Petrić, Z. (2007). Proof-net categories. Monza: Polimetrica. (preprint of 2005 available at: http://www.mi.sanu.ac.rs/~kosta/publications.htm)
Došen, & K., Petrić, Z. (2008). Equality of proofs for linear equality. Archive for Mathematical Logic, 47, 549–565. (http://arXiv.org)
Došen, & K., Petrić, Z. (2009). Coherence in linear predicate logic. Annals of Pure and Applied Logic, 158, 125–153. (http://arXiv.org)
Došen, K. (1999). Cut elimination in categories. Dordrecht: Kluwer.
Dummett, M. A. E. (1973). Frege: Philosophy of language. London: Duckworth.
Dummett, M. A. E. (1991a). Frege: Philosophy of mathematics. London: Duckworth.
Dummett, M. A. E. (1991b). The logical basis of metaphysics. London: Duckworth.
Frege, G., Die Grundlagen der Arithmetik: Eine logisch mathematische Untersuchung über den Begriff der Zahl, Verlag von Wilhelm Koebner, Breslau, 1884 (English translation by J. L. Austin: The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number, second revised edition, Blackwell, Oxford, 1974).
Gentzen, G. (1935). Untersuchungen über das logische Schließen, Mathematische Zeitschrift, 39 (1935) 176–210, 405–431. (English translation: Investigations into logical deduction (1969), In M.E. Szabo, (Ed.), The collected papers of Gerhard Gentzen (pp. 68–131, 312–317) North-Holland: Amsterdam).
Kahle, R., & Schroeder-Heister, P. (2006) Introduction: Proof-theoretic semantics. In R. Kahle, P. Schroeder-Heister, (Eds.), Proof-Theoretic Semantics, Proceedings of the Conference “Proof-Theoretic Semantics, Tübingen 1999”, Synthese (Vol. 148, pp. 503–506).
Ketonen, O. (1944). Untersuchungen zum Prädikatenkalkül. Annales Academiae Scientiarum Fennicae, series A, I Mathematica-physica, 23, 71.
Lambek, J. (1974). Functional completeness of cartesian categories. Annals of Mathematical Logic, 6, 259–292.
Lambek, J., & Scott, P. J. (1986). Introduction to higher order categorical logic. Cambridge: Cambridge University Press.
Lawvere, F. W. (1969). Adjointness in foundations. Dialectica, 23, 281–296.
Marion, M. (2001). Qu’est-ce que l’inférence? Une relecture du Tractatus logico-philosophicus. Archives de Philosophie, 64, 545–567.
Prawitz, D. (2006) Validity of inferences, to appear in the Proceedings of the 2nd Lauener Symposium on Analytical Philosophy, Bern 2006 (http://people.su.se/~prawd/Bern2006.pdf)
Prawitz, D. (1965). Natural deduction: a proof-theoretical study. Stockholm: Almqvist & Wiksell.
Prawitz, D. (1971). Ideas and results in proof theory. In J. E. Fenstad (Ed.), Proceedings of the Second Scandinavian Logic Symposium (pp. 235–307). Amsterdam: North-Holland.
Prawitz, D. (2008). Inference and knowledge. In M. Peliš (Ed.), The logica yearbook, 2009 (pp. 175–192). London: College Publications.
Schroeder-Heister, P. (2008). Proof-theoretic versus model-theoretic consequence. In Peliš, M. (Ed.), The logica yearbook, 2007 (pp. 187–200). Prague: Filosofia.
Schroeder-Heister, P. (2012) The categorical and the hypothetical: A critique of some fundamental assumptions of standard semantics. In Lindström, S. et al., (Eds.), The Philosophy of Logical Consequence and Inference, Proceedings of the Workshop “The Philosophy of Logical Consequence, Uppsala, 2008”, Synthese (Vol. 187, pp. 925–942).
Schroeder-Heister, P. (1984). Popper’s theory of deductive inference and the concept of a logical constant. History and Philosophy of Logic, 5, 79–110.
Schroeder-Heister, P., & Contu, P. (2005). In W. Spohn, P. Schroeder-Heister, & E. J. Olsson (Eds.), Folgerung, Logik in der philosophie (pp. 247–276). Heidelberg: Synchron.
Simpson, J., & Weiner, E. (Eds.). (1989). The Oxford english dictionary (2nd ed.). Oxford: Oxford University Press.
Thiele, R., (2005), Hilbert and his twenty-four problems. In Van Brummelen, G., Kinyon, M. (Eds.), Mathematics and the Historian’s Craft: The Kenneth O. May Lectures, Canadian Mathematical Society (pp. 243–295). New York: Springer.
Wittgenstein, L., (1921). Logisch-philosophische Abhandlung, Annalen der Naturphilosophie, 14 (pp. 185–262) (English translation by C. K. Ogden: Tractatus logico-philosophicus, Routledge, London, 1922, new translation by D. F. Pears and B. F. McGuinness, Routledge, London, 1961).
Wittgenstein, L., (1953). Philosophische Untersuchungen. Blackwell: Oxford (English translation by G. E. M. Anscombe: Philosophical investigations, fourth edition with revisions by P. M. S. Hacker and J. Schulte, Wiley-Blackwell, Oxford, 2009).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Došen, K. (2015). Inferential Semantics. In: Wansing, H. (eds) Dag Prawitz on Proofs and Meaning. Outstanding Contributions to Logic, vol 7. Springer, Cham. https://doi.org/10.1007/978-3-319-11041-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-11041-7_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11040-0
Online ISBN: 978-3-319-11041-7
eBook Packages: Humanities, Social Sciences and LawPhilosophy and Religion (R0)