scientific article; zbMATH DE number 1145122
As explained in the preface, the book is based on lecture notes of a course in logic that was several times given by the first author. In fact, the spirit of the book is much like that of his early paper ``The basic concepts of algebraic logic [Am. Math. Mon. 63, 363--387 (1956; Zbl 0070.24506); see also: \textit{P. Halmos}, Algebraic logic. New York: Chelsea Publishing (1962; Zbl 0101.01101), pp. 9--33]. The purpose of the authors is to show to a broad audience (from undergraduate students to professional mathematicians and philosophers) that, and how, logic can be viewed from an algebraic perspective. The logic treated in the book covers propositional and monadic predicate calculi, and the theory of syllogisms. The reader is not supposed to have previous acquaintance with any of these subjects, but needs a working knowledge of some basic notions of abstract algebra. The introductory chapter of the book gives a preliminary insight in what logic is. The chapter on propositional calculus deals with language, formal proofs, logical equivalence, algebraic identities characterizing the logical connectives (but not with such metamathematical concepts, traditional for textbooks in logic, as soundness and completeness). There are two chapters on Boolean algebras: the first of them shows how Boolean algebras grow from propositional calculus, while the other is somewhat more advanced and is concerned with notions coming from universal algebra (subalgebras, homomorphisms, ideals; an elementary proof of Stone's representation theorem is included). The next chapter treats propositional logic via algebra. In particular, it is here where the soundness, completeness and compactness theorems for propositional calculus are proved, and the provided proofs are carried out in a purely algebraic manner. A small chapter is devoted to infinitary operations on lattices. In the final chapter on monadic predicate calculus the authors discuss propositional functions, concrete (i.e. functional) and abstract monadic algebras (Boolean algebras with an additional operator that simulates the existential quantifier), the completeness theorem for monadic logic, and algebraic aspects of syllogistic.
- Algebraic logic. Transl. from the Russian by Robert H. Silverman
- Compiling dyadic first-order specifications into map algebra
- From Boolean algebra to unified algebra
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- Algebraic methods in philosophical logic
- Logic in Whitehead's universal algebra
- Abstract algebraic logic. An introductory textbook
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- Default rules in the logic of first-degree entailments
- Domain and range operations in semigroups and rings.
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- Universality of logic
- scientific article; zbMATH DE number 1852925 (Why is no real title available?)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- A psychological theory of reasoning as logical evidence: a Piagetian perspective
- Classical logical coherentism
- An algebraic approach to rule based expert systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4384471)
