Dades generals
-
Curs acadèmic:
- 2023
-
Descripció:
- 1. Nocions bàsiques de la teoria de conjunts: pertinença, inclusió, operacions bàsiques amb conjunts, propietats de relacions, relacions d'ordre i relacions d'equivalència. 2. Sintaxi i semàntica de la lògica proposicional. 3. Sintaxi i semàntica de la lògica de primer ordre. 4. Càlcul deductiu en primer ordre. 5. Conceptes metalògics: conseqüència lògica, equivalència lògica, correcció i completud d'un càlcul deductiu.
-
Crèdits ECTS:
- 6
Grups
Grup A
-
Durada:
- Semestral, 2n semestre
-
Professorat:
-
Idioma de les classes:
- Català (100%)
Competències
- CG2- Comunicar-se oralment i per escrit de manera clara, coherent i correcta
- CE11- Dominar les teories i els arguments centrals de l'antropologia filosòfica, la metafísica, l'Epistemologia, la Lògica, la Filosofia del Llenguatge, la Filosofia Moral, Política i de l'Art
- CE16- Identificar fal·làcies lògiques, tant formals com informals, i detectar errors metodològics, recursos retòrics i pressupostos implícits en les discussions i argumentacions filosòfiques
Continguts
1. Sintaxi i semàntica de la lògica proposicional
2. Conseqüència i equivalència lògiques
3. Càlcul deductiu
4. Sintaxi i semàntica de lògica de primer ordre
5. Conseqüència i equivalència lògiques
Activitats
| Tipus d’activitat |
Hores amb professor |
Hores sense professor |
Hores virtuals amb professor |
Total |
| Prova d'avaluació |
0
|
50,00 |
0
|
50,00 |
| Sessió expositiva |
20,00 |
40,00 |
10,00 |
70,00 |
| Sessió participativa |
0
|
15,00 |
15,00 |
30,00 |
| Total |
20,00 |
105,00 |
25,00 |
150 |
Bibliografia
- Badesa Cortés, Calixto (1998 ). Elementos de lógica formal . Barcelona: Ariel. Catàleg
- Díez Calzada, José A (2002 ). Iniciación a la lógica . Barcelona: Ariel. Catàleg
- Pagès, Joan (2002 ). Pràctiques de lògica : exercicis de lògica d'enunciats i lògica de primer ordre . Girona: Universitat de Girona. Catàleg
- Pérez Sedeño, Eulalia (1991 ). Ejercicios de lógica . Madrid: Siglo XXI. Catàleg
- Quine, W. V.|q(Willard Van Orman) (1981 ). Los Métodos de la lógica . Barcelona [etc.]: Ariel. Catàleg
- Haack, Susan (1991 ). Filosofía de las lógicas (2ª ed.). Madrid: Cátedra. Catàleg
- Enderton, Herbert B (1972 ). A Mathematical introduction to logic . Boston [etc.]: Academic Press. Catàleg
- Quine, W. V.|q(Willard Van Orman) (1982 ). Methods of logic (4th ed.). Cambridge: Harvard University Press. Catàleg
Avaluació i qualificació
Activitats d'avaluació:
| Descripció de l'activitat |
Avaluació de l'activitat |
% |
Recuperable |
| Classes participatives |
Es valorarà la participació i la correcta resolució dels problemes i exercicis proposats |
10 |
No |
| Examen parcial 1 |
Es valorarà la correcta resolució dels problemes i exercicis proposats |
45 |
Sí |
| Examen parcial 2 |
Es valorarà la correcta resolució dels problemes i exercicis proposats |
45 |
Sí |
Qualificació
Es valorarà la capacitat d'emprar correctament els conceptes, tècniques i habilitats de raonament formal treballades al llarg del curs.
Criteris específics de la nota «No Presentat»:
Es considerarà no presentat tot estudiant que no es presenti a cap dels dos exàmens parcials ni a l'examen de recuperació. En cas que l'estudiant hagi optat per avaluació única, tindrà un no presentat en cas que no es presenti a l'examen final.
Avaluació única:
Els estudiants que optin per avaluació única seran avaluats només a partir d'un examen final
Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir un mínim d'un 4 en cadascun dels dos parcials i una nota mitjana de 5.
Tutoria
Les tutories seran setmanals, presencials o online
Comunicacio i interacció amb l'estudiantat
Quan les tutories siguin online, el canal serà el correu electrònic i la vídeoconferència
Assignatures recomanades
Modificació del disseny
Modificació de les activitats:
En cas que s'acabés passant a la modalitat 100% online, les classes expositives inicialment previstes per ser realitzades de manera presencial es realitzaran online.
Modificació de l'avaluació:
L'avaluació no es veurà modificada encara que el format del curs passi a ser 100% online. Els exàmens passaran de ser realitzats presencials a ser-ho online.
Tutoria i comunicació:
En cas que es passi a modalitat 100% online, les tutories seran totes online, per correu electrònic i vídeoconferència.