Dades generals

Curs acadèmic:
2012
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
Idioma principal de les classes:
Català
S’utilitza oralment la llengua anglesa en l'assignatura:
Gens (0%)
S’utilitzen documents en llengua anglesa:
Poc (25%)

Grups

Grup A

Durada:
Semestral, 2n semestre
Professorat:
JUAN PAGES MARTINEZ

Horaris:

Activitat Horari Aula
Teoria1 dt 15:00-16:30, dj 15:00-16:30
Pràctiques d'aula1 dt 15:00-16:30, dj 15:00-16:30

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
Classes expositives 30 45 75
Prova d'avaluació 6 18 24
Resolució d'exercicis 29 45 74
Total 65 108 173

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 %
Resolució per part dels estudiants a la classe de pràctiques d'exercicis proposats pel professor Es valorarà la correcta execució dels problemes i exercicis proposats 30
Examen parcial Es valorarà la correcta execució dels problemes i exercicis proposats 70

Qualificació

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

Criteris específics de la nota «No Presentat»:
Es considerarà No Presentat qualsevol estudiant que no lliuri en els termini indicat els dossiers de pràctiques, que no es presenti als exàmens o que no assisteixi a les pràctiques de l'assignatura

Assignatures recomanades

  • Lògica I