Ontologia - Ontology

Parmenide fu tra i primi a proporre una caratterizzazione ontologica della natura fondamentale della realtà.

L'ontologia è la branca della filosofia che studia concetti come esistenza , essere , divenire e realtà . Include le domande su come le entità sono raggruppate in categorie di base e quali di queste entità esistono al livello più fondamentale. L'ontologia è talvolta indicata come la scienza dell'essere e appartiene al ramo principale della filosofia noto come metafisica .

Gli ontologi spesso cercano di determinare quali sono le categorie oi tipi più elevati e come formano un sistema di categorie che fornisce una classificazione comprensiva di tutte le entità. Le categorie comunemente proposte includono sostanze , proprietà , relazioni , stati di cose ed eventi . Queste categorie sono caratterizzate da concetti ontologici fondamentali, come particolarità e universalità , astrattezza e concretezza , o possibilità e necessità . Di particolare interesse è il concetto di dipendenza ontologica , che determina se le entità di una categoria esistono al livello più fondamentale . I disaccordi all'interno dell'ontologia spesso riguardano l'esistenza di entità appartenenti a una determinata categoria e, in tal caso, il modo in cui sono correlate ad altre entità.

Quando usati come sostantivi numerabili , i termini "ontologia" e "ontologie" si riferiscono non alla scienza dell'essere ma alle teorie all'interno della scienza dell'essere . Le teorie ontologiche possono essere suddivise in vari tipi a seconda dei loro impegni teorici. Le ontologie monocategoriali sostengono che esiste una sola categoria di base, che viene rifiutata dalle ontologie policategoriali . Le ontologie gerarchiche affermano che alcune entità esistono a un livello più fondamentale e che altre entità dipendono da esse. Le ontologie piatte , invece, negano tale status privilegiato a qualsiasi entità.

Etimologia

La parola composta ontologia ("studio dell'essere") combina

on - ( greco : ὄν , on ; GEN . ὄντος , ontos , 'essere' o 'ciò che è') e
-logia ( -λογία , 'discorso logico').

Mentre l' etimologia è greca, le più antiche registrazioni esistenti della parola stessa, apparve la nuova forma latina ontologia

nel 1606 nell'Ogdoas Scholastica di Jacob Lorhard ( Lorhardus ), e
nel 1613 nel Lexicon philosophicum di Rudolf Göckel ( Goclenius ).

La prima occorrenza in inglese dell'ontologia , come registrato dall'Oxford English Dictionary , avvenne nel 1664 attraverso Archelogia philosophica nova... di Gideon Harvey La parola fu usata per la prima volta, nella sua forma latina, dai filosofi e basata sulle radici latine ( e a loro volta su quelli greci).

Panoramica

L'ontologia è strettamente associato con la domanda di Aristotele di 'essere qua dell'essere': la questione di cosa tutte le entità in senso lato hanno in comune. Il principio eleatico è una risposta a questa domanda: afferma che l'essere è indissolubilmente legato alla causalità, che "il potere è il segno dell'essere". Un problema con questa risposta è che esclude gli oggetti astratti. Un'altra risposta esplicita ma poco accettata si trova nello slogan di Berkeley che "essere è essere percepito". Intimamente legato, ma non identica alla domanda di 'essere qua essere' è il problema di categorie . Le categorie sono generalmente viste come i generi o generi più elevati. Un sistema di categorie prevede una classificazione delle entità esclusiva ed esaustiva: ogni entità appartiene esattamente a una categoria. Sono state proposte varie classificazioni di questo tipo, che spesso includono categorie per sostanze , proprietà , relazioni , stati di cose o eventi . Al centro della differenziazione tra categorie vi sono vari concetti e distinzioni ontologiche fondamentali, ad esempio i concetti di particolarità e universalità , di astrattezza e concretezza , di dipendenza ontologica , di identità e di modalità . Questi concetti sono talvolta trattati come categorie stesse, sono usati per spiegare la differenza tra categorie o giocano altri ruoli centrali per caratterizzare diverse teorie ontologiche. All'interno dell'ontologia, manca un consenso generale su come definire le diverse categorie. Diversi ontologi spesso non sono d'accordo sul fatto che una certa categoria abbia dei membri o se una determinata categoria sia fondamentale.

Particolari e universali

I particolari o gli individui sono solitamente contrapposti agli universali . Gli universali riguardano caratteristiche che possono essere esemplificate da vari particolari differenti. Ad esempio, un pomodoro e una fragola sono due particolari che esemplificano il rossore universale. Gli universali possono essere presenti contemporaneamente in vari luoghi distinti nello spazio, mentre i particolari sono limitati a un luogo alla volta. Inoltre, gli universali possono essere pienamente presenti in momenti diversi, motivo per cui a volte vengono indicati come ripetibili in contrasto con i particolari non ripetibili. Il cosiddetto problema degli universali è il problema di spiegare come cose diverse possano concordare nelle loro caratteristiche, ad esempio come un pomodoro e una fragola possano essere entrambi rossi. I realisti sugli universali credono che ci siano universali. Possono risolvere il problema degli universali spiegando la comunanza attraverso un universale condiviso da entrambe le entità. I realisti sono divisi tra loro sul fatto che gli universali possano esistere indipendentemente dall'essere esemplificati da qualcosa ("ante res") o meno ("in rebus"). I nominalisti , d'altra parte, negano che ci siano universali. Devono ricorrere ad altre nozioni per spiegare come una caratteristica può essere comune a più entità, ad esempio postulando o relazioni di somiglianza fondamentali tra le entità (nominalismo di somiglianza) o un'appartenenza condivisa a una classe naturale comune (nominalismo di classe).

Astratto e concreto

Molti filosofi concordano sull'esistenza di una distinzione esclusiva ed esaustiva tra oggetti concreti e oggetti astratti . Alcuni filosofi considerano questa la divisione più generale dell'essere. Esempi di oggetti concreti includono piante, esseri umani e pianeti mentre cose come numeri, insiemi e proposizioni sono oggetti astratti. Ma nonostante l'accordo generale sui casi paradigmatici, c'è meno consenso su quali siano i segni caratteristici della concretezza e dell'astrattezza. I suggerimenti popolari includono la definizione della distinzione in termini di differenza tra (1) esistenza all'interno o all'esterno dello spazio-tempo, (2) avere cause ed effetti o meno e (3) avere un'esistenza contingente o necessaria.

Dipendenza ontologica

Un'entità dipende ontologicamente da un'altra entità se la prima entità non può esistere senza la seconda entità. Le entità ontologicamente indipendenti, d'altra parte, possono esistere da sole. Ad esempio, la superficie di una mela non può esistere senza la mela e quindi dipende da essa ontologicamente. Le entità spesso caratterizzate come ontologicamente dipendenti includono proprietà, che dipendono dai loro portatori, e confini, che dipendono dall'entità che delimitano dall'ambiente circostante. Come suggeriscono questi esempi, la dipendenza ontologica va distinta dalla dipendenza causale, in cui un effetto dipende per la sua esistenza da una causa. Spesso è importante fare una distinzione tra due tipi di dipendenza ontologica: rigida e generica. La dipendenza rigida riguarda la dipendenza da un'entità specifica, poiché la superficie di una mela dipende dalla sua mela specifica. La dipendenza generica, invece, implica una forma più debole di dipendenza, solo da un certo tipo di entità. Ad esempio, l'elettricità dipende genericamente dalla presenza di particelle cariche, ma non dipende da alcuna particella carica specifica. Le relazioni di dipendenza sono rilevanti per l'ontologia poiché si ritiene spesso che le entità ontologicamente dipendenti abbiano una forma d'essere meno robusta. In questo modo si introduce nel mondo una gerarchia che porta con sé la distinzione tra entità più e meno fondamentali.

Identità

