Symbolic Logic (Video) - Study24x7

Default error msg

New to Study24x7 ?
By continuing, you agree to Study24x7 ?

3 followers

11 Learners

# Symbolic Logic (Video)

Validity Unlimited All Level English

0.0 (0)
Free

Logic is a part of every systematic field of inquiry As the essential foundation for rational investigation. Logic has always been a multidisciplinary and an interdisciplinary subject. Its versatility is evinced in its vast and varied applications in digital electronics, computer, and manufacturing technologies, and also for deliberating in law, public policy and business strategy. In view of the above, it is a value-addition to one’s skill-base to be exposed to this all-important subject. This course is designed to enable the participants; To gain acquaintance with the fundamentals of Propositional logic and Predicate Logic. To strengthen the foundation with problem-solving training.

• Total 8 Modules
• 40 Videos
• Published on 01 July, 2019

## Week 1

• Lecture 1: Introduction

21m
• Lecture 2: Propositions, Arguments, Components, Basic Characteristics

20m
• Lecture 3: Recognizing arguments, Diagramming logic flow

28m
• Lecture 4: Types of arguments, Deductive, Inductive, different norms to assess arguments

25m
• Lecture 5: Concepts of Validity Soundness, Consistency

29m

## Week 2

• Lecture 6: History of Symbolic Language??

24m
• Lecture 7: Propositional Logic: Syntax

24m
• Lecture 8:Connectives, Scope of Connectives

27m
• Lecture 9: Truth-functional Connectives, Propositional Variables, Propositional Constants

27m
• Lecture 10: Symbolization with Connectives

20m

## Week 3

• Lecture 11: Propositional Logic: Semantics Basics of a Truth Table

20m
• Lecture 12: Using Truth Table: Tautology, Contradiction, Contingent Propositions

28m
• Lecture 13: Using Truth Table: Testing Arguments for Validity and Invalidity

26m
• Lecture 14: Shorter Truth Table

28m
• Lecture 15: Using Truth Table

24m

## Week 4

• Lecture 16: Introduction to Truth Trees

24m
• Lecture 17: Truth Tree Rules and their Application

27m
• Lecture 18: More on Truth-Tree Recovery of Partial Truth - Values

27m
• Lecture 19: Using the Truth Trees

26m
• Lecture 20: More on Truth Trees

23m

## Week 5

• Lecture 21: Formal Proof of Validity

26m
• Lecture 22: Valid Argument Forms:

26m
• Lecture 23: How to Apply the Rules of Inference in a Proof

28m
• Lecture 24: Understanding the Rules

29m
• Lecture 25: Proofs with All Rules

25m

## Week 6

• Lecture 26: Completeness : What it is

25m
• Lecture 27: Indirect Proof

25m
• Lecture 28: Conditional Proof

20m
• Lecture 29: More on Conditional Proof

23m
• Lecture 30: More on Derivations

23m

## Week 7

• Lecture 31: Limitation of Propositional Logic

26m
• Lecture 32: Basic 4 Types of Categorical Propositions

25m
• Lecture 33: Understanding Logical Relations in Standard Form Categorical Propositions

26m
• Lecture 34 : Translating Non-Standard Propositions into Standard Form Categorical Propositions?

26m
• Lecture 35: Validity and Invalidity of Syllogisms

26m

## Week 8

• Lecture 36 : First Order Predicate Logic

26m
• Lecture 37 : Quantifiers?

27m
• Lecture 38 : Scope of a Quantifier Edit Lesson

19m
• Lecture 39 : Multiple Quantifiers?

29m
• Lecture 40: Understanding Overlapping Quantifiers Sharing Predicates and Scope

28m

5.0 (4)

4.5 (3)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

4.5 (4)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

0.0 (0)

5.0 (17)

5.0 (10)

5.0 (16)

0.0 (0)

4.5 (2)

5.0 (3)

5.0 (1)

5.0 (3)

0.0 (0)

5.0 (1)

5.0 (2)