Descripción del título
Advances in Proof-Theoretic...
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
Monografía
monografia Rebiun17458546 https://catalogo.rebiun.org/rebiun/record/Rebiun17458546 cr c||||||||| 151028s2016 gw o 001 0 eng d 9783319226866 10.1007/978-3-319-22686-6 doi UPNA0467583 UIB (387151) CUNEF 991000369779608131 UPVA 996890884403706 UPM 991006209549704212 UAM 991007636416104211 CBUC 991003508042406714 CBUC 991005168891606711 CBUC 991004198036906713 CBUC 991012519075006708 CBUC 991009720238106719 CBUC 991010343552706709 CBUC 991000704178106712 CBUC 991010343552706709 UCAR 991007754747104213 CBUC 991010343552706709 UR0394752 UAL. spa. UAL. rdc HPL bicssc PHI011000 bisacsh 160 23 Advances in Proof-Theoretic Semantics edited by Thomas Piecha, Peter Schroeder-Heister 1st ed. 2016 Cham Springer International Publishing Imprint: Springer 2016 Cham Cham Springer International Publishing Imprint: Springer 1 recurso en línea 1 recurso en línea VI, 283 p. VI, 283 p. Trends in Logic, Studia Logica Library 1572-6126 43 Springer eBooks Chapter 1. Introduction; Thomas Piecha & Peter-Schroeder-Heister -- Chapter 2. On Brouwer-Heyting-Kolmogorov provability semantics; Sergei N. Artëmov -- Chapter 3. Two Ways of General Proof Theory; Kosta Dosen -- Chapter 4. Generalised elimination rules; Roy Dyckhoff -- Chapter 5. On the proof theoretic foundations of set theory; Lars Hallnäs -- Chapter 6. The choice of semantics as a methodological question; Wilfrid Hodges -- Chapter 7. The mode of presentation; Reinhard Kahle -- Chapter 8. Remarks on relations between Gentzen and Heyting inspired PTS; Dag Prawitz -- Chapter 9. Unification of logics by reflection; Giovanni Sambin -- Chapter 10. BHK and Brouwer's Theory of the Creative Subject; Göran Sundholm -- Chapter 11. Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions; William W. Tait -- Chapter 12. Intuitionism, the Paradox of Knowability and Empirical Negation; Gabriele Usberti -- Chapter 13. Explicit composition and its application in normalization proofs; Jan von Plato -- Chapter 14. A two-sorted typed lambda-calculus; Heinrich Wansing -- Chapter 15. Kreisel's second clause and the Theory of Constructions; Walter Dean & Hidenori Kurokawa -- Chapter 16. On Paradoxes in Proof-Theoretic Semantics; Yoshihiro Maruyama 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 Modo de acceso: World Wide Web Philosophy Logic Mathematical logic Philosophy Logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages Libros electrónicos Recursos electrónicos Piecha, Thomas. editor Schroeder-Heister, Peter. editor SpringerLink (Online service) Trends in Logic, Studia Logica Library 1572-6126 43