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
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ó.
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
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
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
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 els dos parcial perd el percentatge de la nota que correspon a aquest.