Advances in Proof-Theoretic Semantics
by Thomas Piecha, Peter Schroeder-Heister
DescriptionDetailsHashtagsReport an issue 
Book 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 to provide 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.This open book is licensed under a Creative Commons License (CC BY-NC). You can download Advances in Proof-Theoretic Semantics ebook for free in PDF format (2.9 MB).
Book Details
Title
Advances in Proof-Theoretic Semantics
Subject
Philosophy
Publisher
Springer
Published
2016
Pages
281
Edition
1
Language
English
ISBN13
9783319226859
ISBN10
3319226851
ISBN13 Digital
9783319226866
ISBN10 Digital
331922686X
PDF Size
2.9 MB
License
Related Books
This is one of the first books on a newly emerging field of discrete differential geometry and an excellent way to access this exciting area. It surveys the fascinating connections between discrete models in differential geometry and complex analysis, integrable systems and applications in computer graphics. The authors take a closer look at discre...
This book presents a multitude of different, yet related, innovations in educational measurement and provides insight in their practical possibilities.The book not only addresses several improvements in the quality of educational measurement and innovations in (inter)national large scale assessments, but also several advances in psychometrics and i...
The papers presented in this open access book address diverse challenges in decarbonizing energy systems, ranging from operational to investment planning problems, from market economics to technical and environmental considerations, from distribution grids to transmission grids, and from theoretical considerations to data provision concerns and app...
This open book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital Transformation Conference (EADCT 2018 and...
The purpose of this Open Access compendium, written by experienced researchers in mathematics education, is to serve as a resource for early career researchers in furthering their knowledge of the state of the field and disseminating their research through publishing. To accomplish this, the book is split into four sections: Empirical Methods, Impo...
By highlighting relations between experimental and theoretical work, this volume explores new ways of addressing one of the central challenges in the study of language and cognition. The articles bring together work by leading scholars and younger researchers in psychology, linguistics and philosophy. An introductory chapter lays out the background...