• 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. Filosofi och religion
      2. Filosofi
      3. Filosofiska discipliner

      Formal Methods

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

      AvE.W. Beth

      Häftad, Engelska, 2011

      Del 4 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:2011-10-12
      • Mått:152 x 223 x 11 mm
      • Vikt:274 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Synthese Library
      • Antal sidor:170
      • Upplaga:1962
      • Förlag:Springer
      • ISBN:9789401032711

      Utforska kategorier

      • Filosofiska discipliner inom Filosofi och religion

      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

      E.W. Beth - Formal Methods, Inbunden

      Formal Methods

      E.W. Beth

      Inbunden, 1970

      1 092 kr

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

      Science a Road to Wisdom

      E.W. Beth

      Häftad, 2012

      549 kr

      E.W. Beth - Mathematical Thought, E-bok

      Mathematical Thought

      E.W. Beth

      E-bok
      2013

      2 207 kr

      J. Piaget, E.W. Beth - Mathematical Epistemology and Psychology, E-bok

      Mathematical Epistemology and Psychology

      J. Piaget, E.W. Beth

      E-bok
      2013

      2 917 kr

      E.W. Beth - Aspects of Modern Logic, E-bok

      Aspects of Modern Logic

      E.W. Beth

      E-bok
      2012

      1 413 kr

      E.W. Beth - Science a Road to Wisdom, E-bok

      Science a Road to Wisdom

      E.W. Beth

      E-bok
      2012

      710 kr

      E.W. Beth - Formal Methods, E-bok

      Formal Methods

      E.W. Beth

      E-bok
      2012

      1 413 kr

      E.W. Beth, J. Piaget - Mathematical Epistemology and Psychology, Häftad

      Mathematical Epistemology and Psychology

      E.W. Beth, J. Piaget

      Häftad, 2010

      2 177 kr

      E.W. Beth - Mathematical Thought, Inbunden

      Mathematical Thought

      E.W. Beth

      Inbunden, 1965

      1 743 kr

      E.W. Beth - Aspects of Modern Logic, Häftad
      Del 32

      Aspects of Modern Logic

      E.W. Beth

      Häftad, 2012

      1 092 kr