• Title: Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
• Author(s) Luca Tranchini
• Publisher: Springer; 2024th edition (April 19, 2024); eBook (Creative Commons Licensed)
• License(s): Creative Commons License (CC)
• Hardcover/Paperback: 199 pages
• eBook: PDF and ePub
• Language: English
• ISBN-10/ASIN: 3031469208
• ISBN-13: 978-3031469206
• Share This:  

Book Description

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs).

• Luca Tranchini is post-doctoral researcher at the Logic and Language Theory group of the university of Tübingen.

• Amazon

• Mathematical Logic - Set Theory, Model Theory, Computability, etc
• Popular, Recreational, and Miscellaneous Mathematics

• Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics (Luca Tranchini)
• The Mirror Site (1) - PDF

• Introduction to Mathematical Philosophy (Bertrand Russell)

  Requiring neither prior knowledge of mathematics nor aptitude for mathematical symbolism, the book serves as essential reading for anyone interested in the intersection of mathematics and logic and in the development of analytic philosophy.

• Gödel Without (Too Many) Tears (Peter Smith)

  How is this remarkable result of Gödel's Theorems established? This short book explains. The aim is to make the Theorems available, clearly and accessibly, even to those with a quite limited formal background.

• Introduction to Mathematical Logic (Vilnis Detlovs, et al)

  This book explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. Discusses the major results of Gödel, Church, Kleene, Rosser, and Turing.

• A Friendly Introduction to Mathematical Logic (Chris Leary)

  In this user-friendly book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory, leading to rigorous proofs of Gödel's First and Second Incompleteness Theorems.

• A Problem Course in Mathematical Logic (Stefan Bilaniuk)

  It is intended to serve as the text for an introduction to mathematical logic for undergraduates with some mathematical sophistication. It supplies definitions, statements of results, and problems, along with some explanations, examples, and hints.

• A Concise Introduction to Mathematical Logic (W. Rautenberg)

  This is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications.

• Sets, Logic, Computation: An Open Introduction to Metalogic

  It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic.