Anar al contingut (clic a Intro)
UdG Home UdG Home
Tancar
Menú
Identificació

Estudia a la UdG

Dades generals

Curs acadèmic:
2020
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à (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. 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.

Activitats

Tipus d’activitat Hores amb professor Hores sense professor Hores virtuals amb professor Total
Anàlisi / estudi de casos 0 17,00 0 17,00
Prova d'avaluació 0 34,00 0 34,00
Sessió expositiva 20,00 40,00 10,00 70,00
Sessió participativa 0 15,00 15,00 30,00
Total 20,00 106,00 25,00 151

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 5 No
Examen parcial 1 Es valorarà la correcta resolució dels problemes i exercicis proposats 20 No
Examen parcial 2 Es valorarà la correcta resolució dels problemes i exercicis proposats 25 No
Examen final Es valorarà la correcta resolució dels problemes i exercicis proposats 50 No

Qualificació

La nota del primer parcial suposa el 20% de la nota final, la del segon, un 25%, i la del final un 50%. La participació a classe, un 5%.

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. 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 de l'examen final

Requisits mínims per aprovar:
Per considerar superada l’assignatura, caldrà obtenir una qualificació mínima de 5.0

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

  • Lògica I

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.