Introduction to Logic

Basic Information

Course modules 2024/2025
Lecturer
José Martínez Fernández
Semester
1st.
Module
Background courses
Code
360906
Credits
6
Language
Español

Dates

Schedule
Theory: Tuesdays, Wednesdays, Thursdays: 10:00 -- 11:00. Practical exercises: Wednesdays: 13:00-14:00
Location
Classroom 403, Faculty of Philosophy

Description

Course structure

1. The notion of a correct argument

2. Propositional logic

3. Basic notions of set theory

4. First-order predicate logic

Learning outcomes

Skills:

- Learning capacity and responsibility (capacity for analysis, synthesis, global visions and application of knowledge in practice / capacity to make decisions and adapt to new situations).

- Reasoning ability.

- Clear understanding of the problems, theories and main arguments specific to the fields of logic, metaphysics, epistemology, philosophy of language and philosophy of mind (disciplines understood in a broad sense).

 

Objectives:

Regarding knowledge

— To understand the need to use formal languages ​​to realize the correctness of arguments expressed in a natural language.

— To know both the system of classical propositional logic and that of first-order logic, insisting in both cases on the notions of logical consequence, logical validity and universal validity.

Referred to abilities, skills.

— To analyze the logical structure (both propositional and quantificational) of relatively complex statements.

— To decide on the formal correction of propositional or quantificational arguments.

Regarding attitudes, values ​​and norms.

— To develop the ability to work consistently and regularly.

Methodology

In the face-to-face theoretical classes, the topics are explained in detail, insisting on the motivation of the concepts that are introduced, numerous examples are presented and exercises that the student must solve individually to consolidate the knowledge acquired.

 

In the practical classes, the exercises presented in the theory classes are solved and discussed in detail.

Evaluation

Continuous evaluation:

There are two partial exams throughout the course. The first is worth 40% of the final grade and the second, 60%.

Students who have not taken the two partial exams will be graded as having not taken the continuous assessment.

 

Unique assessment

The single assessment consists of an examination of the entire course. Students listed as not appearing in the continuous assessment can take the single assessment. The request to take this type of assessment will be delivered by the teacher with the single assessment exam.

Reassessment

Only students who have taken the continuous or single assessment and obtained a grade equal to or higher than 3 (but not sufficient to pass) can take the reassessment exam.