Frege e la verità in logica

Per Frege è vero che tutte le scienze hanno come obiettivo la verità, ma la logica se ne occupa in maniera diversa e specifica, così come la fisica si occupa del calore o della gravità. Scoprire delle verità è compito di tutte le scienze, ma la logica deve individuare le leggi dell’ “essere vero”. Ci sono due tipi di leggi, le leggi prescrittive (es. quelle del diritto) e le leggi descrittive (es. quelle della fisica). Le leggi individuate dalla logica somigliano più alle seconde, ma poiché da esse si derivano norme prescrittive per pensare, vengono chiamate leggi del pensiero, rischiando l’equivoco di considerarle leggi psicologiche. In tale misura però si equipara il vero ed il falso che hanno entrambi una causa psicologica e soprattutto si equipara una dimostrazione logica ad una spiegazione naturalistica, il che è fuorviante.
In logica “vero” non vuole dire “veritiero”, né “verità artistica”, né “autentico” o “esatto”. Il senso di “vero” studiato dalla logica è quello della verità che è lo scopo della ricerca scientifica.

Il fatto che Frege neghi la natura deontologica della logica lo conduce verso delle aporie : infatti egli deve al contempo negare che le leggi del pensiero siano leggi naturali in quanto dal punto di vista naturalistico il pensiero vero ed il pensiero falso non hanno differenze. Ma allora di quale tipo di leggi parla la logica ?
In realtà la logica non individua le leggi dell'essere vero, come Frege superficialmente teorizza, ma le leggi della deduzione e cioè le leggi che consentono di stabilire quali connessioni sono possibili tra diverse proposizioni o specularmente di stabilire, data una proposizione ed un tipo di legame, quali proposizioni possono essere connesse alla prima da quel legame. In pratica con la logica noi sappiamo quali proposizioni sono necessariamente vere o false, data la verità o la falsità di altre proposizioni. O in altre parole la logica studia il valore di verità delle proposizioni molecolari o delle proposizioni derivate da altre proposizioni il cui valore di verità sia assunto come dato.
Quanto al carattere descrittivo o prescrittivo della logica, non si tratta di un'alternativa irriducibile : leggi descrittive possono suggerire prescrizioni operative, mentre opzioni prescrittive possono motivare determinate prospettive teoriche. Il problema è la validità delle leggi logiche : se si applicano indifferentemente a tutti i contesti tematici e a tutti i tipi di oggetti, se è possibile operare deduzioni seguendo regole diverse