Pierce College (Symbolic Logic, Spring 2020): 'Language, Proof and Logic': Validity and Soundness

This video continues the discussion of validity and soundness from last week (Chapter 2). The focus here is on distinguishing the form of an argument (an argument's formal features) from its content (whether or not the sentences that constitute the argument are true). In connection with this work, terms such as "valid," "logical consequence," "counterexample," and "demonstrating non consequence" are discussed. We also practice using Tarski's World to determine logical consequence.