Lògica 2025-2026 (Codi 360961; Grup B1)
Organisation
Professor: Vicent Navarro Arroyo who is subtitute of and substituted by Joost J. Joosten, Coordinació: David F. Duque
El curs és de 6 crédits el qual correspon amb 50 hores de contacte.
Les clases es fan al aula 411 a Montalegre 6.
Dimarts: 18:00 -- 19:00;
Dimecres: 18:00 -- 19:00;
Dijous: 18:00 -- 19:00.
En aquesta pàgina anirem anotant el progres i potser posarem alguns apunts.
El dimarts 23 de setembre vam discutir el context general i global filosòfic en el qual es troba aquesta assignatura.
Hem fet un repàs general de la lògica de predicats i hem fet uns exemples. Hem parlat sobre la distinció entre sintaxi i semàntica en lògica proposicional
i hem mirat que s'hauria de fer en lògica de predicats.
El dijous 25 hem parlat de variable lliures i lligades, hem parlat una mica sobre semàntica (sense donar definicions)
i hem començat a fer derivacions en deducció natural. De moment només la connectiva de conjunció i hem parlat sobre
el condicional.
El dimarts 30 hem repassat les regles de deducció per a la conjunció i hem vist les regles per a la implicació.
Després hem vist uns exemples de deduccions.
El dimecres 1 d'octubre hem fet més exercicis de deduccions. Hem tractat amb la connectiva disjuncció i hem fet un parell d'exercicis.
El dia 2 hem parlat sobre la relació entre el coneixement a priori sintètic en la teoria epistèmica de Kant i la lògica constructivista.
Hem mencionat el Curry-Howard isomorfisme tot i que no entra al curriculum del curs. Hem vist més exemples de derivacions. Falta per tractar
amb la negació per acabar amb la lògica clàssica proposicional però com que es recomenava no fer nou material avaluable hem decidit quedar-nos
amb derivacions que no fan servir la negacieo.