Un modello di sviluppo di sistemi informativi : Fase I, parte II: La relazione causale e il calcolo degli eventi

La nota intende indagare sull'applicabilit` del formalismo del calcolo degli eventi al modello di sistema informativo ipotizzato in una precedente nota [1]. La procedura adottata e diretta (i) ad acquisire la conoscenza delle capacita espressive del formalismo e (ii) verificare la loro rispondenza alle esigenze poste dalla tipologia dei sistemi informativi precedentemente indicata. La verifica viene condotta per esemplificazione. Il focus della nota punta inoltre a sondare, in linea teorica, la fattibilit` di una integrazione tra le assunzioni concettuali fatte nella nota precedente ed il formalismo del calcolo degli eventi. Il ragionamento muove dall'ipotesi che si possa, partendo dalle tesi portate alla luce dall'analisi filosofico-linguistica di Davidson[2] e dalle argomentazioni prodotte a loro sostegno, o a confutazione di tesi contrapposte, giungere ad una piy profonda comprensione del formalismo di Shanahan[3], finalizzato, invece, al calcolo. La questione viene impostata a partire dalla flessibilit` dell'ontologia, la sua capacita di specializzarsi e dalla possibilit` di estendere il formalismo, cosa per altro gia sperimentata nell'ambito dei linguaggi naturali.