Courses

HR
 

Find a Course

Use the menus below to help you find a course.

By Prefix and Number: PREFIX: NUMBER:
By Prefix:
 
 
HR
Advanced Search

Keyword Search
Online Learning (E)
Service-Learning (S)
Honors (H)
Integrated Language (I)
Writing Intensive (W)
Non-Credit Discussion Group (D)
Lab (Non-Credit and Credit) (L)

Quicklinks

Schedule of Classes
Transfer Equivalency Search
Course Application Deadlines


       
Course ID:PHIL(LING) 4510/6510. 3 hours.
Course Title:Deductive Systems
Course
Description:
Symbolic-mathematical logic, examining the propositional and predicate calculi, with emphasis on problems in translation and formalization and topics in the philosophy of logic and mathematics.
Athena Title:Deductive Systems
Prerequisite:PHIL 2500 or PHIL 2500H or PHIL 2500E or permission of department
Semester Course
Offered:
Offered fall semester every year.
Grading System:A-F (Traditional)
HR
Syllabus:  
 
Privacy