L'identità è un concetto ontologico di base che è spesso espresso dalla parola "stesso". È importante distinguere tra identità qualitativa e identità numerica . Ad esempio, considera due bambini con biciclette identiche impegnati in una gara mentre la madre sta guardando. I due bambini hanno la stessa bicicletta in un senso ( identità qualitativa ) e la stessa madre in un altro senso ( identità numerica ). Spesso si dice che due cose qualitativamente identiche sono indiscernibili. I due sensi di identità sono legati da due principi: il principio di indiscernibilità degli identici e il principio di identità degli indiscernibili . Il principio di indiscernibilità degli identici è incontrovertibile e afferma che se due entità sono numericamente identiche tra loro, allora si assomigliano esattamente. Il principio di identità degli indiscernibili , d'altra parte, è più controverso nel sostenere l'inverso che se due entità si assomigliano esattamente, allora devono essere numericamente identiche. Ciò implica che "non esistono due cose distinte che si somigliano esattamente". Un noto controesempio ci viene da Max Black , che descrive un universo simmetrico formato da due sole sfere con le stesse caratteristiche. Black sostiene che le due sfere sono indiscernibili ma non identiche, costituendo così una violazione del principio di identità degli indiscernibili .

Il problema dell'identità nel tempo riguarda la questione della persistenza : se o in che senso due oggetti in tempi diversi possano essere numericamente identici . Questo è di solito indicato come identità diacronica in contrasto con l' identità sincronica . L'affermazione che "[t]e tavolo nella stanza accanto è identico a quello che hai acquistato l'anno scorso" afferma l'identità diacronica tra il tavolo ora e il tavolo allora. Un famoso esempio di negazione dell'identità diacronica viene da Eraclito , il quale sostiene che è impossibile entrare due volte nello stesso fiume a causa dei cambiamenti avvenuti nel mezzo. La posizione tradizionale sul problema della persistenza è l' endurantismo , la tesi che l'identità diacronica in senso stretto è possibile. Un problema con questa posizione è che sembra violare il principio di indiscernibilità degli identici : l'oggetto può aver subito cambiamenti nel frattempo risultando distinguibile da se stesso. Il perdurantismo o quadridimensionalismo è un approccio alternativo che sostiene che l' identità diacronica è possibile solo in senso lato: mentre i due oggetti differiscono l'uno dall'altro in senso stretto, sono entrambi parti temporali che appartengono allo stesso insieme temporalmente esteso. Il perdurantismo evita molti problemi filosofici che affliggono l' endurantismo , ma l' endurantismo sembra essere più in contatto con il modo in cui normalmente concepiamo l' identità diacronica .

Modalità

La modalità riguarda i concetti di possibilità, attualità e necessità. Nel discorso contemporaneo, questi concetti sono spesso definiti in termini di mondi possibili . Un mondo possibile è un modo completo di come sarebbero potute essere le cose. Il mondo reale è un mondo possibile tra gli altri: le cose avrebbero potuto essere diverse da come sono realmente. Una proposizione è possibilmente vera se c'è almeno un mondo possibile in cui è vera; è necessariamente vero se è vero in tutti i mondi possibili. Attualisti e possibilisti non sono d'accordo sullo status ontologico dei mondi possibili. Gli attualisti ritengono che la realtà sia fondamentalmente attuale e che i mondi possibili dovrebbero essere compresi in termini di entità reali, ad esempio come finzioni o come insiemi di frasi. I possibilisti, d'altra parte, assegnano ai mondi possibili lo stesso statuto ontologico fondamentale del mondo attuale. Questa è una forma di realismo modale , ritenendo che la realtà abbia caratteristiche irriducibilmente modali . Un'altra questione importante in questo campo riguarda la distinzione tra esseri contingenti e necessari . Gli esseri contingenti sono esseri la cui esistenza è possibile ma non necessaria. Gli esseri necessari, d'altra parte, non potevano non esistere. È stato suggerito che questa distinzione è la più alta divisione dell'essere.

Sostanze

La categoria delle sostanze ha giocato un ruolo centrale in molte teorie ontologiche nel corso della storia della filosofia. "Sostanza" è un termine tecnico all'interno della filosofia da non confondere con l'uso più comune nel senso di sostanze chimiche come l'oro o lo zolfo. Varie definizioni sono state date ma tra le più caratteristiche comuni attribuiti alle sostanze nel senso filosofico è che sono particolari che sono ontologicamente indipendenti : sono in grado di esistere da soli. Essendo ontologicamente indipendenti, le sostanze possono svolgere il ruolo di entità fondamentali nella gerarchia ontologica . Se l'"indipendenza ontologica" è definita come l'inclusione dell'indipendenza causale, allora solo le entità auto-causate, come il Dio di Spinoza, possono essere sostanze. Con una definizione specificamente ontologica di "indipendenza", molti oggetti di uso quotidiano come libri o gatti possono essere qualificati come sostanze. Un'altra caratteristica spesso attribuita alle sostanze è la loro capacità di subire dei cambiamenti . I cambiamenti implicano qualcosa che esiste prima , durante e dopo il cambiamento. Possono essere descritti in termini di una sostanza persistente che acquista o perde proprietà, o di una materia che cambia forma . Da questo punto di vista, la maturazione di un pomodoro può essere descritta come un cambiamento in cui il pomodoro perde il suo colore verde e acquista il suo colore rosso. A volte si ritiene che una sostanza possa avere una proprietà in due modi: essenzialmente e accidentalmente . Una sostanza può sopravvivere a un cambiamento di proprietà accidentali ma non può perdere le sue proprietà essenziali , che ne costituiscono la natura.

Proprietà e relazioni

La categoria delle proprietà è costituita da entità che possono essere esemplificate da altre entità, ad esempio da sostanze. Le proprietà caratterizzano i loro portatori, esprimono com'è il loro portatore. Ad esempio, il colore rosso e la forma rotonda di una mela sono proprietà di questa mela. Sono stati suggeriti vari modi per concepire le proprietà stesse e la loro relazione con le sostanze. La visione tradizionalmente dominante è che le proprietà sono universali che ineriscono ai loro portatori. In quanto universali, possono essere condivisi da diverse sostanze. I nominalisti, d'altra parte, negano che esistano gli universali. Alcuni nominalisti cercano di spiegare le proprietà in termini di relazioni di somiglianza o appartenenza a una classe. Un'altra alternativa per i nominalisti è concettualizzare le proprietà come semplici particolari, i cosiddetti tropi . Questa posizione implica che sia la mela che il suo rossore siano particolari. Mele diverse possono ancora assomigliarsi esattamente l'una all'altra per quanto riguarda il loro colore, ma non condividono la stessa particolare proprietà da questo punto di vista: i due colori-tropi sono numericamente distinti . Un'altra questione importante per qualsiasi teoria delle proprietà è come concepire la relazione tra un portatore e le sue proprietà. I teorici del substrato sostengono che esiste una sorta di sostanza, substrato o particolare nudo che funge da portatore. La teoria dei bundle è una visione alternativa che elimina completamente un substrato: gli oggetti sono considerati solo un insieme di proprietà. Sono tenuti insieme non da un substrato ma dalla cosiddetta relazione di compresenza responsabile dell'affastellamento. Sia la teoria del substrato che la teoria dei fasci possono essere combinate con la concettualizzazione delle proprietà come universali o come particolari.

Un'importante distinzione tra le proprietà è tra proprietà categoriali e disposizionali . Le proprietà categoriche riguardano l'aspetto di una cosa, ad esempio le qualità che ha. Le proprietà disposizionali, d'altra parte, riguardano quali poteri ha qualcosa, cosa è in grado di fare, anche se in realtà non lo sta facendo. Ad esempio, la forma di una zolletta di zucchero è una proprietà categorica mentre la sua tendenza a dissolversi in acqua è una proprietà disposizionale. Per molte proprietà manca un consenso su come classificarle, ad esempio se i colori sono proprietà categoriali o disposizionali. Il categorismo è la tesi che a livello fondamentale ci siano solo proprietà categoriali, che le proprietà disposizionali siano o inesistenti o dipendenti da proprietà categoriali. Il disposizionalismo è la teoria opposta, che dà il primato ontologico alle proprietà disposizionali. Tra questi due estremi, ci sono dualisti che ammettono proprietà sia categoriche che disposizionali nella loro ontologia.

