Definizione di Logica
L'origine della logica risale all'età d'oro della Grecia classica e il filosofo greco Aristotele è considerato il creatore e il padre di essa, dal momento che è stato il primo a usare la nozione e dargli l'entità che mantiene fino ai giorni nostri, di studio degli argomenti come dimostratori della verità nella scienza.
Questa logica che abbiamo descritto sopra e di cui Aristotele si pone come fondatore è anche chiamata logica formale, mentre esiste anche una logica informale che focalizzerà la tua attenzione sullo studio metodico di quei probabili argomenti della filosofia, retorica e oratoria, tra le altre scienze che si occupano di queste.
Fondamentalmente, la logica informale dedica tutti i suoi sforzi all'identificazione di fallacie e paradossi e alla corretta strutturazione dei discorsi.
Ma nella logica formale e informale la domanda non è esaurita poiché troviamo anche altri tipi di logica che propongono metodologie assolutamente diverse come la logica naturale che è quella che il pensiero naturale propone, mentre corre, senza andare al scienza formale come base di supporto.
Quindi appare la logica fuzzy o anche detta fuzzy che prende determinate licenze rispetto alle altre e ammette una certa ambiguità tra la verità o la falsità delle sue proposizioni, in stretto accordo e relazione con la ragione umana.
In un altro ordine possiamo trovare la logica matematica che viene gestita usando un linguaggio artificiale e simbolico e facendo un'astrazione dei contenuti. E infine la logica binaria che funziona con variabili che ammettono solo due valori discreti.