Section outline

    • Logica delle relazioni diadiche sviluppata secondo le linee di Tarski&Givant87 File PDF

      Si tratta di una rielaborazione tardo-novecentesca di un sistema deduttivo ideato verso la fine del 1800 da Peirce&Schröder, al quale si avvicinano gli odierni linguaggi dei sistemi database relazionali.

      Questi lucidi iniziano con un paio di esempi che dovrebbero risultare comprensibili in termini intuitivi; poi vengono presentati:

      • lessico
      • sintassi
      • semantica
      • apparato deduttivo
      del sistema di Tarski&Givant.

    • Dispensa "Che cos'è una logica?" File PDF

      Di questa dispensa, al termine della lezione dell'8 marzo, saranno stati coperti su per giú, il paragrafo 1 e i paragrafi 6 (con i suoi sottoparagrafi)