17 giugno - ore 15.30
ISTC-CNR
Viale Marx 15
00137 Roma
"Image Schemas and Ontologies"
Werner Kuhn, University of Muenster, Germany
Abstract
Image schemas have great potential for ontology design: they are strong candidates for symbol grounding (through their embodied, pre-conceptual nature), they relate entities to fundamental processes, and they capture invariants in conceptual mappings. Yet, applying image schemas to ontology engineering requires formal power beyond that of current ontology languages. The talk discusses an algebraic approach to formalization and its expected benefits to (geospatial) ontology design.
L'argomento è molto interdisciplinare, in quanto coinvolge aspetti cognitivi, percettivi, linguistici, logici, simulativi, etc. Per avere un'idea delle ricerche del MUSIL: Musil.Uni-Muenster.de
3 febbraio - ore 11.00
Laboratorio di Ontologia Applicata (LOA), ISTC-CNR
POLO TECNOLOGICO
via Solteri 38 - TRENTO
"Le cose senza corpo"
Alessandro Lancieri
Abstract
Come si configura il rapporto fra oggetti materiali e tipi di entità non corporee?
P.F. Strawson, in Individuals, chiarisce come i corpi materiali occupino, tra i particolari in genere, una posizione centrale. Possono essere considerati gli oggetti di base della nostra esperienza del mondo e sono il riferimento primo per la considerazione degli altri tipi di entità. Mentre J. Searle, mette direttamente in relazione, in Mente, Linguaggio e Società, gli oggetti materiali con gli oggetti costruiti socialmente proponendo una ontologia sociale di impianto realistico, che vede negli oggetti sociali la trasformazione di oggetti fisici attraverso procedure convenzionali. In questo quadro teorico e con particolare riferimento a quest¹ultima questione, sembra utile ravvisare quali siano le prospettive teoriche aperte dal concetto di «cosa» res all¹interno del diritto romano per mettere in evidenza alcune possibili relazioni fra oggetti materiali gli oggetti giuridici costruiti razionalmente. «Come i concetti in quanto cose non perdano di vista la realtà fenomenica, anche quando si innalzano al di sopra di essa; come mantengano con essa un legame nei limiti del possibile , e compongano sul suo modello un proprio universo». Analizzando brevemente la storia di quattro figure giuridiche particolari come l¹obbligazione, le servitù, l¹eredità e l¹usufrutto (tutte definite res incorporales) individuiamo i modi in cui questo rapporto si presenta. Esso sarà di ordine storico o «genetico» in seno all¹evoluzione della pratica giuridica secondo il quale i concetti del diritto derivano direttamente dalle cose materiali cui si riferiscono. In questo senso non è possibile (diversamente da come intende Searle la relazione) sottovalutare i vincoli che vengono dagli oggetti. Sarà di ordine «metafisico» quando all¹interno della pratica giuridica cose corporee e cose incorporee sono collocate sul medesimo livello ontologico. Gli oggetti giuridici si tengono in rapporto con le cose materiali e proprio da questo rapporto traggono la loro esattezza, che urta frontalmente l¹idea di Hume secondo cui non c¹è necessità in senso materiale, ma solo in senso logico.
"Local Models Semantics: a Semantics for Contextual Reasoning"
Chiara Ghidini, ITC-IRST
Abstract
In this talk we present a semantics, called Local Models Semantics
(LMS), and use it to provide a foundation to reasoning with contexts.
This semantics captures and makes precise the two main intuitions
underlying contextual reasoning: (i) knowledge is represented by a set
of heterogeneous contexts, each context encoding a specific local view
of what is potentially available; however (ii) there are many useful
relations between contexts, each relation encoding a specific type of
compatibility among the different contexts.
The basic intuitions, the formalisation, and few examples of usage of
LMS will be presented. The focus will be mainly on the formalisation. We
will consider both the cases of propositional and first order LMS. In
propositional LMS each context is formalised by means of a propositional
theory, and compatibility between contexts by a relation between
formulae of different contexts. In the first order case (also known as
Distributed First Order Logic) the specific local view encoded in a
context is formalised by means of a first order theory on a given
domain, and compatibility between contexts is expressed using a relation
between formulae and individual objects of the different contexts.
"Counterpart Theory and Modal Mereology"
Achille Varzi
Dept. of Philosophy
Columbia University (USA)
Abstract: This talk investigates the link between the theory of modal occurrents (where individuals are allowed to stretch across possible worlds) and Lewis's counterpart theory (where all individuals are world-bound but have counterparts in other worlds). First I show how to interpret modal talk extensionally within the theory of modal occurrents. Then I show that the assumption that worlds be pairwise discrete is all that is needed to reconstuct the bulk of counterpart theory (i.e., to define the basic concepts and to derive the postulates governing those concepts) in terms of the theory of modal occurrents. Finally, I argue that this reconstruction allows us to view the indeterminacy of our modal intuitions as being part and parcel with the indeterminacy of our criteria for individuating modal occurrents, and that this indeterminacy is naturally explained in terms of linguistic (as opposed to ontic) vagueness.
-------------------------------------------------------------------------------------------------
SHORT COURSE ON MODAL LOGIC
by Achille Varzi
Department of Philosophy
Columbia University
USA
---------------------------------
28 APRILE - (9:30 - 12:30)
1. Introduzione: la logica modale come logica intensionale / Introduction: modal logic as intensional logic
2. Logica modale enunciativa: modelli di Liebniz, modelli di Kripke, modelli di Montague; teorie assiomatiche / Propositional modal logic: Liebniz models, Kripke models, Montague models; axiomatic theories
Lecture notes
---------------------------------
12 MAGGIO - (9:30 - 12:30)
3. Logica modale enunciativa: generalizzazioni; caratterizzabilità / Propositional modal logic: generalization; characterization
4. Modalità non aletiche: logiche epistemiche, deontiche, temporali / Non-alethic modalities: epistemic, deontic, temporal logics
Lecture notes
---------------------------------
26 MAGGIO - (14:30 - 17:30)
5. Logica modale del primo ordine: modelli di Kripke e formula Barcan / First-order modal logic: Kripke models and Barcan formulas
6. Logica modale del primo ordine: teoria delle controparti; mereologie modali / First-order modal logic: counterpart theory, modal mereology
Lecture notes
--------------------------------------------------------------------
Martedi' 27 Maggio ore 11
Laboratorio di Ontologia Applicata (LOA), ISTC-CNR
Giancarlo Guizzardi, University of Twente
Towards an ontological foundation for UML conceptual models
UML is a standard semi-visual notation which can be used
as a language for describing a conceptual model of a domain.
This presentation shows how Upper-Level Ontologies
(such as the General Ontology Language - GOL - and its underlying
foundational ontology) can be used to evaluate the
ontological correctness of a UML conceptual model.
Moreover, it discusses guidelines for how the constructs of UML
should be used in conceptual modeling. In particular,
the UML modeling constructs of classes and objects, powertypes,
associations and aggregation/composition are analyzed
from an ontological point of view.
Finally, some modifications to UML are proposed,
in order to account for relevant ontological distinctions.
Further info and publications
--------------------------------------------------------------------
MARTEDI' 25 MARZO - ore 11:00
Laboratorio di Ontologia Applicata (LOA), ISTC-CNR
POLO TECNOLOGICO
via Solteri 38 - TRENTO
SEMINARIO:
"Where Ontology Affects Information Systems"
Roland Kaschek
Department of Information Systems
Massey University
Palmerston North, New Zealand
E' disponibile un extended abstract
Il Prof. Kaschek sara' ospite del LOA fino al 27 marzo.
Se siete interessati a parlare con lui, potete mandare un messaggio
a Stefano Borgo.
--------------------------------------------------------------------
LUNEDI' 31 MARZO - ore 16:30
Laboratorio di Ontologia Applicata (LOA), ISTC-CNR
POLO TECNOLOGICO
via Solteri 38 - TRENTO
************
SEMINARIO:
************
"Dall'ontologia alla metafisica"
Achille Varzi
Department of Philosophy
Columbia University
USA
--------------------------------------------------------------------
VENERDI' 11 APRILE - ore 11:00
SEMINARIO:
"Note per una tassonomia ontologica"
Salvatore I. D'Agostino
Abstract:
Il seminario intende proporre alla riflessione un'ontologia che non sia semplificatoria e che, quindi, non faccia scomparire dal campo degli enti oggetti che non rientrano in criteri eccessivamente rigidi. La nostra tassonomia si articola preliminarmente in cinque sfere: 1) gli absoluta, cioè enti i quali non patiscono alcuna limitazione spazio-temporale; 2) i realia, cioè enti i quali esistono nel tempo, ovvero nello spazio e nel tempo; 3) gli idealia, cioè enti i quali esistono al di fuori del tempo; 4) i possibilia, cioè degli enti incompleti in maniera diversa, suddivisi ulteriormente in a) intentionalia, cioè enti dipendenti da un atto intenzionale, ma non riducibili a questo; b) decretalia, cioè enti derivati dall’arbitrio umano; c) potentialia, cioè realia futuri ontologicamente possibili; 5) gli irrealia, cioè enti insussistenti, distinti in a) imaginaria cioè enti inesistenti che non hanno, però, caratteristiche contraddittorie e sono, quindi, logicamente possibili; b) impossibilia cioè enti contraddittori, ossia inesistenti in ogni mondo possibile. Oltre alla disamina delle sfere proposte, si mettono in evidenza i problemi della tassonomia: per es. gli sconfinamenti, le sovrapposizioni, la completezza e la consistenza della tassonomia.
--------------------------------------------------------------------
LUNEDI' 5 MAGGIO - ore 11:00
SEMINARIO:
"Reductive Physicalism, Causal Deviance and Modulated Movement"
Steve H. Simon, PhD
Abstract:
The project of giving a general physicalistic reduction of action contrasts with Donald Davidson's view that only individual actions can be explained in physicalistic terms. One reason for his view is that he thinks the problem of internal causal deviance is insoluble. In this paper, I start with the theory of action Davidson develops in Essays on Actions and Events and extend it to solve the deviance problem. The idea of the solution is that action requires "modulated movement," an ongoing process of monitoring and modulating the movements in which actions consist. I defend my contention that the analysis of modulated movement solves the deviance problem against some objections. In doing so, one of the main points I argue is that "ballistic movements," movements the agent cannot modify, cannot be actions.
--------------------------------------------------------------------
SEMINARIO:
"Indication"
Steve H. Simon, PhD
Abstract:
In this paper I develop a reductive physicalistic account of a component of belief, indication. I start with the theory of indication that Robert Stalnaker presents in Inquiry, and develop it to cope with some problems for it that I identify. In the second part of the paper, I extend the theory to explain cases of indication in which indicators are combined so that together they indicate propositions more specific or precise than any of the propositions they indicate alone, thus reducing complex cases of indication to simpler ones.
--
|
