Lecture 29 of 44Introduction to Logic
Lecture-29-Hlbert Ackermann Axiomatic system
Dr. A.V. Ravishankar Sarma · IIT Kanpur
Credits and licence
- From
- Introduction to Logic, IIT Kanpur (at NPTEL)
- Licence
- CC BY-NC-SA, as NPTEL states it. Non-commercial use only.
- Attribution
- NPTEL states: "Distributed under Creative Commons Attribution-ShareAlike / CC BY - NC - SA", beside a BY-NC-SA badge.
- Who can watch
- Teens profiles and older. How courses are placed
All the lectures
- Lecture-01-Identification of Arguments
- Lecture-02-Non- arguments
- Lecture-03-Types of Arguments: Deductive vs Inductive
- Lecture-04-Nature and Scope of Deductive and Inductive Arguments
- Lecture-05-Truth, Validity and Soundness
- Lecture-06-Strength of Inductive arguments, Counter example method
- Lecture-07-Toulmin’s Model of Argumentation
- Lecture-08-Identification of Formal and Informal Fallacies
- Lecture-09-Informal Fallacies: Fallacies of relevance
- Lecture-10-Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language
- Lecture-11-Introduction and motivation for Syllogistic Logic
- Lecture-12-Aristotle theory of Syllogisms-1
- Lecture-13-Syllogistic Poem, Reduction of Syllogisms
- Lecture-14-Syllogistic Poem, Reduction of Syllogisms
- Lecture-15-Nature and Scope of Propositional Logic
- Lecture-16-Syntax of Propositional Logic
- Lecture-17-Logical Connectives: Truth Tables
- Lecture-18-Truth Table Method: Validity, Consistency, Logical Equivalence
- Lecture-19-Semantic Tableaux Method for Propositional Logic
- Lecture-20-Knights and Knaves Puzzles
- Lecture-21-Semantic Tableaux Method: Further Examples
- Lecture-22-Natural Deduction Method
- Lecture-23-Natural Deduction: Examples
- Lecture-24-Conjunctive and Disjunctive Normal Forms
- Lecture-25-CNF, DNF and satisfiability and Validity
- Lecture-26-Resolution and refutation method
- Lecture-27-Resolution and refutation method: Examples
- Lecture-28-Axiomatic Propositional Logic
- Lecture-29-Hlbert Ackermann Axiomatic system
- Lecture-30-Proofs in the PM system
- Lecture-31-Hilbert and Ackermann System
- Lecture-32-Outlines of Predicate Logic
- Lecture-33-Outlines of Predicate Logic
- Lecture-34-Building blocks of Predicate Logic
- Lecture 35: Quantifiers, freedom, bondage
- Lecture-36-Translation in to predicate Logic
- Lecture-37-Semantics of Predicate Logic
- Lecture-38-Truth, satisfiability, validity in Predicate Logic
- Lecture-39-Formation Trees for wff’s in predicate Logic
- Lecture-40-Semantic Tableaux Method for Predicate Logic
- Lecture-41-Semantic Tableaux method: Satisfiability, Validity
- Lecture-42-Natural Deduction in Predicate Logic
- Lecture-43-Important theorems in First order Logic
- Lecture-44-Limitations of first order logic and Introduction to the course