Cos'è la logica:
Logica È una scienza formale che studia la struttura o le forme del pensiero umano (come proposizioni, concetti e ragionamenti) per stabilire leggi e principi validi per ottenere criteri di verità.
Come aggettivo, "logico" o "logico" significa che qualcosa segue le regole della logica e della ragione. Indica anche una conseguenza naturale o normale prevista.
Viene anche usato per riferirsi al cosiddetto 'senso comune'. Viene dal latino logica, e a sua volta dal greco ογική (loghi, 'ragione, 'intellettuale', 'dialettica', 'argomentativo'), che a sua volta deriva dalla parola ος (loghi, 'parola', 'pensiero', 'ragione', 'idea', 'argomento').
Logica proposizionale, matematica o simbolica
La logica proposizionale è la branca della logica che studia le variabili proposizionali, i connettivi logici (
). Alcuni autori lo identificano anche con la logica matematica o la logica simbolica, poiché utilizza una serie di simboli speciali che lo avvicinano al linguaggio matematico. Le proposizioni possono essere vere o false.
Logica filosofica
La logica è generalmente considerata parte della filosofia, sebbene la logica, in quanto tale, sia applicata in varie aree e attività dell'essere umano.
La logica filosofica utilizza quattro principi fondamentali che stabiliscono i corretti processi di pensiero. Tali principi sono il principio di identità, il principio di non contraddizione, il principio del terzo escluso e il principio di ragione.
Logica formale e logica informale
La logica formale è quella il cui oggetto di studio sono le inferenze tecniche attraverso l'uso di sistemi deduttivi e linguaggi formali e semantica. La logica informale, da parte sua, studia i sistemi di ragionamento e argomentazione naturali attraverso il linguaggio e il pensiero quotidiano.
logica aristotelica
È la logica che si basa sugli studi di Aristotele, filosofo greco del IV secolo a.C. La logica aristotelica utilizza i cosiddetti sillogismi, che è una deduzione o una forma di ragionamento in cui si stabiliscono premesse da cui si deduce una conclusione.
È, quindi, un concetto simile agli argomenti deduttivamente validi. Un classico esempio di logica aristotelica è: «Tutti gli uomini sono mortali. Tutti i greci sono uomini. Pertanto, tutti i greci sono mortali.' Le prime due frasi sarebbero le premesse e la terza la conclusione.
Logica diffusa
Il concetto di logica diffusa deriva dall'inglese ('fuzzy logic'). È un tipo di logica che utilizza valori casuali ma contestualizzati e correlati tra loro, stabilendo il relativo di ciò che si osserva come posizione differenziale. La logica fuzzy viene applicata in vari settori come l'informatica e l'industria.
