Logic is the study of the principles of valid, or correct, reasoning.
It is about what it is to reason or argue correctly. One should not, however, expect QR 22 to be a course in reasoning or argument. We shall seek to characterize valid arguments of two different types. As part of our study of quantification theory, we will develop a formal system in which to prove that various arguments are, indeed, valid. Finally, we shall turn our attention upon the formal system itself .