Logica

Logica formale e logica informale

La logica può esssere suddivisa in logica formale e logica informale.

La logica formale si occupa delle regole astratte e della teoria del ragionamento. La logica formale studia la struttura del ragionamento, quindi prescinde dal significato dei singoli termini. La logica formale è simili alla matematica pura e, infatti, nella sua evoluzione vi è la logica matematica.

La logica informale è l’analisi degli argomenti, tenendo in considerazione anche il significato specifico dei vari termini, per verificare se la tesi dimostrata da tali argomenti sia provata o no. Ovviamente la logica informale, essendo un’applicazione della logica, deve seguire le regole della logica formale.

Logica - Ludwig Wittgestein