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

1. Introduction

1.1 What is logic

1.2 Validity and truth

1.3 Formalization

1.4 Syntax and semantics

2. Propositional calculus

2.1 Truth tables

1.3 Connectives

1.4 Rules

1.5 Metatheorems

3. Predicates calculus

3.1 Quantifiers

3.2 Rules

3.3 Theorems

3.4 Metatheorems

4. axiomatic method

4.1 Alphabet and recursiveness

4.2 Axioms

4.3 Rules of inference

4.4 Demonstrations.

5. Gödel's theorems

5.1 Gödelization

5.2 I theorem

5.3 II theorem

5.4. Computability and philosophy of mind

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

Supporting materials will be uploaded in the blended. 

Teaching

Lectures, flipped learning

Innovative teaching methods

Flipped learning

Attendance

For students who want to take the exam as attending is advisable to attend at least two thirds of the lessons.

Course books

G. Priest, A very short introduction to logic, OUP.

Assessment

The assessment is oral. 

At least two questions will be asked of the candidates.

The criteria on the basis of which the answers will be evaluated are:

1. Clear and informed exposition.

2. Mastery of the topics covered in class.

3. Ability to critically expound content.

4. Ability to personally elaborate the topics.

To achieve sufficiency, the first criterion must be fully met.

To achieve praise, the fourth criterion must be fully met.

Disability and Specific Learning Disorders (SLD)

Students who have registered their disability certification or SLD certification with the Inclusion and Right to Study Office can request to use conceptual maps (for keywords) during exams.

To this end, it is necessary to send the maps, two weeks before the exam date, to the course instructor, who will verify their compliance with the university guidelines and may request modifications.

Teaching

Zoom interviews, blended material, receiving e-mail.

Attendance

none

Course books

G. Priest, A very short introduction to logic, OUP.

Assessment

The assessment is oral. 

At least two questions will be asked of the candidates.

The criteria on the basis of which the answers will be evaluated are:

1. Clear and informed exposition.

2. Mastery of the topics covered in the two books.

3. Ability to critically expound content.

4. Ability to personally elaborate on the topics.

To achieve sufficiency, the first criterion must be fully met.

To achieve praise, the fourth criterion must be fully met.

An optional intermediate written test in the first part of the program will be administered halfway through the course. 

Disability and Specific Learning Disorders (SLD)

Students who have registered their disability certification or SLD certification with the Inclusion and Right to Study Office can request to use conceptual maps (for keywords) during exams.

To this end, it is necessary to send the maps, two weeks before the exam date, to the course instructor, who will verify their compliance with the university guidelines and may request modifications.