Le relazioni sono modi in cui le cose, i relata, stanno l'una con l'altra. Le relazioni sono per molti versi simili alle proprietà in quanto entrambe caratterizzano le cose a cui si applicano. Le proprietà sono talvolta trattate come un caso speciale di relazioni che coinvolgono un solo relatum. Centrale per l'ontologia è la distinzione tra relazioni interne ed esterne . Una relazione è interna se è completamente determinata dalle caratteristiche della sua relata. Ad esempio, una mela e un pomodoro stanno nella relazione interna di somiglianza tra loro perché sono entrambi rossi. Alcuni filosofi ne hanno dedotto che le relazioni interne non hanno un proprio statuto ontologico in quanto possono essere ridotte a proprietà intrinseche. Le relazioni esterne , d'altra parte, non sono fissate dalle caratteristiche dei loro relata. Ad esempio, un libro si trova in una relazione esterna con un tavolo giacendoci sopra. Ma questo non è determinato dalle caratteristiche del libro o del tavolo come il colore, la forma, ecc.

Stati di cose ed eventi

Gli stati di cose sono entità complesse, in contrasto con sostanze e proprietà, che di solito sono concepite come semplici. Le entità complesse sono costituite da o costituite da altre entità. Gli stati di cose atomici sono costituiti da un particolare e da una proprietà esemplificata da questo particolare. Ad esempio, lo stato di cose che Socrate è saggio è costituito dal particolare "Socrate" e dalla proprietà "saggio". Gli stati di cose relazionali coinvolgono diversi particolari e una relazione che li collega. Stati di cose che ottengono sono anche denominati come i fatti . È controverso quale statuto ontologico debba essere attribuito a stati di cose che non si verificano. Gli stati di cose sono stati importanti nell'ontologia del XX secolo poiché sono state proposte varie teorie per descrivere il mondo come composto da stati di cose. Si sostiene spesso che gli stati di cose svolgano il ruolo di produttori di verità : i giudizi o le asserzioni sono vere perché si ottiene lo stato di cose corrispondente.

Gli eventi si svolgono nel tempo, a volte si pensa che implichino un cambiamento nella forma dell'acquisizione o della perdita di una proprietà, come il fatto che il prato si stia seccando. Ma da un punto di vista liberale, il mantenimento di una proprietà senza alcun cambiamento può anche essere considerato un evento, ad esempio il fatto che il prato rimanga bagnato. Alcuni filosofi vedono gli eventi come universali che possono ripetersi in tempi diversi, ma la visione più dominante è che gli eventi sono particolari e quindi non ripetibili. Alcuni eventi sono complessi in quanto sono composti da una sequenza di eventi, spesso definita come un processo. Ma anche eventi semplici possono essere concepiti come entità complesse che coinvolgono un oggetto, un tempo e la proprietà esemplificata dall'oggetto in questo momento. La cosiddetta filosofia del processo o ontologia del processo attribuisce il primato ontologico ai cambiamenti e ai processi in contrasto con l'enfasi sull'essere statico nella metafisica tradizionalmente dominante della sostanza.

Realtà delle cose

La parola "reale" deriva dalla parola latina res , che viene spesso tradotta come "cosa". La parola "cosa" è spesso usata nel discorso ontologico come se avesse un significato presupposto, non necessitando di un'esplicita definizione filosofica perché appartiene al linguaggio ordinario. Tuttavia, ciò che è una cosa e ciò che è reale o sostanziale sono preoccupazioni dell'ontologia. Si hanno opinioni diverse su questo. Platone ha proposto che alla base, e che costituiscono la base reale del mondo concretamente sperimentato, ci siano " forme " o "idee", che oggi sono generalmente considerate alte astrazioni. In passato, i filosofi usavano il termine " realismo " per riferirsi alla convinzione di Platone che le sue "forme" fossero "reali"; al giorno d'oggi, il termine "realismo" ha spesso un significato quasi opposto, tanto che la credenza di Platone è talvolta chiamata " idealismo ". I filosofi discutono se entità come tavoli e sedie, leoni e tigri, dottrine filosofiche, numeri, verità e bellezza debbano essere considerate come "cose" o come qualcosa o niente "reale".

Tipi di ontologie

Le teorie ontologiche possono essere suddivise in vari tipi a seconda dei loro impegni teorici. Particolari teorie ontologiche o tipi di teorie sono spesso chiamate "ontologie" ( singolare o plurale ). Questo uso contrasta con il significato di "ontologia" ( solo singolare ) come branca della filosofia: la scienza dell'essere in generale.

Piatto vs policategorico vs gerarchico

Un modo per dividere le ontologie è il numero di categorie di base che usano. Le ontologie monocategoriche o di una categoria sostengono che esiste una sola categoria di base mentre le ontologie policategoriche implicano che ci siano diverse categorie di base distinte. Un altro modo per dividere le ontologie è attraverso la nozione di gerarchia ontologica. Le ontologie gerarchiche affermano che alcune entità esistono a un livello più fondamentale e che altre entità dipendono da esse. Le ontologie piatte, invece, negano tale status privilegiato a qualsiasi entità. Jonathan Schaffer fornisce una panoramica di queste posizioni distinguendo tra ontologie piatte (non gerarchiche), ontologie ordinate (policategoriche non gerarchiche) e ontologie ordinate (policategoriche gerarchiche).

Le ontologie piatte sono interessate solo alla differenza tra esistenza e non esistenza. Sono flat perché ogni ontologia flat può essere rappresentata da un semplice insieme contenente tutte le entità a cui è affidata questa ontologia. Un'esposizione influente di questo approccio viene da Willard Van Orman Quine, motivo per cui è stato definito l' approccio quineano alla meta-ontologia . Questa prospettiva non nega che le entità esistenti possano essere ulteriormente suddivise e possano stare in varie relazioni tra loro. Questi problemi sono questioni per le scienze più specifiche, ma non appartengono all'ontologia in senso quineo.

Le ontologie policategoriali si occupano delle categorie dell'essere. Ogni ontologia policategoriale postula un certo numero di categorie. Queste categorie sono esclusive ed esaustive: ogni entità esistente appartiene esattamente a una categoria. Un esempio recente di ontologia policategoriale è l'ontologia a quattro categorie di EJ Lowe . Le quattro categorie sono oggetto, tipo, modalità e attributo. La quadruplice struttura si basa su due distinzioni. La prima distinzione è tra entità sostanziali (oggetti e generi) ed entità non sostanziali (modi e attributi). La seconda distinzione è tra entità particolari (oggetti e modi) ed entità universali (tipi e attributi). La realtà si costruisce attraverso l'interazione di entità appartenenti a categorie diverse: entità particolari istanziano entità universali e entità non sostanziali caratterizzano entità sostanziali.

Le ontologie gerarchiche sono interessate al grado di fondamentalità delle entità che pongono. Il loro obiettivo principale è capire quali entità sono fondamentali e come le entità non fondamentali dipendono da esse. Il concetto di fondamentalità è solitamente definito in termini di fondamento metafisico . Le entità fondamentali sono diverse dalle entità non fondamentali perché non sono radicate in altre entità. Ad esempio, a volte si ritiene che le particelle elementari siano più fondamentali degli oggetti macroscopici (come sedie e tavoli) che compongono. Questa è un'affermazione sulla relazione di base tra oggetti microscopici e macroscopici. Il monismo prioritario di Schaffer è una forma recente di ontologia gerarchica. Sostiene che al livello più fondamentale esiste solo una cosa: il mondo nel suo insieme. Questa tesi non nega la nostra intuizione di buon senso che gli oggetti distinti che incontriamo nelle nostre faccende quotidiane come le automobili o altre persone esistono. Nega solo che questi oggetti abbiano la forma più fondamentale di esistenza. Un esempio di ontologia gerarchica nella filosofia continentale viene da Nicolai Hartmann . Afferma che la realtà è composta da quattro livelli : l'inanimato, il biologico, lo psicologico e lo spirituale. Questi livelli formano una gerarchia nel senso che i livelli superiori dipendono dai livelli inferiori mentre i livelli inferiori sono indifferenti ai livelli superiori.

Ontologie di cose vs ontologie di fatti

Le ontologie delle cose e le ontologie dei fatti sono ontologie a una categoria: entrambe sostengono che tutte le entità fondamentali appartengono alla stessa categoria. Non sono d'accordo sul fatto che questa categoria sia la categoria delle cose o dei fatti. Uno slogan per le ontologie dei fatti viene da Ludwig Wittgenstein : "Il mondo è la totalità dei fatti, non delle cose".

