Logica

La logica è lo studio del ragionamento. Le regole della logica permettono ai filosofi di fare vere e proprie deduzioni logiche sul mondo. La logica aiuta le persone a decidere se qualcosa è vero o falso.

La logica è spesso scritta in sillogismi, che sono un tipo di prova logica. Un sillogismo è costituito da una raccolta di affermazioni usate per provare logicamente la dichiarazione finale, chiamata conclusione. Un esempio popolare di sillogismo logico è stato scritto dal filosofo greco classico Aristotele:

  1. Tutti gli uomini sono mortali.
  2. Socrate è un uomo.
  3. Pertanto, Socrate è mortale.

La conclusione è la dichiarazione finale. Questo sillogismo collega le prime due affermazioni per fare una deduzione logica: Socrate è mortale.

Il sillogismo è fatto da tre affermazionioproposizioni logiche. Queste affermazioni sono frasi brevi che descrivono un piccolo passo di un argomento logico. Le piccole affermazioni costituiscono l'argomento, come gli atomi costituiscono le molecole. Quando la logica è corretta, le affermazioni sono dette "seguire" l'una dall'altra.

Le affermazioni hanno un valore di verità, nel senso che possono essere dimostrate vere o false, ma non entrambe le cose. Le affermazioni illogiche o gli errori di logica sono chiamate fallacie logiche.

Gregor Reisch, Logic presenta i suoi temi principali. Margarita Philosophica, 1503 o 1508. Nell'incisione, due cani chiamati veritas (verità) e falsitas (falsità) inseguono un coniglio chiamato problema (problema). La logica corre dietro ai cani, armati di sillogismo con la spada (sillogismo). In basso a sinistra si vede il filosofo Parmenide in una grotta.Zoom
Gregor Reisch, Logic presenta i suoi temi principali. Margarita Philosophica, 1503 o 1508. Nell'incisione, due cani chiamati veritas (verità) e falsitas (falsità) inseguono un coniglio chiamato problema (problema). La logica corre dietro ai cani, armati di sillogismo con la spada (sillogismo). In basso a sinistra si vede il filosofo Parmenide in una grotta.

Logica simbolica

Le affermazioni logiche possono essere scritte in un tipo speciale di scrittura a mano breve, chiamata logica simbolica. Questi simboli sono usati per descrivere il ragionamento logico in modo astratto.

  • {\a6} {\displaystyle \land }si legge come "e", il che significa che entrambe le affermazioni sono valide.
  • \displaystyle \displaystyle \lor \{\displaystyle \lor }"o", il che significa che almeno una delle affermazioni è valida.
  • La freccia destra {\displaystyle \rightarrow }si legge come "implica", "è", o "Se... allora...". Rappresenta il risultato di un'affermazione logica.
  • ¬ Non {\displaystyle \lnot }si legge "non", o "non è il caso che...".
  • {\displaystyle \therefore }viene letto come "quindi", che viene usato per segnare la conclusione come un argomento logico.
  • ( ) Lo stile di visualizzazione ()} {\displaystyle ()}si legge come "tra parentesi". Raggruppano insieme le affermazioni logiche. Le affermazioni tra parentesi vanno sempre considerate per prime, seguendo l'ordine delle operazioni logiche.

Ecco il sillogismo precedente scritto in logica simbolica.

