feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
Type of Medium
Language
Region
Access
  • 1
    UID:
    almahu_9947389246402882
    Format: VI, 283 p. , online resource.
    ISBN: 9783319226866
    Series Statement: Trends in Logic, Studia Logica Library, 43
    Content: 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.
    Note: 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 Došen -- 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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783319226859
    Language: English
    Keywords: Electronic books ; Electronic books.
    URL: Full-text  ((OIS Credentials Required))
    URL: Volltext  (kostenfrei)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Book
    Book
    Oxford u.a. :Clarendon Press,
    UID:
    almafu_BV009665982
    Format: X, 386 S. : graph. Darst.
    ISBN: 0-19-853777-8
    Series Statement: Studies in logic and computation 2
    Language: English
    Subjects: Mathematics
    RVK:
    RVK:
    Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    b3kat_BV035783381
    Format: 1 Online-Ressource (VIII, 364 S.)
    ISBN: 354053590X , 038753590X
    Series Statement: Lecture notes in computer science 475 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Logische Programmierung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Online Resource
    Online Resource
    Cham, Switzerland : Springer
    UID:
    b3kat_BV048384476
    Format: 1 Online-Ressource
    ISBN: 9783030949266
    Series Statement: Trends in logic volume 58
    Additional Edition: Erscheint auch als Druck-Ausgabe, Hardcover ISBN 978-3-030-94925-9
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-030-94928-0
    Language: English
    Subjects: Philosophy
    RVK:
    Keywords: Aufsatzsammlung
    URL: Volltext  (kostenfrei)
    URL: Volltext  (kostenfrei)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Online Resource
    Online Resource
    Cham :Springer International Publishing :
    UID:
    almahu_9949331139902882
    Format: 1 online resource (558 pages)
    Edition: 1st ed. 2022.
    ISBN: 3-030-94926-5
    Series Statement: Trends in Logic, Studia Logica Library, 58
    Content: This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
    Note: Part I: Articles -- Chapter 1. Introduction to Popper’s Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper) -- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper) -- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper) -- Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper) -- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper) -- Chapter 9. A Note on Tarski’s Definition of Truth (1955) (Karl R. Popper) -- Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper) -- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper) -- Chapter 12. Lejewski’s Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper) -- Chapter 13. Reviews of Popper’s Articles on Logic (Wilhelm Ackermann et.al) -- Part II: Manuscripts -- Chapter 14. Introduction to Popper’s Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays) -- Chapter 16. A General Theory of Inference (Karl R. Popper) -- Chapter 17. On the Logic of Negation (Karl R. Popper) -- Chapter 18. A Note on the Classical Conditional (Karl R. Popper) -- Part III: Correspondence -- Chapter 19. Introduction to Popper’s Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 20. Popper’s Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays) -- Chapter 21. Popper’s Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer) -- Chapter 22. Popper’s Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap) -- Chapter 23. Popper’s Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church) -- Chapter 24. Popper’s Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen) -- Chapter 25. Popper’s Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder) -- Chapter 26. Popper’s Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys) -- Chapter 27. Popper’s Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene) -- Chapter 28. Popper’s Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale) -- Chapter 29. Popper’s Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine) -- Chapter 30. Popper’s Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz) -- Chapter 31. Popper’s Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister) -- Concordances -- Bibliography -- Index. , English
    Additional Edition: ISBN 3-030-94925-7
    Language: English
    Keywords: Llibres electrònics ; Llibres electrònics
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    b3kat_BV006082368
    Format: VIII, 364 S.
    ISBN: 354053590X , 038753590X
    Series Statement: Lecture notes in computer science 475 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Logische Programmierung ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almafu_BV006082368
    Format: VIII, 364 S.
    ISBN: 3-540-53590-X , 0-387-53590-X
    Series Statement: Lecture notes in computer science 475 : Lecture notes in artificial intelligence
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Logische Programmierung ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1778611737
    Format: 1 Online-Ressource (283 p.)
    ISBN: 9783319226866 , 9783319071183
    Series Statement: Trends in Logic
    Content: Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages
    Note: English
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_1832273423
    Format: 1 Online-Ressource (552 p.)
    ISBN: 9783030949266
    Series Statement: Trends in Logic
    Content: This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work
    Note: English
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almahu_9949335363702882
    Format: XXIV, 552 p. 5 illus. , online resource.
    Edition: 1st ed. 2022.
    ISBN: 9783030949266
    Series Statement: Trends in Logic, Studia Logica Library, 58
    Content: This open access book is the first ever collection of Karl Popper's writings on deductive logic. Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have been widely discussed way beyond academic philosophy. What is not so well known is that Popper also produced a considerable work on the foundations of deductive logic, most of it published at the end of the 1940s as articles at scattered places. This little-known work deserves to be known better, as it is highly significant for modern proof-theoretic semantics. This collection assembles Popper's published writings on deductive logic in a single volume, together with all reviews of these papers. It also contains a large amount of unpublished material from the Popper Archives, including Popper's correspondence related to deductive logic and manuscripts that were (almost) finished, but did not reach the publication stage. All of these items are critically edited with additional comments by the editors. A general introduction puts Popper's work into the context of current discussions on the foundations of logic. This book should be of interest to logicians, philosophers, and anybody concerned with Popper's work.
    Note: Part I: Articles -- Chapter 1. Introduction to Popper's Articles on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 2. Are Contradictions Embracing? (1943) (Karl R. Popper) -- Chapter 3. Logic without Assumptions (1947) (Karl R. Popper) -- Chapter 4. New Foundations for Logic (1947) (Karl R. Popper) -- Chapter 5. Functional Logic without Axioms or Primitive Rules of Inference (1947)(Karl R. Popper) -- Chapter 6. On the Theory of Deduction, Part I. Derivation and its Generalizations (1948) (Karl R. Popper) -- Chapter 7. On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation (1948) (Karl R. Popper) -- Chapter 8. The Trivialization of Mathematical Logic (1949) (Karl R. Popper) -- Chapter 9. A Note on Tarski's Definition of Truth (1955) (Karl R. Popper) -- Chapter 10. On a Proposed Solution of the Paradox of the Liar (1955) (Karl R. Popper) -- Chapter 11. On Subjunctive Conditionals with Impossible Antecedents (1959) (Karl R. Popper) -- Chapter 12. Lejewski's Axiomatization of My Theory of Deducibility (1974) (Karl R. Popper) -- Chapter 13. Reviews of Popper's Articles on Logic (Wilhelm Ackermann et.al) -- Part II: Manuscripts -- Chapter 14. Introduction to Popper's Manuscripts on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 15. On Systems of Rules of Inference (Karl R. Popper and Paul Bernays) -- Chapter 16. A General Theory of Inference (Karl R. Popper) -- Chapter 17. On the Logic of Negation (Karl R. Popper) -- Chapter 18. A Note on the Classical Conditional (Karl R. Popper) -- Part III: Correspondence -- Chapter 19. Introduction to Popper's Correspondence on Logic (David Binder, Thomas Piecha, and Peter Schroeder-Heister) -- Chapter 20. Popper's Correspondence with Paul Bernays (Karl R. Popper and Paul Bernays) -- Chapter 21. Popper's Correspondence with Luitzen Egbertus Jan Brouwer (Karl R. Popper and Luitzen E. J. Brouwer) -- Chapter 22. Popper's Correspondence with Rudolf Carnap (Karl R. Popper and Rudolf Carnap) -- Chapter 23. Popper's Correspondence with Alonzo Church (Karl R. Popper and Alonzo Church) -- Chapter 24. Popper's Correspondence with Kalman Joseph Cohen (Karl R. Popper and Kalman J. Cohen) -- Chapter 25. Popper's Correspondence with Henry George Forder (Karl R. Popper and Henry George Forder) -- Chapter 26. Popper's Correspondence with Harold Jeffreys (Karl R. Popper and Harold Jeffreys) -- Chapter 27. Popper's Correspondence with Stephen Cole Kleene (Karl R. Popper and Stephen C. Kleene) -- Chapter 28. Popper's Correspondence with William Calvert Kneale (Karl R. Popper and William C. Kneale) -- Chapter 29. Popper's Correspondence with Willard Van Orman Quine (Karl R. Popper and Willard V. O. Quine) -- Chapter 30. Popper's Correspondence with Heinrich Scholz (Karl R. Popper and Heinrich Scholz) -- Chapter 31. Popper's Correspondence with Peter Schroeder-Heister (Karl R. Popper and Peter Schroeder-Heister) -- Concordances -- Bibliography -- Index.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783030949259
    Additional Edition: Printed edition: ISBN 9783030949273
    Additional Edition: Printed edition: ISBN 9783030949280
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages