Skip to main content
SpringerLink
Log in
Book cover

Formal Methods

An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

  • Book
  • © 1962

Overview

Authors:
  1. Evert W. Beth
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Synthese Library (SYLI, volume 4)

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 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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 (7 chapters)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Purely Implicational Logic

    • Evert W. Beth
    Pages 1-38

  3. Full Sentential Logic

    • Evert W. Beth
    Pages 39-47

  4. Theory of Quantification, Equality, and Functionality

    • Evert W. Beth
    Pages 48-61

  5. Completeness of Elementary Logic

    • Evert W. Beth
    Pages 62-75

  6. The Formalization of Arithmetic and its Limitations

    • Evert W. Beth
    Pages 76-100

  7. The Theory of Definition

    • Evert W. Beth
    Pages 101-111

  8. On Machines Which Prove Theorems

    • Evert W. Beth
    Pages 112-121

  9. Back Matter

    Pages 122-170
    Download chapter PDF
Back to top

Keywords

About this book

Many philosophers have considered logical reasoning as an inborn ability of mankind and as a distinctive feature in the human mind; but we all know that the distribution of this capacity, or at any rate its development, is very unequal. Few people are able to set up a cogent argument; others are at least able to follow a logical argument and even to detect logical fallacies. Nevertheless, even among educated persons there are many who do not even attain this relatively modest level of development. According to my personal observations, lack of logical ability may be due to various circumstances. In the first place, I mention lack of general intelligence, insufficient power of concentration, and absence of formal education. Secondly, however, I have noticed that many people are unable, or sometimes rather unwilling, to argue ex hypothesi; such persons cannot, or will not, start from premisses which they know or believe to be false or even from premisses whose truth is not, in their opinion, sufficient­ ly warranted. Or, if they agree to start from such premisses, they sooner or later stray away from the argument into attempts first to settle the truth or falsehood of the premisses. Presumably this attitude results either from lack of imagination or from undue moral rectitude. On the other hand, proficiency in logical reasoning is not in itself a guarantee for a clear theoretic insight into the principles and foundations of logic.

Bibliographic Information

  • Book Title: Formal Methods

  • Book Subtitle: An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic

  • Authors: Evert W. Beth

  • Series Title: Synthese Library

  • DOI: https://doi.org/10.1007/978-94-010-3269-8

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: D. Reidel Publishing Company, Dordrecht, Holland 1962

  • Hardcover ISBN: 978-90-277-0069-8Published: 31 July 1970

  • Softcover ISBN: 978-94-010-3271-1Published: 12 October 2011

  • eBook ISBN: 978-94-010-3269-8Published: 06 December 2012

  • Series ISSN: 0166-6991

  • Series E-ISSN: 2542-8292

  • Edition Number: 1

  • Number of Pages: XIV, 170

  • Topics: Logic

Publish with us

Policies and ethics

Back to top

Search

Navigation