After passing this course, students should be able to do the following.
1-Argue for and against the definition of knowledge as justified true belief.
2-Identify different types of reasonig.
3-Prove properties of the syntax of propositional logic.
4-Prove properties of the semantics of propositional logic.
5-Compute the interpretation of a propositional WFF given a truth assignment.
6-Determine whether a propositional WFF is valid (contradictory, satisfiable).
7-Determine whether a set of propositional WFFs logically imply a propositional WFF.
8-Determine whether two propositional WFFs are logically equivalent.
9-Identify valid propsitional arguments.
10-Apply a tableau method to determine the validity of a propositional argument.
11-Construct propositional derivations using natural deduction.
12-Demonstrate 3--11 for first-order logic.
13-Construct detivations using resolution refutation.
14-Unify two expressions.
15-Translate English sentences into first-order logic WFFs.
16-Construct domain theories for simple domains.
17-Identify the necessity of domain closure axioms and unique-names axioms.
18-Demonstrate 3--9 and 11 for propositional modal logic.
19-Demonstrate 3--9 and 11 for first-order modal logic.
20-Distinguish between de re and de discto readings of sentences.
21-Construct possible worlds semantics for systems with and without the Barcan formula.
22-Correctly represent knowledge involing equality in first-order modal logic.
23-Compute entailments given the closed-world assumption and the general closed world assumption.
24-Compute the circumscription of a theory.
25-Compute extensions of default theories.
26-Identify Allen's interval relations.
27-Represent temporal reports using tense logic and Allen's interval logic.
28-Identify events, processes, and states.
29-Analyze theories suffering from the frame problem, the Yale shooting problem, and the ramification problem.