The objectives of the course are the following three. (1) Students will understand and remember the basic results of IML, especially as this machinery intersects with cognitive and computer science and robotics, and so will be prepared to use this knowledge in the future in both academic and non-academic situations. (2) Students will acquire the ability to construct mathematical proofs, and thereby lay a foundation for tackling more sophisticated mathematical problems in the future. I have a third objective: that a number of you will see fit to enroll as philosophy/science (e.g., computer science) or psychology/science (e.g., computer science) dual majors, or straight psychology or philosophy majors, in the Minds and Machines Program. Students in this program can more thoroughly investigate issues in reasoning, cognition and computation, and can gain expertise much in demand in the marketplace. Information about these programs will be disseminated during the semester. (Information about the computer science-philosophy dual major is available on my web site).