**For information about the Formal Logic Challenge Exam, please email Prof. Arezoo Islami at arezooi@sfsu.edu. **

The Department of Philosophy provides students with the opportunity to achieve credit for the material covered in PHIL 205 (Formal Logic I) by passing a challenge exam.

The examination for the **Spring 2025** semester will be given on **Saturday, January 25th, 2025**. The exam is closed book and closed notes and will be administered remotely via email. The exam takes 2 hours to complete, however, given that some students might be in different time zones, you may choose any two hours between 10 a.m. - 10 p.m. on this day.

Make sure to express your interest in taking the exam via answering the emails that you will receive from the department.

There are no fees for taking the exam itself. However, if you pass the exam because you will then receive credit for the course, you will need to pay the university fees for the three units you will receive.

For further information, or to register for the examination, please email Prof. Islami at arezooi@sfsu.edu.

There are two parts to the examination: propositional logic and predicate logic. Each part will have exercises both on symbolization and derivation. Below you will find the list of topics covered by the examination and the logic textbook that should help you to review the material. While you might consult other textbooks, make sure you are familiar with symbols and conventions in the Logic Primer (the main source for the exam).

## A. In order to pass this examination, you will need to be familiar with:

### In propositional logic

- symbolization in propositional logic (translation from English sentences to Logic sentences and from Logic sentences to English sentences);
- use of truth tables to determine the validity vs. invalidity of an argument, equivalence vs. non-equivalence between sentences, consistency vs. inconsistency of a set of sentences, and whether or not a sentence is logically true;
- derivation of a sentence from a set of premises to prove the validity of an argument and derivation of a sentence from an empty set of premises to prove the logical truth of the sentence.

### In predicate logic

- symbolization in predicate logic (translation from English sentences to Logic sentences and from Logic sentences to English sentences);
- derivation of a sentence from a set of premises to prove the validity of an argument and derivation of a sentence from a empty set of premises to prove the logical truth of the sentence.

## B. Logic books that should help you to prepare for the examination:

### The Logic Primer (2nd edition)

By Collin Allan and Michael Hand. MIT Press.

This is an excellent textbook for learning logic. It has all the materials one needs to learn first order propositional and predicate logic. It uses natural deduction which is elegant and easy to master.

## FAQs

Several students have asked questions about the exam. Below are answers to the most commonly asked questions:

### If you are taking the Symbolic Logic Challenge Exam, you do not need to sign up for Phil 205 beforehand.

Do not worry about saving a spot for yourself in the course. If you do not do well on the challenge exam and you still need to take Phil 205, then Professor Islami will add you even if the course is full.

### You may take the Challenge Exam if you fall into one of these categories:

- If you took a course similar to Phil 205 here or elsewhere and received below a B, and you have since spent time studying the material.
- If you have not taken a similar course elsewhere, but you have spent time studying the material. (Note: if you are in this situation, it is not recommended that you learn logic in this manner. That said, you are still permitted to take the exam.)

### But you are not allowed to take the exam...

If you have been enrolled in or audited this course at any accredited university nor received credit for it.

Information about the results of the exam will be available within a few days after the exam.

### If you pass the exam, then:

If you had enrolled in Phil 205, YOU MUST DROP IT BY THE WITHDRAWAL DEADLINE. Credit for the exam will show up on your transcript (but this may not happen until the next semester).

### If you did not pass the Symbolic Logic Challenge Exam, then:

Nothing about the challenge exam will show up on your transcript. You still need to satisfy the prerequisite. If you are enrolled in Phil 205, you should continue in the class.

### Below is excerpted from the Bulletin:

To earn credit by examination, a student must obtain approval from the department chair and graduate coordinator. Grading options will be the same as that available for the course being challenged (letter grades, from A to F).