Dades generals

Curs acadèmic:
2019
Descripció:
1. Càlcul de lògica proposicional. 2. Sintaxi i semàntica de la lògica de primer ordre. 3. Conseqüència i equivalència lògica. 4. Càlcul deductiu en primer ordre. 5. Formalització.
Crèdits ECTS:
6

Grups

Grup A

Durada:
Semestral, 2n semestre
Professorat:
JUAN PAGES MARTINEZ
Idioma de les classes:
Català (90%), Castellà (10%)

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. Càlcul de lògica proposicional.

2. Sintaxi i semàntica de la lògica de primer ordre.

3. Conseqüència lògica i equivalència lògica

4. Càlcul deductiu en primer ordre.

5. Formalització.

Activitats

Tipus d’activitat Hores amb professor Hores sense professor Total
Classes expositives 30 25 55
Prova d'avaluació 0 34 34
Resolució d'exercicis 29 29 58
Total 59 88 147

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 %
Examen parcial Es valorarà la correcta execució dels problemes i exercicis proposats 50
Examen parcial Es valorarà la correcta execució dels problemes i exercicis proposats 50

Qualificació

Per aprovar l'assignatura cal, treure almenys un 5 de mitja dels dos parcials. Al període d'exàmens, hi haurà un examen final de recuperació.

Criteris específics de la nota «No Presentat»:
Es considerarà no presentat aquell estudiant que no es presenti a cap dels dos exàmens parcials ni a l'examen final de recuperació.

Assignatures recomanades

  • Lògica I