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
Semester: 8th
ECTS: 4
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.
Main bibliography
Course notes and slides.
Lectures making extensive use of visual aids.
-
Course evaluation is done by written examination
Back
Important News
Library and Information Center
72 Ioannou Theotoki str.+30 26610 87223
libraryloan@ionio.gr
library.ionio.gr
Working Hours
The secretariat is open:Monday-Friday: 9am to 3pm
Saturday & Sunday: Closed
For secretariat related issues, contact Mrs. Georgia Gatsou on weekdays between 9:00 - 11:00 in the morning at the telephone numbers 26610-87418/87406 and through email: gatsou@ionio.gr, archei@ionio.gr
