This is a location for discussion of *Symbolic Logic*. Comments may range from general review and evaluation of the text, to details of presentation. We can discuss substantive questions about logic too. You may submit a post of your own or add comments to another. If you require special symbols, \LaTeX code may be inserted between the markers [latex] . . . [/latex] — to start with this, see LaTeX Typing (you see the compiled result only when posted).

Home » Uncategorized » The Symbolic Logic Blog