Description

Book Synopsis
1. Introduction: deduction at the crossroads (Antonio Piccolomini d'Aragona).- 2. The interdependence between the concepts of valid inference and proof revisited (Dag Prawitz).- 3. The completeness theorem? So what! (Goran Sundholm).- 4. Godel's absolute proofs and Girard's Ludics. Mutual insights (Gabriella Crocco and Myriam Quatrini).- 5. Dummett, analytic and synthetic deductions (Cesare Cozzo).- 6. From proof-objects to grounds (Enrico Moriconi).- 7. On an ecumenical natural deduction with stoup - Part I: the propositional case (Luiz Carlos Pereira and Elaine Pimentel).- 8. Martin-Lof on the validity of inference (Ansten Klev).- 9. Molecularity in the theory of meaning and the topic neutrality of logic (Nils Kurbis and Bernhard Weiss).- 10. Assertion, assumption and deduction (Peter Pagin).- 11. Deduction and ampliativity: a critical appraisal (Emiliano Ippoliti).- 12. A new conjecture about identity of proofs (Paolo Pistone).- 13. Godel's introduction to deduction (Milos Adzic).- 14. Karl Popper on deduction (Thomas Piecha).- 15. An epistemological view on the Peano School Axiomatics (Paola Cantu).- 16. Inferential quantification and the w-rule (Constantin Brincus).- 17. Chains of inferences in proof by induction: a cognitive analysis (Samuele Antonini and Bernardo Nannini).- 18. From strategies to derivations and back. An easy completeness proof for first-order intuitionistic dialogical logic (Davide Catta).- Index.

Perspectives on Deduction Contemporary Studies in

    Product form

    A Hardback by Antonio Piccolomini d'Aragona

    £98.99

    Includes FREE delivery

    RRP £109.99 – you save £11.00 (10%)

    Order before 4pm today for delivery by Sat 19 Sep 2026.

    1 in stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Perspectives on Deduction Contemporary Studies in by Antonio Piccolomini d'Aragona

      Book details

      Publisher Springer
      Published 4 February 2024
      ISBN-13 9783031514050
      978-3031514050
      ISBN-10 303151405X
      Also in:
      Philosophy: logic

      Description

      Book Synopsis
      1. Introduction: deduction at the crossroads (Antonio Piccolomini d'Aragona).- 2. The interdependence between the concepts of valid inference and proof revisited (Dag Prawitz).- 3. The completeness theorem? So what! (Goran Sundholm).- 4. Godel's absolute proofs and Girard's Ludics. Mutual insights (Gabriella Crocco and Myriam Quatrini).- 5. Dummett, analytic and synthetic deductions (Cesare Cozzo).- 6. From proof-objects to grounds (Enrico Moriconi).- 7. On an ecumenical natural deduction with stoup - Part I: the propositional case (Luiz Carlos Pereira and Elaine Pimentel).- 8. Martin-Lof on the validity of inference (Ansten Klev).- 9. Molecularity in the theory of meaning and the topic neutrality of logic (Nils Kurbis and Bernhard Weiss).- 10. Assertion, assumption and deduction (Peter Pagin).- 11. Deduction and ampliativity: a critical appraisal (Emiliano Ippoliti).- 12. A new conjecture about identity of proofs (Paolo Pistone).- 13. Godel's introduction to deduction (Milos Adzic).- 14. Karl Popper on deduction (Thomas Piecha).- 15. An epistemological view on the Peano School Axiomatics (Paola Cantu).- 16. Inferential quantification and the w-rule (Constantin Brincus).- 17. Chains of inferences in proof by induction: a cognitive analysis (Samuele Antonini and Bernardo Nannini).- 18. From strategies to derivations and back. An easy completeness proof for first-order intuitionistic dialogical logic (Davide Catta).- Index.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account