Una difficoltà nel caratterizzare questa disputa è quella di chiarire cosa sono le cose ei fatti, e come differiscono l'uno dall'altro. Le cose sono comunemente in contrasto con le proprietà e le relazioni che istanziano. I fatti, d'altra parte, sono spesso caratterizzati come aventi queste cose e le proprietà/relazioni come loro costituenti. Ciò si riflette in una caratterizzazione linguistica approssimativa di questa differenza in cui i soggetti e gli oggetti di un'asserzione si riferiscono a cose mentre l'asserzione nel suo insieme si riferisce a un fatto.

Il reismo è una forma di ontologia delle cose. Franz Brentano sviluppò una versione del reismo nella sua filosofia successiva. Sosteneva che esistono solo cose particolari concrete. Le cose possono esistere in due forme: o come corpi spazio-temporali o come anime temporali. Brentano era consapevole del fatto che molte espressioni di senso comune sembrano riferirsi a entità che non hanno posto nella sua ontologia, come proprietà o oggetti intenzionali. Ecco perché ha sviluppato un metodo per parafrasare queste espressioni al fine di evitare questi impegni ontologici.

DM Armstrong è un noto difensore dell'ontologia dei fatti. Lui e i suoi seguaci si riferiscono ai fatti come a stati di cose. Gli stati di cose sono i mattoni fondamentali della sua ontologia: hanno particolari e universali come loro costituenti ma sono primari in relazione a particolari e universali. Gli stati di cose hanno un'esistenza ontologicamente indipendente mentre "i particolari [non proprietari" e gli universali non istanziati sono false astrazioni".

Ontologie costitutive vs teorie blob

Le ontologie costitutive e le teorie dei blob , a volte chiamate ontologie relazionali , riguardano la struttura interna degli oggetti. Le ontologie costitutive sostengono che gli oggetti hanno una struttura interna costituita da costituenti. Questo è negato dalle teorie dei blob: sostengono che gli oggetti sono "blob" senza struttura.

Le teorie dei bundle sono esempi di ontologie costitutive. I teorici del bundle affermano che un oggetto non è altro che le proprietà che "ha". Per questo motivo, una mela normale potrebbe essere caratterizzata come un fascio di rosso, rotondità, dolcezza, ecc. I difensori della teoria del fascio non sono d'accordo sulla natura delle proprietà del fascio. Alcuni affermano che queste proprietà sono universali mentre altri sostengono che sono particolari, i cosiddetti "tropi".

Il nominalismo di classe , d'altra parte, è una forma di teoria del blob. I nominalisti di classe sostengono che le proprietà sono classi di cose. Istanziare una proprietà significa semplicemente essere un membro della classe corrispondente. Quindi le proprietà non sono costituenti degli oggetti che le possiedono.

Scienza dell'informazione

Nella scienza dell'informazione le ontologie sono classificate in vari modi, utilizzando criteri come il grado di astrazione e il campo di applicazione:

  1. Ontologia superiore : concetti a supporto dello sviluppo di un'ontologia, meta-ontologia .
  2. Ontologia di dominio : concetti relativi a un particolare argomento, dominio del discorso o area di interesse, ad esempio, per la tecnologia dell'informazione o per i linguaggi informatici, o per particolari branche della scienza.
  3. Ontologia dell'interfaccia : concetti rilevanti per la congiunzione di due discipline.
  4. Ontologia del processo : input, output, vincoli, informazioni sul sequenziamento, coinvolti in processi aziendali o ingegneristici.

Storia

filosofia indù

L'ontologia è presente nella scuola Samkhya di filosofia indù del primo millennio aC. La filosofia Samkhya considera l'universo come costituito da due realtà indipendenti: puruṣa (coscienza pura e senza contenuto) e prakṛti (materia). Il dualismo di sostanza tra puruṣa e prakṛti è simile ma non identico al dualismo di sostanza tra mente e corpo che, seguendo le opere di Cartesio , è stato al centro di molte controversie nella tradizione filosofica occidentale. Samkhya vede la mente come la parte sottile della prakṛti. È composto da tre facoltà: la mente sensoriale (manas), l'intelletto ( buddhi ) e l'ego ( ahaṁkāra ). Queste facoltà assolvono a diverse funzioni ma da sole non sono in grado di produrre la coscienza, che appartiene a una categoria ontologica distinta e della quale è responsabile solo la puruṣa. La scuola Yoga concorda con la filosofia Samkhya sul dualismo fondamentale tra puruṣa e prakṛti ma differisce dalla posizione atea di Samkhya incorporando il concetto di "divinità personale, ma essenzialmente inattiva" o "dio personale" ( Ishvara ). Queste due scuole sono in contrasto con l' Advaita Vedanta , che è impegnato in una rigida forma di monismo sostenendo che l'apparente pluralità delle cose è un'illusione ( Maya ) che nasconde la vera unità della realtà al suo livello più fondamentale ( Brahman ).

Greco antico

Nella tradizione filosofica greca , Parmenide fu tra i primi a proporre una caratterizzazione ontologica della natura fondamentale dell'esistenza. Nel prologo (o proemio ) di On Nature , descrive due visioni dell'esistenza . Inizialmente, nulla viene dal nulla, quindi l' esistenza è eterna . Ciò presuppone che l'esistenza sia ciò che può essere concepito dal pensiero, creato o posseduto. Quindi, non ci può essere né vuoto né vuoto; e la vera realtà non può nascere né svanire dall'esistenza. Piuttosto, la totalità della creazione è eterna, uniforme e immutabile, sebbene non infinita (Parmenide caratterizzò la sua forma come quella di una sfera perfetta). Parmenide postula quindi che il cambiamento, come percepito nell'esperienza quotidiana, è illusorio.

Opposta alla eleatica monism di Parmenide è il plurale concezione di essere . Nel V secolo aC, Anassagora e Leucippo sostituirono la realtà dell'essere (unica e immutabile) con quella del divenire , quindi da una più fondamentale ed elementare pluralità ontica . Questa tesi ha origine nel mondo ellenico , espressa in due modi diversi da Anassagora e da Leucippo. La prima teoria riguardava i "semi" (che Aristotele chiamava " omeomerie ") delle varie sostanze. La seconda era la teoria atomistica , che trattava la realtà in quanto basata sul vuoto , gli atomi e il loro movimento intrinseco in esso.

L' atomismo materialista proposto da Leucippo era indeterminista , ma Democrito ( c. 460 – c. 370 aC) lo sviluppò successivamente in modo deterministico . Più tardi (IV secolo aC), Epicuro riprese l' atomismo originario come indeterministico. Egli vedeva la realtà come composta da un'infinità di corpuscoli o atomi indivisibili, immutabili (dal greco atomon , lett. intagliabile), ma dà peso alla caratterizzazione degli atomi mentre per Leucippo essi sono caratterizzati da una "figura", un "ordine " e una "posizione" nel cosmo. Gli atomi, inoltre, creano il tutto con il movimento intrinseco nel vuoto , producendo il diverso flusso dell'essere. Il loro movimento è influenzato dalla parenklisis ( Lucrezio lo chiama clinamen ) e questo è determinato dal caso . Queste idee hanno prefigurato la comprensione della fisica tradizionale fino all'avvento delle teorie del XX secolo sulla natura degli atomi.

Platone

Platone sviluppò la distinzione tra vera realtà e illusione, sostenendo che ciò che è reale sono forme o idee eterne e immutabili (precursori degli universali ), di cui le cose sperimentate nella sensazione sono nella migliore delle ipotesi solo copie, e reali solo in quanto copiare ("partecipare a") tali moduli. In generale, Platone presume che tutti i sostantivi (es. "bellezza") si riferiscano a entità reali, siano essi corpi sensibili o forme insensibili. Quindi, in The Sophist , Platone sostiene che l' essere è una forma in cui tutte le cose esistenti partecipano e che hanno in comune (sebbene non sia chiaro se "Essere" sia inteso nel senso di esistenza , copula o identità ); e sostiene, contro Parmenide , che devono esistere forme non solo dell'essere , ma anche della Negazione e del non-essere (o Differenza ).

Aristotele

Nelle sue Categorie , Aristotele (384-322 a.C.) identifica dieci possibili tipi di cose che possono essere il soggetto o il predicato di una proposizione. Per Aristotele esistono quattro diverse dimensioni ontologiche:

  1. secondo le varie categorie o modi di rivolgersi a un essere in quanto tale
  2. secondo la sua verità o falsità (es. oro falso, denaro falso)
  3. se esiste in sé e per sé o semplicemente "arriva" per caso
  4. secondo la sua potenza, movimento (energia) o presenza finita ( Metafisica Libro Theta ).

