Formal Systems and Recursive Functions. Proceedings of the Eighth Logic Colloquium, Oxford, July 1963. Edited by J.N. Crossley ... and M.A.E. Dummett PDF Download

Author: Association for Symbolic Logic
Publisher:
ISBN:
Category :
Languages : en
Pages : 320

View

Book Description

Author: J. N. Crossley
Publisher:
ISBN:
Category :
Languages : en
Pages : 320

View

Book Description

Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080957609
Category : Computers
Languages : en
Pages : 329

View

Book Description
Formal Systems and Recursive Functions

Author: G. W. Fitch
Publisher: Routledge
ISBN: 1317489160
Category : Philosophy
Languages : en
Pages : 127

View

Book Description
Saul Kripke is one of the most original and creative philosophers writing today. His work has had a tremendous impact on the direction that philosophy has taken in the last thirty years and continues to dominate some of its most fundamental aspects. Given Kripke's importance it is perhaps surprising that there is no introduction to his philosophy available to the general student. This book fills that gap. As much of Kripke's work is highly technical, the book's central aim is to provide clear exposition of Kripke's ideas in a form that is understandable to a beginning readership as well as a commentary on them that more advanced students will find useful. The book begins with a discussion of Kripke's early work on modal logic, which provides the foundation for many of his later philosophical contributions, before examining in detail Kripke's central ideas and arguments contained in Naming and Necessity. In further chapters, Kripke's work on semantic paradoxes and his theory of truth are outlined as well as his controversial interpretation of Wittgenstein's famous private language argument. Kripke's ideas are situated alongside those of his precursors and some of the most important and interesting responses to them are explored. The reader is thus able to appreciate the path-breaking nature of Kripke's contributions, how they have challenged fundamentally traditional interpretations, and how they have sparked some of the most important philosophical debates of recent years.

Author: John N. Crossley
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 328

View

Book Description

Author: Gerhard Heinzmann
Publisher: Springer Nature
ISBN: 3030658244
Category : Mathematics
Languages : en
Pages : 268

View

Book Description
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, databank management, and stochastics. Coverage details key contributions of Lorenzen to constructive mathematics, Lorenzen’s work on lattice-groups and divisibility theory, and modern set theory and Lorenzen’s critique of actual infinity. The contributors also look at the main problem of Grundlagenforschung and Lorenzen’s consistency proof and Hilbert’s larger program. In addition, the papers offer a constructive examination of a Russell-style Ramified Type Theory and a way out of the circularity puzzle within the operative justification of logic and mathematics. Paul Lorenzen's name is associated with the Erlangen School of Methodical Constructivism, of which the approach in linguistic philosophy and philosophy of science determined philosophical discussions especially in Germany in the 1960s and 1970s. This volume features 10 papers from a meeting that took place at the University of Konstanz.

Author: Alonzo Church
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 796

View

Book Description
Includes lists of members.

Author: Alan Berger
Publisher: Cambridge University Press
ISBN: 113950066X
Category : Philosophy
Languages : en
Pages : 383

View

Book Description
This collection of essays on Saul Kripke and his philosophy is the first and only collection of essays to examine both published and unpublished writings by Kripke. Its essays, written by distinguished philosophers in the field, present a broader picture of Kripke's life and work than has previously been available to scholars of his thought. New topics covered in these essays include vacuous names and names in fiction, Kripke on logicism and de re attitude toward numbers, Kripke on the incoherency of adopting a logic, Kripke on colour words and his criticism of the primary versus secondary quality distinction, and Kripke's critique of functionalism. These essays not only present Kripke's basic arguments but also engage with the arguments and controversies engendered by his work, providing the most comprehensive analysis of his philosophy and writings available. This collection will become a classic in contemporary analytic philosophy.

Author: Igor Privara
Publisher: Springer Science & Business Media
ISBN: 9783540583387
Category : Computers
Languages : en
Pages : 644

View

Book Description
This volume constitutes the proceedings of the 19th International Symposium on Mathematical Foundations of Theoretical Computer Science, MFCS '94, held in Kosice, Slovakia in August 1994. MFCS '94 brought together specialists in theoretical fields of computer science from various countries in order to stimulate mathematical research in theoretical computer science. Besides 12 papers based on invited talks by renowned experts, the book contains 42 research contributions selected from a total of 112 submissions. All areas of theoretical computer science are presented, some from a particular mathematical point of view.

Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080957706
Category : Computers
Languages : en
Pages : 427

View

Book Description
Provability, Computability and Reflection