May 19, 2024  
2017-2018 Undergraduate Bulletin 
    
  Bulletin Home
  Chancellor’s Welcome
  What’s New?
  About IPFW
  General Education Requirements
  TransferIN.net Indiana Core Transfer Library
  Colleges, Schools & Divisions
  Student Services
  Regulations, Policies, Rights, & Responsibilities
  Program Descriptions
  Course Descriptions
  Departments
  Academic Calendar
  Campus Map
  Faculty/Staff Directory
  Previous IPFW Bulletins
HELP
2017-2018 Undergraduate Bulletin

PHIL 25200 - Intermediate Logic

An advanced introduction to formalized basic logic. The classical concept of consequence is studied from both a syntactic and semantic point of view in the areas of propositional logic, quantificational logic, and axiomatics. The main technique introduced is natural deduction style proofs, exposing students to an intuitive but rigorous concept of deductive proof.

Preparation for Course
R: PHIL 15000.

Cr. 3.
Session Indicators
Typically offered Fall and Spring.