In order to construct a complete system we need to be able to take advantage of the means of formalizing the way in which we represent information. By formalizing we provide rigor to the use of language by the constraints of vocabulary, grammar and the rules which govern them. This allows us to construct information systems which have consistency, integrity and validity.
Unable to display preview. Download preview PDF.
- Barnes, Barry, Interests and the Growth of Knowledge, London: Routledge and Kegan Paul, 1976. The most rigorous statement of the relativist position for the sociology of knowledge, as worked out for science as much as for other forms of knowledge.Google Scholar
- Kalish, D. and Montigue, R., Logic; Techniques of Formal Reasoning, New York: Harcourt, Brace & World, 1964. A comprehensive logic textbook which is difficult but worthwhile.Google Scholar