(20/04/21 h.9--11; 21/04/21 h.11--13) Introduzione alla logica predicativa del 1.o ordine
Schema della sezione
-
Cinque presentazioni sono riportate qui sotto. Di queste, le prime tre curano tre aspetti che usualmente caratterizzano un sistema logico-formale:
- sintassi del linguaggio simbolico (non si tratta in verità di un linguaggio solo, ma di uno schema di linguaggio);
- semantica del linguaggio;
- armamentario deduttivo, che dota il linguaggio di un 'calcolo'.
La quarta presentazione propone alcuni esempi di teoria assiomatica basati su linguaggi predicativi del prim'ordine.
La quinta presentazione svolge alcuni esercizi riguardanti la logica del prim'ordine.
Dell'apparato deduttivo non parliamo ancora, nelle lezioni di questa settimana.
-
- tautologie: riguardano la logica minima (contenuta in qualsiasi logica booleana---e, come verificheremo, la logica predicativa dotata del suo calcolo è booleana);
- formule direttamente riconoscibili come valide ai sensi del calcolo predicativo del primo ordine;
- formule riconoscibili come valide nel quadro degli assiomi propri di una teoria.