Skip to main content
SpringerLink
Log in
Book cover

Grundlagen der Mathematik I pp 86–163Cite as

Die Formalisierung des Schließens II: Der Prädikatenkalkul

  • Chapter

  • 190 Accesses

Part of the book series: Die Grundlehren der mathematischen Wissenschaften ((GL,volume 40))

Zusammenfassung

Durch die Ausführungen des vorigen Paragraphen ist die Formalisierung des logischen Schließens vorbereitet.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   89.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

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature

  1. Bezüglich der Berücksichtigung auch der nullzahligen Individuenbereiche vgl. Stanislaw Jaśkowski „On the rules of suppositions in formal logic“, Studia logica (Warszawa) Nr. 1 (1934) p. 1–32

    Google Scholar 

  2. W. V. Quine „Quantification and the empty domain“. Journ. Symb. Log., Vol. 19 (1954), p. 177ff.

    MathSciNet  Google Scholar 

  3. H. H. Schneider: Semantics of the Predicate Calculus with Identity and the Validity in the Empty Individual-Domain. Portugaliae Mathematica, Vol.17, Fasc. 3, 1958, S. 85–96. Siehe auch die Bibliographie in der genannten Abhandlung von W. V. Quine.

    MATH  Google Scholar 

  4. Siehe M. Wajsberg „Beitrag zur Metamathematik“, Math. Ann. Bd. 109, 1933, S. 200–229.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CH-8002, Zürich, Bodmerstr. 11, Deutschland

    Prof. Dr. Paul Bernays

Authors
  1. D. Hilbert
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prof. Dr. Paul Bernays
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1968 Springer-Verlag Berlin · Heidelberg

About this chapter

Cite this chapter

Hilbert, D., Bernays, P. (1968). Die Formalisierung des Schließens II: Der Prädikatenkalkul. In: Grundlagen der Mathematik I. Die Grundlehren der mathematischen Wissenschaften, vol 40. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-86894-8_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-86894-8_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-86895-5

  • Online ISBN: 978-3-642-86894-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation