The course aims to provide the first rudiments of logic and argumentation theory. It is expected that, in the end, the student will be able to formalize the simplest forms of declarative language and are able to evaluate simple scientific inferences.

1. Logical Fallacies;

2. What logic is and what it studies;

3. Propositional Logic;

4. Truth Tables and Semantic Tableaux;

5. Proof and Derivations;

6. Predicate Logic;

7. Hints of Metalogic;

8. Hints of Computability Theory;

9. Hints of Gödel's Theorems and their Implications;

10. Hints on Non-Classical Logics;

11. Hints on Decision Theory and Game Theory.

none

Knowledge and understanding. Students are expected to know the fundamentals of logic and understand an elementary text of logic.

Applied knowledge and understanding. Students are expected to be able to recognize a fallacy and to formalize simple reasoning.

Autonomy of judgment. Students are expected to be able to distinguish vague and argumentatively incorrect speech from properly constructed speech.

Communication skills. Students are expected to be able to formulate correct arguments on the issues they deal with.

Ability to learn. Students are expected to be able to master more advanced logic manuals on their own.

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

Integrative seminars will be proposed

Teaching

Lectures, student seminars, seminar of PhD students.

Innovative teaching methods

Flipped learning

Attendance

To take the exam as attending students it is advisable to attend at least two thirds of the lessons

Course books

Copi Cohen, Introduction to logic, Routledge, 2011.

Additional texts will be given to students during the lectures (the additional texts will also be available on the Moodle platform › blended.uniurb.it).

Assessment

Written and oral examination. You will be asked to analyze concepts, solve exercises and demonstrate theorems.
This dual-mode makes it possible to assess, in the best way, the achievement of the established formative objectives and competencies.
The final evaluation will take into account the knowledge acquired by the student in terms of analysis of concepts, definitions, theorems, problems, theories, techniques, methods, scientific instruments, etc. The student's ability to use conceptual tools to solve problems and prove/analyze theorems and active participation in the classroom will also contribute to the final evaluation. Finally, the student's capacity for rigorous analysis of themes and problems, autonomy in solving problems and proving theorems, personal and autonomous reworking of knowledge, and planning will be particularly well-appreciated.

All these elements will have equal weight in the assessment. They will be well distinguished on a scale of four levels (not sufficient, sufficient, good, excellent).
The final mark will be expressed on a range from 18/30 to 30/30. A sufficiently rigorous and clear exposition -using adequately specific terms- of the basic contents, concepts, methods, and the ability to solve simple exercises and prove simple theorems will be enough to obtain a sufficient evaluation and to pass the examination (18/30). The other marks will be calibrated on this basis.

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

Materials in the blended learning course, skype talks, reception.

Attendance

none

Course books

Copi Cohen, Introduction to logic, Routledge, 2011.

Additional texts will be given to students during the lectures (the additional texts will also be available on the Moodle platform › blended.uniurb.it).

Assessment

Written and oral examination. You will be asked to analyze concepts, solve exercises and demonstrate theorems.
This dual-mode makes it possible to assess, in the best way, the achievement of the established formative objectives and competencies.
The final evaluation will take into account the knowledge acquired by the student in terms of analysis of concepts, definitions, theorems, problems, theories, techniques, methods, scientific instruments, etc. The student's ability to use conceptual tools to solve problems and prove/analyze theorems will also contribute to the final evaluation. Finally, the student's capacity for rigorous analysis of themes and problems, autonomy in solving problems and proving theorems, personal and autonomous reworking of knowledge, and planning will be particularly well-appreciated.

All these elements will have equal weight in the assessment. They will be well distinguished on a scale of four levels (not sufficient, sufficient, good, excellent).
The final mark will be expressed on a range from 18/30 to 30/30. A sufficiently rigorous and clear exposition -using adequately specific terms- of the basic contents, concepts, methods, and the ability to solve simple exercises and prove simple theorems will be enough to obtain a sufficient evaluation and to pass the examination (18/30). The other marks will be calibrated on this basis.

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.