Rappresentare conoscenza ontologica

Modelli Computazionali per la Comunicazione
Lezione del 25 ottobre 2006
"What Has Happened to Ontology?"
Un indice... possibile
Ontologia e Metafisica, Il Logos
Aristotele, Le Categorie
L’eredità aristotelica:
Porfirio (232 d.C.) e Linneo (1707)
Cartesio e Kant, Il Soggetto e l’Episteme
... ecc. ecc. ecc.!
Roberto Poli, Framing Ontology
Peter Ohrstrom, Le dimensioni del confronto
Le tappe storico-concettuali di una disciplina
La "psicologia"
La Filosofia Prima
Essenza e
Esistenza
L’Epistemologia
L’Essere
Platone
V-IV sec ac
Parmenide
VI sec ac
Livio
Andronico
I sec ac
Avicenna
XI sec dc
Tommaso
XIII sec dc
Aristotele
IV sec ac
Le Idee
Gockel
1613
Il nome
Metafisica
Metafisica
Generale
Leibniz
XVII sec
Cartesio
XVII sec
Il nome
Ontologia
Husserl
XX sec
Kant
XVII sec
La Logica
La Fenomenologia
Il Logos
Il pensiero greco e tardo antico assume questa ‘triangolazione’
Realtà-Pensiero-Linguaggio come primitiva, cioè,
Pensiero
Realtà
Linguaggio
Assume che ciò che viene pensato non possa non corrispondere a
ciò che esiste che a sua volta non possa non corrispondere a ciò
che viene detto
Due problemi – tra loro complementari - occupano la filosofia antica:
[1]
[2]
Come giustificare il non-essere (Nulla/Divenire)
Come descrivere e cosa sia l’Essere
Metafisica
Pensiero
Realtà
Linguaggio
L’investigazione metafisica chiede dunque
[1]
[2]
Che cosa ci sia o possa esserci;
Cosa sia ciò che c’è, ovvero,
*
Come sia fatto e perché sia proprio così l’esistente
Le domande della Metafisica
Cosa c’è
Cosa è quello che c’è
Metafisica
Pensiero
Realtà
Linguaggio
I confini dell’Ontologia
Ontologia
Cosa c’è
Cosa è quello che c’è
Metafisica
L’ente
Pensiero
Realtà
L’Essere
Linguaggio
L’Ontologia è una disciplina che storicamente si definisce
come specializzazione di un ramo della metafisica:
Lo studio dell’Ente e dei suoi predicati generalissimi
L’Essere e la Filosofia Prima
Aristotele (Stagira 384-Calcide 322 a.C.) è il primo filosofo ad aver eleborato i lineamenti di una
disciplina specifica relativa ai problemi dei principi primi dell’essere materiale ed immateriale, che
distinguesse le scienze particolari – la cui sfera di indagine è circoscritta ad aspetti settoriali della
realtà – dalla Filosofia Prima che studia l’essere in quanto tale [Essere].
Filosofia Prima: studio dell’Essere considerato sotto il profilo generalissimo della sua
esistenza e delle sue proprietà.
L’essere si dice in molti modi, però ha un significato comune, che riguarda proprietà
che trascendono le indagini particolari circa gli enti presi sotto qualche rispetto
L’idea di fondo di Aristotele è che esista qualcosa di eterno, immobile e separato, che
deve essere studiato da una scienza teoretica che non può essere:
[1]
[2]
Nè la Fisica poiché la fisica studia le cose in movimento
Nè la Matematica che le studia sotto il profilo delle grandezze
La Metafisica serve a classificare e ad esplicitare, così come la Fisica serve a spiegare
attraverso il riconoscimento di cause in un contesto empirico
Il termine metafisica venne introdotto nel I secolo a.C. da Livio Andronico, commentatore di Aritotele per riferirsi ad un
corpus di testi scritti dal Maestro cronologicamente posteriori ai libri della Fisica (metà ta physikà).
I modi della predicazione
Le proposizioni per Aristotele sono tutte riducibili alla forma soggettopredicato.
Per argomentare bene sarà necessario conoscere le leggi che regolano
l’appartenenza di un predicato ad un soggetto.
Aristotele distingue quattro modi in cui tale appartenenza può avere
luogo. In ordine di intensità decrescente:
Definizione,
Genere,
Proprietà,
Accidente.
Aristotele: Le categorie
Definizione
“La definizione spiega che cosa significa il nome di un oggetto”
“La definizione non mira a dimostrare che una cosa è. La definizione vuole
mostrare che cosa una cosa è”
Esempio: ”L’uomo è un animale razionale”
E’ il discorso che esprime l’essenza del soggetto, ossia il suo essere
specifico.
Non è mai costituita da un solo predicato, ma almeno da due predicati:
•
Dal genere (predicato più universale di cui la specie, nella quale
rientra il soggetto, è un caso particolare)
•
Dal
almeno
una
differenza specifica (predicato
che
contraddistingue la specie in cui rientra il soggetto dalle altre
specie comprese nel medesimo genere)
Genere
Un predicato universale, comune a molte specie diverse, che sono suoi casi
particolari (animale è il genere di uomo, cavallo, cane, etc.).
Copre interamente l’estensione della specie di cui viene predicato, nel senso
che tutti gli uomini sono animali, ma non coincide perfettamente con essa,
bensì ne sporge. Il Genere identifica la Specie ma non la esaurisce
Specie
E’ compresa nel genere ma non lo esaurisce
Differenza specifica
Distingue le specie appartenenti ad uno stesso genere
Questa codifica delle regole della predicazione può essere considerata la radice
filosofica della relazione Is-a
Aristotele: Le categorie
La distinzione tra i vari modi della predicazione, consente di considerare
tutti i predicati come disposti in una molteplicità di colonne, ciascuna
delle quali è costituita da una serie di generi e specie subordinati gli uni
agli altri secondo il grado di estensione
Distribuendo tutti i predicati possibili in colonne di generi e specie
subordinati tra loro, Aristotele si accorge che tali colonne, o sezioni,
o classi fanno capo a dei generi universalissimi detti appunto generi
della predicazione, o categorie
Sostanza
Quantità
Qualità
Relazione
Dove Quando
Stare Avere
Fare
Patire
La denominazione di questi sommi generi rivela che
1.
Ciascuno di essi è preso in considerazione non solo come il predicato più universale possibile di
tutti i generi, le specie e gli individui ad esso subordinati, nei confronti dei quali esso esprime
appunto il genere, ovvero il “che cos’è” (o una parte di questo),
2.
ma anche come la classe di tutti i predicati che stanno nel medesimo rapporto con i termini di
un’altra colonna, o categoria.
La predicazione può avvenire...
a) Sia tra termini compresi nella stessa colonna, quando ad
esempio un genere si predica di una specie, o una specie di un
individuo, oppure quando una definizione si predica della specie
o dell’individuo di cui è definizione (predicazione essenziale)
b) Sia tra termini appartenenti a colonne diverse, quando ad
esempio un genere o una specie o un individuo di una colonna
si predicano rispettivamente di un genere, di una specie o di un
individuo di un’altra. In questo secondo caso il predicato è una
proprietà o un accidente del soggetto (predicazione accidentale)
Predicazione essenziale
Sostanza
Quantità
Qualità
Genere
Genere
Genere
Genere
Genere
Is-a
Is-a
Is-a
Is-a
Is-a
Relazione
Dove
Specie
Specie
Specie
Specie
Specie
Individuo
Individuo
Individuo
Individuo
Individuo
Quando
Stare
Avere
Fare
Patire
Genere
Genere
Genere
Genere
Genere
Is-a
Is-a
Is-a
Is-a
Is-a
Specie
Specie
Individuo
Individuo
Specie
Specie
Specie
Individuo
Individuo
Individuo
Il primato della predicazione essenziale
C’è una colonna/categoria, la sostanza, i cui termini non possono inerire a quelli di
altre colonne, ma possono essere soltanto predicati di termini meno universali
compresi nella loro stessa colonna
Questa categoria esprime dunque sempre e soltanto “che cos’è” una cosa, e mai
“quanta”, “quale”, etc., essa è. (ousia)
Tutte le altre categorie in quanto collegate alla categoria della sostanza attraverso un
rapporto di inerenza, o di predicazione accidentale, possono essere chiamate
accidentali
La differenza fondamentale tra la categoria delle sostanza e tutte le altre categorie,
cioè gli accidenti, è dunque che queste hanno un significato anche in relazione ad
altro da sè, mentre quella ha un significato solo di per se stessa.
L’albero di Porfirio
L’albero di Porfirio
Caratteristiche dell’albero
a)
b)
L’ereditarietà tra classi (universali) subalterne, ovvero la casse sottoordinata eredita le proprietà della classe superiore, e
il rapporto inversamente proporzionale tra estensione ed intensione,
a)
ovvero, tanto maggiore è il numero di individui di cui può essere
predicato l’universale, quanto minore sarà il numero di note
specifiche che individuano quel concetto, e viceversa.
Definizione del concetto di classe
Influenza di Porfirio e del ruolo della classificazione nell’accumulo
della conoscenza: Linneo
La lettura medievale: l’ontologia è assorbita dalla
metafisica
•
I confini della disciplina (Avicenna e Averroè):
–
–
Studio dell’ente e dei suoi principi;
Studio delle sostanze soprasensibili.;
•
Come la fisica si occupa della natura e poi riconosce in questa sfera una grande
quantità di oggetti, così la metafisica si occupa dell’ente in quanto tale e poi,
all’interno di questa indagine, può isolare degli oggetti determinati (Dio, l’Anima
e il Mondo);
•
Viene abbandonata la
filofofia di Aristotele;
–
–
•
componente
descrittivo/classificatoria
della
La Metafisica si allea con la Teologia;
La Scolastica tenta una operazione di coerenza cristianizzando Aristotele;
Tommaso d’Acquino fonda le metafisica sulla distinzione tra essenza ed
esistenza:
–
–
L’ente in quanto ente, ovvero l’oggetto adeguato della metafisica, è inteso come ente
reale. Ente reale non signifca ente esistente, bensì dotato di una res, cioè di una
essenza: il fatto di essere qualcosa e dunque di risultare rappresentabile. Res in questo
senso è principalmente il contenuto di un atto di pensiero, e non l’oggetto fisico
esistente nel mondo esterno ed accessibile ai nostri sensi;
Accanto alla metafisica generale si colloca la metafisica speciale che studia sezioni
specifiche dell’essere: la teologia,la psicologia e la cosmologia razionale
Il battesimo dell’ontologia
•
E’ nel 1613 che si trovano le prime attestazioni del termine “Ontologia”
in due opere di due enciclopedisti:
– Rudolphus Gockel
– Jacob Lorhard
•
“La scienza ontologica è la filosofia dell’ente, ossia dei predicati
applicabili a qualsivoglia entità conoscibile, predicati cioè che
trascendono in universalità le categorie della stessa tradizione
aristotelica”
La domanda ontologica: Che cosa c’è?
•
Approccio psicologico
Cartesio e il Cogito: viene attacato un principio di base della metafisica tradizionale:
–
•
Dall’idea che il mondo esterno fosse chiaro ed accessibile, mentre quello interno diffcile da riconoscresi e da
cogliersi, all’idea che il mondo estreno sia dubbio e trascendente, mentre il mondo interno certo ed immanente.
Approccio Logico
Leibniz distingue tra “cosa” che può essere concepita distintamente, e “cosa” che si può percepire
distintamente:
•
•
•
Il concepibile appare più ampio dell’esistente
Il concepibile è l’oggetto della Metafisica
Approccio ingenuo
Clauberg: c’è tutto quello che può essere detto e pensato
•
Approccio “Metafisico”
Wolff, lettore estremo di Leibniz. Esiste solo ciò che non è contradittorio anche se non si presenta
nell’esperienza
•
Approccio Epistemologico
Kant. C’è solo ciò che è accessibile nello spazio e nel tempo:
–
•
Con Kant si apre una frattura decisiva tra ontologia e metafisica. La prima è interamente assorbita dalla fisica, la
seconda dalla fede.
Approccio fenomenologico
Husserl. Il mondo delle qualità è il nuovo dominio dell’ontologia.
–
–
–
L’ontologia si annida nell’epistemologia della vita percettiva.
L’ontologia diviene sinonimo di Struttura dell’esperienza. L’ontologia si emancipa dalle scienze positive.
La fenomenologia è una metodo filosofico, ovvero una disciplina, mirante allo studio sistematico di tale
struttura
La svolta kantiana
... è il soggetto a costruire l’oggetto! e non viceversa
Ogni cosa la pensiamo attraverso le 12 categorie (le strutture dell'intelletto) e la
percepiamo attraverso lo spazio e il tempo: dunque il mondo che ci circonda è
l'insieme del materiale derivatoci dall'esperienza (e che a sua volta deriva dalla cosa in
sè, pensabile ma non conoscibile) e filtrato dallo spazio e dal tempo, poi
riorganizzato attraverso le 12 categorie: ecco che così abbiamo quel che ci sta
intorno. Il mondo quindi sarà costituito da un materiale (le sensazioni, i sensi, ecc) e
dalle forme della sensibilità (spazio e tempo) e dell'intelletto (le 12 categorie), che
però gli abbiamo dato noi.
Chiamo trascendentale quella conoscenza che non si occupa degli oggetti in sè, ma
del nostro modo di conoscere gli oggetti, in quanto questo modo deve essere
possibile a priori
Critica della Ragion Pura, 1781
Se la metafisica come scienza delle leggi generali della realtà è possibile e tali leggi
coincidono con la nostra mente (cioè, le leggi della realtà sono le leggi del pensiero)
ne consegue che possiamo designare col nome di metafisica anche l'analisi che noi
facciamo delle strutture delle leggi del pensiero.
What Has Happened to Ontology
Peter Ohrstrom, Jan Andersen, Henrik Scharfe
2005
L’Ontologia come disciplina filosofica
---------------------------------------------L’ontologia come information practice
Interdipendent dimensions
[1]
Plural and Singular
[2]
Dependency of Domain and Perspective
(top-down VS bottom-up)
[3]
Position on Product