Spinoza '96

[an error occurred while processing this directive]

   The NWO Spinoza Awards
   Former Award Winners
   Spinoza Committee Report
   Acceptance Speech
   About Spinoza (ext.)
   van Benthem on Spinoza
   Johan van Benthem (ext.)

About Logic in Action

[an error occurred while processing this directive]

   ...in Action
   Logic in Action Themes


[an error occurred while processing this directive]

   Logic in Communication
   Dissemination of Logic
   Computational Logic

Contact Information

[an error occurred while processing this directive]

   Our People
   About this site

Logic Actions in..

[an error occurred while processing this directive]

   the Netherlands
   The World

About the Spinoza Project "Logic in Action"

Logic in Action is an initiative of Johan van Benthem and his research group members made possible by the Spinoza Award. Its general aims are the exact study of information flow and the promotion of logic as an interdisciplinary focus for the information sciences

As information technology is transforming our society, fundamental questions concerning the structure and dynamics of information and cognition are also transforming academic research and education. This trend affects various disciplines ranging from linguistics and philosophy to mathematics, and from computer science to psychology and the social sciences. The ensuing interactions generate a remarkable convergence of techniques and ideas. We actually observe a new natural grouping of research efforts into what may be called the information sciences.

The aim of the Logic in Action project here is to act as a catalyst and to found, further and extend the role and scope of logic as a core discipline in information scientific research and education. Logic can be assigned such a key role, as it figures as a calculus for the information sciences. In this section we describe the Logic in Action project, both against the background of logic as a canonical academical discipline, and with an outlook upon logic as an active branch in the evolving information society.

For information about the activities 1997-2001, please download the respective annual reports or the 2001 final report:

Printed and bound copies of the annual reports can be ordered from the ILLC Buro.