Introducció a la lògica (Codi oficial: 360906; Grup A1)

Organització

Professor: Joost J. Joosten, Coordinació: Ramon Jansana
El curs és de 6 crédits el qual correspon amb 50 hores de contacte.
Les clases es fan en català (o alguna cosa semblant) al aula 403 a Montalegre 6.
Dimarts: 10:00 -- 11:00;
Dimecres: 10:00 -- 11:00;
Dijous: 10:00 -- 11:00;
En aquesta pàgina anirem anotant el progres i potser posarem alguns apunts.
El professor de les sessions de problemes és en Alfonso García en l'horari de 11:00 a 12:00 els

els dies 27 de setembre, 4, 11 i 18 d'octubre i, per la segona part, els dies 15, 22 i 29 de novembre i els dies 13 i 20 de desembre.

El primer parcial el farem el dia dijous 19 d'octubre.
El segon parcial el farem el dia dimecres 20 de desembre ja que el dia dijous 21 de desembre és no-lectiu.

Ambdos parcials es faran a l'horari de classe i a l'aula de sempre.



Data examen avaluació única: dilluns 15 de gener del 2018 de 9:00-11:00 al aula 403 (l'aula de sempre)
Data examen reevaluació: dimarts 6 de febrer del 2018 de 9:00-11:00 al aula 403 (l'aula de sempre)


Algunes dates a sota s'han d'actualitzar.
Setmana 1 Setmana 2
Setmana 3 Setmana 4
Setmana 5 Setmana 6
Setmana 7 Setmana 8
Setmana 9 Setmana 10
Setmana 11 Setmana 12
Setmana 13 Setmana 14
Setmana 15 Setmana 16

Setmana 1

La primera setmana. (Setembre 12, 13 i 14)

vam començar amb una introducció: Per a nosaltres, lógica és l'art del raonament valid (aquí ). A més, vam delimitar molt quin tipos de raonament estudiarem. De moment només lògica proposicional clàssica. Vam tractar amb la sintaxi que correspon amb el Capitol 6 del llibre secció 1 i el principi de la secció 2 (definició de fórmula).


Fem servir el llibre Elementos de lógica formal en la segona edició dels autors Calixto Badesa, Ignasi Jané, i en Ramon Jansana.



Setmana 2

Hem acabat amb les seccions 1 i 2 del capítol 6 (la secció 3 del capítol 6 no és part del curriculum). A més a més, varem reflexionar sobre qué hauria de fer semàntica i semàntica formal. Entre tots varem decidir els nostres suposits: ontologia platónica (lógica bivalenta (tertium non datur)), composicionalitat (context-freeness, deterministic, etc.), i varem fixar les taules de veritat per a les conectives: negació, conjuncció, disjuncció i implicació. Per tant ja anem pel capítol 7 del llibre.

Setmana 3

Varem fer el capítol 7 del llibre. Hem tingut una sessió de problemes també.

Setmana 4

Hem acabat el capítol 9 del llibre. Varem practicar molt en memoritzar la definició de conseqüència lògica que és absolútament imprescindible coneixer-la de memoria. Qualsevol exercisi dels capítols 7 i 9 són bons per practicar. En particular puc recomenar jugar amb els exercisis 1,2, 3 i 4 del capítol 9 del llibre.

Setmana 5

Octubre 10 i 11.

Hem relacionat la conseqüència lògica com a símbol del meta-llenguatge a la implicació en el llenguatge. Per tant hem acabat el capitol 9 del llibre. A més a més, hem donat la definició d'equivalència lògica i hem vist com trobar una formula equivalent que nomès fa servir les conectives disjuncció i negació.

Setmana 6

Octubre 16,17, 18. El dijous fem el primer parcial en comptes de fer classe. O sigui, al lloc de sempre fem l'examen de 10:00--11:00. Heu de fer uns milers d'exercisis per a preparar ben l'examen. El dimarts i demecres farem el capítol 11 del llibre amb el qual haurem fet tot el que entra al primer parcial. Que sort hi hagi!

Notes d'en Eduardo.
Més notes d'en Eduardo.
I també hi ha un examen de prova antic.

Setmana 7

23, 24 i 25 d'octubre: repas i primer parcial.

Setmana 8

29/10 -- 2/11. Hem acabat el capítol 12 i hem fet simbolització.

Setmana 9

5/11 -- 9/11.

Hem fet simbolització de llenguatge natural en lògica de predicats.

Setmana 10

12/11 -- 16/11.

Hem fet més simbolització de llenguatge natural en lògica de predicats.

Setmana 11

19/11 -- 23/11.

Hem fet el tema de conjunts: paradoxa de Russell, unió, intersecció, diferència i complement.

Setmana 12

26/11 -- 30/11.

Hem fet el tema de relacions: relació buida, total i identitat; operacions sobre relacions: unió, intersecció, inversa, i producte relacional.

Hem parlat informalment de semantica de la lògica de predicats: un univers (conjunt no buit) i una interpretació del llenguatge. O sigui: noms propis s'interpreten com a elements de l'univers, predicats com a subconjunts, i relacions (binaris) com a conjunts de parells ordenats.

Setmana 13

Setmana 14

Setmana 15

Reavaluació

Preguntes i respostes

Pregunta

Resposta

Pregunta

Resposta

Pregunta

Resposta

Pregunta

Resposta

-

Pregunta

Resposta

Pregunta

Resposta