A Case for Paraconsistent Logic as a Foundation of Future Information Systems
Proc. CAiSE’05 Workshop PHISE’05, (2005)Abstract
Logic links philosophy with computer science and is the ac- knowledged foundation of information systems. Since the large scale pro- liferation of the internet and the world wide web, however, a rush of new technologies is avalanching, in many cases without much consideration of a solid foundation that would be up to par with the rigor of the tra- ditional logic fundament. Philosophy may help to question established foundations, especially in times of technological breakthroughs that seem to override such foundations. In particular, the intolerance associated with the consistency requirements of classical logic begs question of its legitimacy, in the face of ubiquitous inconsistency in virtually all infor- mation systems of sizable extent. Based on that, we propose to overcome classical logic foundations by adopting paraconsistency as a foundational concept for future information systems engineering (ISE).