Friday
14.00 - 14.40 Hs. Patrick Blackburn. Hybrid Logics and the Work of Prior
Arthur Prior is the father of hybrid logic --- however he understood hybrid language, and found them important, for reasons that many contemporary logicians are likely to find odd. Roughly speaking, he thought hybridization showed that we could work with ontologies consisting solely of propositions.

In this talk I want to do two things. First, I want to describe Prior's strong ontological interpretation of hybrid logic, indicating why he was lead to it, and why it is fundamental to his thinking. Along the way I will indicate some of the tensions inherent in his views. Second, I will argue that these tensions notwithstanding, many of Prior's views are strikingly modern. It is an interesting exercise to read Prior, consciously substituting the word ``information'' whenever you encounter the word ``proposition''. Read this way, many of the themes later stressed in information-based approaches to logic can be detected in nascent form: the importance of a perspectival (or situated) view of information, the preference for a naturalistic ontology rather than abstract entities, and a broad view of the scope of logic.

Relevant Material:

1.
The slides of the talk.
2.
P. Hasle and P. ěhrstr°m (1993). A. N. Prior Rediscovery of Tense Logic. in Erkenntnis, Volume 39, pp. 23-50. .
14.50 - 15.30 Hs. Round Table. Bringing Them All Together
To close the workshop we will set up a round table with invited speakers from different fields and backgrounds. We will ask them to provide their views on how hybrid logics relates to their work and interests.

The round table will be organized as a series of short presentations (5 to 10 minutes), followed with what promissed to be an interesting interchange of ideas between the invited speakers and the people attending the workshop. We are aiming to a lively discussion and interchange of ideas, so don't hesitate to take active part.

Following is the list of invited speakers.

1 .
Dov Gabbay
2.
Alexander Koller
3.
Geert-Jan Kruijff
4.
Drew Moshier
5.
Luciano Serafini
6.
Bill Wadge

Hybrid Logics Site
Web Master: Carlos Areces

Copyright © 2000.