Philosophy 260: Advanced Formal Logic                                                                 Fall 2000
Section E01

First Test Study Guide

The first test will be on Thursday September 14th at 6.55 p.m. in Clark 214.
 

We will have covered the following material:

        Chapter 1 – Basic logical properties and relations (glossary p.24).

        Chapter 2 – Formal syntax of SL including vocabulary (pp.62-3) and seven grammar rules (p.63).

        Chapter 3 – Semantic scheme for sentential logic, including concept of a truth-value assignment (p.68) and the     characteristic truth-tables for the five truth-functional connectives (pp.67-8); truth-functional versions of the logical properties and relations (glossary pp.100-1).

        Chapter 5 – The derivation system SD (inside front cover); SD versions of the truth functional properties (glossary p.210).

  Kinds of questions:

Definitions. You will need to be able to reproduce the definitions of the following expressions:

DEDUCTIVE VALIDITY, LOGICAL CONSISTENCY, LOGICAL EQUIVALENCE, LOGICAL TRUTH, LOGICAL FALSITY, LOGICAL INDETERMINACY.

TRUTH-FUNCTIONAL VALIDITY (abbr. TF-VALID), TRUTH-FUNCTIONAL CONSISTENCY (abbr. TF-CON), TRUTH-FUNCTIONAL EQUIVALENCE (abbr. TF-EQUIV), TRUTH-FUNCTIONAL TRUTH (abbr. TF-TRUE), TRUTH-FUNCTIONAL FALSITY (abbr. TF-FALSE), TRUTH-FUNCTIONAL INDETERMINACY (abbr. TF-IND).

SD-DERIVATION (P.169), DERIVABILITY IN SD (abbr. SD-DERIVABLE), VALIDITY IN SD (abbr. SD-VALID), THEROEM IN SD (abbr. SD-THEOREM), EQUIVALENCE IN SD (abbr. SD-EQUIV), INCONSISTENCY IN SD (abbr. SD-INCON).

  Syntax: The model exercises are those on page 66, set 3. You must be able to explain, according to the protocol from class, why a given expression counts as an SL sentence.

                The protocol:

                Step 0 – all symbols are SL symbols.

                Step 1 – identify the atomic sentences according to rule 1.

                Subsequent steps identify the sentential components and the rules according to which they are formed.

  Semantics: The model exercises are all those on page 100. Prove the statements by appeal only to the definitions of the TF-properties and relations and the characteristic truth-tables.
 

SD: The model exercise is 5.4E 15 (page 200).