Phl 474 Philosophy of Logic

Topics: validity, sentence-proposition, connectives, quantifiers, truth, paradoxes, logical necessity and possibility. Optional topics: metalogic, the construction of formal systems of logic and formal proofs of certain of their properties, e.g., consistency and completeness. Recommended prerequisite: Phl 325.