PH 301 Symbolic Logic
PH 301 Symbolic Logic 3
This course attempts to formalize the structure of proper logical reasoning through the use of an artificial symbolic language that assists in recognizing proper from improper argumentation. The main goal in this class is to begin mastering this symbolic language with the goal of learning to reason well. We will begin by looking at the nature of propositional statements, the truth-functional connectives they use, and translating statements made in our natural language to this artificial symbolic language. Then we will turn to the construction of arguments. We will learn to recognize valid from invalid arguments by constructing truth-tables to derive valid arguments using universal logical truths. Fall semester, even years.