Description

PHIL 240 was by far my favorite class this semester because it was intuitive and interesting. This class prepared me to learn new levels of math, computer science, and philosophy while reinforcing topics from previous classes.

I will probably take more philosophy classes in the future because it's a nice break from the highly technical and rigorous engineering classes I have to take.

Here are the topics we covered:

Propositional Logic:

• Rules of Inference
• Logical Equivalences
• Proofs: Direct, Indirect, and Conditional
• Argument Validity
• Set Consistency
• System Soundness and Completeness

First-Order Predicate Logic:

• Quantifiers
• Categorical Quantifiers
• Square of Opposition

This class introduced me to:

• Second-Order Logic
• Inductive Logic
• Russell's Paradox
• SAT Solving
• Set Theory
• Temporal Logic