Items related to Advances in Proof-Theoretic Semantics (Trends in Logic,...
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
Review
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2015
- ISBN 10 3319226851
- ISBN 13 9783319226859
- BindingHardcover
- Edition number1
- Number of pages289
- EditorPiecha Thomas, Schroeder-Heister Peter
Buy New
Learn more about this copy
US$ 61.46
Shipping:
FREE
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Advances in Proof-Theoretic Semantics (Trends in Logic, 43)
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: As New. 1st Edition. Like new, unread, shop store room stock. CE. Book. Seller Inventory # 608011
Quantity: 1 available
Seller Image
Advances in Proof-Theoretic Semantics (Trends in Logic) [Hardcover ]
Seller: booksXpress, Bayonne, NJ, U.S.A.
Seller rating 4 out of 5 stars
Hardcover. Condition: new. Seller Inventory # 9783319226859
Quantity: 10 available
Stock Image
Advances in Proof-Theoretic Semantics (Trends in Logic, 43) [Hardcover] Piecha, Thomas and Schroeder-Heister, Peter (eng)
Seller: Brook Bookstore, Milano, MI, Italy
Seller rating 5 out of 5 stars
Condition: new. Seller Inventory # df4b528cc5e0d1da1aa2ce319f327938
Quantity: 10 available
Seller Image
Advances in Proof-theoretic Semantics
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24207978-n
Quantity: 5 available
Stock Image
Advances in Proof-Theoretic Semantics (Trends in Logic, 43)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020091220
Quantity: Over 20 available
Stock Image
Advances in Proof-Theoretic Semantics
Print on DemandSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783319226859_lsuk
Quantity: Over 20 available
Seller Image
Advances in Proof-Theoretic Semantics
Published by
Springer International Publishing Nov 2015, 2015
ISBN 10: 3319226851
ISBN 13: 9783319226859
New
Buch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 292 pp. Englisch. Seller Inventory # 9783319226859
Quantity: 2 available
Seller Image
Advances in Proof-theoretic Semantics
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 24207978-n
Quantity: 5 available
Stock Image
Advances in Proof-Theoretic Semantics
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: NEW. 292 pages. 9.25x6.25x0.75 inches. In Stock. Seller Inventory # x-3319226851
Quantity: 2 available
Seller Image
Advances in Proof-Theoretic Semantics
Published by
Springer International Publishing, 2015
ISBN 10: 3319226851
ISBN 13: 9783319226859
New
Hardcover
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783319226859
Quantity: 1 available