Pre-requisites: MATH 75 or MATH 75A and B.

Units: 3.

Catalog Description: An informal treatment of the theory of logical inference, statement calculus, truth-tables, predicate calculus, interpretations applications.

Informal Course Description: The course studies classical and modal logics. We will define logical statements and their classical and modal operations, logically equivalent statements, tautologies and contradictions, and quantifiers. We will learn how truth tables and axioms can be used to determine the truth values of compound statements in the classical logic, and consider various interpretations of modal operations. We will also study the similarities and interplay between logic and set theory, solve logical puzzles, and learn about famous mathematical paradoxes and various applications of logic.

Course goals
Upon completion of this course, students should know/understand:

• The concepts of logical statements and open statements.
• Definitions of classical and modal operations.
• Connection between logic and the set theory.
• Interpretations and applications of the classical and modal logics in various sciences.
• Classical paradoxes of logic and set theory.

Learning Outcomes
Upon completion of this course, students should be able to:

• Determine which sentences are logical statements (open statements) and determine their truth values.
• Determine which classical compound statements are logically equivalent, or are tautologies or contradictions.
• Determine which modal or quantified statements are logically equivalent, or are true or false.
• Prove simple logical and set theoretic properties from the axioms.
• Solve logical problems/puzzles.

Grading policy: Your grade for the course will be based on your performance on homework and tests.

Tests: There will be three 1-hour tests and a comprehensive final exam. Make-up exams will be given only in case of an illness or a serious family emergency. No notes, books, or calculators will be allowed on the tests.

Class attendance: It is important to attend every class because group/class discussions are an important part of the course, especially since there is no text. Attendance, however, is not a part of your grade.

If you miss a class, you should contact one of your classmates or the instructor to find out what was done in class and whether important announcements were made or homework was assigned.

Homework: There will be weekly homework, consisting of problem sets, some of which will be graded. No late papers will be accepted except in case of an illness or a serious family emergency. Working with your classmates is allowed and encouraged, but every student must write his or her own papers. If you work with someone, please indicate that on your paper. There will be at least 11 homework assignments, out of which the top 10 scores will count towards your grade. Thus, at least one lowest score will be dropped.

Extra Help: It is essential not to fall behind, because many classes will use the material studied previously. If you have trouble with some material, seek help in the following ways:

• Ask me, either in class or privately. Don't be shy to ask questions. If you don't understand something, chances are very high that somebody else doesn't understand that either. My contact info is given on the course web page.
• Work with your classmates. Note: working on your homework together is allowed and encouraged, however, every student should write down their solutions on their own, in their own words.

Computers: At California State University, Fresno, computers and communications links to remote resources are recognized as being integral to the education and research experience. Every student is required to have his/her own computer or have other personal access to a workstation (including a modem and a printer) with all the recommended software. The minimum and recommended standards for the workstations and software, which may vary by academic major, are updated periodically and are available from Information Technology Services or the Universit Bookstore. In the curriculum and class assignments, students are presumed to have 24-hour access to a computer workstation and the necessary communication links to the University's information resources.

Students with disabilities: upon identifying themselves to the University, students with disabilities will receive necessary accommodation for learning and evaluation. For more information, see http://studentaffairs.csufresno.edu/ssd

Academic honesty: cheating and plagiarism will not be tolerated in this class. For information on the University's policy, see the University Catalog (section Policies and Regulations).

Honor Code: Members of the CSU Fresno academic community adhere to principles of academic integrity and mutual respect while engaged in university work and related activities. You should:

• understand or seek clarification about expectations for academic integrity in this course (including no cheating, plagiarism and inappropriate collaboration)
• neither give nor receive unauthorized aid on examinations or other course work that is used by the instructor as the basis of grading.
• take responsibility to monitor academic dishonesty in any form and to report it to the instructor or other appropriate official for action.

Disruptive Classroom Behavior: student conduct which disrupts the learning process will not be tolerated and may lead to disciplinary action and/or removal from class.

Copyright policy: Copyright laws and fair use policies protect the rights of those who have produced the material. The copy in this course has been provided for private study, scholarship, or research. Other uses may require permission from the copyright holder. The user of this work is responsible for adhering to copyright law of the U.S. (Title 17, U.S. Code). To help you familiarize yourself with copyright and fair use policies, the University encourages you to visit its copyright web page: http://www.csufresno.edu/library/libraryinformation/campus/copyright/copyrtpolicyfull.pdf. For copyright Questions & Answers: http://www.csufresno.edu/library/libraryinformation/campus/copyright/faqcopyright.pdf. Digital Campus course web sites contains material protected by copyrights held by the instructor, other individuals or institutions. Such material is used for educational purposes in accord with copyright law and/or with permission given by the owners of the original material. You may download one copy of the materials on any single computer for non-commercial, personal, or educational purposes only, provided that you (1) do not modify it, (2) use it only for the duration of this course, and (3) include both this notice and any copyright notice originally included with the material. Beyond this use, no material from the course web site may be copied, reproduced, re-published, uploaded, posted, transmitted, or distributed in any way without the permission of the original copyright holder. The instructor assumes no responsibility for individuals who improperly use copyrighted material placed on the web site.

Subject to Change: This syllabus and schedule are subject to change in the event of extenuating circumstances. If you are absent from class, it is your responsibility to check on announcements made while you were absent.