Chapter Two:
Deductive Concepts and Sentence Logic

In this chapter, we discuss some of the details of formal, deductive logic. Your insturctor may choose to look to chapter three and informal logic first.

Tutorials and Reference

Tutorial One: Forms and Formal Fallacies
1) Fallacies

FLASH mini-lecture: Formal Fallacies
2) Logical Equivalence and Possibility
FlashBoard: Conditionals and Logical Equivalence

Exercises
2.1a Formal Drag
2.1b Auracaria Again

Tutorial Two: SL first pass

1) Sentence letters and Connectives
2) Proper Names and Predicates
FLASH mini-lecture: The Logic Font

Exercises
2.2a Symbolizations I
Flash mini-lecture: 2.2a
2.2b Multiple Choice on Symbolizatons
FLASH mini-lecture: Conditonals
2.2c Symbolizations II
FLASH mini-lecture: 2.2c-D Symbolizations
2.2d Symbolizations with Names
FLASH mini-lecture: Names
2.2e More Symbolizations (for lecture)
2.2f Conditional Symbolizations (for FLASH lecture)
2.2g More Symbolizations (for FLASH lecture)
2.2h Yet More Symbolizations (for FLASH lecture)

Tutorial Three: Semantics and Syntax

1) Truth Table Definitions for SL Connectives
2) Grammar for SL
FlashBoard: Sentence Construction

Exercises
2.3a Semantics: the meaning of the connectives
2.3b Syntax: Grammar for SL
FLASH mini-lecture: 2.3b Help
2.3c Mutitple Choice: Semantics
2.3d Multiple Choice: Syntax
2.3e Main Connectives (very important)
Quiz
Q2.3 Main Connective Check (very important)

Tutorial Four: Deductive Concepts, Possibilty, and Intuitive SL Examples

FLASH mini-lecture: Concepts and SL

Exercises
2.4a Multiple Choice: Deductive Concepts

Tutorial Five: Symbolization II
FLASH mini-lecture: Slightly Harder Symbolizations

Exercises
2.5a Symbolizations I
2.5b Symbolizations II
2.5c Symboizations III
2.5d Symbolizations with Names
2.5e Symbolizations with Names II

Tutorial Six: [gold] Proofs II

Exercises
2.6a [gold] Proofs
2.6b [gold] Proof by Example
2.6c [gold] More Proofs

Reference

Chapter Two Reference

Quizzes and Presentations

P1 FLASH mini-lecture: The Logic Font
P2 FLASH mini-lecture: Getting Started with Chapter 2
Q2.1 Symbolizing Drag
Q2.2 Symbolizations
Q2.3a SL Sentences
Q2.3b Main Connective Check (very important)
Q2.4a Deductive Concepts
Q2.4b More Deductive Concepts