Location code
OCEAN
Campus code
P
Page URL
/about/our-locations/ocean-campus

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.

Morality and Politics

An examination of such questions as: Are there conditions under which value judgments can be rationally defended? If there are such grounds, what are they? If not, what consequences, if any, follow from ethical skepticism? Can value judgments about individuals or societies be justified on rationally acceptable grounds? Application of theories to moral problems.

Morality and Politics

An examination of such questions as: Are there conditions under which value judgments can be rationally defended? If there are such grounds, what are they? If not, what consequences, if any, follow from ethical skepticism? Can value judgments about individuals or societies be justified on rationally acceptable grounds? Application of theories to moral problems.

Morality and Politics

An examination of such questions as: Are there conditions under which value judgments can be rationally defended? If there are such grounds, what are they? If not, what consequences, if any, follow from ethical skepticism? Can value judgments about individuals or societies be justified on rationally acceptable grounds? Application of theories to moral problems.