Applied Logic - Syllabus

Embark on a profound academic exploration as you delve into the Applied Logic course () within the distinguished Tribhuvan university's CSIT department. Aligned with the 2074 Syllabus, this course (CSC369) seamlessly merges theoretical frameworks with practical sessions, ensuring a comprehensive understanding of the subject. Rigorous assessment based on a 60 + 20 + 20 marks system, coupled with a challenging passing threshold of , propels students to strive for excellence, fostering a deeper grasp of the course content.

This 3 credit-hour journey unfolds as a holistic learning experience, bridging theory and application. Beyond theoretical comprehension, students actively engage in practical sessions, acquiring valuable skills for real-world scenarios. Immerse yourself in this well-structured course, where each element, from the course description to interactive sessions, is meticulously crafted to shape a well-rounded and insightful academic experience.

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


Argument Analysis

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

Categorical Propositions and Syllogisms

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

Symbolic Logic

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

Quantification Theory

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.1. Concept and Classification of Fallacies, Fallacies of Relevance, Fallacies of Deductive Induction, Fallacies of Presumption, Fallacies of Ambiguity

Analogical and Casual Reasoning

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