• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Upp till 20% på populära nyheter →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    Mina sidor

      Hjälp

      • Kundservice
      • Vanliga frågor och svar
      • Frakt och leverans
      • Retur vid ångerrätt
      • Reklamera vara
      • Betalning
      • Köpvillkor
      • Allmänna villkor
      • Information om webbplatsens tillgänglighet

      Om Bokus

      • Om oss
      • Pressrum
      • För studenter
      • För företag
      • För bibliotek och offentlig verksamhet
      • För leverantörer
      • Hållbarhet

      Populärt

      • Aktuella erbjudanden
      • Presentkort
      • Studentlitteratur
      • Nya böcker
      • Topplistor
      • Signerade böcker
      • Engelska böcker

      Inspiration

      • Boktips
      • BookTok
      • Populära bokserier
      • Barnbokskaraktärer
      • Populära författare
      Logotyp för Bokus
      Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
      bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
      Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
      1. Naturvetenskap och teknik
      2. Matematik och naturvetenskap
      3. Matematik
      4. Matematikens grunder

      Formal Methods

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

      AvE.W. Beth

      Inbunden, Engelska, 1970

      Del i serien Synthese Library

      1 092 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      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.

      Produktinformation

      • Utgivningsdatum:1970-07-31
      • Mått:155 x 235 x 15 mm
      • Vikt:453 g
      • Format:Inbunden
      • Språk:Engelska
      • Serie:Synthese Library
      • Antal sidor:170
      • Förlag:Springer
      • ISBN:9789027700698

      Utforska kategorier

      • Matematikens grunder inom Naturvetenskap och teknik

      Innehållsförteckning

      • I. Purely Implicational Logic.- 1. Introduction.- 2. Deduction-Theoretic Approach.- 3. Semantic Approach.- 4. Axiomatic Approach.- 5. Completeness.- II. Full Sentential Logic.- 6. Introduction.- 7. Introduction of Further Sentential Connectives.- III. Theory of Quantification, Equality, and Functionality.- 8. Notation.- 9. Reduction Schemata.- 10. Axiomatic Method.- 11. Weak Completeness Theorems.- 12. Equality.- 13. Functionality.- IV. Completeness of Elementary Logic.- 14. Introduction.- 15. Quantification Theory.- 16. Theory of Equality and Functionality.- V. The Formalization of Arithmetic and its Limitations.- 17. An Axiom System for Arithmetic.- 18. Syntactic Incompleteness.- 19. Semantic Incompleteness.- 20. Logic of Higher Order.- VI. The Theory of Definition.- 21. Introduction.- 22. Definability of Primitive Notions.- 23. Padoa’s Method.- 24. Definition-Theoretic Incompleteness.- VII. On Machines Which Prove Theorems.- 25. Introduction — Computation and Formal Deduction.- 26. Formal Deduction and Computing Machines.- 27. The Subformula Principle.- 28. Semantic Tableaux and Natural Deduction.- 29. Complications.- 30. Introduction of New Individual Parameters.- 31. Types of Logical Problems.- 32. Concluding Remarks.- Appendix: Supplementary Explanations.- 33. Formal Description of Deduction by Closed Semantic Tableaux.- 34. Independence.- 35. Intuitionistic Logic and Minimal Calculus.- 37. Elementary Logic with Equality and Terms.- 39. Semantic Rules for Quantification Theory.- 40. Deduction-Theoretic Treatment of the Theory of Quantification.- 41. Numerical Computation.- 42. The Interpolation Theorem of Craig-Lyndon.- List of Schemata and Axioms.- (A) Sources.- (B) Recommended Reading.- (C) Periodicals.- Index of Authors and Subjects.
      Hoppa över listan

      Du kanske också är intresserad av

      S. Benardete - Herodotean Inquiries, Häftad

      Herodotean Inquiries

      S. Benardete

      Häftad, 1970

      1 124 kr

      R. Sokolowski - Formation of Husserl’s Concept of Constitution, Inbunden
      Del 18

      Formation of Husserl’s Concept of Constitution

      R. Sokolowski

      Inbunden, 1970

      1 092 kr

      I. Glicksberg - Sexual Revolution in Modern American Literature, Häftad

      Sexual Revolution in Modern American Literature

      I. Glicksberg

      Häftad, 1970

      566 kr

      E.W. Beth - Science a Road to Wisdom, Häftad

      Science a Road to Wisdom

      E.W. Beth

      Häftad, 2012

      549 kr

      Marx W. Wartofsky - Boston Studies in the Philosophy of Science, Inbunden
      Del 1

      Boston Studies in the Philosophy of Science

      Marx W. Wartofsky

      Inbunden, 1970

      549 kr

      H.W. Schoenberg - Germans from the East, Inbunden

      Germans from the East

      H.W. Schoenberg

      Inbunden, 1970

      1 683 kr

      Petra Janssen - Geschichte und Lebenswelt, Inbunden
      Del 35

      Geschichte und Lebenswelt

      Petra Janssen

      Inbunden, 1970

      1 528 kr

      J.F. Kiley - Einstein and Aquinas: A Rapprochement, Häftad

      Einstein and Aquinas: A Rapprochement

      J.F. Kiley

      Häftad, 1970

      1 124 kr

      F.J. Adelmann - Demythologizing Marxism, Häftad
      Del 2

      Demythologizing Marxism

      F.J. Adelmann

      Häftad, 1970

      1 092 kr

      Advances in Heat Transfer, E-bok

      Advances in Heat Transfer

      Elsevier Science

      E-bok
      1970

      781 kr