Phl 574 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.