Anar al contingut (clic a Intro)
UdG Home UdG Home
UdG 30 anys
Tancar
Menú

Estudia a la UdG

Dades generals

Curs acadèmic:
2021
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
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
Examen parcial 2 Es valorarà la correcta resolució dels problemes i exercicis proposats 45

Qualificació

La nota del primer parcial suposa el 45% de la nota final, la del segon, un 45%. La participació a classe, un 10%.

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 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 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.

Escull quins tipus de galetes acceptes que el web de la Universitat de Girona pugui guardar en el teu navegador.

Les imprescindibles per facilitar la vostra connexió. No hi ha opció d'inhabilitar-les, atès que són les necessàries pel funcionament del lloc web.

Permeten recordar les vostres opcions (per exemple llengua o regió des de la qual accediu), per tal de proporcionar-vos serveis avançats.

Proporcionen informació estadística i permeten millorar els serveis. Utilitzem cookies de Google Analytics que podeu desactivar instal·lant-vos aquest plugin.

Per a oferir continguts publicitaris relacionats amb els interessos de l'usuari, bé directament, bé per mitjà de tercers (“adservers”). Cal activar-les si vols veure els vídeos de Youtube incrustats en el web de la Universitat de Girona.