Questions
Syllabus
Qns. By Syllabus

Semester

Subject

Bachelors Level/Third Year/Sixth Semester/Science csit/sixth semester/applied logic/syllabus

B.Sc Computer Science and Information Technology

Institute of Science and Technology, TU

Nature of the course: (Theory+Lab)

F.M: 60+20+20 P.M: 24+8+8

Credit Hrs: 3Hrs

Applied Logic [CSC380]
Course Objective
i.
The objectives of this course are to.
ii.
Understand Concept of Validity and Invalidity.
iii.
Discuss argument and fallacy analysis techniques.
iv.
Demonstrate proof of validity and invalidity.
v.
Understand Syllogistic rules and immediate inferences.
vi.
Discuss inductive and casual reasoning .
Course Description

This course covers different concepts of logic including arguments, proposition and syllogism, symbolic logic, quantification, fallacies, and reasoning

S1:Argument Analysis[6]
1
Concept of Logic, Proposition and Arguments, Recognizing Arguments, Arguments vs Explanations, Validity and Truth, Deductive and Inductive Arguments
2
Paraphrasing Arguments, Diagramming Arguments, Complex Argumentative Passages, Problems in Reasoning
S2:Categorical Propositions and Syllogisms[10]
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
Standard form of Categorical Syllogism, Mood and Figure, Testing Validity by Using Venn Diagrams, Syllogistic Rules and Fallacies
3
Syllogistic Arguments, Reducing Number of Terms, Translating Categorical Propositions into Standard Form, Enthymemes and Sorites
S3:Symbolic Logic[12]
1
Modern Logic and Symbolic Language, Conjunction, Disjunction, negation, Material Implication, Material Equivalence
2
Argument Forms and Refutation by Analogy, Testing Validity of Arguments by using Truth Tables, Statement Forms, Logical Equivalences
3
Valid Argument Forms, Formal Proof of Validity, Replacement Rules, Proof of Invalidity, Inconsistency
S4:Quantification Theory[6]
1
Need of Quantification, Singular Propositions, Types of Quantifiers, Representing Categorical Propositions in Quantification Theory
2
Generalization and Instantiation, Proving Validity, Proving Invalidity
S5:Fallacies[6]
1
Concept and Classification of Fallacies, Fallacies of Relevance, Fallacies of Deductive Induction, Fallacies of Presumption, Fallacies of Ambiguity
S6:Analogical and Casual Reasoning[5]
1
Review of Induction and Deduction, Arguments by Analogy, Analogical Arguments, Refutation by Logical Analogy
2
Cause and Effect, Casual Laws, Induction by Enumeration, Casual Analysis Methods, Limitations of Inductive Arguments
References
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
Labrotary Work
The laboratory work includes realizing representation techniques and makes proper inferences. Student should be able to
1.
Represent complex argumentative Passages by using Symbolic Logic
2.
Generate proper reasoning and inferences to reach to the conclusion