Logodynamics
What is logic for? Is logic about thinking? I used to think so, believing that logic was something like the ‘doctrine of thinking’, or even the ‘doctrine of correct thinking’. A closer look, however, reveals that what we call logic, and the field of study that goes by this name, is about proving rather than thinking. Classical logic is in fact the science of the proof. But there’s a lot more to thinking than proving. If you want to proof something, first you have to find the proofs. Then you have to assess these proofs in context – a context
Non-Monotonic Reasoning (NMR)
Concept Molecules and NMR In the article Two types of coding 1, I described the challenge of getting computers to ‘understand’ the incredibly diverse range of medical diagnoses that may crop up in a text. To meet this challenge, the computer has to convert the various diagnostic formulations encountered into a consistent format that represents all the semantic details in an easily retrievable form. With concept molecules we have succeeded in doing this. We were aided here by two properties of the concept molecules method: a) the consistently composite representation of semantics, and b) a non-monotonic reasoner. At the time,
