Metropolitan State University


 My Plan for Fall 2017
 Wish List:  

Login to view your plan.

 Wait List:  

View/Modify Schedule  Registered:  Expand My Plan  
Remove from Wait List

< New Search Continue to Review My Plan >

PHIL 204 - Introduction to Symbolic Logic
Fall 2017, Section 02

ID #Subj#SecTitleDatesDaysTimeCrdsStatusInstructorDelivery MethodLoc
001110 PHIL 204 02 Introduction to Symbolic Logic
08/21 - 12/04
M
6:00pm - 9:20pm
4.0 Open Leibel, Rhona
Location: z MnSCU Metropolitan State University
Building/Room: Midway Center 148


Meeting Details
DatesDaysTimeBuilding/RoomInstructor
8/21/2017 - 12/4/2017 M 6:00pm - 9:20pm Midway Center 148 Leibel, Rhona

Notes
  • Note: First day of attendance required by instructor.

Location Details
Offered through: Metropolitan State University.
Campus: Metropolitan State University. Location: z MnSCU Metropolitan State University.

Seat Availability
Status: Open Size: 32 Enrolled: 21 Seats Remaining: 11

Add/Drop/Withdraw
Full refund is available until August 27, 2017, 11:59PM CST.
Adding course is closed. Dropping course is closed.
The last day to withdraw from this course is November 20, 2017.

Tuition and Fees (Approximate)

Tuition and Fees (approximate):

Tuition -resident: $910.12
Tuition -nonresident: $1,856.92
Approximate Course Fees: $137.88

Course Level
Undergraduate

Minnesota Transfer Curriculum Goal
Goal 04 - Mathematical/Logical Reasoning
  • Illustrate historical and contemporary applications of mathematical/logical systems.
  • Clearly express mathematical/logical ideas in writing.
  • Explain what constitutes a valid mathematical/logical argument(proof).
  • Apply higher-order problem-solving and/or modeling strategies.

Description
Symbolic logic uses formal methods in order to study the properties of arguments in a precise and rigorous manner. In this course, we learn about both the propositional calculus, which deals with the logical relations that hold among whole propositions, and the predicate calculus, a system which allows more precise analysis of linguistic structure. The course will focus on both translation of natural languages into symbolic form, and proofs using natural deduction.

Add To Wait List