We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...) can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

Il contributo consiste in una analisi e commento della prima sezione del De docta ignorantia di Nicola Cusano (capp. I-XVI), dedicata ai concetti di precisione matematica e di uguaglianza. Il saggio offre la possibilità di ripercorrere la teoria della conoscenza di Cusano, laddove l'impossibilità per la ragione di giungere ad una mens-ura precisa dell'oggetto da conoscere non si trasforma in una mera cultura del limite, bensì la filosofia negativa diviene base per la mistica. In altri termini l'obiettivo specifico del saggio (...) è rilevare come il metodo della dotta ignoranza apra alla conoscenza dell'infinito proprio nel momento in cui essa nega ogni conoscenza razionale precisa. La matematica diviene dunque il fondamento su cui far leva per innalzare la propria mente (transferre) verso la conoscenza simbolica di Dio, nel medesimo solco tracciato da Dionigi e dalla tradizione della mistica speculativa. (shrink)