Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

Elementary predicate logic is also called first-order logic, relational logic, quantificational logic and predicate calculus. We will construct a few truth tables and some truth trees and prove a few ...

The course begins with a simple system called sentential or propositional logic, which despite its simplicity captures a significant range of important arguments. The course then focuses on ...

We will look at how mathematical logic has been used as an instrument in philosophical argument; and we will consider ways that we might refine the instrument, and use it to best effect. The backbone ...

What's the secret to winning arguments in a world of divisive politics? According to the author of The Art of Logic in an Illogical World, the answer is math.

In argument small clauses, on the other hand, the event argument is licensed by the Asp of the matrix verb, which makes instrumental predicates possible. In the course of the discussion I also address ...

The course begins with a simple system called sentential or propositional logic, which despite its simplicity captures a significant range of important arguments. The course then focuses on ...