Sergio Galvan – författare
Visar alla böcker från författaren Sergio Galvan. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Inbunden, Engelska, 2021
1 532 kr
Skickas inom 5-8 vardagar
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
An Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Häftad, Engelska, 2021
455 kr
Skickas
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the Gödel-Gentzen translation of classical into intuitionistic logic (and arithmetic), natural deduction and the normalization theorems (for both NJ and NK), the sequent calculus, including cut-elimination and mid-sequent theorems, and various applications of these results. The second half examines ordinal proof theory, specifically Gentzen's consistency proof for first-order Peano Arithmetic. The theory of ordinal notations and other elements of ordinal theory are developed from scratch, and no knowledge of set theory is presumed. The proof methods needed to establish proof-theoretic results, especially proof by induction, are introduced in stages throughout the text. Mancosu, Galvan, and Zach's introduction will provide a solid foundation for those looking to understand this central area of mathematical logic and the philosophy of mathematics.
678 kr
Skickas inom 10-15 vardagar
In recent years numerous attempts have been made by analytic philosophers to naturalize various different domains of philosophical inquiry. All of these attempts have had the common goal of rendering these areas of philosophy amenable to empirical methods, with the intention of securing for them the supposedly objective status and broad intellectual appeal currently associated with such approaches.This volume brings together internationally recognised analytic philosophers, including Alvin Plantinga, Peter van Inwagen and Robert Audi, to question the project of naturalism. The articles investigate what it means to naturalize a domain of philosophical inquiry and look at how this applies to the various sub-disciplines of philosophy including epistemology, metaphysics and the philosophy of the mind. The issue of whether naturalism is desirable is raised and the contributors take seriously the possibility that excellent analytic philosophy can be undertaken without naturalization. Controversial and thought-provoking, Analytic Philosophy Without Naturalism examines interesting and contentious methodological issues in analytic philosophy and explores the connections between philosophy and science.