May 03, 2025  
2014-2015 Undergraduate Bulletin 
    
Catalog Navigation
Bulletin Home
Course Descriptions
Our Mission
About Our University
Academic Honesty
Academic Policies and Procedures
Admission (Undergraduate)
Archived Bulletins
Tuition, Financial Aid and Scholarships
Bachelor’s Programs
Majors and Minors
Distance Learning
Distribution Courses
Programs (Alphabetically, University-wide)
Study Abroad
Hofstra College of Liberal Arts and Sciences
Frank G. Zarb School of Business
The Lawrence Herbert School of Communication
School of Education
School of Engineering and Applied Science
School of Health Sciences and Human Services
Hofstra University Honors College
School for University Studies
New Opportunities at Hofstra (NOAH) Program
Academic Calendars and Deadlines
Facilities and Services
General Information and Definitions
HEGIS Codes
Printable Forms
@HofBulletins on Twitter
My Personal Catalog
2014-2015 Undergraduate Bulletin [ARCHIVED BULLETIN] Add to Personal Catalog (opens a new window)

PHI 156 - Advanced Symbolic Logic

Semester Hours: 3
Periodically
Construction of a symbolic language for predicate (quantifier) logic. Metatheory for both sentential and predicate logic. Discussion of the limitations of predicate logic, and of more powerful formal systems designed to deal with natural language discourse, such as tense logic and modal logic.

Prerequisite(s)/Course Notes:
PHI 154.




Add to Personal Catalog (opens a new window)