A Case for Paraconsistent Logic as Foundation of Future Information Systems.
Hendrik Decker · 2005
Abstract. Logic links philosophy with computer science and is the acknowledged foundation of information systems. Since the large scale proliferation 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 traditional 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 information 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). 1