This is a location for discussion of topics in logic — and especially of issues related to the Symbolic Logic textbook and the Symbolic Logic APPlication. Comments may range from general review and evaluation, down to details. 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).