“Logic, it is often said, is the study of valid arguments. It is a systematic attempt to distinguish valid arguments from invalid arguments.”