Logica

Correlati alla logica sono i seguenti altri campi del sapere: la filosofia del linguaggio, che definisce il significato di parole e proposizioni; l'epistemologia, o teoria della conoscenza, che si occupa delle condizioni di verità degli asserti scientifici; la psicologia del ragionamento, che si occupa dei processi mentali coinvolti nella deduzione. Alcuni trattati di logica comprendono anche questi argomenti, ma usualmente l'attenzione è ristretta alle relazioni logiche tra proposizioni. In particolare il filosofo tedesco Edmund Husserl ha dimostrato, nelle sue Ricerche logiche (1900-1901), la eterogeneità radicale fra logica e psicologia.

Quanto finora esposto riguarda essenzialmente ciò che si intende per logica formale, inteso come lo studio delle corrette deduzioni e delle procedure dimostrative, a prescindere dai contenuti della conoscenza, che è venuto sempre più sviluppandosi come una disciplina specialistica. Ma in un'altra accezione il termine logica indica in filosofia ogni riflessione sulla natura stessa del pensiero e sulle condizioni perché in generale si possa conoscere ciò che intendiamo per verità. Immanuel Kant distinse dalla logica formale la logica trascendentale, cioè lo studio delle funzioni a priori del nostro pensiero. Durante l'Ottocento, nei sistemi idealistici e in particolare in quello di Hegel, la logica finisce per abbracciare alcuni dei temi tradizionalmente assegnati alla metafisica, in quanto tutta la realtà è identificata con il pensiero e funzione della logica è di studiare il pensiero come tale. A questa ispirazione rimangono sostanzialmente fedeli i pensatori neoidealisti italiani del Novecento, ossia Benedetto Croce e Giovanni Gentile.