philosophy.lander.edu
 An elementary introduction to contemporary symbolic logic is useful in a number of different ways.     The elements of the language of symbolic logic are introduced to in order to simply the understanding of many arguments.  By using symbolic notation, we are less likely to error in our assessments of validity or invalidity due to the difficulties of vagueness, equivocation, amphiboly and emotive significance.   Some of the uses of symbolic logic are suggested in the exercises accompanying these topics. Links to Lecture Notes … INTRODUCTION TO SYMBOLIC LOGIC The Language of Symbolic Logic Conventions for translating ordinary language statements into symbolic notation are outlined. Conjunction, Negation, Disjunction The logical operations of conjunction, negation, and disjunction (alteration) are discussed with respect to their truth-table definitions. Conditional Statements and Material Implication The reasons for the conventions of material implication are outlined, and the resulting truth table for is vindicated. How to Construct a Truth Table The general principles for the construction of truth tables are explained and illustrated. Argument Forms and Arguments Argument forms are introduced and methods for establishing their validity or invalidity is explained. Common forms such as modus ponens, modus tollens, disjunctive sylllogism and hypothetical syllogism are illustrated together with the fallacies of affirming the consequent and denying the antecedent. Statement Forms, Material Equivalence, and Logical Equivalence Statement forms are introduced and characterized as tautologous, contradictory or contingent. Material and logical equivalence are defined and discussed The Paradoxes of Material Implication Some of the intuitive difficulties with material implication are outlined and illustrated. Send corrections or suggestions to webmaster at philosophy.lander.edu Read the disclaimer concerning this page. 08.19.09           Licensed under GFDL | Arguments | Language | Fallacies | Categorical Propositions | Syllogisms | Ordinary Language | Symbolic |