MIS and the "rule following" consideration

Monday, April 18, 2005

The publication of Kripke's Wittgenstein on Rules and Private Languages has been the triggering event of a sustained and very prolific debate about "rule-following" during most of the 1980s and early 1990s. It remains a lively subject to this day and is closely connected to other current subjects of interest through, for example, its relationship with computational arguments in the philosophy of mind. 

Whether anything that has been published in the past 25 years on this subject has conclusively settled the issue is open to question. Many competing positions have been expressed but none can be said to have triumphed over the others. There is the "sceptical solution" current, the "quietist" position, different variants of the "community view", and so on. The objective of this part of the site is to put these positions to the test of insights and examples drawn from MIS practice. It is hoped that some clarity on the basic question of what it means to follow a rule can be gained in the process.  

Examples, like Kripke's Quus function or Wittgenstein own "+n" example (PI §185), play a central role in the rule following debate. Likewise, the material presented here revolves around the story of a fictive MIS project, which we will refer to as "the order-processing example".

This part of the site is organized into the following sub-sections: