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
    Vassar College
   
 
  Nov 20, 2017
 
 
    
Catalogue 2017-2018
[Add to Portfolio]

PHIL 125 - Logic

Semester Offered: Fall and Spring
1 unit(s)


a. An examination of the basic elements of modern logic. Topics include logical paraphrase, truth-functional logic, and quantification theory. Special attention is paid to the adequacy of the methods of logical analysis and assessment studied in the course. Douglas Winblad.

Topic for 2017/18b: Introduction to Formal Logic. When is it rational to infer one claim from others? The disciple of logic aims to answer this question as well as others concerning the rich patterns of inference and reasoning that emerge upon further study. Formal Logic approaches these questions using some mathematical techniques that we begin to master in this course. In particular, we study a powerful artificial language called First-Order Logic (FOL) that allows us to formulate precisely the concepts of proof, truth and valid inference. Marco Dees.

Two 75-minute periods.



[Add to Portfolio]