Propositional logic is also called propositional calculus, sentential logic, statement logic and sentence logic. It is a formalism that is useful for analyzing certain arguments (deductions) that ...

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 ...

For the tenability of the thesis that mathematics is logic it is not only sufficient but also necessary that all mathematical expressions be capable of definition on the basis solely of logical ones.

PHI 201 Introductory Logic. Hans Halvorson. Logic is among the oldest and most foundational of the university disciplines. The goal is to equip students with most general possible framework for sound ...