Search Results

Catalog Home

PHIL 241. Symbolic Logic. 4 units

Term Typically Offered: F, W

Prerequisite: Completion of GE Area A3.

The nature of deductive logical systems. Methods of notation, translation and proof in sentential and predicate calculi including truth-trees and natural deduction systems. Introduction to meta-theory. 4 lectures.