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