A case against logic.
Based on a simple example taken from Toxoplasma serology it is shown that employment of formal logic and its symbolic descendants is not always the best choice for supporting medical diagnosis.
Steimann
F
F
Department of Medical Computer Science, University of Vienna, Währinger Gürtel 18Q20, A-1090 Wien, Austria.
D000208:Acute Disease; D000818:Animals; D000913:Antibodies, Protozoan / Q000097:blood; D003196:Computer Graphics; D003663:Decision Trees; D003936:Diagnosis, Computer-Assisted; D005103:Expert Systems; D005260:Female; D006801:Humans; D007074:Immunoglobulin G / Q000097:blood; D007075:Immunoglobulin M / Q000097:blood; D011247:Pregnancy; D015597:Pregnancy Complications, Parasitic / Q000175:diagnosis / Q000517:prevention & control; D011256:Pregnancy Outcome; D012698:Serologic Tests; D014122:Toxoplasma / Q000302:isolation & purification; D014123:Toxoplasmosis / Q000175:diagnosis / Q000517:prevention & control
D000913:Antibodies, Protozoan; D007074:Immunoglobulin G; D007075:Immunoglobulin M