La Logica in Filosofia
← BackIntroduzione
La relazione tra logica e filosofia è profonda e bidirezionale. La filosofia ha plasmato lo sviluppo della logica, mentre la logica fornisce strumenti per analizzare argomentazioni filosofiche e chiarire concetti filosofici.
Dai sillogismi aristotelici dell'antichità alla logica modale moderna, i filosofi sono stati sia creatori che consumatori di sistemi logici. La logica aiuta i filosofi a formalizzare argomentazioni, rilevare fallacie ed esplorare la struttura stessa del ragionamento.
Questa guida esplora la filosofia della logica (questioni sulla natura della logica stessa), la logica filosofica (applicazioni della logica a problemi filosofici) e lo sviluppo storico del pensiero logico in filosofia.
Filosofia della Logica
La filosofia della logica esamina questioni fondamentali sulla logica stessa: Cos'è la logica? Cosa sono le verità logiche? Le leggi logiche sono scoperte o inventate?
Queste questioni meta-logiche indagano la natura, l'ambito e i limiti della logica come disciplina, esplorando cosa rende speciale il ragionamento logico e se la logica è universale o dipendente dal contesto.
Metafisica della Verità Logica
Cosa rende le verità logiche (come 'A ∨ ¬A') necessariamente vere? Sono vere in virtù del significato, della forma, o di qualcos'altro? I filosofi dibattono se la verità logica sia convenzionale o oggettiva.
Natura della Necessità Logica
Le verità logiche sembrano necessariamente vere—vere in tutti i mondi possibili. Ma cosa spiega questa necessità? È convenzione linguistica, fatto metafisico, o qualcosa sulla struttura del pensiero stesso?
Descrittive o Prescrittive?
Le leggi logiche descrivono come ragioniamo effettivamente (descrittive) o prescrivono come dovremmo ragionare (normative)? Le persone possono violare le leggi logiche, o le violazioni indicano semplicemente irrazionalità?
Convenzionalismo vs Platonismo
I convenzionalisti sostengono che le verità logiche sono vere per convenzione linguistica. I platonisti affermano che la logica scopre verità oggettive su entità logiche astratte. Questo dibattito è parallelo a dibattiti simili in matematica.
Sviluppo Storico
La storia della logica nella filosofia occidentale abbraccia oltre due millenni, dal sillogismo aristotelico agli sviluppi contemporanei nelle logiche modali e non classiche.
La Logica Sillogistica di Aristotele
Aristotele sistematizzò il ragionamento logico nel suo Organon, sviluppando la logica sillogistica: argomenti con due premesse e una conclusione che coinvolgono proposizioni categoriche (Tutti/Nessun/Alcuni S sono P).
Logica Medievale e Scolastica
I filosofi medievali raffinarono notevolmente la logica aristotelica, sviluppando teorie sofisticate della conseguenza, degli obblighi e dei paradossi semantici. Il loro lavoro fu riscoperto nel XX secolo.
La Mathesis Universalis di Leibniz
Gottfried Leibniz immaginò un linguaggio logico universale (characteristica universalis) che potesse esprimere tutta la conoscenza umana e risolvere dispute filosofiche attraverso il calcolo.
La Rivoluzione di Frege
Gottlob Frege creò la logica moderna dei predicati con quantificatori (∀, ∃), trasformando la logica in una disciplina matematica e abilitando l'analisi del ragionamento matematico.
Il Logicismo di Russell e Whitehead
Bertrand Russell e Alfred North Whitehead tentarono di ridurre tutta la matematica alla logica nei Principia Mathematica, influenzando profondamente sia la logica che la filosofia della matematica.
Il Circolo di Vienna e il Positivismo Logico
Il Circolo di Vienna usò la logica per analizzare il linguaggio scientifico e propose il principio di verificazione: le affermazioni significative devono essere o analiticamente vere o empiricamente verificabili.
Argomenti di Logica Filosofica
La logica filosofica applica strumenti logici a problemi filosofici, estendendo la logica classica per gestire modalità, tempo, obbligo, conoscenza e altro.
Logica Modale
Aggiunge operatori per la necessità (□) e la possibilità (◇) per analizzare concetti modali. 'Necessariamente P' (□P) significa che P è vero in tutti i mondi possibili. Essenziale per la metafisica e la filosofia del linguaggio.
Logica Temporale
Introduce operatori per passato, presente e futuro per formalizzare il ragionamento sul tempo. Usata nella filosofia del tempo e nell'informatica per specificare il comportamento dei sistemi nel tempo.
Logica Deontica
Logica dell'obbligo e del permesso. Gli operatori O (obbligatorio), P (permesso), F (proibito) formalizzano il ragionamento morale e legale. Affronta paradossi come gli obblighi contrari al dovere.
Logica Epistemica
Logica della conoscenza e della credenza. Gli operatori K (sa), B (crede) modellano stati epistemici. Analizza condizioni di conoscenza, conoscenza comune e paradossi epistemici come il paradosso della conoscibilità.
Logica Condizionale
Studia i condizionali controfattuali ('Se avesse piovuto, la partita sarebbe stata annullata') che non sono adeguatamente catturati dall'implicazione materiale. Cruciale per la causazione e la teoria della decisione.
Logica della Rilevanza
Rifiuta il principio che qualsiasi cosa segua da una contraddizione (ex falso quodlibet) e che le tautologie seguano da qualsiasi cosa. Richiede connessione logica tra premessa e conclusione.
Logica e Linguaggio
Il linguaggio naturale contiene struttura logica, ma la relazione tra forma grammaticale e forma logica è complessa. I filosofi usano la logica per analizzare il significato e le condizioni di verità.
Questioni come l'ambiguità di portata, le descrizioni definite e la presupposizione mostrano che la logica formale illumina ma non rispecchia perfettamente il linguaggio naturale.
Argomenti Chiave in Logica e Linguaggio
- Forma logica vs forma grammaticale: 'Qualche politico è onesto' ha una struttura logica diversa da quella suggerita dalla sua grammatica
- Ambiguità e portata: 'Tutti amano qualcuno' può significare ∀x∃y o ∃y∀x—strutture logiche diverse
- Descrizioni definite: L'analisi di Russell di 'Il re di Francia è calvo' come affermazione quantificata piuttosto che predicazione semplice
- Presupposizione: 'Il re di Francia è calvo' presuppone l'esistenza del re—distinta dall'asserzione
- Implicatura: Grice mostrò come il significato logico differisce dall'implicatura conversazionale (ciò che è comunicato implicitamente)
- Linguaggi naturali vs formali: I linguaggi formali sacrificano espressività per precisione; i linguaggi naturali sono più ricchi ma logicamente più disordinati
Analisi degli Argomenti
La logica fornisce strumenti per valutare gli argomenti—centrale per la metodologia filosofica. Distinguere argomenti validi da invalidi e argomenti solidi da non solidi è fondamentale per il pensiero critico.
Validità vs Solidità
Un argomento è valido se la conclusione segue logicamente dalle premesse (se le premesse sono vere, la conclusione deve essere vera). Un argomento è solido se è valido e ha premesse vere.
Argomenti Deduttivi vs Induttivi
Gli argomenti deduttivi mirano alla necessità logica—se le premesse sono vere, la conclusione deve essere vera. Gli argomenti induttivi mirano al supporto probabilistico—le premesse rendono la conclusione probabile ma non certa.
Ragionamento Abduttivo
Inferenza alla migliore spiegazione: date le prove, inferire l'ipotesi che le spiegherebbe meglio. Comune nella scienza e nel ragionamento quotidiano, sebbene logicamente non dimostrativo.
Logica Informale e Argomentazione
Studia gli argomenti in contesti di linguaggio naturale, incluse fallacie, strategie retoriche e schemi argomentativi. Complementa l'approccio simbolico della logica formale.
Paradossi nella Logica
I paradossi logici sono argomenti che sembrano derivare contraddizioni da premesse apparentemente accettabili usando ragionamenti apparentemente validi. Rivelano limiti e motivano raffinamenti dei sistemi logici.
Il Paradosso del Mentitore
Considera 'Questa frase è falsa.' Se è vera, allora è falsa (come afferma); se è falsa, allora è vera (poiché afferma di essere falsa). Un paradosso auto-referenziale che sfida la logica classica.
Il Paradosso di Russell
Sia R = {x : x ∉ x}. R ∈ R? Se sì, allora R ∉ R (per definizione); se no, allora R ∈ R (per definizione). Questo paradosso devastò la teoria ingenua degli insiemi.
Paradosso del Sorite (Paradosso del Mucchio)
Un granello non è un mucchio. Aggiungere un granello non crea un mucchio. Eppure alla fine abbiamo un mucchio. Questo paradosso della vaghezza sfida la bivalenza della logica classica (ogni affermazione è vera o falsa).
Paradosso di Curry
Se (se questa frase è vera, allora P), allora P. Se accettiamo questo condizionale, possiamo dimostrare qualsiasi affermazione P. Mostra problemi con l'auto-riferimento senza restrizioni nei condizionali.
Soluzioni e Implicazioni
Diversi paradossi suggeriscono diverse soluzioni: teoria dei tipi (Russell), lacune nei valori di verità (Mentitore), logica a più valori (Sorite), auto-riferimento ristretto (Curry). I paradossi guidano l'innovazione logica.
Sistemi Logici
Diversi sistemi logici fanno diverse assunzioni. La logica classica è standard, ma le logiche non classiche sfidano o modificano i suoi principi per ragioni teoriche o pratiche.
Logica Classica
Assume la bivalenza (ogni affermazione è vera o falsa), il terzo escluso (A ∨ ¬A), la non contraddizione (¬(A ∧ ¬A)), e i connettivi vero-funzionali standard. Il sistema predefinito in matematica.
Logiche Non Classiche
La logica intuizionista rifiuta il terzo escluso. La logica paraconsistente accetta alcune contraddizioni. Le logiche a più valori usano più di due valori di verità. Ciascuna affronta limitazioni della logica classica.
Pluralismo Logico
La visione che più sistemi logici possano essere ugualmente corretti, forse per diversi domini o scopi. Contrasta con il monismo logico (una logica vera). Un'area attiva di dibattito filosofico.