Skip to main content
SpringerLink
Log in
Birkhäuser
Book cover

The Life and Work of Leon Henkin

Essays on His Contributions

  • Book
  • © 2014

Overview

Editors:
  1. María Manzano

    1. Department of Philosophy, Logic and Aesthetics, University of Salamanca, Salamanca, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ildikó Sain

    1. Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Enrique Alonso

    1. Department of Logic and Philosophy of Science, Autonomous University of Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • First volume of contributed papers devoted to the life and work of Leon Henkin
  • Reference work for researchers and students in philosophy, mathematics and computer science
  • Provides useful background for understanding the present conceptual framework where to research and teaching is developing
  • Includes supplementary material: sn.pub/extras

Part of the book series: Studies in Universal Logic (SUL)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 chapters)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  2. Biographical Studies

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Leon Henkin

      • María Manzano, Enrique Alonso
      Pages 3-22

    3. Lessons from Leon

      • Diane Resek
      Pages 23-25

    4. Tracing Back “Logic in Wonderland” to My Work with Leon Henkin

      • Nitsa Movshovitz-Hadar
      Pages 27-31

    5. Henkin and the Suit

      • Albert Visser
      Pages 33-34

    6. A Fortuitous Year with Leon Henkin

      • Solomon Feferman
      Pages 35-40

    7. Leon Henkin and a Life of Service

      • Benjamin Wells
      Pages 41-55

  3. Henkin’s Contribution to XX Century Logic

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. Leon Henkin and Cylindric Algebras

      • J. Donald Monk
      Pages 59-66

    3. A Bit of History Related to Logic Based on Equality

      • Peter B. Andrews
      Pages 67-71

    4. Pairing Logical and Pedagogical Foundations for the Theory of Positive Rational Numbers—Henkin’s Unfinished Work

      • Nitsa Movshovitz-Hadar
      Pages 73-91

    5. Leon Henkin the Reviewer

      • Concha Martínez Vidal, José Pedro Úbeda Rives
      Pages 93-133

    6. Henkin’s Theorem in Textbooks

      • Enrique Alonso
      Pages 135-148

    7. Henkin on Completeness

      • María Manzano
      Pages 149-175

  4. Extensions and Perspectives in Henkin’s Work

    1. Front Matter

      Pages 177-177
      Download chapter PDF

    2. The Countable Henkin Principle

      • Robert Goldblatt
      Pages 179-201

    3. Reflections on a Theorem of Henkin

      • William Gunther, Richard Statman
      Pages 203-216

    4. Henkin’s Completeness Proof and Glivenko’s Theorem

      • Franco Parlamento
      Pages 217-223

    5. From Classical to Fuzzy Type Theory

      • Vilém Novák
      Pages 225-247
Back to top

Keywords

About this book

This is a comprehensive book on the life and works of Leon Henkin (1921–2006), an extraordinary scientist and excellent teacher whose writings became influential right from the beginning of his career with his doctoral thesis on “The completeness of formal systems” under the direction of Alonzo Church. Upon the invitation of Alfred Tarski, Henkin joined the Group in Logic and the Methodology of Science in the Department of Mathematics at the University of California Berkeley in 1953. He stayed with the group until his retirement in 1991. This edited volume includes both foundational material and a logic perspective. Algebraic logic, model theory, type theory, completeness theorems, philosophical and foundational studies are among the topics covered, as well as mathematical education. The work discusses Henkin’s intellectual development, his relation to his predecessors and contemporaries and his impact on the recent development of mathematical logic. It offers a valuable reference work for researchers and students in the fields of philosophy, mathematics and computer science.

Editors and Affiliations

  • Department of Philosophy, Logic and Aesthetics, University of Salamanca, Salamanca, Spain

    María Manzano

  • Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary

    Ildikó Sain

  • Department of Logic and Philosophy of Science, Autonomous University of Madrid, Madrid, Spain

    Enrique Alonso

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation