The page uses Browser Access Keys to help with keyboard navigation. Click to learn moreSkip to Navigation

Different browsers use different keystrokes to activate accesskey shortcuts. Please reference the following list to use access keys on your system.

Alt and the accesskey, for Internet Explorer on Windows
Shift and Alt and the accesskey, for Firefox on Windows
Shift and Esc and the accesskey, for Windows or Mac
Ctrl and the accesskey, for the following browsers on a Mac: Internet Explorer 5.2, Safari 1.2, Firefox, Mozilla, Netscape 6+.

We use the following access keys on our gateway

n Skip to Navigation
k Accesskeys description
h Help
    University of Michigan - Flint
   
 
  Jul 24, 2017
 
 
    
Skip Navigation
2013-2014 Catalog [ARCHIVED CATALOG]

[Add to Portfolio]

PHL 302 - Intermediate Symbolic Logic.


A course in logic or junior standing or consent of instructor. (3).

Applications of symbolic logic to forms of reasoning more complex than those covered in PHL 202 . Relational sentences, multiple quantification, identity, definite descriptions. Properties of formal axiomatic systems, such as consistency and completeness; ways of proving that given systems have or lack such properties. Logical characteristics of reasoning underlying theories and practices in such fields as mathematics, computer science, science, social sciences, philosophy.



[Add to Portfolio]