La logica è lo studio del ragionamento corretto.
Comprende sia la logica formale che quella informale. La logica formale è la scienza delle inferenze deduttivamente valido o delle verità logiche.
Studia come le conclusioni derivano dalle premessa grazie alla sola struttura degli argomenti, indipendentemente dal loro argomento e contenuto.
La logica informale è associata agli errori informali, al pensiero critico e alla teoria dell’argomentazione . Esamina gli argomenti espressi nel linguaggio naturale mentre la logica formale utilizza il linguaggio formale.
Quando utilizzato come sostantivo numerabile, il termine “una logica” si riferisce a un sistema logico formale che articola un sistema di dimostrazione.
La logica gioca un ruolo centrale in molti campi, come la filosofia, la matematica, l’informatica e la linguistica.
La logica studia gli argomenti, che consistono in un insieme di premesse insieme a una conclusione.
Un esempio è l’argomentazione che parte dalle premesse “è domenica” e “se è domenica non devo lavorare” fino alla conclusione “non devo lavorare”.
Le premesse e le conclusioni esprimono proposizioni o affermazioni che possono essere vere o false. Una caratteristica importante delle proposizioni è la loro struttura interna.
Ad esempio, le proposizioni complesse sono costituite da proposizioni più semplici collegate da un vocabolario logico come∧(e) o→(se poi). Anche le proposizioni semplici hanno parti, come “domenica” o “lavoro” nell’esempio.
La verità di una proposizione dipende solitamente dal significato di tutte le sue parti.
Tuttavia, questo non è il caso delle proposizioni logicamente vere. Sono veri solo per la loro struttura logica indipendente dai significati specifici delle singole parti.
Gli argomenti possono essere corretti o errati. Un argomento è corretto se le sue premesse supportano la sua conclusione.
Gli argomenti deduttivi hanno la forma più forte di sostegno: se le loro premesse sono vere, allora anche la loro conclusione deve essere vera.
Questo non è il caso degli argomenti ampliativi, che giungono a informazioni veramente nuove non presenti nelle premesse.
Molti argomenti nel discorso quotidiano e nelle scienze sono argomenti ampliativi. Si dividono in argomentazioni induttivo e rapitivo.
Gli argomenti induttivi sono generalizzazioni statistiche, come dedurre che tutti i corvi siano neri sulla base di molte osservazioni individuali di corvi neri.
Gli argomenti abduttivi sono deduzioni alla migliore spiegazione, ad esempio, quando un medico conclude che un paziente ha una certa malattia che spiega i sintomi di cui soffre.
Gli argomenti che non raggiungono gli standard di un ragionamento corretto spesso incorporano errori. I sistemi logici sono quadri teorici per valutare la correttezza degli argomenti.
La logica è stata studiata fin dall’antichità. I primi approcci includono la logica aristotelica, la logica stoica, il Nyaya e il Mohismo.
La logica aristotelica si concentra sul ragionamento sotto forma di sillogismi.
Era considerato il principale sistema logico nel mondo occidentale finché non fu sostituito dalla logica formale moderna, che affonda le sue radici nel lavoro di matematici della fine del XIX secolo come Gottlob Frege.
Oggi il sistema più utilizzato è la logica classica. Consiste nella logica proposizionale e nella logica del primo ordine. La logica proposizionale considera solo le relazioni logiche tra proposizioni complete.
La logica del primo ordine tiene conto anche delle parti interne delle proposizioni, come predicati e quantificatori.
Le logiche estese accettano le intuizioni di base dietro la logica classica e le estendono ad altri campi, come la metafisica, l’etica e l’epistemologia.
Le logiche devianti, d’altro canto, rifiutano alcune intuizioni classiche e forniscono spiegazioni alternative delle leggi fondamentali della logica.
Definizione di logica
La parola “logica” deriva dalla parola greca “logos”, che ha una varietà di traduzioni, come ragione , discorso o linguaggio.
La logica è tradizionalmente definita come lo studio delle leggi del pensiero o del ragionamento corretto, ed è solitamente intesa in termini di inferenze o argomentazioni. Il ragionamento è l’attività di trarre inferenze.
Gli argomenti sono l’espressione esteriore delle inferenze. Un argomento è un insieme di premesse accompagnate da una conclusione.
La logica è interessata a sapere se gli argomenti sono corretti, cioè se le loro premesse supportano la conclusione.
Queste caratterizzazioni generali si applicano alla logica nel senso più ampio, cioè sia alla logica formale che a quella informale poiché entrambe riguardano la valutazione della correttezza degli argomenti.
La logica formale è il campo tradizionalmente dominante e alcuni logici restringono la logica alla logica formale. Continua a leggere su wiki…
Your writing has a way of resonating with me on a deep level. I appreciate the honesty and authenticity you bring to every post. Thank you for sharing your journey with us.
Your blog is a true hidden gem on the internet. Your thoughtful analysis and engaging writing style set you apart from the crowd. Keep up the excellent work!