Medievale

L'ontologia medievale fu fortemente influenzata dagli insegnamenti di Aristotele. I pensatori di questo periodo si sono spesso affidati a categorie aristoteliche come sostanza , atto e potenza o materia e forma per formulare le proprie teorie. Ontologi importanti in questa epoca includono Avicenna, Tommaso d'Aquino, Duns Scoto e Guglielmo di Ockham .

Avicenna alias Ibn Sina

Secondo Avicenna (noto anche come Ibn Sina ) ( c.  980-1037), in un'interpretazione del greco aristotelica e platonici dottrine ontologiche nella medievali la metafisica , l'essere o è necessaria, contingente in quanto possibile, o impossibile. L'essere necessario è ciò che non può non essere, poiché il suo non essere comporterebbe una contraddizione. Contingente qua possibile essere è necessario né impossibile per essere o non essere. È ontologicamente neutro, e viene portato dall'esistente potenziale all'esistenza attuale per mezzo di una causa esterna alla sua essenza. Il suo essere è preso in prestito – a differenza dell'esistente necessario, che è autosussistente e impossibile non essere. Quanto all'impossibile, necessariamente non esiste, e l'affermazione del suo essere comporterebbe una contraddizione.

Tommaso d'Aquino

Fondamentale per l' ontologia di Tommaso d'Aquino è la sua distinzione tra essenza ed esistenza : tutte le entità sono concepite come composte di essenza ed esistenza. L'essenza di una cosa è com'è questa cosa, significa la definizione di questa cosa. Dio ha uno status speciale poiché è l'unica entità la cui essenza è identica alla sua esistenza. Ma per tutte le altre entità finite c'è una vera distinzione tra essenza ed esistenza. Questa distinzione si manifesta, ad esempio, nella nostra capacità di comprendere l'essenza di qualcosa senza conoscerne l'esistenza. Tommaso d'Aquino concepisce l'esistenza come un atto dell'essere che attualizza la potenza data dall'essenza. Cose diverse hanno essenze diverse, che impongono limiti diversi al corrispondente atto dell'essere . Gli esempi paradigmatici di composti essenza-esistenza sono sostanze materiali come gatti o alberi. Tommaso d'Aquino incorpora la distinzione di Aristotele tra materia e forma sostenendo che l'essenza delle cose materiali , in contrapposizione all'essenza delle cose immateriali come gli angeli, è la composizione della loro materia e forma. Quindi, per esempio, l'essenza di una statua di marmo sarebbe la composizione del marmo (la sua materia) e la forma che ha (la sua forma). La forma è universale poiché sostanze fatte di materia diversa possono avere la stessa forma. Le forme di una sostanza si possono dividere in forme sostanziali e forme accidentali. Una sostanza può sopravvivere al cambiamento di una forma accidentale ma cessa di esistere al cambiamento di una forma sostanziale.

Moderno

L'ontologia è sempre più vista come un dominio separato della filosofia nel periodo moderno . Molte teorie ontologiche di questo periodo erano razionalistiche nel senso che vedevano l'ontologia in gran parte come una disciplina deduttiva che parte da un piccolo insieme di principi primi o assiomi, una posizione meglio esemplificata da Baruch Spinoza e Christian Wolff. Questo razionalismo nella metafisica e nell'ontologia è stato fortemente contrastato da Immanuel Kant , il quale ha insistito sul fatto che molte affermazioni arrivate in questo modo sono da respingere poiché vanno al di là di ogni possibile esperienza che potrebbe giustificarle.

Cartesio

La distinzione ontologica di René Descartes tra mente e corpo è stata una delle parti più influenti della sua filosofia. Dal suo punto di vista, le menti sono cose pensanti mentre i corpi sono cose estese. Il pensiero e l' estensione sono due attributi che vengono ciascuno in vari modi di essere. I modi di pensare includono giudizi, dubbi, volizioni, sensazioni ed emozioni mentre le forme delle cose materiali sono modalità di estensione . I modi hanno un grado di realtà inferiore poiché dipendono per la loro esistenza da una sostanza. Le sostanze, d'altra parte, possono esistere da sole. Il dualismo della sostanza di Cartesio afferma che ogni sostanza finita è una sostanza pensante o una sostanza estesa. Questa posizione non implica che le menti ei corpi siano effettivamente separati l'uno dall'altro, il che sfiderebbe l'intuizione che entrambi abbiamo un corpo e una mente. Implica invece che menti e corpi possano , almeno in linea di principio, essere separati, poiché sono sostanze distinte e quindi capaci di esistenza indipendente. Un problema di vecchia data per il dualismo delle sostanze sin dal suo inizio è stato quello di spiegare come le menti e i corpi possono interagire causalmente tra loro, come apparentemente fanno, quando una volontà fa muovere un braccio o quando la luce che cade sulla retina provoca un'impressione visiva.

Spinoza

Baruch Spinoza è noto per il suo monismo della sostanza: la tesi che esiste una sola sostanza. Si riferisce a questa sostanza come "Dio o Natura", sottolineando sia il suo panteismo che il suo naturalismo . Questa sostanza ha una quantità infinita di attributi, che definisce come "ciò che l'intelletto percepisce della sostanza come costituente la sua essenza". Di questi attributi, solo due sono accessibili alla mente umana: pensiero ed estensione. I modi sono proprietà di una sostanza che derivano dai suoi attributi e quindi hanno solo una forma di esistenza dipendente. Spinoza vede le cose di tutti i giorni come le rocce, i gatti o noi stessi come semplici modi e quindi si oppone alla tradizionale concezione aristotelica e cartesiana di categorizzarle come sostanze. I modi compongono sistemi deterministici in cui i diversi modi sono collegati tra loro come causa ed effetto. Ogni sistema deterministico corrisponde a un attributo: uno per le cose estese, uno per le cose pensanti, ecc. Le relazioni causali avvengono solo all'interno di un sistema mentre i diversi sistemi funzionano in parallelo senza interagire causalmente tra loro. Spinoza chiama il sistema dei modi Natura naturata ("nature natured") e lo oppone a Natura naturans ("nature naturing"), gli attributi responsabili dei modi. Tutto nel sistema di Spinoza è necessario: non ci sono entità contingenti. Questo è così poiché gli attributi sono essi stessi necessari e poiché il sistema dei modi segue da essi.

Wolff

Christian Wolff definisce l'ontologia come la scienza dell'essere in generale. Lo vede come una parte della metafisica oltre alla cosmologia, alla psicologia e alla teologia naturale. Secondo Wolff si tratta di una scienza deduttiva , conoscibile a priori e basata su due principi fondamentali: il principio di non contraddizione ("non può accadere che la stessa cosa sia e non sia") e il principio di ragione ("nulla esiste senza una ragione sufficiente per cui esiste piuttosto che non esiste"). Gli esseri sono definiti dalle loro determinazioni o predicati , che non possono comportare una contraddizione. I determinati sono di 3 tipi: essentialia , attributi e modalità . Gli essenziali definiscono la natura di un essere e sono quindi proprietà necessarie di questo essere. Gli attributi sono determinazioni che derivano da essentialia e sono ugualmente necessarie, a differenza dei modi , che sono meramente contingenti. Wolff concepisce l' esistenza come una determinazione tra le altre, di cui può mancare un essere. L'ontologia è interessata all'essere in generale, non solo all'essere reale. Ma tutti gli esseri, esistenti o meno, hanno una ragione sufficiente. La ragione sufficiente delle cose senza esistenza effettiva consiste in tutte le determinazioni che costituiscono la natura essenziale di questa cosa. Wolff si riferisce a questo come a una "ragione dell'essere" e la contrappone a una "ragione del divenire", il che spiega perché alcune cose hanno un'esistenza reale.

Schopenhauer

