Logic
An explanation of the basic elements of elementary logic.
  www.philosophypages.com/lg/ reviews
Frege's Logic, Theorem, and Foundations for Arithmetic
Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Frege's Logic, Theorem, and Foundations for Arithmetic Frege formulated two distinguished formal systems and used these systems in his attempt both to express certain basic concepts of mathematics precisely and to derive certain mathematical laws from the laws ...
 plato.stanford.edu/entries/frege-logic/index.html reviews
Peter Suber, Symbolic Logic
Symbolic Logic Peter Suber, Philosophy Department, Earlham College This is the course home-page for Philosophy 16, Symbolic Logic. Spring Semester, 1996-97. 1:00 - 2:20, MTh. Carpenter 322. Course description. Hand-outs Syllabus Truth and Validity Basic Terms of Logic Propositional Logic Terms and Symbols Translation Tips Paradoxes of Material Implication Short-Cut Truth Table Method and Forking ...
www.earlham.edu/~peters/courses/log/loghome.htm reviews
Peirce's Logic
Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z Peirce's Logic Charles Peirce's contributions to logical theory are numerous and profound. His work on relations building on ideas of De Morgan influenced Schroder, and through Schroder Peano, Russell, Lowenheim and much of contemporary logical theory.
plato.stanford.edu/entries/peirce-logic/ reviews
|
Logicians@