TransfermaticPHIL at Coastline Community College

    PHIL C220 - Introduction to Symbolic Logic

    Recent Professors
    Not yet assigned
    Recent Semesters
    No scheduled sections on record
    Class Size
    Not published
    Credits
    3
    Transfers To
    CSUCSU GE Area A3
    Description
    This course introduces the principles of valid deductive reasoning through a study of formal techniques of sentential logic and predicate logic. Students will learn how to translate arguments from a natural language (in this case English) to symbolic languages. These abstracted arguments can then be manipulated to derive other truth-preserved sentences. Students will also cover related logic and semantic concepts such as validity, soundness, and entailment. C-ID: PHIL 210.