La scienza che si basa su leggi, modalità e forme di conoscenza scientifica è conosciuta sotto il nome di logica . È una scienza formale che manca di contenuti in quanto si concentra sullo studio di valide alternative inferenziali . Vale a dire, si propone di studiare i metodi e i principi appropriati per identificare il ragionamento corretto rispetto a quello che non lo è.

L'etimologia permette di sapere che il termine "logica" ha la sua origine nella parola latina logĭca, che a sua volta deriva dal logikós greco (dal logos, dalla "ragione" o dallo "studio" ). Il filosofo greco Aristotele, esperto in questioni storiche, ha aperto la strada all'uso della nozione di nominare la verifica degli argomenti come indicatori di verità all'interno della scienza e di presentare il sillogismo come argomento valido.

Tuttavia, non possiamo ignorare che nel corso della storia ci sono molte altre figure che hanno contribuito con le loro idee e approcci allo sviluppo di questa scienza. Così, ad esempio, durante il Medioevo dobbiamo sottolineare il ruolo svolto da Averroè, il filosofo cordovano che, tra le altre cose, affermava che era fondamentale studiare la logica dei vecchi maestri e, da lì, procedere a " filosofare "nel modo giusto.

Già nel diciottesimo e diciannovesimo secolo uno dei personaggi che più affrontavano il tema della logica era Immanuel Kant. Questo è considerato uno dei più importanti e influenti pensatori della storia ed è notevole per il fatto che in questa materia abbiamo stabilito un nuovo concetto: la logica trascendentale.

Un termine con il quale il filosofo di origine prussiana ha cercato di definire il processo mediante il quale l'essere umano deve condurre un'indagine su ciò che diventerebbe il puro concetto di categorie di tipo trascendentale o anche di quale sia l'esatta comprensione .

Hegel, Augustus De Morgan, John Venn o Gottlob Frege sono altri autori che si sono distinti nel campo della logica e in particolare di quest'ultimo che ha causato un'autentica rivoluzione con le loro teorie. Quindi, è considerato, insieme al suddetto Aristotele, il più importante logico di tutta la storia. Ed è che ha stabilito i concetti di prova, logica dei predicati o linguaggio formale.

Aristotele è considerato il padre della logica formale . D'altra parte, la logica informale si riferisce all'esame metodico di probabili argomenti basati sull'oratorio, la retorica e la filosofia, tra le altre scienze. Il suo obiettivo è il riconoscimento dei paradossi e degli errori, oltre ad essere una risorsa efficace per costruire correttamente i discorsi.

La logica naturale è la capacità naturale di ragionare senza fare appello alla scienza. La cosiddetta logica fuzzy o diffusa, d'altra parte, è quella che contempla una certa incertezza nell'analizzare il carattere vero o falso delle proposizioni, simile al ragionamento proprio dell'essere umano.

D'altra parte, la logica matematica è caratterizzata dall'uso di un linguaggio simbolico artificiale e un'astrazione dei contenuti.

Esistono altri tipi o classi di logica, ad esempio la chiamata logica binaria, che funziona con variabili che prendono solo due valori discreti.