Arthur Schopenhauer era un sostenitore del volontarismo metafisico : considera la volontà come la realtà sottostante e ultima. La realtà nel suo insieme consiste solo di una volontà, che è equiparata alla cosa in sé kantiana . Come la cosa in sé kantiana, la volontà esiste al di fuori dello spazio e del tempo. Ma, a differenza della cosa in sé kantiana, la volontà ha una componente esperienziale: si presenta sotto forma di sforzo, desiderio, sentimento, ecc. Le molteplici cose che incontriamo nelle nostre esperienze quotidiane, come alberi o automobili, sono semplici apparenze che mancano di esistenza indipendentemente dall'osservatore. Schopenhauer li descrive come oggettivazioni della volontà. Queste oggettivazioni avvengono in diversi "passi", che corrispondono alle forme platoniche . Tutte le obiezioni sono fondate sulla volontà. Questo fondamento è governato dal principium individuationis , che permette di fondare nell'unica volontà una molteplicità di cose individuali disposte nello spazio e nel tempo.

20 ° secolo

Gli approcci dominanti all'ontologia nel XX secolo sono stati la fenomenologia, l'analisi linguistica e il naturalismo. L'ontologia fenomenologica , come esemplificato da Edmund Husserl e Martin Heidegger, si basa per il suo metodo sulla descrizione dell'esperienza. L'analisi linguistica assegna al linguaggio un ruolo centrale per l'ontologia, come si vede, ad esempio, nella tesi di Rudolf Carnap secondo cui il valore di verità delle pretese esistenziali dipende dalla cornice linguistica in cui sono formulate. Il naturalismo dà una posizione di rilievo alle scienze naturali allo scopo di trovare e valutare rivendicazioni ontologiche. Questa posizione è esemplificata dal metodo dell'ontologia di Quine, che implica l'analisi degli impegni ontologici delle teorie scientifiche.

Husserl

Edmund Husserl vede l'ontologia come una scienza delle essenze . Le scienze delle essenze si contrappongono alle scienze fattuale : le prime sono conoscibili a priori e costituiscono il fondamento delle successive, conoscibili a posteriori . L'ontologia come scienza delle essenze non è interessata ai fatti reali , ma alle essenze stesse, che abbiano o meno istanze . Husserl distingue tra ontologia formale , che indaga l'essenza dell'oggettività in generale , e ontologie regionali , che studiano le essenze regionali condivise da tutte le entità appartenenti alla regione. Le regioni corrispondono ai più alti generi di entità concrete : natura materiale, coscienza personale e spirito interpersonale. Il metodo di Husserl per lo studio dell'ontologia e delle scienze dell'essenza in generale è chiamato variazione eidetica . Si tratta di immaginare un oggetto del tipo in esame e di variarne le caratteristiche. La caratteristica modificata è inessenziale a questo tipo se l'oggetto può sopravvivere al suo cambiamento, altrimenti appartiene all'essenza del genere . Ad esempio, un triangolo rimane un triangolo se uno dei suoi lati viene esteso ma cessa di essere un triangolo se viene aggiunto un quarto lato. L'ontologia regionale implica l'applicazione di questo metodo alle essenze corrispondenti ai generi più alti.

Heidegger

Centrale nella filosofia di Martin Heidegger è la nozione di differenza ontologica : la differenza tra l' essere in quanto tale e le entità specifiche. Accusa la tradizione filosofica di essersi dimenticata di questa distinzione, che ha portato all'errore di intendere l' essere come tale come una sorta di entità ultima, ad esempio come "idea, energeia, sostanza, monade o volontà di potenza". Heidegger cerca di rimediare a questo errore nella propria "ontologia fondamentale" concentrandosi invece sul significato dell'essere , un progetto che è affine alla meta-ontologia contemporanea . Un metodo per raggiungere questo obiettivo è studiare l'essere umano, o Dasein , nella terminologia di Heidegger. La ragione di questo è che abbiamo già un comprensione pre-ontologica di essere che plasma il modo in cui sperimentiamo il mondo. La fenomenologia può essere utilizzata per rendere esplicita questa comprensione implicita, ma deve essere accompagnata dall'ermeneutica per evitare le distorsioni dovute all'oblio dell'essere . Nella sua filosofia successiva, Heidegger ha tentato di ricostruire la "storia dell'essere" per mostrare come le diverse epoche della storia della filosofia fossero dominate da diverse concezioni dell'essere . Il suo obiettivo è recuperare l' esperienza originale dell'essere presenti nel pensiero greco antico che è stata nascosta dai filosofi successivi.

Hartmann

Nicolai Hartmann è un filosofo del XX secolo all'interno della tradizione filosofica continentale . Interpreta l'ontologia come la scienza aristotelica dell'essere in quanto essere: la scienza delle caratteristiche più generali degli enti, solitamente indicati come categorie, e delle relazioni tra di essi. Secondo Hartmann, le categorie più generali sono momenti dell'essere (esistenza ed essenza), modi dell'essere (realtà e idealità) e modalità dell'essere (possibilità, attualità e necessità). Ogni entità ha sia esistenza che essenza . Realtà e idealità , al contrario, sono due categorie disgiuntive: ogni entità è reale o ideale. Le entità ideali sono universali, restituibili e sempre esistenti mentre le entità reali sono individuali, uniche e distruttibili. Tra le entità ideali ci sono oggetti e valori matematici. Le modalità dell'essere si dividono in modalità assolute (attualità e non-attualità) e modalità relative (possibilità, impossibilità e necessità). Le modalità relative sono relative nel senso che dipendono dalle modalità assolute: qualcosa è possibile, impossibile o necessario perché qualcos'altro è attuale. Hartmann afferma che la realtà è composta da quattro livelli ( inanimato , biologico , psicologico e spirituale ) che formano una gerarchia.

Carnap

Rudolf Carnap ha proposto che il valore di verità delle affermazioni ontologiche sull'esistenza delle entità dipende dal quadro linguistico in cui sono fatte queste affermazioni: sono interne al quadro. In quanto tali, sono spesso banali in quanto dipendono solo dalle regole e dalle definizioni all'interno di questo quadro. Ad esempio, dalle regole e dalle definizioni all'interno del quadro matematico deriva analiticamente che i numeri esistono. Il problema che Carnap ha visto con gli ontologi tradizionali è che cercano di fare affermazioni indipendenti dalla struttura o esterne su ciò che è realmente il caso. Tali affermazioni sono nel migliore dei casi considerazioni pragmatiche su quale struttura scegliere e nel peggiore del tutto prive di significato , secondo Carnap. Ad esempio, non è vero se il realismo o l' idealismo siano veri, la loro verità dipende dal quadro adottato. Il compito dei filosofi non è scoprire quali cose esistono di per sé, ma "ingegneria concettuale": creare quadri interessanti ed esplorare le conseguenze della loro adozione. La scelta del quadro è guidata da considerazioni pratiche come l'opportunità o la fecondità poiché non esiste una nozione di verità indipendente dal quadro.

quine

La nozione di impegno ontologico gioca un ruolo centrale nei contributi di Willard Van Orman Quine all'ontologia. Una teoria è ontologicamente impegnata in un'entità se quell'entità deve esistere affinché la teoria sia vera. Quine propose che il modo migliore per determinarlo fosse tradurre la teoria in questione nella logica dei predicati del primo ordine . Di particolare interesse in questa traduzione sono le costanti logiche note come quantificatori esistenziali , il cui significato corrisponde a espressioni come "esiste..." o "per alcuni...". Sono usati per legare le variabili nell'espressione che segue il quantificatore. Gli impegni ontologici della teoria corrispondono quindi alle variabili vincolate da quantificatori esistenziali. Questo approccio è riassunto dal famoso detto di Quine che "[t]o essere è essere il valore di una variabile". Questo metodo di per sé non è sufficiente per l'ontologia poiché dipende da una teoria per risultare in impegni ontologici. Quine propose di basare la nostra ontologia sulla nostra migliore teoria scientifica. Vari seguaci del metodo di Quine hanno scelto di applicarlo a diversi campi, ad esempio alle "concezioni quotidiane espresse nel linguaggio naturale".

Altri temi ontologici

Formazioni ontologiche

Il concetto di formazioni ontologiche si riferisce a formazioni di relazioni sociali intese come modi di vivere dominanti. Le relazioni temporali, spaziali, corporee, epistemologiche e performative sono considerate centrali per comprendere una formazione dominante. Cioè, una particolare formazione ontologica si basa su come le categorie ontologiche del tempo, dello spazio, dell'incarnazione, del conoscere e dell'agire sono vissute, oggettivamente e soggettivamente. Diverse formazioni ontologiche includono il consueto (incluso il tribale), il tradizionale , il moderno e il postmoderno . Il concetto è stato introdotto per la prima volta da Paul James nel 2006, insieme a una serie di scrittori tra cui Damian Grenfell e Manfred Steger .

