Applied Logic (CSC380) — Notes, Syllabus & Past Questions

Practical application of formal logic in programming and reasoning systems.

Elective Course6 Chapters
Chapter 1Past Questions

Argument Analysis

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

View Questions
Chapter 2Past Questions

Categorical Propositions and Syllogisms

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

View Questions
Chapter 3Past Questions

Symbolic Logic

Modern Logic and Symbolic Language, Conjunction, Disjunction, negation, Material Implication, Material Equivalence, Argument Forms and Refutation by Analogy.

View Questions
Chapter 4Past Questions

Quantification Theory

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

View Questions
Chapter 5Past Questions

Fallacies

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

View Questions
Chapter 6Past Questions

Analogical and Casual Reasoning

Review of Induction and Deduction, Arguments by Analogy, Analogical Arguments, Refutation by Logical Analogy, Cause and Effect, Casual Laws, Induction by Enumeration, Casual Analysis Methods.

View Questions