Logica

Da TecnoLogica.

Teoria dell'inferenza.

Definizioni

Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in particolare, in Aristotele, teoria della connessione tra proposizioni che si generalizza in seguito come la teoria o l’indagine relative alle condizioni di validità dei procedimenti di inferenza di un giudizio da un altro[1].

Etimologia

Dal lat. logĭca, gr. λογική (sottinteso τέχνη «arte»), dall’agg. λογικός, der. di λόγος «discorso, ragionamento».

Descrizione

Logica deriva dal greco “logos”, un termine piuttosto complesso per vastità semantica che significa allo stesso tempo “parola”, “discorso” e “pensiero”. Nonostante il gran numero di definizioni date nel corso della storia del pensiero (declinate, di volta in volta, in relazione alla macro-area disciplinare in cui venivano inserite) la logica può essere definita come "la disciplina che si occupa dello studio di insiemi coerenti di enunciati. Un insieme di enunciati viene detto coerente se esiste una qualche situazione che rende veri simultaneamente tutti gli enunciati di una frase".
Una definizione alternativa di logica è quella che la definisce come la disciplina che studia le inferenze valide.
Tali definizioni riguardano la logica deduttiva, che viene distinta dalla logica induttiva.
Aristotele è unanimamente considerato il padre della logica.

Voci correlate

Note

  1. Definizione di logica del vocabolario on line Treccani.
La consultazione di TecnoLogica è preordinata alla lettura delle avvertenze

Ogni contributore è responsabile dei propri inserimenti.
Il progetto è opera di Luca Buoninconti © 2011-2024.

Strumenti personali