Facilitators: Dr Lopamudra Choudhury and Professor Mihir Chakraborty
Special Session Summary
The diagrammatic system called Venn-i has been developed as an extension of Shin’s Venn-II system by incorporating constant symbols. In particular, this system contains symbols representing the absence of individuals as well as the presence of individuals. Absence brings along with it certain interesting properties. An automatic extension of Venn-i to interpret the system using an open universe. The underlying logic and features of using an open universe will be discussed in the session.
Prerequisite Knowledge
Knowledge of the historical development of diagrammatic logics from Euler through to Shin and the preliminaries of spider diagrams. This material will be covered during the sessions on diagrammatic logics.
Outcomes
Attendees will gain a rounded knowledge of the different choices that can be made when including constants in diagrammatic logics and how to interpret such logics using an open universe. The special session aims to provide a further step towards the theoretical foundation and visual representation of open universe.
Session Materials
Nearer the time, relevant materials will be available for download from this page