Metafisica Contemporanea
Descrizione della mappa mentale
La metafisica contemporanea rappresenta il tentativo rigoroso di analizzare la struttura fondamentale della realtà oltre l'apparenza empirica. A differenza della metafisica classica, si avvale degli strumenti della logica formale, della linguistica e dialoga costantemente con le scienze naturali. I problemi attuali spaziano dall'ontologia degli oggetti alla natura del tempo, dalla modalità alla causalità. Questo campo è caratterizzato da un dibattito acceso tra realisti e antirealisti, e tra approcci analitici e continentali. La mappa organizza le questioni centrali del XXI secolo, offrendo una panoramica delle posizioni dominanti come il fisicalismo, l'eternalismo e il realismo modale, evidenziando le implicazioni per la conoscenza umana e la scienza.
Cosa contiene questa mappa
Metafisica Contemporanea
La metafisica contemporanea rappresenta il tentativo rigoroso di analizzare la struttura fondamentale della realtà oltre l'apparenza empirica. A differenza della metafisica classica, si avvale degli strumenti della logica formale, della linguistica e dialoga costantemente con le scienze naturali. I problemi attuali spaziano dall'ontologia degli oggetti alla natura del tempo, dalla modalità alla causalità. Questo campo è caratterizzato da un dibattito acceso tra realisti e antirealisti, e tra approcci analitici e continentali. La mappa organizza le questioni centrali del XXI secolo, offrendo una panoramica delle posizioni dominanti come il fisicalismo, l'eternalismo e il realismo modale, evidenziando le implicazioni per la conoscenza umana e la scienza.
Ontologia e Impegno Ontologico
Questo ramo esplora cosa esiste realmente e quali criteri usiamo per affermare l'esistenza. Il concetto chiave è l'impegno ontologico, formulato da Quine: esistere significa essere il valore di una variabile quantificata in una teoria vera. Si dibatte se esistano solo entità concrete o anche astratti come numeri e proprietà. La questione della composizione mereologica chiede quando le parti formano un tutto. Le implicazioni toccano la scienza, la matematica e il senso comune. Se neghiamo gli oggetti composti, cambiamo la nostra visione del mondo quotidiano. Questo nodo si collega alla meta-metafisica regarding la legittimità stessa delle domande ontologiche e al linguaggio usato per descrivere la realtà.
Criterio di Quine
Willard Van Orman Quine ha rivoluzionato l'ontologia sostenendo che l'esistenza non è un predicato ma si rivela attraverso la quantificazione logica. Secondo il suo criterio, siamo impegnati ontologicamente verso tutte le entità che devono esistere affinché le nostre migliori teorie scientifiche siano vere. Questo sposta il dibattito dalla speculazione pura all'analisi delle teorie accettate. Tuttavia, critics obiettano che la logica non determina la realtà metafisica. L'implicazione pratica è che i filosofi devono guardare alla fisica per capire l'ontologia. Questo approccio naturalizzato collega strettamente metafisica e scienza, riducendo lo spazio per entità puramente speculative non necessarie alla spiegazione empirica.
Naturalismo Ontologico
Il naturalismo ontologico afferma che la filosofia non deve precedere la scienza ma seguirne i risultati. Se la fisica quantistica non richiede certe entità, la metafisica non dovrebbe postularle. Questa posizione riduce il rischio di speculazioni infondate ma limita l'autonomia della filosofia. Implica che l'ontologia è fallibile e revisabile come le teorie scientifiche. I sostenitori argue che solo ciò che ha effetti causali o è indispensabile alla scienza esiste. Questo crea tensioni con la matematica, dove gli oggetti astratti sembrano indispensabili ma privi di causalità fisica, generando il problema dell'accesso epistemico agli astratti.
Platonismo vs Nominalismo
Il dibattito centrale riguarda l'esistenza degli universali. I platonisti affermano che proprietà e numeri esistono indipendentemente dalle istanze particolari, in un regno astratto. I nominalisti negano gli universali, riducendo tutto a particolari o nomi linguistici. Questa distinzione è cruciale per la semantica e la scienza: se i numeri esistono, la matematica è scoperta; se sono nomi, è inventata. Le implicazioni toccano la verità delle proposizioni matematiche. Il platonismo offre stabilità alla verità ma pone problemi epistemici su come conosciamo gli astratti. Il nominalismo è più parsimonioso ma struggle a spiegare le similarità oggettive tra oggetti diversi senza ricorrere a proprietà condivise.
Composizione Mereologica
La mereologia studia le relazioni parte-tutto. Il problema della composizione speciale chiede: sotto quali condizioni alcune cose compongono un oggetto? Le risposte variano dal universalismo (tutte le composizioni esistono) al nichilismo (nessuna composizione esiste). La posizione del senso comune è restrittiva: solo alcune parti formano oggetti (es. atomi formano tavoli, ma non tavoli e lune insieme). Questo ha implicazioni per l'identità personale e la responsabilità. Se la composizione è vaga, l'esistenza stessa potrebbe essere vaga, violando il principio di bivalenza. Il dibattito influenza come concepiamo gli organismi viventi rispetto alle mere aggregazioni di materia, toccando etica e biologia.
Nichilismo Mereologico
Il nichilismo mereologico sostiene che non esistono oggetti composti, ma solo parti fondamentali (simples). Non esistono tavoli, solo particelle disposte table-wise. Questa visione elimina la vaghezza ontologica e i paradossi come quello del Sorite. Tuttavia, conflige radicalmente con il senso comune e il linguaggio quotidiano. Le implicazioni sono profonde: se non esistono persone come oggetti composti, la responsabilità morale e l'identità personale diventano problematiche. I nichilisti devono riformulare le affermazioni quotidiane come modi di parlare sulle disposizioni delle parti fondamentali. Questo approccio è ontologicamente parsimonioso ma costoso linguisticamente e intuitivamente.
Universalismo Mereologico
L'universalismo afferma che per ogni insieme di oggetti, esiste un oggetto che è la loro somma mereologica. Se esistono un naso e una luna, esiste l'oggetto 'naso-luna'. Questa posizione evita la vaghezza nella composizione: la composizione è sempre senza restrizioni. Semplifica la logica mereologica ma popola il mondo di oggetti bizzarri. Le implicazioni includono la negazione della distizione ontologica tra oggetti naturali e artificiali. Tutti gli aggregati hanno lo stesso status ontologico. Questo sfida l'intuizione che alcuni oggetti siano più 'reali' di altri. Si collega al perdurantismo, poiché spesso gli universalisti accettano anche somme temporali di oggetti, espandendo l'ontologia verso il quadridimensionalismo.
Oggetti Astratti
Gli oggetti astratti, come numeri, insiemi e proposizioni, non occupano spazio né tempo e non hanno potenza causale. La loro esistenza è problematica per il naturalismo. Se esistono, come li conosciamo senza interazione causale? Il platonismo li accetta come necessari per la verità matematica. L'antirealismo li tratta come finzioni utili. Questo nodo è cruciale per la filosofia della matematica e del linguaggio. Se le proposizioni esistono, hanno un valore di verità oggettivo. Le implicazioni toccano la semantica: il significato delle parole riferisce a entità astratte? La discussione si intreccia con l'impegno ontologico quineano, poiché le teorie scientifiche quantificano su numeri, suggerendo la loro esistenza reale nonostante la mancanza di causalità fisica.
Problema dell'Accesso
Il problema dell'accesso, formulato da Benacerraf, sfida il platonismo: se gli oggetti astratti sono acasuali e spaziotemporalmente distanti, come può la mente umana conoscerli? La conoscenza richiede usualmente una connessione causale. I platonisti rispondono con l'intuizione razionale o riducono la distanza epistemica. I nominalisti usano questo problema per negare gli astratti. Le implicazioni riguardano la affidabilità della matematica. Se non possiamo accedere agli oggetti matematici, la nostra credenza nelle teorie matematiche è giustificata? Questo dibattito spinge verso teorie strutturaliste o fictionaliste che evitano l'impegno ontologico pesante mantenendo la utilità pratica della matematica nella scienza empirica.
Fictionalismo Matematico
Il fictionalismo sostiene che le affermazioni matematiche sono false letteralmente ma utili come finzioni. I numeri non esistono, ma parlare come se esistessero facilita la scienza. Questa posizione evita il problema dell'accesso e riduce l'ontologia. Tuttavia, deve spiegare perché la matematica è così efficace nella descrizione del mondo fisico se è falsa. Le implicazioni sono semantiche: le frasi matematiche non vanno prese alla lettera. Si collega al nominalismo, offrendo una via per salvare le apparenze senza impegnarsi ontologicamente. I critici obiettano che la scienza sembra richiedere la verità della matematica, non solo la sua utilità strumentale, mettendo a rischio il realismo scientifico se la matematica è finzione.
Proprietà e Universali
Le proprietà sono ciò che gli oggetti hanno in comune (es. rossore). Gli universali sono entità ripetibili presenti in più luoghi simultaneamente. I tropi sono proprietà particularizzate, esistenti solo in un oggetto. Questo dibattito influenza la spiegazione delle leggi di natura e della similarità. Se non ci sono universali, la similarità è primitiva o linguistica. Le implicazioni toccano la scienza: le leggi governano universali o particolari? La posizione realista sugli universali (Armstrong) offre una base per le leggi nomologiche. Il nominalismo sui tropi evita entità ripetibili ma moltiplica le entità particolari. La scelta ontologica determina come concepiamo la struttura qualitativa della realtà e la possibilità di predizione scientifica basata su regolarità oggettive.
Teoria dei Tropi
La teoria dei tropi afferma che le proprietà sono particolari concreti, istanze uniche di qualità. Il rossore di questa mela è distinto dal rossore di quella mela. Evita gli universali trascendenti mantenendo un'ontologia di particolari. Spiega la similarità attraverso classi di tropi simili. Le implicazioni sono una ontologia più uniforme: tutto è particolare. Questo risolve problemi di istanziazione (come un universale è in un particolare?) ma introduce la questione di cosa fondi la similarità tra tropi. Si collega al nominalismo, offrendo una via media tra realismo platonico e nominalismo estremo. È popolare nella metafisica contemporanea per la sua parsimonia rispetto agli universali aristotelici o platonici.
Realismo degli Universali
Il realismo sostiene che gli universali esistono realmente e sono condivisi da diversi particolari. Armstrong propone universali immanenti, esistenti solo se istanziati. Questo fondamento spiega le leggi di natura come relazioni tra universali. Le implicazioni sono un forte realismo scientifico: le leggi non sono regolarità accidentali ma necessitazioni oggettive. Tuttavia, pone il problema di come gli universali si leghino ai particolari (il 'terzo uomo'). Si oppone al nominalismo, affermando che la similarità è oggettiva e non dipende dalla mente. Questa visione supporta l'idea che la scienza scopra strutture reali indipendenti dall'osservatore, rafforzando la validità ontologica delle categorie scientifiche fondamentali.
Tempo e Persistenza
La natura del tempo è uno dei problemi più complessi. Il dibattito centrale oppone l'A-series (passato, presente, futuro) alla B-series (prima, dopo, simultaneo). L'ontologia del tempo chiede se passato e futuro esistano quanto il presente. La persistenza riguarda come gli oggetti durano nel tempo: endurantismo (sono interi in ogni istante) vs perdurantismo (hanno parti temporali). Le implicazioni toccano il libero arbitrio e la morte. Se il futuro esiste, è aperto? Questo ramo si collega alla relatività generale, che suggerisce un blocco spaziotemporale. La metafisica del tempo deve conciliare l'esperienza fenomenologica del flusso con la struttura fisica statica dello spaziotempo, creando tensioni tra fisica e filosofia.
A-Series e B-Series
McTaggart distinse due modi di descrivere il tempo. L'A-series usa indici temporali (ora, ieri) e implica cambiamento reale. La B-series usa relazioni fisse (prima di, dopo) e non implica flusso. McTaggart argue che l'A-series è contraddittoria, quindi il tempo è irrealmente. I realisti del tempo difendono l'A-series come essenziale per l'esperienza. I sostenitori della B-series vedono il flusso come illusorio. Le implicazioni riguardano la verità delle proposizioni temporali. Se solo il presente esiste (presentismo), le frasi sul passato sono problematiche. La B-series si adatta meglio alla relatività, dove 'ora' è relativo all'osservatore, sfidando l'idea di un presente universale oggettivo condiviso da tutti gli osservatori inerziali.
Argumento di McTaggart
McTaggart sostenne che il tempo è irrealmente perché l'A-series genera contraddizione. Un evento è passato, presente e futuro, ma non simultaneamente. Per spiegare il cambiamento, serve un secondo tempo, leading to infinite regress. I critici obiettano che gli eventi possiedono queste proprietà in tempi diversi, non simultaneamente. Tuttavia, l'argomento rimane centrale per il dibattito sull'irrealismo temporale. Le implicazioni sono radicali: se valido, il cambiamento è illusorio. Questo supporta visioni statiche dell'universo. La risposta standard coinvolge la token-reflexivity delle affermazioni temporali, salvando la coerenza dell'A-series ma richiedendo una metafisica complessa per gestire le proprietà temporali variabili degli eventi nel corso della storia universale.
Teoria del Blocco
La teoria del blocco (B-theory) vede lo spaziotempo come un oggetto quadridimensionale statico. Passato, presente e futuro esistono equally. Il 'flusso' è un fenomeno psicologico, non ontologico. Si allinea con la relatività speciale, dove non c'è simultaneità assoluta. Le implicazioni sono deterministe: il futuro è già reale quanto il passato. Questo sfida il libero arbitrio libertario. Se il futuro esiste, le nostre scelte sono già fissate nel blocco. Tuttavia, i compatibilisti argue che la libertà è compatibile con la realtà del futuro. Questa visione elimina il privilegio ontologico del 'now', rendendo il tempo simile allo spazio, una dimensione tra le altre senza direzione intrinseca o movimento oggettivo attraverso di essa.
Endurantismo
L'endurantismo sostiene che gli oggetti persistono essendo interamente presenti in ogni momento della loro esistenza. Un oggetto è tridimensionale e si ripete nel tempo. Contrasta con il perdurantismo. Si adatta all'intuizione comune che siamo le stesse persone intere nel tempo. Tuttavia, affronta il problema del cambiamento: come può un oggetto avere proprietà incompatibili (essere caldo ora, freddo dopo)? La soluzione involve relazioni temporali alle proprietà. Le implicazioni toccano l'identità personale: se siamo interi ora, la nostra identità è stretta. Si collega al presentismo, poiché se solo il presente esiste, l'oggetto deve essere interamente presente ora. Questa visione preserva la nozione di sostanza classica ma richiede una logica delle proprietà temporanee complessa per evitare contraddizioni.
Problema del Cambiamento
Se un oggetto è interamente presente in ogni istante, come cambia proprietà senza contraddizione? Non può essere rosso e non-rosso. Gli endurantisti usano il 'temporalismo': le proprietà sono relazionate ai tempi (rosso-a-t1). I critici dicono questo riduce il cambiamento a variazione di relazioni, non di oggetti. Le implicazioni riguardano la natura intrinseca degli oggetti. Se le proprietà sono sempre relative al tempo, nulla è intrinsecamente qualificato. Questo sfida la visione aristotelica di sostanza. La soluzione richiede di distinguere tra proprietà temporanee e permanenti. Il dibattito mostra la difficoltà di conciliare l'identità diacronica con la variazione qualitativa senza ricorrere a parti temporali come fanno i perdurantisti per diluire la contraddizione.
Identità Diacronica
L'identità diacronica chiede cosa rende un oggetto lo stesso attraverso il tempo. Per gli endurantisti, è una relazione stretta di identità numerica. Non ci sono parti temporali diverse, solo lo stesso oggetto in tempi diversi. Questo supporta la responsabilità morale: sono io che ho agito ieri. Le implicazioni sono etiche e legali. Se l'identità non è stretta, la punizione è ingiusta. Tuttavia, i casi di sostituzione di parti (nave di Teseo) sfidano questa visione. Gli endurantisti devono stabilire criteri di continuità sostanziale. Si oppone alla visione perdurantista dove l'identità è relaxata (continuità psicologica o fisica tra parti). La posizione endurantista è più esigente ontologicamente ma più soddisfacente per la pratica umana e l'auto-comprensione.
Perdurantismo
Il perdurantismo (o quadridimensionalismo) vede gli oggetti come estesi nel tempo con parti temporali. Un oggetto è un 'worm' spaziotemporale. Non siamo interamente presenti ora, ma solo una parte temporale di noi. Risolve il problema del cambiamento: parti diverse hanno proprietà diverse. Si adatta alla relatività e alla teoria del blocco. Le implicazioni includono una visione frammentata dell'io. La persona è una serie di stati temporali. Questo sfida l'intuizione di unità personale. Tuttavia, spiega facilmente la persistenza attraverso il cambiamento qualitativo. Si collega all'eternalismo. La metafisica perdurantista tratta il tempo come una dimensione spaziale, riducendo la specialità del presente. È la visione dominante nella metafisica analitica contemporanea per la sua coerenza con la fisica moderna.
Parti Temporali
L'idea centrale è che gli oggetti hanno parti temporali come hanno parti spaziali. La mia mano di oggi è parte temporale di me. Questo permette di analizzare la persistenza come somma di parti. Risolve paradossi di composizione e cambiamento. Le implicazioni sono mereologiche: la persona è un aggregato temporale. Questo riduce il mistero dell'identità nel tempo a relazioni di continuità tra parti. Tuttavia, solleva questioni su quale parte sia 'cosciente'. Solo la parte presente? Se sì, l'io è effimero. Si collega al fisicalismo, trattando la mente come processo temporale. La teoria richiede di accettare che noi non esistiamo 'interamente' in nessun momento, ma solo come estensioni quadridimensionali complete attraverso la storia della nostra vita.
Eternalismo
L'eternalismo afferma che passato, presente e futuro esistono ugualmente. È la controparte ontologica del perdurantismo. Il tempo è simile allo spazio: 'qui' non è speciale come 'ora'. Supporta la relatività generale. Le implicazioni sono fataliste apparenti: il futuro è reale. Tuttavia, l'eternalismo non implica determinismo causale, solo ontologico. Le implicazioni emotive sono profonde: la morte non è cessazione totale ma limite temporale. I cari passati esistono ancora nel blocco. Si oppone al presentismo. Questa visione richiede di abbandonare l'idea di un 'divenire' oggettivo. La realtà è un blocco statico. La metafisica eternalista è coerente con la scienza ma in tensione con l'esperienza fenomenologica del flusso temporale e della libertà di modellare un futuro aperto.
Presentismo
Il presentismo sostiene che solo il presente esiste. Passato e futuro sono non-enti. Si allinea con l'esperienza comune del flusso. Tuttavia, conflige con la relatività speciale (nessun presente universale). I presentisti devono riformulare la verità sulle proposizioni passate. Se Napoleone non esiste, come è vero che ha perso a Waterloo? Usano operatori temporali o proprietà surrogate. Le implicazioni proteggono l'apertura del futuro e il libero arbitrio. Se il futuro non esiste, non è determinato. Si collega all'endurantismo. È ontologicamente parsimonioso (solo cose presenti) ma semanticamente costoso. Il dibattito evidenzia il conflitto tra fisica fondamentale e intuizione metafisica, costringendo a scegliere tra aderenza scientifica o aderenza fenomenologica nella descrizione della struttura temporale della realtà.
Verità sul Passato
Se solo il presente esiste, cosa rende vere le affermazioni sul passato? Non ci sono fatti passati. I presentisti usano proprietà presenti del mondo (tracce) o operatori logici temporali. Questo sfida la teoria correspondence della verità. Le implicazioni sono semantiche: la verità diventa dipendente dal presente. I critici argue che questo rende la storia arbitraria. Se non ci sono fatti passati, la verità è instabile. I presentisti rispondono che la verità è relativa al tempo. Questo richiede una logica temporale complessa. Si collega al problema dell'accesso epistemico al passato. Se il passato non esiste, la nostra conoscenza storica è inferenziale basata su tracce presenti, non su accesso diretto a fatti ontologicamente reali esistenti indipendentemente dalla memoria attuale.
Relatività e Presente
La relatività speciale nega la simultaneità assoluta. Due eventi simultanei per un osservatore non lo sono per un altro. Il presentismo richiede un presente universale. Questo crea un conflitto diretto. I presentisti devono negare la rilevanza metafisica della relatività o postulare un tempo privilegiato nascosto. Le implicazioni sono scientifiche: la metafisica ignora la fisica? O la fisica è incompleta? La maggior parte dei metafisici accetta la relatività, rendendo il presentismo difficile da sostenere. Alcuni propongono un presentismo relativizzato (esiste-per-x). Questo salva la posizione ma perde l'assolutezza dell'esistenza. Il dibattito mostra i limiti della metafisica a priori quando confrontata con risultati empirici consolidati sulla struttura dello spaziotempo fisico.
Modalità e Mondi Possibili
La metafisica modale studia necessità e possibilità. Cosa significa che qualcosa 'potrebbe' essere accaduto? I mondi possibili sono strumenti per analizzare i condizionali controfattuali. Il dibattito oppone il realismo modale (i mondi esistono realmente) all'attualismo (esiste solo il mondo attuale). Kripke ha introdotto la necessità a posteriori (es. l'acqua è H2O). Questo ramo è cruciale per la logica, la semantica e la scienza. Le implicazioni toccano l'essenzialismo: gli oggetti hanno proprietà necessarie? La teoria dei mondi possibili permette di definire la verità necessaria come verità in tutti i mondi. Questo formalizza il concetto di possibilità logica, distinguendolo dalla possibilità fisica, e struttura il ragionamento controfattuale usato nella decisione e nella causalità.
Realismo Modale Lewisiano
David Lewis sostenne che i mondi possibili sono entità concrete reali quanto il nostro mondo, ma spaziotemporalmente isolati. 'Possibile' significa 'esiste in qualche mondo'. Questa visione è parsimoniosa teoricamente (riduce la modalità a esistenza) ma costosa ontologicamente (infiniti mondi). Risolve problemi di controfattuali e proprietà. Le implicazioni sono radicali: ogni possibilità logica è realizzata da qualche parte. Questo elimina la contingenza radicale: tutto è necessario in senso ampio. Si oppone all'attualismo. I critici trovano inverosimile l'esistenza di mondi con unicorni. Tuttavia, la teoria offre una semantica potente per la logica modale. Il dibattito centrale è se il costo ontologico sia giustificato dal guadagno esplicativo nella analisi della modalità e della controfattualità.
Isolamento Spaziotemporale
Nel realismo lewisiano, i mondi non interagiscono causalmente. Sono isolati. Questo spiega perché non vediamo altri mondi. L'indice 'attuale' è indiciale: ogni mondo è attuale per i suoi abitanti. Non c'è un mondo privilegiato ontologicamente. Le implicazioni rendono l'attualità relativa. Non siamo speciali. Questo sfida l'antropocentrismo metafisico. Tuttavia, rende la conoscenza degli altri mondi problematica: come conosciamo entità causalmente isolate? Lewis usa l'analisi teorica. Si collega alla semantica dei controfattuali: 'se A, allora B' è vero se nei mondi più simili dove A è vero, B è vero. L'isolamento garantisce che la modalità non interferisca con la causalità del mondo attuale, mantenendo la coerenza scientifica.
Controfattuali
I condizionali controfattuali ('se avessi studiato, avrei passato') sono analizzati tramite mondi possibili. Sono veri se nel mondo possibile più simile all'attuale dove l'antecedente è vero, anche il conseguente è vero. Il realismo lewisiano offre una base ontologica per la 'similitudine'. Le implicazioni toccano la causalità e la decisione. Agiamo basandoci su cosa accadrebbe se agissimo diversamente. Senza mondi possibili, i controfattuali sono privi di verità. Questa analisi supporta la scienza, che usa modelli controfattuali per leggi. Si collega alla necessità: una legge è vera in tutti i mondi nomologicamente possibili. La teoria rende rigoroso il ragionamento ipotetico, fondamentale per l'etica, la pianificazione e la valutazione delle responsabilità morali.
Attualismo
L'attualismo nega l'esistenza reale di mondi possibili non attuali. Esiste solo il mondo attuale. I mondi possibili sono costrutti linguistici, insiemi di proposizioni o stati di cose massimali consistenti. Risponde al costo ontologico di Lewis. Mantiene l'intuizione che solo ciò che è attuale esiste. Tuttavia, deve spiegare la verità delle affermazioni modali senza entità modali reali. Usa 'mondi ersatz' (sostitutivi). Le implicazioni preservano l'unicità della realtà. La possibilità è una proprietà del mondo attuale (potenzialità). Si collega all'aristotelismo. Il dibattito riguarda la natura della possibilità: è reale o concettuale? L'attualismo è più compatibile con il senso comune ma richiede una semantica più complessa per gestire la quantificazione su oggetti non esistenti in mondi non attuali senza impegnarsi ontologicamente verso di essi.
Mondi Ersatz
I mondi ersatz sono rappresentazioni astratte (insiemi di proposizioni) che descrivono modi in cui il mondo potrebbe essere. Non sono concreti come in Lewis. Esistono come astratti nel mondo attuale. Questo riduce l'impegno ontologico. Le implicazioni sono semantiche: la verità modale dipende dalla consistenza logica di questi insiemi. Tuttavia, sorge il problema di come gli astratti rappresentino la realtà concreta. Serve una relazione di 'raffigurazione'. Si collega al platonismo. I critici argue che gli ersatz non catturano la ricchezza della possibilità concreta. Tuttavia, per gli attualisti, è il compromesso migliore. Permette di usare la logica dei mondi possibili senza accettare l'esistenza di universi paralleli concreti, mantenendo l'ontologia pulita.
Oggetti Non Esistenti
Come parlare di oggetti possibili che non esistono (es. un figlio che non ho avuto)? L'attualismo deve gestire la quantificazione su non-enti. Alcuni usano la teoria degli oggetti (Meinong), altri riducono gli oggetti possibili a proprietà del mondo attuale. Le implicazioni toccano la logica quantificata modale. Se quantifico su x, x deve esistere? I attualisti spesso negano che la quantificazione implichi esistenza attuale. Questo sfida il criterio di Quine. Si collega alla semantica dei nomi propri. Kripke argue che i nomi riferiscono rigidamente, anche in mondi dove l'oggetto non esiste. Questo crea tensioni tra riferimento e esistenza. La soluzione attualista richiede di distinguere tra esistere e essere oggetto di discorso, permettendo di ragionare su possibilità senza popolare l'ontologia di fantasmi.
Necessità A Posteriori
Kripke ha mostrato che alcune verità necessarie sono scoperte empiricamente (a posteriori). Es. 'L'acqua è H2O'. Una volta scoperto, è necessario in tutti i mondi. Distinzione tra epistemico e metafisico. Questo rompe il legame kantiano tra a priori e necessario. Le implicazioni sono huge per l'essenzialismo. Le sostanze hanno nature essenziali scopribili dalla scienza. Si collega al realismo scientifico. La metafisica non è solo analisi concettuale. Le implicazioni toccano l'identità: se l'acqua è H2O, non può essere XYZ. Questo fissa il riferimento rigidamente. Il dibattito riguarda se tutte le identità siano necessarie. Questa visione potenzia la scienza: le scoperte scientifiche rivelano strutture metafisiche necessarie della realtà, non solo regolarità contingenti osservate.
Designatori Rigidi
Un designatore rigido riferisce allo stesso oggetto in tutti i mondi possibili dove l'oggetto esiste. I nomi propri sono rigidi (Kripke). Le descrizioni definite no. Questo spiega perché 'Hesperus è Phosphorus' è necessario. Riferiscono allo stesso pianeta (Venere). Le implicazioni semantiche sono profonde: il significato non è la descrizione associata. Il riferimento è fissato causalmente. Si collega alla teoria causale del riferimento. Questo supporta la necessità a posteriori: se i nomi sono rigidi, le identità tra nomi sono necessarie. La teoria sfida il descrittivismo fregeano. Permette di separare ciò che sappiamo di un oggetto (epistemico) da ciò che l'oggetto è (metafisico), fondando l'essenzialismo moderno su basi linguistiche e logiche solide.
Essenzialismo degli Origini
Kripke sostiene che l'origine di un oggetto è essenziale. Una persona non potrebbe essere nata da genitori diversi. Un tavolo non potrebbe essere fatto di legno completamente diverso. Questa è una necessità metafisica scoperta empiricamente. Le implicazioni limitano la possibilità di trasmutazione. Non possiamo diventare qualcun altro. Si collega all'identità personale. Chi siamo dipende da da dove veniamo. I critici obiettano che questo è controintuitivo (potrei essere nato leggermente dopo). Tuttavia, l'essenzialismo degli origini fornisce criteri stabili di identità attraverso i mondi possibili. Rafforza l'idea che gli individui hanno una 'thisness' (haecceità) legata alla loro storia generativa specifica, non solo alle loro proprietà qualitative attuali.
Essenzialismo
L'essenzialismo afferma che gli oggetti hanno proprietà necessarie che li fanno essere ciò che sono. Senza di esse, non esisterebbero. Contrasta con l'esistenzialismo sartreano o il nominalismo estremo. Include l'essenzialismo di specie (uomo è animale razionale) o di origine. Le implicazioni toccano la classificazione scientifica. Le specie naturali hanno essenze? La biologia evolutiva sfida l'essenzialismo di specie (variazione). Tuttavia, l'essenzialismo microstrutturale (acqua è H2O) resiste. Si collega alla necessità a posteriori. Il dibattito riguarda se l'essenza sia interna o relazionale. L'essenzialismo fornisce stabilità ontologica al mondo, permettendo leggi naturali robuste. Senza essenze, la realtà è un flusso di proprietà accidentali senza struttura fondamentale necessaria.
Specie Naturali
Le specie biologiche hanno essenze? L'essenzialismo classico dice sì (DNA o funzione). Il darwinismo suggerisce no (popolazioni variabili). Putnam e Kripke supportano un essenzialismo microstrutturale. Le implicazioni toccano il realismo biologico. Se le specie non hanno essenze, sono costrutti umani? I metafisici moderni tendono a un essenzialismo debole o storico. L'essenza potrebbe essere la lineage evolutiva. Si collega alla metafisica della biologia. Questo dibattito mostra la tensione tra metafisica a priori e scienza empirica. L'essenzialismo deve adattarsi alla variabilità evolutiva. La soluzione potrebbe essere un essenzialismo di origine storica: appartieni alla specie se discendi da certi antenati, non per proprietà intrinseche fisse, salvando l'essenzialismo in forma relazionale.
Haecceità
L'haecceità è la proprietà di 'essere questo specifico individuo'. Distingue un oggetto da un altro qualitativamente identico. È un essenziale individualizzante. Supporta l'individualismo metafisico. Le implicazioni toccano il principio di identità degli indiscernibili. Se due oggetti hanno tutte le proprietà qualitative uguali, sono lo stesso? Con haecceità, no. Si collega alla meccanica quantistica (particelle indistinguibili). L'haecceità permette di contare oggetti senza differenze qualitative. È controversa: è una proprietà reale o logica? I realisti la usano per fondare l'identità personale. Sono io per la mia haecceità, non per le mie proprietà psicologiche. Questo garantisce l'unicità ontologica dell'individuo oltre le sue caratteristiche accidentali variabili nel tempo e nello spazio.
Causalità e Leggi di Natura
La causalità è il legame tra eventi. Hume la ridusse a regolarità costante. La metafisica contemporanea cerca di recuperare la necessità causale. Le leggi di natura governano l'universo: sono prescrittive o descrittive? Il dibattito oppone regolarità (Hume) a necessitarismo (Armstrong). Le disposizioni (poteri causali) sono tornate in auge. Le implicazioni toccano la scienza e il libero arbitrio. Se la causalità è solo regolarità, la spiegazione scientifica è debole. Se è necessità, il determinismo è forte. Questo ramo si collega alla modalità (leggi sono necessarie?) e al tempo (causa precede effetto?). La ricerca di un'ontologia della causalità visa a fondare la spiegazione scientifica su basi metafisiche robuste, evitando lo scetticismo humeano sulla connessione necessaria tra eventi distinti.
Regolarità Humeane
Hume sostenne che la causalità è solo successione costante di eventi, senza connessione necessaria osservabile. Le leggi sono generalizzazioni. Questa visione è empirista e parsimoniosa. Evita entità occulte come 'forze'. Tuttavia, non distingue tra leggi vere e coincidenze accidentali. Le implicazioni rendono la spiegazione scientifica descrittiva, non esplicativa profonda. Si collega al best system analysis (Lewis): le leggi sono le generalizzazioni che meglio sistematizzano i fatti. I critici argue che le leggi governano, non solo descrivono. Il dibattito riguarda se la natura abbia una struttura normativa. La visione humeana domina la filosofia della scienza empirista, ma la metafisica contemporanea cerca di superare i suoi limiti esplicativi reintroducendo poteri o necessità.
Best System Analysis
Lewis propose che le leggi di natura sono le regolarità che fanno parte del miglior sistema deduttivo (bilancio tra semplicità e forza) che descrive il mondo. Non c'è necessità metafisica, solo ottimizzazione descrittiva. Questo salva l'idea di legge senza entità modali. Le implicazioni rendono le leggi dipendenti dalle nostre capacità teoriche? No, sono oggettive rispetto ai fatti. Tuttavia, sono ridotte a fatti particolari. Si collega al supervenienza: le leggi supervengono sui fatti particolari. I critici dicono che questo non spiega perché le leggi supportano i controfattuali. Se sono solo regolarità, perché il futuro le seguirà? La teoria è elegante ma lascia un vuoto esplicativo sulla spinta dinamica della natura verso la regolarità osservata.
Problema dell'Induzione
Se la causalità è solo regolarità passata, perché credere che continuerà? Hume disse che non c'è giustificazione razionale, solo abitudine. Questo mina la scienza predittiva. I metafisici cercano fondamenti per l'induzione. Se le leggi sono necessarie, l'induzione è giustificata. Se sono regolarità, no. Le implicazioni sono epistemologiche. La scienza assume l'uniformità della natura. La metafisica della causalità cerca di garantire questa uniformità ontologicamente. Si collega al realismo scientifico. Se il realismo è vero, le leggi riflettono strutture reali che garantiscono la persistenza delle regolarità. Risolvere il problema dell'induzione richiede di passare da una visione humeana a una visione più robusta della connessione causale intrinseca agli eventi.
Necessitarismo Nomologico
Armstrong e altri sostengono che le leggi sono relazioni di necessitazione tra universali. N(F, G) significa che F necessita G. Questo spiega la regolarità e i controfattuali. Le leggi sono fatti universali. Le implicazioni sono un realismo forte sulle leggi. La natura ha vincoli interni. Si oppone all'humeanismo. Tuttavia, pone il problema: cosa fonda la necessitazione? È primitiva? Le implicazioni toccano il determinismo. Se le leggi necessitano, il futuro è fissato dal passato e dalle leggi. Si collega agli universali. Questa visione dà alla scienza un oggetto di studio robusto: le strutture necessarie della realtà. Il dibattito riguarda se la necessitazione sia intelligibile o solo un nome per il problema che dovrebbe risolvere, rischiando di essere una spiegazione circolare.
Relazione tra Universali
Le leggi non riguardano particolari ma universali. La gravità è una relazione tra massa e accelerazione come universali. Questo garantisce l'universalità delle leggi. Le implicazioni sono che le leggi esistono anche se non istanziate (potenzialmente). Si collega al platonismo sugli universali. I critici chiedono come gli universali 'forzino' i particolari. Armstrong introduce la necessitazione come universale di ordine superiore. Questo complica l'ontologia. Tuttavia, spiega perché le leggi supportano i controfattuali: la relazione vale in tutti i mondi dove gli universali esistono. La teoria offre una metafisica della scienza dove le leggi sono attive, non passive, fornendo il 'governo' della natura che l'humeanismo nega.
Leggi e Controfattuali
Le leggi supportano condizionali controfattuali ('se avessi lasciato cadere, sarebbe caduto'). Le mere regolarità no. Il necessitarismo spiega questo: la necessità della legge garantisce il risultato in scenari ipotetici. Le implicazioni sono cruciali per la pianificazione e la scienza sperimentale. Testiamo leggi variando condizioni. Se le leggi fossero accidenti, l'esperimento non garantirebbe nulla. Si collega alla modalità. Le leggi sono necessarie in senso nomologico. Questo distingue leggi da generalizzazioni vere per caso. La capacità di supportare controfattuali è il marchio della legge. La metafisica deve quindi fornire un fondamento ontologico per questa capacità, che il necessitarismo offre tramite la relazione interna tra proprietà universali.
Disposizioni e Poteri
Le disposizioni sono proprietà che predispongono un oggetto a comportarsi in certo modo in certe condizioni (es. fragilità). Il dispositions realism (pandisposizionalismo) vede tutte le proprietà come poteri causali. La realtà è attiva. Contrasta con la visione categorica (proprietà inerti). Le implicazioni sono una ontologia dinamica. La causalità è intrinseca agli oggetti. Si collega all'aristotelismo. Risolve il problema dell'inattività humeana. Tuttavia, richiede di accettare poteri non manifestati. Le implicazioni toccano la scienza: le proprietà scientifiche (carica) sono poteri. Questa visione rende la causalità trasparente: gli oggetti agiscono per la loro natura. Il dibattito riguarda se tutte le proprietà siano disposizionali o se ci sia un fondo categorico inerte.
Pandisposizionalismo
Tutte le proprietà sono puramente disposizionali. Non c'è substrato inerte. La realtà è una rete di poteri. Questo evita il dualismo proprietà/potere. Le implicazioni sono una visione processuale della materia. Gli oggetti sono nodi di attività. Si collega alla fisica quantistica (campi come poteri). I critici obiettano che se tutto è potere, cosa esercita il potere? Serve un portatore. I pandisposizionalisti rispondono che il potere è auto-sufficiente. Questo sfida la visione classica di sostanza. La teoria offre una spiegazione naturale della causalità: le cose agiscono perché sono ciò che sono. Rende la natura intrinsecamente dinamica, eliminando il mistero di come proprietà inerti producano effetti, ma solleva questioni sulla stabilità ontologica degli oggetti.
Proprietà Categoriche
Le proprietà categoriche sono qualitative e inerti, distinte dai poteri. La fragilità è basata sulla struttura molecolare (categorica). Questa visione dualista (o monista categorica) è tradizionale. Le implicazioni separano l'essere dall'agire. La causalità è esterna (leggi). Si collega all'humeanismo. I critici dicono che rende la causalità misteriosa: come l'inerte causa? I sostenitori argue che i poteri richiedono basi categoriche. Il dibattito riguarda la priorità ontologica. La scienza moderna tende a vedere le proprietà come poteri (carica, massa). La visione categorica preserva una ontologia statica di stati di cose. La scelta determina se la causalità è interna alla natura degli oggetti o imposta dall'esterno tramite leggi di natura.
Causalità Mentale
Come può la mente causare effetti fisici? Il fisicalismo chiude il mondo fisico (ogni effetto fisico ha causa fisica). Se la mente è distinta, è epifenomenale (senza effetti). Se causa, viola la chiusura. Le soluzioni includono l'identità mente-cervello o la supervenienza. Le implicazioni toccano il libero arbitrio e la responsabilità. Se la mente non causa, siamo automi. Si collega alla filosofia della mente. Il dibattito è cruciale per l'azione umana. La metafisica deve spiegare come proprietà mentali (credere) causino azioni fisiche (muovere braccio) senza violare le leggi fisiche. Questo richiede una teoria della causalità che permetta livelli diversi di descrizione senza duplicazione causale o esclusione.
Principio di Chiusura
Ogni evento fisico ha una causa fisica sufficiente. Se la mente causa un evento fisico, ci sono due cause (sovradeterminazione) o la mente è fisica. La sovradeterminazione è implausibile sistematica. Quindi la mente deve essere fisica o inefficace. Le implicazioni spingono verso il fisicalismo. Se la mente è distinta, è esclusa causalmente. Si collega all'argomento dell'esclusione di Kim. I non riduttivi devono spiegare come la mente causi senza violare la chiusura. Soluzioni includono la realizzazione: la mente realizza stati fisici che causano. Questo preserva l'efficacia mentale riducendola a efficacia fisica sottostante. Il principio è un pilastro del fisicalismo contemporaneo, limitando le opzioni per il dualismo sostanziale.
Epifenomenismo
L'epifenomenismo sostiene che gli stati mentali sono effetti di processi fisici ma non hanno effetti causali. La coscienza è un fumo senza fuoco. Risolve il problema della chiusura fisica. Tuttavia, rende la mente evolutivamente inutile. Perché esiste se non fa nulla? Le implicazioni sono scettiche sull'agency. Non agiamo per ragioni, ma per cause fisiche. Si collega al dualismo di proprietà. I critici lo trovano controintuitivo: sentiamo di causare azioni. I sostenitori argue che l'illusione è necessaria. La metafisica deve accettare che la causalità fenomenologica non è causalità ontologica. Questa posizione è extrema ma logicamente coerente con un fisicalismo stretto che nega qualsiasi potere causale alle proprietà emergenti non fisiche.
Mente e Fisicalismo
Il problema mente-corpo domina la metafisica della mente. Il fisicalismo è la posizione dominante: tutto è fisico o superviene sul fisico. Tuttavia, i qualia (esperienze soggettive) sfidano la riduzione. Il problema difficile della coscienza (Chalmers) chiede perché c'è esperienza. Le soluzioni variano dal riduzionismo al panpsichismo. Le implicazioni toccano l'identità personale e l'IA. Se la mente è fisica, le macchine possono pensare? Questo ramo si collega alla causalità (mente causa?) e all'ontologia (cosa è il fisico?). La metafisica cerca di integrare la coscienza nel quadro naturale senza negarne la realtà. Il dibattito definisce i limiti del naturalismo e la possibilità di una scienza della coscienza oggettiva.
Fisicalismo Non Riduttivo
Il fisicalismo non riduttivo afferma che tutto è fisico, ma le proprietà mentali non sono riducibili a proprietà fisiche specifiche (realizzazione multipla). La mente superviene sul fisico. Cambiamenti mentali richiedono cambiamenti fisici. Le implicazioni salvano l'autonomia della psicologia. Le leggi mentali non sono leggi fisiche. Si collega al funzionalismo. Tuttavia, affronta il problema dell'esclusione causale. Se il fisico basta, la mente è esclusa. I sostenitori usano la realizzazione: la mente causa in virtù del fisico. Questa posizione è il compromesso standard: ontologia fisica, autonomia speciale. Permette di studiare la mente senza ridurla a neuroscienza, mantenendo il commitment ontologico verso la fisica fondamentale come base di tutta la realtà esistente.
Problema Difficile
Chalmers distingue problemi facili (spiegare funzioni) dal problema difficile (perché c'è esperienza soggettiva?). La fisica spiega strutture, non qualia. Questo gap esplicativo suggerisce che il fisicalismo è falso o incompleto. Le implicazioni sono dualiste o panpsichiste. Se la fisica non spiega la coscienza, serve nuova ontologia. Si collega all'argomento della conoscenza (Mary la scienziata). Mary sa tutto sulla fisica ma non sa com'è vedere il rosso. Quindi la fisica non è tutto. Il dibattito divide i metafisici: o il fisicalismo deve espandersi, o la coscienza è fondamentale. Questo problema mette in crisi il naturalismo chiuso, suggerendo che la realtà potrebbe includere fatti fenomenici irriducibili ai fatti fisici strutturali.
Panpsichismo
Il panpsichismo afferma che la coscienza è fondamentale e ubiqua. La materia ha aspetti mentali. Risolve il problema difficile: la coscienza non emerge dal non-mentale. Le implicazioni sono animistiche ma naturalizzate. La coscienza è una proprietà di base come la massa. Si collega al neutral monism. Evita l'emergenza magica. I critici dicono che è inverosimile (i sassi pensano?). I sostenitori distinguono coscienza complessa da proto-coscienza. Questa visione guadagna popolarità per la crisi del fisicalismo. Offre una ontologia integrata dove mente e materia sono due aspetti della stessa sostanza fondamentale. Rende la coscienza compatibile con la fisica senza ridurla, postulando una presenza mentale minima a livello fondamentale della realtà.
Funzionalismo
Il funzionalismo definisce gli stati mentali per il loro ruolo causale, non per la costituzione fisica. Un dolore è ciò che causa gemiti e evitamento. Realizzazione multipla: diversi fisici possono realizzare la stessa mente. Le implicazioni permettono IA cosciente. Non serve cervello biologico, serve la funzione. Si collega alla scienza cognitiva. Tuttavia, affronta il problema dei qualia (zombie filosofici). Un sistema funzionale potrebbe non avere esperienza. Il funzionalismo spiega l'intenzionalità ma non la fenomenologia. È la teoria dominante per la mente cognitiva, ma debole per la coscienza. La metafisica funzionalista tratta la mente come software, separabile dall'hardware fisico, permettendo una ontologia mentale basata sulla struttura relazionale piuttosto che sulla sostanza materiale.