Nell'approccio della teoria impegnata , le formazioni ontologiche sono viste come formazioni stratificate e intersecanti piuttosto che formazioni singolari. Sono 'formazioni dell'essere'. Questo approccio evita i soliti problemi di un Great Divide posto tra il moderno e il premoderno. Da una distinzione filosofica riguardante diverse formazioni dell'essere, il concetto fornisce quindi un modo di tradurre in comprensioni pratiche su come gli esseri umani potrebbero progettare città e comunità che vivono creativamente attraverso diverse formazioni ontologiche, ad esempio città che non sono completamente dominate dalle moderne valenze spaziali configurazione. Qui il lavoro di Tony Fry è importante.

Ontologia di personaggi di fantasia

Secondo Edward N. Zalta , l'ontologia della finzione analizza frasi come:

Secondo Amie L. Thomasson , il discorso immaginario può essere di quattro tipi:

  • Pronunciato all'interno di opere di finzione;
  • Esercizi filosofici come ' Captain Marvel non esiste';
  • Trattando i personaggi di fantasia come se fossero "reali", come " Superman può saltare edifici alti;" e
  • Discorso sulle opere di finzione, come 'Il professor Higgins è stato creato da George Bernard Shaw '.

Jeremy Bentham ha distinto tre tipi di entità:

  • il reale : quelli che possono essere percepiti, o deducibili dalla percezione.
  • il fittizio : astrazioni che si riferivano a cose sensibili.
  • i favolosi : quelli che si possono trovare solo nell'immaginazione, dove la parola 'esistere' si applica a tali solo nel senso che non esistono realmente.

Francis Herbert Bradley pensava che le cose reali esistono rispettivamente in tempi e luoghi particolari. Ha riconosciuto diversi tipi di entità:

  • il genuinamente storico;
  • il fittizio;
  • il vero;
  • il meramente immaginato;
  • l'esistente; e
  • l'inesistente.

Alexius Meinong metterebbe le entità immaginarie nella categoria che chiamava sussistenza . Questa categoria contiene oggetti che non esistono né spazialmente né non spazialmente. Tuttavia, hanno proprietà. Le proprietà sono date a questi oggetti nel modo in cui si dice che siano descritti. Ad esempio, possiamo parlare dell'unicorno alto anche se l'unicorno alto non esiste. Possiamo dire che l'unicorno è infatti alto perché questo deriva dalle proprietà in cui l'oggetto è caratterizzato.

Certezza ontologica ed epistemologica

René Descartes , con cogito, ergo sum ( je pense donc je suis, "Penso, dunque sono"), ha sostenuto che l'agenzia pensante di una persona, la sua res cogitans , in quanto distinta dal suo corpo materiale, la sua res extensa , è qualcosa che possiamo sapere esiste con certezza epistemologica . Cartesio sostenne inoltre che questa conoscenza poteva portare a una prova della certezza dell'esistenza di Dio , utilizzando l' argomento ontologico che era stato formulato per primo da Anselmo di Canterbury .

Corpo e ambiente, interrogandosi sul senso dell'essere

Scuole di soggettivismo , oggettivismo e relativismo sono esistite in vari momenti del XX secolo, ei postmodernisti e i filosofi del corpo hanno cercato di riformulare tutte queste domande in termini di corpi che intraprendono azioni specifiche in un ambiente. Ciò si basava in larga misura sulle intuizioni derivate dalla ricerca scientifica sugli animali che intraprendono un'azione istintiva in ambienti naturali e artificiali, come studiato dalla biologia , dall'ecologia e dalle scienze cognitive .