( ( h u m a n → m o r t a l e ) ( A r i s t o l o → h u m a n ) ) → ( A r i s t o t t o l l o → m o r t a l e ) {\a6}}}(((human ÆÆrightarrow mortal)Æ (Aristotele Ærightarrow human))Ærightarrow (Aristotele Ærightarrow mortal)Æ (Aristotele Ærightarrow mortal)Æ (Aristotele Ærightarrow mortal)Æ (Aristotele Ærightarrow mortal)Æ (Aristotele mortal) {\displaystyle {\rm {((human\rightarrow mortal)\land (Aristotle\rightarrow human))\rightarrow (Aristotle\rightarrow mortal)}}}

Se sostituiamo le parole inglesi con le lettere, possiamo rendere il sillogismo ancora più semplice. Proprio come i simboli matematici per operazioni come addizione e sottrazione, la logica simbolica separa la logica astratta dal significato in lingua inglese delle affermazioni originali. Con questi simboli astratti, le persone possono studiare la logica pura senza l'uso di una specifica lingua scritta.

( ( a → b ) ( c → a ) ) → ( c → b ) {\an8} ((a \an8}(a \an8}(c \an8}(c \an8}(c \an8}(a) {\displaystyle ((a\rightarrow b)\land (c\rightarrow a))\rightarrow (c\rightarrow b)}

Il sillogismo è ora scritto nel modo più astratto e semplice possibile. Ogni elemento di distrazione, come le parole in lingua inglese, è stato eliminato. Chiunque comprenda il simbolismo logico può capire questo argomento.

Prova logica

Una prova logica è un elenco di dichiarazioni messe in un ordine specifico per dimostrare un punto logico. Ogni affermazione nella prova è o una supposizione fatta a scopo di argomentazione, o è stata provata a seguito di precedenti affermazioni nella prova. Tutte le prove devono iniziare con alcune supposizioni, come "l'uomo esiste" nel nostro primo sillogismo. Una prova mostra che un'affermazione, la conclusione, segue le ipotesi di partenza. Con una prova, possiamo dimostrare che "Aristotele è mortale" segue logicamente da "Aristotele è un uomo" e "Tutti gli uomini sono mortali".

Alcune affermazioni sono sempre vere. Questo tipo di affermazioni si chiama tautologia. Una tautologia classica popolare, accreditata al filosofo Parmenide di Elea, dice: "Ciò che è, è". Ciò che non è, non è". Ciò significa essenzialmente che le affermazioni vere sono vere e le affermazioni false sono false. Come si può vedere, le tautologie non sempre sono utili per costruire argomenti logici.

Una tautologia è rappresentata in una logica simbolica come ( a ¬ a ) {\displaystyle (a\lor \lnot a)}che significa "o una o non una". Supponendo che non ci siano possibilità non menzionate, questo copre tutti i casi possibili.

Utilizza

Poiché la logica è uno strumento usato per pensare in modo più razionale, può essere utilizzata in innumerevoli modi. La logica simbolica viene impiegata in lungo e in largo, dai trattati filosofici alle complicate equazioni matematiche. I computer usano la logica delle regole per eseguire algoritmi, che permettono ai programmi informatici di prendere decisioni basate sui dati.

La logica è fondamentale per la matematica pura, la statistica e l'analisi dei dati. Le persone che studiano la matematica creano prove che usano regole logiche per dimostrare che i fatti matematici sono corretti. Esiste un'area della matematica chiamata logica matematica che studia la logica usando la matematica.

La logica è studiata anche in filosofia.

Pagine correlate

Domande e risposte

D: Che cos'è la logica?


R: La logica è lo studio del ragionamento.

D: Come i filosofi utilizzano le regole della logica?


R: I filosofi utilizzano le regole della logica per fare deduzioni logiche valide sul mondo.

D: Che cos'è un sillogismo?


R: Un sillogismo è un tipo di prova logica costituita da un insieme di affermazioni utilizzate per dimostrare logicamente l'affermazione finale, chiamata conclusione.

D: Qual è lo scopo della logica?


R: Lo scopo della logica è aiutare le persone a decidere se qualcosa è vero o falso.

D: Qual è il valore di verità delle affermazioni?


R: Le affermazioni hanno un valore di verità, cioè possono essere dimostrate come vere o false, ma non entrambe.

D: Come si chiamano le affermazioni illogiche o gli errori di logica?


R: Le affermazioni illogiche o gli errori di logica si chiamano fallacie logiche.

D: Qual è un esempio di sillogismo logico?


R: Un esempio di sillogismo logico è quello scritto dal filosofo greco classico Aristotele: Tutti gli uomini sono mortali. Socrate è un uomo. Pertanto, Socrate è mortale.

AlegsaOnline.com - 2020 / 2023 - License CC3