Logic as Algebra

This book is based on the notes for a course in logic given by Paul Halmos. This book retains the spirit and purpose of

730 78 2MB

English Pages 149 [150] Year 2009

Logic as Algebra

Author / Uploaded
Paul Halmos

Categories
Mathematics
Logic

Table of contents :
Cover
Title Page
Table of Contents
Preface
What is logic?
1. To count or to think
2. A small alphabet
3. A small grammar
4. A small logic
5. What is truth?
6. Motivation of the small language
7. All mathematics
Propositional calculus
8. Propositional symbols
9. Propositional abbreviations
10. Polish notation
11. Language as an algebra
12. Concatenation
13. Theorem schemata
14. Formal proofs
15. Entailment
16. Logical equivalence
17. Conjunction
18. Algebraic identities
Boolean algebra
19. Equivalence classes
20. Interpretations
21. Consistency and Boolean algebra
22. Duality and commutativity
23. Properties of Boolean algebras
24. Subtraction
25. Examples of Boolean algebras
Boolean universal algebra
26. Subalgebras
27. Homomorphisms
28. Examples of homomorphisms
29. Free algebras
30. Kernels and ideals
31. Maximal ideals
32. Homomorphism theorem
33. Consequences
34. Representation theorem
Logic via algebra
35. Pre-Boolean algebras
36. Substitution rule
37. Boolean logics
38. Algebra of the propositional calculus
39. Algebra of proof and consequence
Lattices and infinite operations
40. Lattices
41. Non-distributive lattices
42. Infinite operations
Monadic predicate calculus
43. Propositional functions
44. Finite functions
45. Functional monadic algebras
46. Functional quantifiers
47. Properties of quantifiers
48. Monadic algebras
49. Free monadic algebras
50. Modal logics
51. Monadic logics
52. Syllogisms
Index

Polecaj historie

Hegel's Realm of Shadows: Logic as Metaphysics in “The Science of Logic” 9780226588841

Hegel frequently claimed that the heart of his entire system was a book widely regarded as among the most difficult in t

211 129 2MB Read more

Hegel’s Realm of Shadows: Logic as Metaphysics in “The Science of Logic”

Robert B. Pippin offers here a bold, original interpretation of Hegel’s claim that only now, after Kant’s critical break

579 117 577KB Read more

Bilinear Algebra: An Introduction to the Algebraic Theory of Quadratic Forms (Algebra, Logic and Applications) [1 ed.] 9056990764, 9789056990763

Giving an easily accessible elementary introduction to the algebraic theory of quadratic forms, this book covers both Wi

163 64 3MB Read more

Basic Digital Logic Design: Use Boolean Algebra, Karnaugh Mapping, or an Easy Free Open-Source Logic Gate Simulator 4294967295

573 117 4MB Read more

Algebra, Logic and Combinatorics [Reprint ed.] 1786340305, 9781786340306, 9781786340290, 1786340291, 9781786340313, 1786340313

The articles are all quite well-written and informative. In these days of increasing mathematical specialization, it

340 109 1MB Read more

Thinking Machines: A Layman's Introduction to Logic, Boolean Algebra, and Computers

621 68 11MB Read more

Thinking Machines: A Layman's Introduction to Logic, Boolean Algebra, and Computers

537 75 6MB Read more

Logic, Logic, and Logic 067453767X, 9780674537675

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, near

233 51 16MB Read more

The Force of Logic: Using Formal Logic as a Tool in the Craft of Legal Argument (NITA)

113 26 1MB Read more

Algebra

Graduate algebra course

1,375 80 11MB Read more