I processi attraverso i quali i corpi si relazionavano con gli ambienti divennero di grande preoccupazione, e l'idea dell'essere stesso divenne difficile da definire realmente. Cosa intendevano le persone quando dicevano "A è B", "A deve essere B", "A era B"...? Alcuni linguisti sostenevano di eliminare il verbo "to be" dalla lingua inglese, lasciando " E Prime ", presumibilmente meno incline a cattive astrazioni. Altri, per lo più filosofi, hanno cercato di scavare nella parola e nel suo uso. Martin Heidegger distingueva l'essere umano come esistenza dall'essere delle cose nel mondo. Heidegger propone che il nostro modo di essere umani e il modo in cui il mondo è per noi sono espressi storicamente attraverso una fondamentale interrogazione ontologica. Queste categorie ontologiche fondamentali forniscono la base per la comunicazione in un'epoca: un orizzonte di significati di fondo inespressi e apparentemente indiscutibili, come gli esseri umani intesi senza dubbio come soggetti e altre entità intese senza dubbio come oggetti. Poiché questi significati ontologici di base generano e si rigenerano nelle interazioni quotidiane, il luogo del nostro modo di essere in un'epoca storica è l'evento comunicativo del linguaggio in uso. Per Heidegger, tuttavia, la comunicazione in primo luogo non è tra gli esseri umani, ma il linguaggio stesso si configura in risposta all'interrogativo (il significato inesauribile dell') essere. Anche l'attenzione dell'ontologia tradizionale sul 'whatness' o quidditas degli esseri nella loro presenza sostanziale e permanente può essere spostata per porre la questione del 'whoness' dell'essere umano stesso.

Ontologia e linguaggio

Alcuni filosofi suggeriscono che la domanda "Cos'è?" è (almeno in parte) una questione di uso piuttosto che una domanda sui fatti. Questa prospettiva è trasmessa da un'analogia fatta da Donald Davidson : supponiamo che una persona si riferisca a una "tazza" come a una "sedia" e faccia alcuni commenti pertinenti a una tazza, ma usi la parola "sedia" in modo coerente invece di "tazza". Si potrebbe facilmente capire che questa persona chiama semplicemente una "tazza" una "sedia" e la stranezza è spiegata. Analogamente, se troviamo persone che affermano "ci sono" così e così, e non pensiamo che "così e così" esistano, potremmo concludere che queste persone non sono matte (Davidson chiama questa ipotesi "carità" ), usano semplicemente "ci sono" in modo diverso da come facciamo noi. La domanda su che cos'è? è almeno in parte un argomento nella filosofia del linguaggio, e non riguarda interamente l'ontologia stessa. Questo punto di vista è stato espresso da Eli Hirsch .

Hirsch interpreta Hilary Putnam come affermando che diversi concetti di "esistenza di qualcosa" possono essere corretti. Questa posizione non contraddice l'opinione secondo cui alcune cose esistono, ma sottolinea che "lingue" diverse avranno regole diverse sull'assegnazione di questa proprietà. Come determinare l'"idoneità" di un "linguaggio" al mondo diventa quindi oggetto di indagine.

Comune a tutte le lingue copula indoeuropee è il doppio uso del verbo "essere" sia nell'affermare che l'entità X esiste ("X è.") sia nell'affermare che X ha una proprietà ("X è P"). A volte si sostiene che anche un terzo uso sia distinto, affermando che X è un membro di una classe ("X è una C"). In altre famiglie linguistiche questi ruoli possono avere verbi completamente diversi ed è meno probabile che vengano confusi l'uno con l'altro. Ad esempio, potrebbero dire qualcosa come "l'auto è rossa" piuttosto che "l'auto è rossa". Quindi qualsiasi discussione sull'"essere" nella filosofia del linguaggio indoeuropeo potrebbe aver bisogno di fare distinzioni tra questi sensi.

Ontologia e geografia umana

Nella geografia umana ci sono due tipi di ontologia: la "o" piccola che rappresenta l'orientamento pratico, descrivendo le funzioni dell'essere parte del gruppo, pensata per semplificare eccessivamente e ignorare le attività chiave. L'altra "o", o grande "O", descrive sistematicamente, logicamente e razionalmente le caratteristiche essenziali ei tratti universali. Questo concetto si collega strettamente alla visione di Platone secondo cui la mente umana può percepire un mondo più grande solo se continua a vivere entro i confini delle sue "grotte". Tuttavia, nonostante le differenze, l'ontologia si basa sugli accordi simbolici tra i membri. Detto questo, l'ontologia è cruciale per le strutture linguistiche assiomatiche.

Realtà e attualità

Secondo Alfred N. Whitehead , per l'ontologia, è utile distinguere i termini 'realtà' e 'attualità'. In questa prospettiva, un'"entità reale" ha uno status filosofico di priorità ontologica fondamentale, mentre un'"entità reale" è un'entità che può essere attuale, o può derivare la sua realtà dalla sua relazione logica con una o più entità reali. Ad esempio, un'occasione nella vita di Socrate è un'entità reale. Ma l'essere uomo di Socrate non fa dell'uomo un'entità reale, perché si riferisce indeterminatamente a molte entità reali, come diverse occasioni nella vita di Socrate, e anche diverse occasioni nella vita di Alcibiade e di altri. Ma la nozione di uomo è reale; trae la sua realtà dal riferimento a quelle tante occasioni reali, ciascuna delle quali è un'entità attuale. Un'occasione reale è un'entità concreta, mentre termini come "uomo" sono astrazioni da molte entità concrete rilevanti.

Secondo Whitehead, un'entità reale deve guadagnare il suo status filosofico di priorità ontologica fondamentale soddisfacendo diversi criteri filosofici, come segue:

  • Non c'è andare dietro un'entità reale, per trovare qualcosa di più fondamentale nel fatto o nell'efficacia. Questo criterio deve essere considerato come espressione di un assioma, o dottrina distinta postulata.
  • Un'entità attuale deve essere completamente determinata, nel senso che non vi può essere confusione sulla sua identità che permetterebbe di confonderla con un'altra entità attuale. In questo senso un'entità attuale è completamente concreta, senza alcuna potenzialità di essere qualcosa di diverso da se stessa. È quello che è. È una fonte di potenzialità per la creazione di altre entità attuali, di cui si può dire che sia una causa parziale. Allo stesso modo è la concrezione o realizzazione di potenzialità di altre entità attuali che sono le sue cause parziali.
  • La causalità tra entità reali è essenziale per la loro attualità. Di conseguenza, per Whitehead, ogni entità reale ha la sua estensione distinta e definita nello spazio fisico di Minkowski , e quindi è identificabile in modo univoco. Una descrizione nello spazio di Minkowski supporta le descrizioni nel tempo e nello spazio per particolari osservatori.
  • Fa parte dello scopo della filosofia di tale ontologia come Whitehead che le entità reale dovrebbe essere tutti uguali, qua entità reali; dovrebbero soddisfare tutti un unico insieme definito di criteri ontologici di attualità ben dichiarati.

Whitehead ha proposto che la sua nozione di occasione di esperienza soddisfi i criteri per il suo status di definizione filosoficamente preferita di un'entità reale. Da un punto di vista puramente logico, ogni occasione di esperienza ha in piena misura i caratteri della realtà sia oggettiva che soggettiva. Soggettività e oggettività si riferiscono a diversi aspetti di un'occasione di esperienza e non si escludono in alcun modo.

Esempi di altre proposte filosofiche o candidati come entità reali, in questa prospettiva, sono le "sostanze" di Aristotele, le monadi di Leibniz e le res verae di Cartesio e gli "stati di cose" più moderni. Le sostanze di Aristotele, come Socrate, hanno dietro di sé come più fondamentali le 'sostanze primarie', e in questo senso non soddisfano i criteri di Whitehead. Whitehead non è contento delle monadi di Leibniz come entità reali perché sono "senza finestre" e non si causano a vicenda. Gli "stati di cose" spesso non sono strettamente definiti, spesso senza menzione specifica dell'estensione nello spazio fisico di Minkowski; non sono quindi necessariamente processi di divenire, ma possono essere, come suggerisce il loro nome, semplicemente stati statici in un certo senso. Gli stati di cose dipendono dai particolari, e quindi hanno qualcosa dietro. Un riassunto dell'effettiva entità di Whitehead è che è un processo di divenire. Un altro riassunto, riferendosi al suo collegamento causale con altre entità reali, è che è "tutto finestra", in contrasto con le monadi senza finestre di Leibniz.

Questa visione consente alle entità filosofiche diverse dalle entità reali di esistere realmente, ma non come fondamentalmente e primariamente fattuale o causalmente efficaci; hanno esistenza come astrazioni, con la realtà derivata solo dal loro riferimento a entità reali. Un'entità reale di Whitehead ha un luogo e un tempo unici e completamente definiti. Le astrazioni di Whitehead non sono così strettamente definite nel tempo e nello spazio e, all'estremo, alcune sono entità senza tempo e senza luogo, o entità "eterne". Tutte le astrazioni hanno un'esistenza logica o concettuale piuttosto che efficace; la loro mancanza di tempo definito non li rende irreali se si riferiscono a entità reali. Whitehead chiama questo "principio ontologico".

Ontologia microcosmica

C'è una storia filosofica consolidata e lunga del concetto di atomi come oggetti fisici microscopici. Sono troppo piccoli per essere visibili ad occhio nudo. Fu solo nel diciannovesimo secolo che le stime precise delle dimensioni dei presunti atomi fisici cominciarono a diventare plausibili. L'osservazione empirica quasi diretta degli effetti atomici era dovuta all'indagine teorica del moto browniano da parte di Albert Einstein all'inizio del ventesimo secolo. Ma anche allora, la reale esistenza degli atomi è stata dibattuta da alcuni. Tale dibattito potrebbe essere etichettato come "ontologia microcosmica". Qui la parola 'microcosmo' è usata per indicare un mondo fisico di piccole entità, come ad esempio gli atomi.

Le particelle subatomiche sono generalmente considerate molto più piccole degli atomi. La loro esistenza reale o reale può essere molto difficile da dimostrare empiricamente. A volte viene fatta una distinzione tra particelle subatomiche reali e virtuali . Ragionevolmente, ci si potrebbe chiedere, in che senso, se ce ne sono, le particelle virtuali esistono come entità fisiche? Per le particelle atomiche e subatomiche sorgono domande difficili, come possiedono una posizione precisa o un momento preciso? Una domanda che continua a essere controversa è "a quale tipo di cosa fisica, se esiste, si riferisce la funzione d'onda della meccanica quantistica ?"

Argomento ontologico

Nella tradizione cristiana occidentale , nella sua opera Proslogion del 1078 , Anselmo di Canterbury propose quello che è noto come "l'argomento ontologico" per l'esistenza di Dio. Anselmo definì Dio come "ciò di cui non si può pensare nulla di più grande", e sostenne che questo essere deve esistere nella mente, anche nella mente della persona che nega l'esistenza di Dio. Suggerì che, se l'essere più grande possibile esiste nella mente, deve esistere anche nella realtà. Se esiste solo nella mente, allora deve essere possibile un essere ancora più grande, che esiste sia nella mente che nella realtà. Pertanto, questo essere più grande possibile deve esistere nella realtà. Il filosofo francese del diciassettesimo secolo René Descartes ha sviluppato un argomento simile. Cartesio pubblicò diverse varianti del suo argomento, ognuna delle quali incentrata sull'idea che l'esistenza di Dio è immediatamente desumibile da un'idea "chiara e distinta" di un essere supremamente perfetto. All'inizio del XVIII secolo, Gottfried Leibniz aumentò le idee di Cartesio nel tentativo di dimostrare che un essere "supremo perfetto" è un concetto coerente. Norman Malcolm ha ripreso l'argomento ontologico nel 1960 quando ha individuato un secondo argomento ontologico più forte nell'opera di Anselm; Alvin Plantinga ha contestato questo argomento e ha proposto un'alternativa, basata sulla logica modale . Sono stati anche fatti tentativi per convalidare la dimostrazione di Anselmo utilizzando un dimostratore di teoremi automatizzato .

Più recentemente, Kurt Gödel ha proposto un argomento formale per l'esistenza di Dio . Sono state avanzate altre argomentazioni a favore dell'esistenza di Dio, comprese quelle avanzate dai filosofi islamici Mulla Sadra e Allama Tabatabai .

Locuzione di Hintikka per l'esistenza

Jaakko Hintikka sostiene che un'utile spiegazione della nozione di esistenza è nelle parole "si può trovare", implicitamente in qualche mondo o universo di discorso .

Ontologi di spicco

Guarda anche

Appunti

Riferimenti

citazioni

link esterno