DiscoverLogic (Audio w/ .pdfs)
Logic (Audio w/ .pdfs)
Claim Ownership

Logic (Audio w/ .pdfs)

Author: Rick Grush

Subscribed: 35Played: 244
Share

Description

Information on the class -- grading, sections, homework; and an introduction to what logic is, and how we will be approaching it in this class.
15 Episodes
Reverse
Lecture 01: Audio

Lecture 01: Audio

2006-11-2949:041

Information on the class -- grading, sections, homework; and an introduction to what logic is, and how we will be approaching it in this class.
Lecture 02: Audio

Lecture 02: Audio

2006-11-2757:18

Here we begin describing the formal structures underlying reasoning - arguments, statements, and the recursive nature of statement operators.
Lecture 03: Audio

Lecture 03: Audio

2006-11-2501:17:52

Translating natural language into the formal notation of sentential logic, including necessary & sufficient conditions, and recursively structured compound statements.
Lecture 04: Audio

Lecture 04: Audio

2006-11-2301:22:38

Discussion of functions, truth functions, the truth functions symbolized by statement operators, and the construction of truth tables to evaluate compound expressions.
Lecture 05: Audio

Lecture 05: Audio

2006-11-2151:11

Using truth tables to assess relations of equivalence, consistency and implication among sets of statements; and assessing argument validity.
Lecture 06: Audio

Lecture 06: Audio

2006-11-1948:04

An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp).
Lecture 07: Audio

Lecture 07: Audio

2006-11-1743:43

Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated proofs.
Lecture 08: Audio

Lecture 08: Audio

2006-11-1550:44

Introduction of final seven replacement rules (DeM, BE, contra, dist, exp, assoc, dup); and introduction to the method of indirect proof.
Lecture 09: Audio

Lecture 09: Audio

2006-11-1350:28

Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a tautology.
Lecture 10: Audio

Lecture 10: Audio

2006-11-1101:16:52

Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and operator specificity in rule schematics, and requirements on subproofs.
Lecture 11: Audio

Lecture 11: Audio

2006-11-0946:11

Discussion of the following informal fallacies: Genetic fallacy, ad hominem (including several subtypes), and ad populam (including subtypes)
Lecture 12: Audio

Lecture 12: Audio

2006-11-0750:26

Discussion of the following informal fallacies: appeal to pity, straw man, appeal to force, appeal to authority.
Lecture 13: Audio

Lecture 13: Audio

2006-11-0556:15

Discussion of the following informal fallacies: appeal to ignorance, slippery slope, alternate description, composition/division.
Lecture 14: Audio

Lecture 14: Audio

2006-11-0347:20

Discussion of the following informal fallacies: false cause, hasty generalization, weak analogy, begging the question; and formal fallacies of affirming the consequent & denying the antecedent.
Lecture 15: Audio

Lecture 15: Audio

2006-11-0158:03

No new informal fallacies are introduced, rather this is a discussion of additional examples of the fallacies introduced in previous lectures.
Comments