PHIL 5577 Symbolic Logic: Theory and Practices (Fall: 3 )
An introduction to the powerful ways the logical forms woven into deductive reasoning and language can be analyzed using abstract symbolic structures. The study of these structures is not only relevant for understanding effective reasoning, but also for exploring the Anglo-American analytic philosophical tradition and foundations of mathematics, computer science, and linguistics. Philosophically interesting properties about logical systems will be explored, including the task of proving whether a logical system is complete and consistent. A number of interesting topics of twentieth-century logic will be briefly considered, such as set theory, Russell's paradox, and Goedel's theorems.
Last Updated: 24-Jun-17