Logica è un sostantivo femminile dal termine greco logo, relativo al loghi, Motivo, parola o discorso, che significa la scienza del ragionamento.
In senso figurato, la parola logica è collegata a a modo specifico di ragionare, giustamente. Per esempio: Questo non funzionerà mai! Il tuo piano non ha logica!
voi problemi o giochi di logica sono attività in cui un individuo deve utilizzare a ragionamento logico per risolvere il problema.
logica aristotelica
Secondo Aristotele, la logica ha come oggetto di studio la pensiero, così come le leggi e le regole che lo controllano, perché quel pensiero sia corretto. Per il filosofo greco gli elementi costitutivi della logica sono i concetto, giudizio e ragionamento. Le leggi della logica corrispondono alle connessioni e alle relazioni che esistono tra questi elementi.
Alcuni successori di Aristotele furono responsabili dei fondamenti della logica medievale, che durò fino al XIII secolo. Pensatori medievali come Galeno, Porfirio e Alessandro di Afrodisia classificarono la logica come la scienza del giudicare correttamente, che consente di giungere a un ragionamento corretto e formalmente valido.
Logica di programmazione
La logica di programmazione è il linguaggio utilizzato per creare un programma per computer. La logica di programmazione è essenziale per lo sviluppo di programmi e sistemi per computer, poiché definisce la catena logica per tale sviluppo. I passaggi per questo sviluppo sono noti come algoritmo, che consiste in una sequenza logica di istruzioni per l'esecuzione della funzione.
Logica dell'argomentazione
La logica di argomentazione consente di verificare la validità o se un'affermazione è vera o meno. Non è fatto con concetti relativi o soggettivi. Sono proposizioni tangibili la cui validità può essere verificata. In questo caso, la logica mira a valutare la forma delle proposizioni e non il contenuto. I sillogismi (composti da due premesse e una conclusione) sono un esempio di logica argomentativa. Per esempio:
La farina di mais è un cane.
Tutti i cani sono mammiferi.
Pertanto, la farina di mais è un mammifero.
Logica matematica
La logica matematica (o logica formale) studia la logica secondo la sua struttura o forma. La logica matematica consiste in a sistema deduttivo di affermazioni che mirano a creare un insieme di leggi e regole per determinare la validità dei ragionamenti. Quindi, un ragionamento è considerato valido se è possibile giungere a una conclusione vera da premesse vere.
La logica matematica viene utilizzata anche per costruire ragionamenti validi attraverso altri ragionamenti. I ragionamenti possono essere deduttivo (la conclusione è obbligatoriamente ricavata dalla verità delle premesse) e induttivo (probabilistico).
La logica formale può essere divisa in due gruppi: logica proposizionale e logica predicativa.
Leibniz è visto da molti come la mente che ha avviato il concetto di logica formale o matematica, che affronta le questioni fondamentali della matematica. Tuttavia, solo dopo il 1890, con Peano, iniziò la messa in discussione della consistenza degli assiomi. Alcuni importanti principi della logica formale si trovano in The Mathematical Analysis of Logic di George Boole (autore di Logica o algebra di Boole).
proposizione logica
La logica proposizionale è un'area della logica che esamina il ragionamento secondo le relazioni tra le clausole (proposizioni), le unità minime del discorso, che possono essere vere o false.
