Howard University College of Arts and Sciences
Department of Philosophy
Home About Undergraduate Faculty & Staff News Courses Contact Us

Symbolic Logics

Phil 175

Dr. Cara Spencer

This course is an introduction to first order predicate logic. It is intended to provide a basis for philosophy majors and minors to best appreciate other upper level and seminar courses in philosophy. This class is also particularly recommended for students planning to attend law school or graduate school.

This course introduces students to the technical notions of validity, soundness, logical truth and falsehood, consistency and inconsistency as they apply to natural language sentences and arguments. Students will learn the syntax and semantics of the language of first order predicate logic, and will use truth tables and other simple models to study the semantic properties of sentences of this language. Students will also use a natural deduction system to study its syntactic properties. Some applications to the semantics and pragmatics of natural languages will also be considered. Students will work from Barwise and Etchemendy Language, Proof, and Logic, which contains a software package that will be used frequently for homework assignments. There will be two midterm exams, a cumulative final exam, and weekly problem sets.

II. Required Text

1. Jon Barwise and John Etchemendy, Language, Proof, and Logic, CSLI Publications, distributed by University of Chicago Press. (list price: $65.00)


African American Philosophy
Afro-Caribbean Philosophy
Ancient Egyptian Philosophy
Ancient Egyptian Philosophy
Ancient Greek Philosophy
Classical Ethics
Comparative Philosophy: Philosophical Explanations of Evil Across Cultures
Current Topics: Philosophy and Ethics of Appropriate Technology and Development
Current Topics: Africana Philosophy and Film
Environmental Ethics
Ethics and Public Policy
Ethics of Medical Care
Ethics of Medical Care
History of Africana Philosophy
Introduction to Ethics
Introduction to Philosophy
Introduction to Social and Political Philosophy
Medieval Philosophy
Modern Philosophy
Philosophy of Education
Philosophy of Language
Philosophy of Mind
Philosophy of Religion
Philosophy of Social Science
Principles of Reasoning
Representative Thinkers
Seminar on Aristotle 
Symbolic Logic


© COAS Howard University. All rights reserved. | 2441 Sixth Street NW, Washington, DC 20059 | (202) 806-6730 | Contact Us | WWW Disclaimer