P250, Introduction to Symbolic Logic, Lecture 4.4: Expressive Completeness

preview_player
Показать описание
I have created the lecture videos for this class in Indiana University Bloomington's Academic Media Production Space, and with Samuel Underwood as Producer and Director. Work on these lectures was supported by a Summer Instructional Development Fellowship (SIDF) awarded by IU.
  1. Vera Flocke
Рекомендации по теме
P250, Introduction to 0:06:25

P250, Introduction to Symbolic Logic, Lecture 9.1: Exam Prep

P250, Introduction to 0:09:02

P250, Introduction to Symbolic Logic, Lecture 14.1: Universal Introduction and Elimination

P250, Introduction to 0:07:52

P250, Introduction to Symbolic Logic, Lecture 14.4: A Worked Example

P250, Introduction to 0:05:17

P250, Introduction to Symbolic Logic, Lecture 8.2: The Turnstile

P250, Introduction to 0:03:49

P250, Introduction to Symbolic Logic, Lecture 11.5: Definite Descriptions

P250, Introduction to 0:06:07

P250, Introduction to Symbolic Logic, Lecture 14.3: Identity Introduction and Elimination

P250, Introduction to 0:17:17

P250, Introduction to Symbolic Logic, Lecture 10.1: The Building Blocks of FOL

P250, Introduction to 0:14:20

P250, Introduction to Symbolic Logic, Lecture 1.1: What is logic?

P250, Introduction to 0:07:07

P250, Introduction to Symbolic Logic, Lecture 5.3: Study Guide

P250, Introduction to 0:12:03

P250, Introduction to Symbolic Logic, Lecture 14.2: Existential Introduction and Elimination

P250, Introduction to 0:17:16

P250, Introduction to Symbolic Logic, Lecture 15.3: Worked Examples

P250, Introduction to 0:14:01

P250, Introduction to Symbolic Logic, Lecture 3.1: Truth-Functional Connectives

P250, Introduction to 0:08:29

P250, Introduction to Symbolic Logic, Lecture 4.1a: A Few More Semantic Concepts

P250, Introduction to 0:07:39

P250, Introduction to Symbolic Logic, Lecture 12.1: FOL validities, contradictions and contingencies

P250, Introduction to 0:06:20

P250, Introduction to Symbolic Logic, Lecture 15.1: Quantifier Conversion Rules

P250, Introduction to 0:12:29

P250, Introduction to Symbolic Logic, Lecture 5.1: Exam Preparation (Example 1)

P250, Introduction to 0:16:07

P250, Introduction to Symbolic Logic, Lecture 4.4: Expressive Completeness

P250, Introduction to 0:08:30

P250, Introduction to Symbolic Logic, Lecture 6.5: Subproofs

P250, Introduction to 0:07:33

P250, Introduction to Symbolic Logic, Lecture 1.3: What we will cover in this course

P250, Introduction to 0:08:45

P250, Introduction to Symbolic Logic, Lecture 11.2: Multiple Generality

P250, Introduction to 0:03:27

P250, Introduction to Symbolic Logic, Lecture 2.5: Special Cases

P250, Introduction to 0:10:28

P250, Introduction to Symbolic Logic, Lecture 10.3: FOL Interpretations

P250, Introduction to 0:06:54

P250, Introduction to Symbolic Logic, Lecture 11.3: The Substitution Method

P250, Introduction to 0:06:11

P250, Introduction to Symbolic Logic, Lecture 8.1: The Double Turnstile