Course Unit Code | Course Unit Title | Type of Course Unit | Year of Study | Semester | Number of ECTS Credits | HBS211B.8 | | Elective | 2 | 3 | 3 |
|
Level of Course Unit |
Short Cycle |
Objectives of the Course |
The aim of this course is to help students learn the basic concepts and rules of both traditional and modern symbolic logic, to teach how to conduct operations and analyses in first order logic, and how to translate ordinary language inferences into logical language. |
Name of Lecturer(s) |
- |
Learning Outcomes |
1 | Gains fundamental mastery of the concepts of logic. | 2 | Translates ordinary language statements into the language of symbolic logic. | 3 | Tests the consistency and validity of inferences by different methods. | 4 | Conceives the fundamentals of the structural differences between traditional logic and modern symbolic logic. | 5 | Grasps the relation between logic and the fundamentals of mathematics. |
|
Mode of Delivery |
Normal Education |
Prerequisites and co-requisities |
NONE |
Recommended Optional Programme Components |
NONE |
Course Contents |
Fundamental concepts of logic: proposition, argument, reasoning, inference, form, truth, implication, validity, deductive and inductive argument. Types of propositions, Venn diagrams. Classical (Aristotelian) Logic: immediate inference (Relation by opposition: the traditional square of opposition; Relation by equivalence: conversion; obversion; contraposition) and mediate inference (Categorical, hypothetical and disjunctive syllogisms). Validity Testing. Modern symbolic logic. The Propositional Calculus: Truth-functional connectives, truth tables. Rules and techniques of inferences. Validity proofs: Formal proof of validity (Natural Deduction) |
Weekly Detailed Course Contents |
|
1 | Introduction: Fundamental concepts of logic | NONE | NONE | 2 | Application of the concepts of logic to ordinary language statements | NONE | NONE | 3 | Types of statements | NONE | NONE | 4 | Fundamental concepts of traditional Aristotelian logic | NONE | NONE | 5 | The analysis of statements in traditional logic, conversion, obversion, contraposition | NONE | NONE | 6 | The inference forms in traditional logic; syllogism | NONE | NONE | 7 | The structural differences between traditional logic and modern symbolic logic | NONE | NONE | 8 | MIDTERM EXAM | NONE | NONE | 9 | The fundamentals of modern sentential logic | NONE | NONE | 10 | Truth-functions and truth tables | NONE | NONE | 11 | Testing consistency and validity by truth-table method | NONE | NONE | 12 | Translating ordinary language statements and inferences into the language of symbolic logic | NONE | NONE | 13 | Exercises in translating ordinary language inferences into the language of symbolic logic and testing their consistency and validity | NONE | NONE | 14 | Exercises in translating ordinary language inferences into the language of symbolic logic and testing their consistency and validity | NONE | NONE | 15 | General Revision | NONE | NONE | 16 | FINAL EXAM | NONE | NONE |
|
Recommended or Required Reading |
- |
Planned Learning Activities and Teaching Methods |
|
Assessment Methods and Criteria | |
Midterm Examination | 1 | 100 | SUM | 100 | |
Final Examination | 1 | 100 | SUM | 100 | Term (or Year) Learning Activities | 40 | End Of Term (or Year) Learning Activities | 60 | SUM | 100 |
| Language of Instruction | | Work Placement(s) | NONE |
|
Workload Calculation |
|
Midterm Examination | 1 | 1 | 1 |
Final Examination | 1 | 2 | 2 |
Attending Lectures | 17 | 1 | 17 |
Brain Storming | 14 | 2 | 28 |
Individual Study for Mid term Examination | 14 | 2 | 28 |
Individual Study for Final Examination | 14 | 1 | 14 |
|
Contribution of Learning Outcomes to Programme Outcomes |
LO1 | 1 | 1 | | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | LO2 | 1 | 1 | | 1 | 1 | 1 | 1 | 1 | 1 | 2 | 2 | 2 | LO3 | 1 | 1 | | 1 | 2 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | LO4 | 1 | 1 | | 1 | 1 | 1 | 1 | 2 | 2 | 2 | 2 | 2 | LO5 | 1 | 1 | | 1 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 |
|
* Contribution Level : 1 Very low 2 Low 3 Medium 4 High 5 Very High |
|
|