Take the 2-minute tour ×  What's the relation between logic and
algebra? Can one be thought of as a special case of the other?
share|improve this question You might consider reading Boole's
"Laws of Thought" and about Boolean algebra. –  Pedro Tamaroff
Sep 20 '12 at 14:30 add comment  4 Answers  up vote 5 down vote
accepted  Logic and algebra are related, but one is not a
special case of the other. While some aspects of each field may
be fruitfully captured using the language of the other one,
there is no global theory of one field in terms of the other
field.  For example, model theory, which is part of logic, has,
as far as I know, no direct analogue in algebra, whereas Galois
theory, which is part of (abstract) algebra, has no counterpart
in logic.  share|improve this answer I believe that Poizat
instigated some sort of analogue of Galois theory in model
theory (for strong types). A more recent paper by Medvedev and
Takloo-Bighash (MR2675492) gives an introduction to this idea
(in English). –  Arthur Fisc