|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.
|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.
Hybrid Logics Site
Web Master: Carlos Areces
Copyright © 2000.