ศึกษาวิธีแสดงความสมเหตุสมผล และไม่สมเหตุสมผลของการอ้างเหตุผลในตรรกศาสตร์ ประพจน์ ซึ่งความสมเหตุสมผลขึ้นกับความสัมพันธ์ระหว่างข้อความและตรรกศาสตร์ภาคขยาย ซึ่งความสมเหตุสมผลขึ้นกับความสัมพันธ์ระหว่างคำและข้อความ

A study of the methods of presenting the validity and invalidity in propositional logic which depends its validity upon propositions and that of predicate logic which depends its validity upon items and propositions.