Introducció a la lògica 2018 (Codi oficial: 360906; Grups A3 i B1)
Organització
Professor: Joost J. Joosten, Coordinació: José Martínez Fernández
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 405 (Grup A3, matí) i al aula 403 (Grup B1, tarda) a Montalegre 6.
Dimarts: 10:00 -- 11:00 (Grup A3); 17:00 -- 18:00 (Grup B1)
Dimecres: 10:00 -- 11:00 (Grup A3); 17:00 -- 18:00 (Grup B1)
Dijous: 10:00 -- 11:00 (Grup A3); 17:00 -- 18:00 (Grup B1)
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 parlat sobre la distinció entre sintaxi i semàntica en lògica proposicional clàssica. Hem observat que existeixen molts tipus de lògica formal.
En particular hem mencionat la lògica intuicionista que no accepta pas el tertium non datur. Hem fet un principi amb les taules de veritat i
hem tornat a mencionar la sintaxi.
El dijous 25 hem fet les taules de veritat de totes les connectives. Hem parlat d'independència de variables
proposicionals, de composicionalitat i hem vist una pila d'exemples.
El dimarts 30 hem fet uns exercicis a classe. Taules de veritat i hem vist com l'arbre genealògic ens pot ajudar.
Alguns alumnes han fet una presentació. Hem parlat més sobre la implicació.
Hem parlat dels tres tipus de fórmules: Tautologies, Contingències, i Contradiccions.
El dimecres 1 d'octubre hem parlat de la tasca de selecció de Wason i ens ha fet reflexionar sobre la implicació.
Hem fet exercicis per poder separar/generar els tres tipus de fórmules: tautologies, contingències i contradiccions.
El 2 d'octubre hem fet més exercicis de taules de veritiat tot combinant-ho amb els conceptes tautologies, contingències i contradiccions.
Una paraula tècnica molt útil era "assignació". Hem fet la definició de equivalència de dues fòrmules i hem vist alguns exemples.