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

Estudia

Dades generals

Curs acadèmic:
2017
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

  • CTUdG01 Utilitzar la llengua anglesa
  • CTUdG09 Llegir, comprendre i comentar textos científics
  • CTUdG10 Analitzar situacions complexes i dissenyar estratègies per resoldre-les
  • CTUdG11 Avaluar la pròpia activitat i el propi aprenentatge i elaborar estratègies per millorar-los
  • CE3/N5: Conèixer les teories i arguments centrals en la Lògica
  • CE4. Identificar i analitzar els temes principals que actualment són objecte d'investigació filosòfica
  • CE5. Aplicar de forma adequada les tècniques del raonament filosòfic apreciant les seves diverses possibilitats d'aplicació
  • CE7. Pensar i expressar de forma precisa la formulació de problemes filosòfics complexos i controvertits, i comprendre les estratègies principals concebudes per resoldre'ls
  • CE10. Jutjar l'èxit d'arguments filosòfics típics
  • CE12. Utilitzar de forma crítica la terminologia filosòfica especialitzada
  • CE14. Reconèixer errors metodològics, recursos retòrics, pressuposts implícits, la vaguetat i la superficialitat en les discussions filosòfiques
  • CE19. Investigar més enllà de les fronteres tradicionals de la disciplina, examinar les limitacions i virtuts d'altres disciplines i pràctiques, i reconèixer doctrines filosòfiques en contextos no acadèmics
  • CE20. Aplicar les competències i tècniques filosòfiques a qüestions que sorgeixen en contextos no acadèmics

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
Prova d'avaluació 0 42,00 42,00
Resolució d'exercicis 29,00 29,00 58,00
Sessió expositiva 30,00 25,00 55,00
Total 59,00 96,00 155

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

Qualificació

Es valorarà l'exedcució correcta dels problemes i exercicis proposats

Criteris específics de la nota «No Presentat»:
Es considerarà no presentat aquell estudiant que no es presenti a l'examen final o bé no es presenti a cap dels dos exàmens parcials. Per tal de ser avaluat, per tant, cal fer l'examen final i almenys un dels dos parcials. Si un alumne no es presenta a algun dels dos parcials perd el percentatge de la nota que correspon a aquest.

Assignatures recomanades

  • Lògica I

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.