KEY CONCEPTS FOR FIRST EXAM

REVIEW FROM PREVIOUS TESTS

Argument structure

Argument evaluation

Fallacies

Propositional logic

Propositional calculus

CATEGORICAL LOGIC

Four standard forms of categorical statements (AEIO)

Distribution

Boolian notation

Constructing syllogism from mood and figure (e.g., AAA-3)

Testing validity with Venn diagrams

Testing validity with five rules

PREDICATE LOGIC

Simple non-relational subject-predicate statements (e.g., Ms)

Compound non-relational subject-predicate statements (e.g., Ac & Jb)

Two-place and three-place relational predicates (e.g., Lbc, Gdbc)

Universal and existential quantifiers

AEIO statements with quantifiers

Quantified non-relational and relational statements (e.g., Ǝx(Fx), ∀x~(Abx))

PREDICATE CALCULUS

Four quantification rules

Quantifier equivalence rules

MODAL LOGIC

Modal operators and modal statements (e.g., ~◊p)

Four types of accessibility relations

Modal proofs

LANGUAGE AND LOGIC

Four forms of language

Four functions of language

Three types of disputes

Purposes of definitions

Techniques of definitions

Five rules of good lexical definitions