INDICE PREMESSA

Se nella seconda parte della ricerca verrà discusso il carattere trascendentale proprio di quella densa e singolare immagine in cui Kant pone la mano a fondamento di ogni «uso della

Un principio della facoltà di giudicare è quello che pone a fonda- mento che la natura si adatti alla nostra facoltà di comprensione, in modo dunque che <in> ciò che nella

Leibniz insiste sulla completezza per le argomentazioni (fallaci) La logica moderna insister` a (soprattutto) sulla completezza per le conclusioni (corrette e/o vere). I Sistemi

La logica del novecento nasce per chiarire questa nozione Un insieme di formule caratterizza (assiomatizza) una certa nozione matematica (gli ordini parziali, i gruppi, gli anelli

A differenza della nozione di dimostrazione, nella definizione di sistema formale nulla impone che i teoremi siano decidibili La nozione di sistema formale ci dice per` o che, se

Se tutti i sottoinsiemi finiti di un insieme di formule hanno un modello, allora anche l’intero insieme ha un modello. 165

(Mezzo) enunciato del primo teorema Se PA ` e consistente, allora PA 6` G Pu` o essere espresso nel linguaggio di PA Sia Con ↔ ¬Teor(pA ∧ ¬Aq).

La logica del novecento nasce per chiarire questa nozione Un insieme di formule caratterizza (assiomatizza) una certa nozione matematica (gli ordini parziali, i gruppi, gli anelli