Applied Logic
0%
Course Title: Applied Logic
Course No: CSC380
Nature of the Course: Theory + Lab
Semester: 6
Full Marks: 60 + 20 + 20
Pass Marks: 24 + 8 + 8
Credit Hours: 3
Course Description
Course Objectives
Course Contents
1. Argument Analysis
6 hrs
1.1. Logic Fundamentals and Arguments
- Concept of Logic
- Proposition and Arguments
- Recognizing Arguments
- Arguments vs Explanations
- Validity and Truth
- Deductive and Inductive Arguments
1.2. Argument Representation and Analysis
- Paraphrasing Arguments
- Diagramming Arguments
- Complex Argumentative Passages
- Problems in Reasoning
2.1. Categorical Propositions
- 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. Categorical Syllogisms
- Standard form of Categorical Syllogism
- Mood and Figure
- Testing Validity by Using Venn Diagrams
- Syllogistic Rules and Fallacies
2.3. Syllogistic Arguments and Translation
- Syllogistic Arguments
- Reducing Number of Terms
- Translating Categorical Propositions into Standard Form
- Enthymemes and Sorites
3. Symbolic Logic
12 hrs
3.1. Symbolic Language and Operators
- Modern Logic and Symbolic Language
- Conjunction
- Disjunction
- Negation
- Material Implication
- Material Equivalence
3.2. Argument Forms and Validity Testing
- Argument Forms and Refutation by Analogy
- Testing Validity of Arguments by using Truth Tables
- Statement Forms
- Logical Equivalences
3.3. Formal Proofs
- Valid Argument Forms
- Formal Proof of Validity
- Replacement Rules
- Proof of Invalidity
- Inconsistency
4.1. Quantifiers and Propositions
- Need of Quantification
- Singular Propositions
- Types of Quantifiers
- Representing Categorical Propositions in Quantification Theory
4.2. Quantification Proofs
- Generalization and Instantiation
- Proving Validity
- Proving Invalidity
5. Fallacies
6 hrs
5.1. Classification and Types of Fallacies
- Concept and Classification of Fallacies
- Fallacies of Relevance
- Fallacies of Deductive Induction
- Fallacies of Presumption
- Fallacies of Ambiguity
6.1. Analogical Arguments
- Review of Induction and Deduction
- Arguments by Analogy
- Analogical Arguments
- Refutation by Logical Analogy
6.2. Casual Reasoning and Analysis
- Cause and Effect
- Casual Laws
- Induction by Enumeration
- Casual Analysis Methods
- Limitations of Inductive Arguments
Laboratory Works
- 1.Represent complex argumentative passages using Symbolic Logic
- 2.Generate proper reasoning and inferences to reach conclusions
- 3.Practice argument analysis and diagramming
- 4.Test validity of arguments using Truth Tables and Venn Diagrams
- 5.Construct formal proofs of validity
- 6.Identify and analyze fallacies in arguments
Reference Books
- 1.Irving M. Copy, Carl Cohen, Priyadarshi Jetli, Monica Prabhakar, Introduction to Logic, Pearson Publication, 14th Edition, 2013
- 2.Patrick J. Hurley, A Concise introduction to Logic, Wadsworth Publication, 12th Edition, 2014
- 3.Peter Kreeft, Trent Doughherty, Socratic Logic: A Logic Text Using Socratic Method, Platonic Question, and Aristotelian Principles, St. Augustines Press, 3rd Edition 2010