The aim of this project is to take initial steps to establish a distributed, evolving and live electronic dictionary of logic, serving an active community on the subject.
Logic is an interdisciplinary subject.
Its long tradition, since Aristotle, is to provide foundations for problems in Philosophy, Mathematics, Language, Psychology, and more recently, Computer Science and Artificial Intelligence. In the early 1980s, it became clear to many members of the research community that there were many similarities in the way logic is used and applied by the diverse existing active consumer communities. There was an urgent need to bring these communities together and to establish means for their communications and, hopefully, their collaboration. Historical Background A series of handbooks of logic was planned and published during the 1980s, covering in a thematic and cooperative way, many of the research areas of logic. By the early 1990s over 12 volumes of the handbooks were published with plans and activity for 25 more to be completed by the end of 2001.