This page contains Syllabus of Applied Logic of CSIT.

Title Applied Logic
Short Name
Course code CSC369
Nature of course Theory + Lab
Semester sixth-semester
Full marks 60 + 20 + 20
Pass marks 24 + 8 + 8
Credit Hrs 3
Elective/Compulsary Elective

Course Description

Course Description:

This course covers different concepts of logic including arguments, proposition and

syllogism, symbolic logic, quantification, fallacies, and reasoning.

Course Objectives:

The objectives of this course are to

  •  Understand Concept of Validity and Invalidity
  •  Discuss argument and fallacy analysis techniques
  •  Demonstrate proof of validity and invalidity
  •  Understand Syllogistic rules and immediate inferences
  •  Discuss inductive and casual reasoning

Units and Unit Content

1. Argument Analysis
teaching hours: 6 hrs

1.1. Concept of Logic, Proposition and Arguments, Recognizing Arguments, Arguments vs Explanations, Validity and Truth, Deductive and Inductive Arguments

1.2. Paraphrasing Arguments, Diagramming Arguments, Complex Argumentative Passages, Problems in Reasoning

2. Categorical Propositions and Syllogisms
teaching hours: 10 hrs

2.1. Theory of Deduction, Classes of Categorical Propositions, Types Categorical Propositions, Quality, Quantity and Distribution, Square of Oppositions, Immediate Inferences, Venn Diagrams of Categorical Propositions.

2.2. Standard form of Categorical Syllogism, Mood and Figure, Testing Validity by Using Venn Diagrams, Syllogistic Rules and Fallacies

2.3. Syllogistic Arguments, Reducing Number of Terms, Translating Categorical Propositions into Standard Form, Enthymemes and Sorites

3. Symbolic Logic
teaching hours: 12 hrs

3.1. Modern Logic and Symbolic Language, Conjunction, Disjunction, negation, Material Implication, Material Equivalence

3.2. Argument Forms and Refutation by Analogy, Testing Validity of Arguments by using Truth Tables, Statement Forms, Logical Equivalences

3.3. Valid Argument Forms, Formal Proof of Validity, Replacement Rules, Proof of Invalidity, Inconsistency

4. Quantification Theory
teaching hours: 6 hrs

4.1. Need of Quantification, Singular Propositions, Types of Quantifiers, Representing Categorical Propositions in Quantification Theory

4.2. Generalization and Instantiation, Proving Validity, Proving Invalidity

5. Fallacies
teaching hours: 6 hrs

5.1. Concept and Classification of Fallacies, Fallacies of Relevance, Fallacies of Deductive Induction, Fallacies of Presumption, Fallacies of Ambiguity

6. Analogical and Casual Reasoning
teaching hours: 5 hrs

6.1. Review of Induction and Deduction, Arguments by Analogy, Analogical

Arguments, Refutation by Logical Analogy

6.2. Cause and Effect, Casual Laws, Induction by Enumeration, Casual Analysis

Methods, Limitations of Inductive Arguments

Lab and Practical works

Laboratory Works:

The laboratory work includes realizing representation techniques and makes proper

inferences. Student should be able to

  • Represent complex argumentative Passages by using Symbolic Logic
  • Generate proper reasoning and inferences to reach to the conclusion