Advances in Proof-Theoretic Semantics Image close
Advances in Proof-Theoretic Semantics on Hardback
Advances in Proof-Theoretic Semantics on Hardback
Show Hide Adult Content
Advances in Proof-Theoretic Semantics close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations

Advances in Proof-Theoretic Semantics

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Hardback
$168.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $42.00 with Afterpay Learn more

6 weekly interest-free payments of $28.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Trends in Logic

See all products in this series

Harmony and Paradox by Luca Tranchini
$140.00
Harmony and Paradox
by Luca Tranchini ~ Paperback / softback
Pre-order - out 11 May 2024
Protoalgebraic Logics on Hardback by Janusz Czelakowski
$457.00
Protoalgebraic Logics
by Janusz Czelakowski ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Action and Cognition on Hardback
$267.00
Logic, Action and Cognition
Hardback
Available - Usually ships in 3-4 weeks
The Convergence of Scientific Knowledge on Hardback by Vincent F Hendricks
$455.00
The Convergence of Scientific Knowledge
by Vincent F Hendricks ~ Hardback
Available - Usually ships in 3-4 weeks
Logic for Concurrency and Synchronisation on Hardback
$297.00
Logic for Concurrency and Synchronisation
Hardback
Available - Usually ships in 3-4 weeks
Anaphora and Type Logical Grammar on Hardback by Gerhard J'Ager
$468.00
Anaphora and Type Logical Grammar
by Gerhard J'Ager ~ Hardback
Available - Usually ships in 3-4 weeks
Methods of Cut-Elimination on Hardback by Matthias Baaz
$297.00
Methods of Cut-Elimination
by Matthias Baaz ~ Hardback
Available - Usually ships in 3-4 weeks
Logic, Action and Cognition
$151.00
Logic, Action and Cognition
Paperback / softback
Available - Usually ships in 3-4 weeks
Meaning and Proscription in Formal Logic on Hardback by Thomas Macaulay Ferguson
$153.00
Meaning and Proscription in Formal Logic
by Thomas Macaulay Ferguson ~ Hardback
Available - Usually ships in 3-4 weeks
A Guide to Classical and Modern Model Theory by Annalisa Marcja
$362.00
A Guide to Classical and Modern Model Theory
by Annalisa Marcja ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Towards Mathematical Philosophy
$450.00
Towards Mathematical Philosophy
Paperback / softback
Available - Usually ships in 3-4 weeks
Anaphora and Type Logical Grammar by Gerhard J'Ager
$449.00
Anaphora and Type Logical Grammar
by Gerhard J'Ager ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Is-Ought Problem on Hardback by G Schurz
$583.00
The Is-Ought Problem
by G Schurz ~ Hardback
Available - Usually ships in 3-4 weeks
Types, Tableaus, and Gödel’s God by M Fitting
$293.00
Types, Tableaus, and Gödel’s God
by M Fitting ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Contradictions, from Consistency to Inconsistency
$295.00
Contradictions, from Consistency to Inconsistency
Paperback / softback
Available - Usually ships in 3-4 weeks
Topological and Algebraic Structures in Fuzzy Sets on Hardback
$480.00
Topological and Algebraic Structures in Fuzzy Sets
Hardback
Available - Usually ships in 3-4 weeks

Description

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Author Biography:

Thomas Piecha graduated both in Philosophy and in Physics,and holds a Ph.D. in Computer Science. He has published on proof-theoretic and dialogical approaches in logic, and currently works on the proof-theoretic analysis of hypothetical reasoning. Peter Schroeder-Heister is professor of logic and philosophy of language at the University of Tübingen, holding a joint appointment in the Departments of Philosophy and of Computer Science. He works in particular on philosophical aspects of proof theory and is a leading expert in the area of proof-theoretic semantics.
Release date NZ
November 4th, 2015
Audience
  • Professional & Vocational
Contributors
  • Edited by Peter Schroeder-Heister
  • Edited by Thomas Piecha
Edition
1st ed. 2016
Illustrations
VI, 283 p.
Pages
283
Dimensions
155x235x18
ISBN-13
9783319226859
Product ID
23155475

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Hardware & Operating Systems >
Computer architecture & logic design
Books >
Non-Fiction >
Humanities >
Philosophy >
Philosophy: logic
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design