The course will provide  an introduction to the use of formal languages as a tool to solve some problems of rational interaction.The distinctive features of the course will be the great attention to the critical analysis of the concepts and methodologies involved in rational interactions. The introductory approach to the logical and mathematical concepts used during lessons will make the course self-contained.

The course will focus on the following topics:

- Inferences and reasoning;

- Formal Reasoning and ordinary reasoning;

- Induction, probability and fuzzy logic;

- Rational Decisions in the presence of strategic interaction;

- Bounded Rationality;

There are no strict pre-requisites for this course.

Knowledge and understanding: After the course students should be able to understand and explain texts by history of logic, discuss some of the classical problems in mechanization of reasoning and philosophy of computing, use the bibliographical tools and repertories available in this field. 

Applying knowledge and understanding: After the course students should be able to discuss and evaluate various claims and arguments both in the specialistic debate and in the general contemporary cultural debate. 

Making judgements: After the course students should be able to make autonomous and original judgements about the arguments in the debate. To this end discussions in the classroom will be encouraged. Originality and autonomous judgement will be part of the final evalution of the student's performance.

Communication skills: After the course students should be able to explain and discuss the relevant topics with conceptual and linguistic exactness, and to offer efficacious  and synthetic accounts of the subject matter. To this end, verbal interaction in the classroom and a careful reading and analysis of the relevant texts will be encouraged 

Learning skills: After the course students should be acquainted with the subject matter and the method of research enough to be able to proceed on their own  in gathering further knowledge from the literature in the field and in contiguous fields. To this end they should also improve their ability to read English texts in the field.

The teaching material prepared by the lecturer in addition to recommended textbooks (such as for instance slides, lecture notes, exercises, bibliography) and communications from the lecturer specific to the course can be found inside the Moodle platform › blended.uniurb.it

Lectures: Lectiones Commandinianae;
The teaching material and specific communications from the lecturer can be found, together with other supporting activities, inside the Moodle platform › blended.uniurb.it

Teaching

Classroom lectures offering general frameworks, analyses of particular topics and exercises, comments to the relevant literature. Before, during and after the lecture questions, comments and discussions by the students are encouraged. Of course personal study at home will be equally important.

Attendance

Students should attend classes regularly and actively, since the very beginning. Because of the analytic and often abstract character of the subject matter, active participation in classroom discussion will be very useful. In order to do that, and in general to follow the lectures successfully, it is strongly advised to do every day the homework suggested as preparation for the following lecture.

Course books

- Graham Priest “Logic: A Very Short Introduction”, OUP Oxford, 2000.

- Marcello Frixione “Come ragioniamo”, Editori Laterza, 2007.

- Umberto Eco "The Search for the Perfect Language ", Wiley-Blackwell, 1997.

Assessment

Oral and written examinations.

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.

Teaching

They will study on their own (individually or with others) according to the directions of this vademecum and if possible with the help which can be given by the teacher during office hours or through e-mail, Skype, etc. 

Attendance

In order to make up for the impossibility of attending classes, a hard and careful study is required. One should already possess good skills of autonomous learning and some capacity to read and understand logic and philosophical texts, at least at a basic level. Whenever possible, it is advisable to work with other students. 

Course books

- Graham Priest “Logic: A Very Short Introduction”, OUP Oxford, 2000.

- Marcello Frixione “Come ragioniamo”, Editori Laterza, 2007.

- Umberto Eco "The Search for the Perfect Language ", Wiley-Blackwell, 1997.

Assessment

Oral and written examinations.

Disabilità e DSA

Le studentesse e gli studenti che hanno registrato la certificazione di disabilità o la certificazione di DSA presso l'Ufficio Inclusione e diritto allo studio, possono chiedere di utilizzare le mappe concettuali (per parole chiave) durante la prova di esame.

A tal fine, è necessario inviare le mappe, due settimane prima dell’appello di esame, alla o al docente del corso, che ne verificherà la coerenza con le indicazioni delle linee guida di ateneo e potrà chiederne la modifica.