Principles of logic and the use of digital geographic information systems