Skip to main content
SpringerLink
Log in

Deduction at the Crossroads

  • Chapter
  • First Online:
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction

Part of the book series: Synthese Library ((SYLI,volume 481))

  • 27 Accesses

Abstract

I provide a general introduction to the notion at issue in this volume, i.e. deduction, and to some akin notions like inference and reasoning. I also argue that logic is, or should be concerned with three attitudes: an archaeological attitude, a nomological attitude, and an aetiological attitude. Then, I sum up the content of the contributions in this volume.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 129.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    As said, I take the description I just provided to be the most widely shared understanding of deduction, reasoning, inference, and of their intertwinement. However, some alternative approaches are possible, see e.g. Valaris (2019).

  2. 2.

    I am indebted to Ansten Klev for the choice of the Greek-based terminologies “archaeological”, “nomological” and “aetiological”.

  3. 3.

    Number “2” is there since the workshop was understood as the second edition of a previous meeting, Inferences and proofs, organised again by Gabriella Crocco and me, and held in Marseille on May 31st – June 1st 2016.

References

  • Abramsky, S., Jagadeesan, R., & Malacaria, P. (2000). Full abstraction for PCF. Information and Computation, 163(2), 409–470.

    Article  Google Scholar 

  • Adžić, M., & Došen, K. (2016). Gödel’s Notre Dame course. The Bulletin of Symbolic Logic, 22, 469–481.

    Article  Google Scholar 

  • Andreoli, J.-M. (1992). Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2, 297–347.

    Article  Google Scholar 

  • Belnap, N. D. (1962). Tonk, plonk and plink. Analysis, 22(6), 130–134.

    Article  Google Scholar 

  • Binder, D., & Piecha, T. (2017). Popper’s notion of duality and his theory of negations. History and Philosophy of Logic, 38(2), 154–189.

    Article  Google Scholar 

  • Binder, D., & Piecha, T. (2021). Popper on quantification and identity. In Z. Parusniková & D. Merritt (Eds.), Karl Popper’s science and philosophy (pp. 149–169). Springer.

    Chapter  Google Scholar 

  • Binder, D., Piecha, T., & Schroeder-Heister, P. (2022). The logical writings of Karl popper. Springer.

    Book  Google Scholar 

  • Bonnay, D., & Westerståhl, D. (2016). Compositionality solves Carnap’s problem. Erkenntnis, 81(4), 721–739.

    Article  Google Scholar 

  • Brainbridge, E. S., Freyd, P. J., Scedrov, A., & Scott, P. (1990). Functorial polymorphism. Theoretical Computer Science, 70, 35–64.

    Article  Google Scholar 

  • Brandom, R. (1994). Making it explicit: Reasoning, representing and discursive commitment. Harvard University Press.

    Google Scholar 

  • Carnap, R. (1943). Formalization of logic. Harvard University Press.

    Google Scholar 

  • Cellucci, C. (2013). Rethinking logic: Logic in relation to mathematics, evolution, and method. Springer.

    Book  Google Scholar 

  • Church, A. (1944). Review of Carnap 1943. The Philosophical Review, 53(5), 493–498.

    Article  Google Scholar 

  • Cozzo, C. (1994). Meaning and argument. A theory of meaning centred on immediate argumental role. Almqvist & Wiskell.

    Google Scholar 

  • D’Agostino, M. (2005). Classical natural deduction. In S. N. Artëmov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay (Vol. I, pp. 429–468). College Publications.

    Google Scholar 

  • Došen, K. (2003). Identity of proofs based on normalization and generality. The Bulletin of Symbolic Logic, 9(4), 477–503.

    Article  Google Scholar 

  • Došen, K., & Adžić, M. (2018). Gödel’s natural deduction. Studia Logica, 106, 397–415.

    Article  Google Scholar 

  • Došen, K., & Adžić, M. (2019). Gödel on deduction. Studia Logica, 107, 31–51.

    Article  Google Scholar 

  • Dubinsky, E. (1986). Teaching mathematical induction I. The Journal of Mathematical Behavior, 5, 305–317.

    Google Scholar 

  • Dubinsky, E. (1989). Teaching mathematical induction II. The Journal of Mathematical Behavior, 8, 285–304.

    Google Scholar 

  • Dubinsky, E. (1991). Reflective abstraction in advanced mathematical thinking. In D. O. Tall (Ed.), Advanced mathematical thinking (pp. 95–123). Kluwer.

    Google Scholar 

  • Dubinsky, E., & Lewin, P. (1986). Reflective abstraction and mathematics education: The genetic decomposition of induction and compactness. The Journal of Mathematical Behavior, 5, 55–92.

    Google Scholar 

  • Dummett, M. (1991). Frege. Philosophy of Mathematics. Duckworth, London.

    Google Scholar 

  • Dummett, M. (1993a). The logical basis of metaphysics. Harvard University Press.

    Google Scholar 

  • Dummett, M. (1993b). What is a theory of meaning? (I). In The seas of language (pp. 1–33). Clarendon Press.

    Google Scholar 

  • Dummett, M. (1993c). What is a theory of meaning? (II). In The seas of language (pp. 34–93). Clarendon Press.

    Google Scholar 

  • Felscher, W. (1985). Dialogues, strategies and intuitionistic provability. Annals of Pure and Applied Logic, 28(3), 217–254.

    Article  Google Scholar 

  • Fischbein, E. (1982). Intuition and proof. For the Learning of Mathematics, 3(2), 9–24.

    Google Scholar 

  • Fischbein, E. (1987). Intuition in science and mathematics. Kluwer.

    Google Scholar 

  • Gabbay, M., & Gabbay, M. (2005). Some formal considerations on Gabbay’s restart rule in natural deduction and goal-directed reasoning. In S. N. Artëmov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, & J. Woods (Eds.), We will show them! Essays in honour of Dov Gabbay (Vol. I, pp. 701–730). College Publications.

    Google Scholar 

  • Garson, J. (2013). What logics mean: From proof-theory to model-theoretic semantics. Cambridge University Press.

    Book  Google Scholar 

  • Girard, J.-Y. (1989). Towards a geometry of interaction. In J. W. Gray & A. Scedrov (Eds.), Categories in computer science and logic (pp. 69–108). AMS.

    Chapter  Google Scholar 

  • Girard, J.-Y. (1991). A new constructive logic: Classical logic. Mathematical Structures in Computer Science, 1(3), 255–296.

    Article  Google Scholar 

  • Girard, J.-Y. (1995). Linear logic: Its syntax and semantics. In J.-Y. Girard, Y. Lafont, & L. Regnier (Eds.), Advances in linear logic (pp. 1–42). Cambridge University Press.

    Chapter  Google Scholar 

  • Girard, J.-Y. (2001). Locus Solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science, 11(3), 301–506.

    Article  Google Scholar 

  • Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge University Press.

    Google Scholar 

  • Girard, J.-Y., Scedrov, A., & Scott, P. (1992). Normal forms and cut-free proofs as natural transformations. In Y. Moschovakis (Ed.), Logic from computer science (pp. 217–241). Springer.

    Chapter  Google Scholar 

  • Gödel, K. (1946). Remarks before the Princeton bicentennial conference on problems in mathematics. In S. Feferman (Ed.), The collected works of Kurt Gödel, 1990 (pp. 150–153). Oxford University Press.

    Google Scholar 

  • Gödel, K. (2017). Logic lectures: Gödel’s basic logic course at Notre Dame (K. Došen & M. Adžić, Eds.). Logical Society.

    Google Scholar 

  • H. Herbelin. (1995). Séquents qu’on calcule; de l’interprétation du calcul des séquents comme calcul de termes et comme calcul de stratégies gagnantes. PhD thesis, Université Paris 7. https://tel.archives-ouvertes.fr/tel-00382528/file/These-Her95.pdf

  • Husserl, E. (1929). Formal und transzendentale logik. Versuch einer Kritik der logischen Vernunft. Max Niemeyer.

    Google Scholar 

  • Hyland, M. (1997). Game semantics. In A. Pitts & P. Dybjer (Eds.), Semantics and logics of computation (pp. 131–182). Cambridge University Press.

    Chapter  Google Scholar 

  • Lejewski, C. (1974). Popper’s theory of formal or deductive inference. In P. A. Schlipp (Ed.), The philosophy of Karl Popper. The library of living philosophers (pp. 632–670). Open Court.

    Google Scholar 

  • Macbeth, D. (2014). Realizing reason: A narrative of truth and knowing. Oxford University Press.

    Book  Google Scholar 

  • Martin-Löf, P. (2015). Is logic part of normative ethics? Transcript of a lecture given in Utrecht on 16 April 2015 and in Paris on 15 May 2015. https://pml.flu.cas.cz/

  • Martin-Löf, P. (2016). Judgement and inference. Transcript of a lecture given in Marseille on 1 June 2016. https://pml.flu.cas.cz/

  • Martin-Löf, P. (2017a). Assertion and request. Transcript of a lecture given in Stockholm on 14 August 2017. https://pml.flu.cas.cz/

  • Martin-Löf, P. (2017b). Assertion and request. Transcript of a lecture given in Oslo on 29 August 2017. https://pml.flu.cas.cz/

  • Martin-Löf, P. (2019). Epistemic assumptions: Are they assumed to be backwards vindicated or forwards vindicable? Transcript of a lecture given in Leiden on 6 September 2019, forthcoming in a Festschrift for B. G. Sundholm. https://pml.flu.cas.cz/

  • McGee, V. (2000). Everything. In G. Sher & R. Tieszen (Eds.), Between logic and intuition. Cambridge University Press.

    Google Scholar 

  • Menger, K. (1994). In L. Golland et al. (Eds.), Reminiscences of the Vienna circle and the mathematical colloquium. Springer.

    Chapter  Google Scholar 

  • Moriconi, E. (2019). On Popper’s decomposition of logical notions. In L. Belotti, L. Gili, E. Moriconi, & G. Turbanti (Eds.), Third Pisa Colloquium in logic, language and epistemology. Essays in honour of Mauro Mariani and Carlo Marletti, Analitica (Vol. 15, pp. 275–302). ETS.

    Google Scholar 

  • Murzi, J. (2020). Classical harmony and separability. Erkenntnis, 85, 391–415.

    Article  Google Scholar 

  • Murzi, J., & Topey, B. (2021). Categoricity by convention. Philosophical Studies, 178, 3391–3420.

    Article  Google Scholar 

  • Musgrave, A. (1989). Deductive heuristics. In K. Gavrovlu, Y. Goudaroulis, & P. Nicolacopoulos (Eds.), Imre Lakatos and theories of scientific change (pp. 15–32). Kluwer.

    Chapter  Google Scholar 

  • Okada, M., & Scott, P. (1999). A note on rewriting for uniqueness of iteration. Theory and Applications of Categories, 6, 47–64.

    Google Scholar 

  • Padoa, A. (1901). Essai d’une théorie algébrique des nombres entiers précédée d’une introduction logique à une théorie déductive quelconque. In Bibliothèque du congrès international de philosophie. Paris 1900 (Vol. 3, pp. 309–365). Colin.

    Google Scholar 

  • Padoa, A. (1906). Ideografia logica. Riassunto della comunicazione fatta dal prof. Alessandro Padoa nell’adunanza accademica del 1 marzo 1906.

    Google Scholar 

  • Parigot, M. (1992). λμ-calculus: An algorithmic interpretation of classical natural deduction. In Logic programming and automated reasoning (pp. 190–201). Springer.

    Chapter  Google Scholar 

  • Pistone, P., & Tranchini, L. (2021). The Yoneda reduction of polymorphic types. Computer science logic, 2021, 35:1–35:22.

    Google Scholar 

  • Prawitz, D. (1965). Natural deduction. A proof theoretical study. Almqvist & Wiskell.

    Google Scholar 

  • Prawitz, D. (1971). Ideas and results in proof theory. In J. Fenstad (Ed.), Proceedings of the 2nd Scandinavian logic symposium (Oslo) (pp. 235–307). North-Holland.

    Chapter  Google Scholar 

  • Prawitz, D. (1973). Towards a foundation of a general proof theory. In P. Suppes, L. Henkin, A. Joja, & G. C. Moisil (Eds.), Proceedings of the fourth international congress for logic, methodology and philosophy of science, Bucharest, 1971 (pp. 225–250). North-Holland.

    Chapter  Google Scholar 

  • Prawitz, D. (2015a). Classical versus intuitionistic logic. In B. Lopes, E. H. Haeusler, & W. de Campos Sanz (Eds.), Why is this a proof? Festschrift for Luiz Carlos Pereira (pp. 15–32). College Publications.

    Google Scholar 

  • Prawitz, D. (2015b). Explaining deductive inference. In H. Wansing (Ed.), Dag Prawitz on proofs and meaning (pp. 65–100). Springer.

    Chapter  Google Scholar 

  • Restall, G. (2021). Speech acts & the quest for a natural account of classical proof. Available at https://consequently.org/writing

  • Reynolds, J. C. (1983). Types, abstraction and parametric polymorphism. In R. Mason (Ed.), Information processing ‘83 (pp. 513–523). North-Holland.

    Google Scholar 

  • Rota, G. C. (1997). Indiscrete thoughts. Birkhäuser.

    Book  Google Scholar 

  • 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.

    Article  Google Scholar 

  • Schroeder-Heister, P. (2006). Popper’s structuralist theory of logic. In I. Jarvie, K. Milford, & D. Miller (Eds.), Karl Popper: A centenary assessment (pp. 17–36). Ashgate.

    Chapter  Google Scholar 

  • Sundholm, G. (1998). Proofs as objects and proofs as acts: Some questions for Dag Prawitz. Theoria, 64, 187–216.

    Article  Google Scholar 

  • Sundholm, G. (2001). A plea for logical atavism. In O. Majer (Ed.), The LOGICA yearbook 2000 (pp. 151–162). Filosofia Publishing House.

    Google Scholar 

  • Sundholm, G. (2006). Semantic values for natural deduction derivations. Synthese, 148, 623–638.

    Article  Google Scholar 

  • Sundholm, G. (2019). The neglect of epistemic consideration in logic. Topoi, 38, 551–559.

    Article  Google Scholar 

  • Tranchini, L., Pistone, P., & Petrolo, M. (2019). The naturality of natural deduction. Studia Logica, 107(1), 195–231.

    Article  Google Scholar 

  • Vailati, G. (1891). Le proprietà fondamentali delle operazioni della logica deduttiva studiate dal punto di vista d’una teoria generale delle operazioni. Rivista di matematica, 1, 127–134.

    Google Scholar 

  • Vailati, G. (1898a). Alcune osservazioni sulle questioni di parole nella storia della scienza e della cultura. Prolusione ad un corso libero di storia della meccanica, 1898–1899. Bocca, 1898, repr. in G. Vailati (1991), pp. 203–228, Engl. transl. in C. Arrighi, P. Cantù, M. de Zan & P. Suppes (eds), Logic and pragmatism: Selected essays by Giovanni Vailati. Center for the Study of Language and Information, Stanford, 2010 Observations on the Questions of Words in the History of Science and Culture,” in Vailati 2010, pp. 63–92.

    Google Scholar 

  • Vailati, G. (1898b). Il metodo deduttivo come strumento di ricerca. Prolusione ad un corso libero di storia della meccanica, 1897–1898, Roux-Frassati, 1898, repr. in G. Vailati (1911), pp. 118–148, Engl. transl. in C. Arrighi, P. Cantù, M. de Zan & P. Suppes (eds), Logic and pragmatism: Selected essays by Giovanni Vailati. Center for the Study of Language and Information, Stanford, 2010.

    Google Scholar 

  • Valaris, M. (2019). Reasoning and deducing. Mind, 128, 861–885.

    Article  Google Scholar 

  • Wang, H. (1987). Reflections on Kurt Gödel. MIT Press.

    Google Scholar 

  • Wang, H. (1996). A logical journey. From Gödel to philosophy. MIT Press.

    Google Scholar 

  • Warren, J. (2020). Shadows of syntax. Revitalizing logical and mathematical conventionalism. Oxford University Press.

    Google Scholar 

Download references

Acknowledgments

Work on this article was supported by grant LQ300092101 from the Czech Academy of Sciences.

Author information

Authors and Affiliations

  1. Institute of Philosophy, Czech Academy of Sciences, Prague, Czech Republic

    Antonio Piccolomini d’Aragona

Authors
  1. Antonio Piccolomini d’Aragona
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Antonio Piccolomini d’Aragona .

Editor information

Editors and Affiliations

  1. University of Siena, Siena, Italy

    Antonio Piccolomini d'Aragona

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

d’Aragona, A.P. (2024). Deduction at the Crossroads. In: Piccolomini d'Aragona, A. (eds) Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library, vol 481. Springer, Cham. https://doi.org/10.1007/978-3-031-51406-7_1

Download citation

Publish with us

Policies and ethics

Search

Navigation