Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
portes grátis
Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction
Piccolomini d'Aragona, Antonio
Springer International Publishing AG
04/2024
424
Dura
9783031514050
15 a 20 dias
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Deductive validity;Assumptions and assertions in deduction;Understanding through deduction;Schools of thought on deduction;Wittgenstein and the rules of inference;Peano School axiomatics
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
