Degree | Type | Year | Semester |
---|---|---|---|
2500246 Philosophy | OB | 2 | 1 |
None.
How can an artificial intelligence represent knowledge? Logic is an interdisciplinary study that plays a very important role in answering current questions of this nature. The aim of this subject is, first of all, to make an introduction to the fundamental logical notions: logical consequence, satisfaction, consistency and logical equivalence. Secondly, the aim is to provide students with the basic techniques for the logical analysis of deductive reasoning, with special attention to philosophical reasoning. The subject, however, can be taken by people from other specialties. The nature of the subject is fundamentally practical, but it will also reflect on the main problems of Philosophy of Logic, introducing a historical perspective that takes us from Aristotle to today's artificial intelligence. Throughout the course we will use different tools, such as deductive games and immersive role-playing games, which aim to enhance creativity in philosophical argumentation.
Annotation: Within the schedule set by the centre or degree programme, 15 minutes of one class will be reserved for students to evaluate their lecturers and their courses or modules through questionnaires.
Title | Hours | ECTS | Learning Outcomes |
---|---|---|---|
Type: Directed | |||
Deductive games workshop | 20 | 0.8 | 2, 3, 4, 6, 1, 7, 9 |
Solve problems in classroom | 29 | 1.16 | 8, 6 |
Type: Supervised | |||
Deductive games workshop work | 26 | 1.04 | 2, 3, 4, 6, 1, 7, 9 |
Type: Autonomous | |||
Solve problems | 30 | 1.2 | 8, 9 |
Study of concepts | 25 | 1 | 8, 6, 9 |
There are three evaluation activities: two synthesis tests, and a series of exercises within a writing workshop. The first test will evaluate the content on propositional logic, and will be worth 45% of the grade; the second test will evaluate the contents of first-order logic, and will be worth 45% of the grade. The exercises done in the writing workshop will be worth 10% of the grade.
The two logic tests will be carried out, one in November, and the other in December. The third activity will be done throughout the course. At the time of carrying out each evaluation activity, the teacher will inform the students (via Moodle) of the procedure and date of review of the qualifications.
In order to participate in the final exam, students must first be evaluated in the two synthesis tests, and have obtained a minimum of 3 points (adding the results of the two tests). "Non-evaluable" will be considered only those who have not performed any of the three evaluation activities.
In the event of a student committing any irregularity that may lead to a significant variation in the grade awarded to an assessment activity, the student will be given a zero for this activity, regardless of any disciplinary process that may take place. In the event of several irregularities in assessment activities of the same subject, the student will be given a zero as the final grade for this subject.
In the event that tests or exams cannot be taken onsite, they will be adapted to an online format made available through the UAB’s virtual tools (original weighting will be maintained). Homework, activities and class participation will be carried out through forums, wikis and/or discussion on Teams, etc. Lecturers will ensure that students are able to access these virtual tools, or will offer them feasible alternatives.
Title | Weighting | Hours | ECTS | Learning Outcomes |
---|---|---|---|---|
Classroom practices | 20% | 15 | 0.6 | 3, 5, 4, 8, 1, 9 |
Deductive games workshop work | 30% | 3 | 0.12 | 2, 4, 6, 1, 7, 9 |
Synthesis Test | 50% | 2 | 0.08 | 3, 5, 8, 6, 9 |
Mandatory: P. D. Magnus, Forallx, University at Albany, State University of New York, 2021. https://forallx.openlogicproject.org
Optional:
No specific software is needed