You are here:

28101 - Logic (1) (2nd cycle)

Academic Year 2019/2020

                
                        Docente:
                        Guido Gherardi
                    
                        Credits:
                        6
                    
                        SSD:
                        M-FIL/02
                    
                        Language:
                        Italian
                    
                        Teaching Mode:
                        Traditional lectures
                        
                            Campus:
                            Bologna
                        
                            Corso:
                            Second cycle degree programme (LM) in
                            Italian Studies, European Literary Cultures, Linguistics (cod. 9220)

                                Also valid for
                                
                                    First cycle degree programme (L) in
                                    
                                        Philosophy (cod. 9216)
                                    
                            Teaching resources on Virtuale

Course contents

Aim of the course is to provide the fundamental tools for the basic knowledge of formal logic conceived as science of reasoning.

The use of formal methods allows us indeed to obtain a more accurate precision in the study and in the analysis of argumentations.

Topics dealt with in the course:

- Philosophical motivations

- Syntax and semantics of propositional logic

- Syntax and semantics of first order logic

- Natural language and artificial language: formalization

- Axiomatic systems and Hilbert calculus

- Sequent calculus

- Natural Deduction

- Foundations of Set Theory

The treatment of the topics will be homogeneously distributed during the course.

Readings/Bibliography

- Dario Palladino, Corso di Logica, Carocci, 2010

- Handouts provided by the teacher

Teaching methods

Lessons in classrooms with blackboard.

Assessment methods

Written exam based on the solution of exercises analogous to the exercise samples solved during the course.

Here following the list of possible marks and their interpretation:

Assessment criteria and thresholds of evaluation:

30 cum laude: Excellent as to knowledge, terminology and critical expression.

30: Excellent, knowledge is complete, well articulated and correctly expressed, although with some slight faults.

27-29: Good, knowledge comprehensive and satisfactory, essentially correct expression .

24-26: Fairly good, knowledge present in significant points, but not complete and not always expressed with correctness.

21-23: Sufficient, knowledge is sometimes superficial, but the guiding general thread is included. Expression and articulation incomplete and often not appropriate

18-21:.Almost sufficient, but knowledge present only on the surface. The guiding principle is not included with continuity. The expression and articulation of the speech show important gaps.

<18: Not sufficient, knowledge absent or very incomplete, lack of guidance in discipline, expression seriously deficient. Exam failed.

Teaching tools

- Blackboard

- Handouts provided by the teacher

Office hours

See the website of Guido Gherardi