Hello, and welcome to "Symbolic Logic in ASCII," an on-line course
in symbolic logic.  This course is for beginners, and will begin with the
basics.  Most of the material in this course will come from the fifth
edition of Copi's \Symbolic Logic\.  I will also include material from
other texts I am familiar with.  We will begin with sentential logic, and
continue with predicate logic.

        I will give short lectures, followed by homework for you to do on
your own. I will not grade your homework.  I do not want you to post in
this TOPic, and I do not want you to email it to me.  A few days after I
post each assignment, I will post the answers, so that you can correct your
work yourself.  After each lecture, I will answer questions. You should ask
questions only about what I have discussed so far.  I will refuse to answer
questions on material I have not yet covered.

        I do not want anyone to discuss philosophical issues in this TOPic.
This TOPic is solely a course in symbolic logic, and extraneous messages
are unwelcome.

                               Fergus Duniho