An elementary introduction to contemporary symbolic logic is useful in a number of
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
Some of the uses of symbolic logic are suggested in the exercises accompanying these
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,
The logical operations of conjunction,
negation, and disjunction (alteration) are discussed with respect
to their truth-table definitions.
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
The general principles for the construction
of truth tables are explained and illustrated.
- Argument Forms and
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
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.