Introduction to Logic (Video) - Study24x7

New to Study24X7 ?

3 followers

Introduction to Logic (Video)

Validity Unlimited All Level English

0.0 (0)
Free

This course introduces the basic concepts of logic and explores various principles, techniques concerning valid reasoning. Since Reasoning is involved in most intellectual activities, logic is relevant to broad range of pursuits.The study of logic is essential for students of computer science, philosophy (used as a tool for their arguments) and students of Mathematics who attempts to understand the foundations of mathematics in a better way.

• Total 1 Module
• 43 Videos
• Published on 26 June, 2019

Introduction to Logic (Video)

• Mod-01 Lec-01 Identification of Arguments

54m
• Mod-01 Lec-02 Non- arguments

49m
• Mod-01 Lec-03 Types of Arguments: Deductive vs Inductive

49m
• Mod-01 Lec-04 Nature and Scope of Deductive and Inductive Arguments

44m
• Mod-01 Lec-05 Truth, Validity and Soundness

55m
• Lecture-06-Strength of Inductive arguments, Counter example method

52m
• Lecture-07-Toulmin's Model of Argumentation

49m
• Lecture-08-Identification of Formal and Informal Fallacies

56m
• Lecture-09-Informal Fallacies: Fallacies of relevance

55m
• Lecture-10-Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language

56m
• Lecture-11-Introduction and motivation for Syllogistic Logic

57m
• Lecture-12-Aristotle theory of Syllogisms-1

48m
• Lecture-13-Syllogistic Poem, Reduction of Syllogisms

57m
• Lecture-14-Syllogistic Poem, Reduction of Syllogisms

58m
• Lecture-15-Nature and Scope of Propositional Logic

55m
• Lecture-16-Syntax of Propositional Logic

57m
• Lecture-17-Logical Connectives: Truth Tables

59m
• Lecture-18-Truth Table Method: Validity, Consistency, Logical Equivalence

1h 60 min
• Lecture-19-Semantic Tableaux Method for Propositional Logic

58m
• Lecture-20-Knights and Knaves Puzzles

58m
• Lecture-21-Semantic Tableaux Method: Further Examples

58m
• Mod-01 Lec-22 Natural Deduction Method

57m
• Mod-01 Lec-23 Natural Deduction: Examples

41m
• Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms

57m
• Mod-01 Lec-25 CNF, DNF and satisfiability and Validity

59m
• Mod-01 Lec-26 Resolution and refutation method

57m
• Lecture-27-Resolution and refutation method: Examples

58m
• Lecture-28-Axiomatic Propositional Logic

56m
• Lecture-29-Hlbert Ackermann Axiomatic system

57m
• Lecture-30-Proofs in the PM system

56m
• Mod-01 Lec-31 Hilbert and Ackermann System

58m
• Mod-01 Lec-32 Outlines of Predicate Logic

58m
• Lecture-33-Outlines of Predicate Logic

50m
• Mod-01 Lec-34 Building blocks of Predicate Logic

54m
• Lecture 35: Quantifiers, freedom, bondage

57m
• Lecture-36-Translation in to predicate Logic

59m
• Lecture-37-Semantics of Predicate Logic

54m
• Lecture-38-Truth, satisfiability, validity in Predicate Logic

37m
• Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

45m
• Mod-01 Lec-41 Semantic Tableaux method: Satisfiability, Validity

57m
• Mod-01 Lec-42 Natural Deduction in Predicate Logic

53m
• Mod-01 Lec-43 Important theorems in First-order Logic

45m
• Mod-01 Lec-44 Limitations of first order logic and Introduction to the course

58m

4.5 (3)

0.0 (0)

5.0 (1)

0.0 (0)

4.5 (12)

3.0 (1)

5.0 (1)

5.0 (1)

0.0 (0)

5.0 (1)

0.0 (0)

0.0 (0)

5.0 (2)

5.0 (1)

5.0 (2)

5.0 (2)

5.0 (5)

5.0 (10)

0.0 (0)

5.0 (4)

0.0 (0)

0.0 (0)

5.0 (2)

5.0 (1)

0.0 (0)