Logic and its application in Sciences and Humanities
Teaching Staff: Gergatsoulis Emmanuel, Damigos Matthew
Course Code: GEN0110110
Field: General Core
Course Category: General Background
Course Type: Compulsory
Course Level: Undergraduate
Course Language: Greek
Delivery method: Face to face
Total Hours: 3
E Class Page: https://opencourses.ionio.gr/modules/auth/opencourses.php?fc=26
The course introduces the students to the basic notions of Logic. Beginning from the history of Logic, the course describes the basic systems of formal logic. It presents the notions of reasoning, consistency, validity and completeness. Various forms of formal logics are presented and emphasis is given in applications of logics in science, social sciences and humanities.
The course aims to familiarize students with the basic notions of logic and its applications.
Week #1: Basic notions of Logic. History of Logic.
Week #2: Formal Logic.
Week #3: Reasoning.
Week #4: Consistency, validity, completeness.
Week #5: Propositional Logic.
Week #6: Categorical Logic.
Week #7: PROgramming in LOGic (PROLOG).
Week #8: Temporal and Modal Logics.
Week #9: Description Logics.
Week #10: Description Logics and Ontologies.
Week #11: Description Logics and Ontologies.
Week #12: Applications of Logic in Computer Science.
Week #13: Applications of Logic in Social Sciences and Humanities.
Course notes and slides.
Lectures making extensive use of visual aids.
Course evaluation is done by written examination