Symbolic Logic

The study of logical relationships by way of models and procedures in a symbolic system. The concept of proof and the demands of formal proofs. Methods of demonstrating logical relationships, including truth tables, derivations in sentence and predicate logic, and semantic interpretations. The relation between conventional languages and symbolic encodings. A selection of related theoretical topics, including proofs of soundness and consistency of the calculi, and elementary set theory.

Introduction to Philosophy: Knowledge and Its Limits

The tools and techniques of philosophical reasoning: reading argumentative prose;
analyzing conceptual models; writing critical essays. Problems of knowledge: the criteria
of reliable knowledge; the formulation and justification of beliefs the sources and limits
of knowledge; beliefs about the physical world, the past and future, and other minds.
Critical standards applied to related metaphysical issues: theism, mind and self-identity,
determinism.