Introduction to Logic (Video) - Study24x7
Social learning Network
study24x7

Default error msg

Login

New to Study24x7 ? Join Now
Already have an account? Login
googlePlay app_img
Introduction to Logic (Video)
broucher Course Brochure
Introduction to Logic (Video)
by A V Ravishankar Sarma

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 stu...

0.0  (0 Ratings) 0 Learner
validy img Validity Unlimited
level All Level
level English
cover Img Preview not available
Program Fee
FREE
About This Course

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 stu...

Show more
Course Curriculum
1 Sections | 43 Lecture | 39h 10min total length
Expand all sections
Introduction to Logic (Video)

Introduction to Logic (Video)

| 39h 10min total length
  • <?php echo $alt; ?>

    Mod-01 Lec-01 Identification of Arguments

    54m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-02 Non- arguments

    49m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    49m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    44m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-05 Truth, Validity and Soundness

    55m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-06-Strength of Inductive arguments, Counter example method

    52m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-07-Toulmin's Model of Argumentation

    49m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-08-Identification of Formal and Informal Fallacies

    56m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-09-Informal Fallacies: Fallacies of relevance

    55m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    56m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-11-Introduction and motivation for Syllogistic Logic

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-12-Aristotle theory of Syllogisms-1

    48m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-13-Syllogistic Poem, Reduction of Syllogisms

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-14-Syllogistic Poem, Reduction of Syllogisms

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-15-Nature and Scope of Propositional Logic

    55m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-16-Syntax of Propositional Logic

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-17-Logical Connectives: Truth Tables

    59m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    1h 60 min <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-19-Semantic Tableaux Method for Propositional Logic

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-20-Knights and Knaves Puzzles

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-21-Semantic Tableaux Method: Further Examples

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-22 Natural Deduction Method

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-23 Natural Deduction: Examples

    41m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-24 Conjunctive and Disjunctive Normal Forms

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-25 CNF, DNF and satisfiability and Validity

    59m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-26 Resolution and refutation method

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-27-Resolution and refutation method: Examples

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-28-Axiomatic Propositional Logic

    56m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-29-Hlbert Ackermann Axiomatic system

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-30-Proofs in the PM system

    56m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-31 Hilbert and Ackermann System

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-32 Outlines of Predicate Logic

    58m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-33-Outlines of Predicate Logic

    50m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-34 Building blocks of Predicate Logic

    54m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture 35: Quantifiers, freedom, bondage

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-36-Translation in to predicate Logic

    59m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-37-Semantics of Predicate Logic

    54m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Lecture-38-Truth, satisfiability, validity in Predicate Logic

    37m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-40 Semantic Tableaux Method for Predicate Logic

    45m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    57m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-42 Natural Deduction in Predicate Logic

    53m <?php echo $alt; ?>
  • <?php echo $alt; ?>

    Mod-01 Lec-43 Important theorems in First-order Logic

    45m <?php echo $alt; ?>
  • <?php echo $alt; ?>

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

    58m <?php echo $alt; ?>
More Courses by A V Ravishankar Sarma

Basic Concepts of Modal Logic (Video)

by A V Ravishankar Sarma
0.0 (0)

1 Enrollments

Validity Unlimited

Free