Abstract
Sadegh-zadeh [23] has proposed a theory of the relativity of medical diagnosis in terms of the time at which a diagnosis is accepted, the patient to whom the diagnosis applies, the physician who renders the diagnosis, the medical knowledge used, the diagnostic method applied, and the set of patient observations. Use of classical formal logic as the ‘diagnostic method’ may result in three paradoxes: the paradoxes of consistency, completeness, and justifiable ignorance. These paradoxes may be resolved by the addition of two non-classical operators, the ‘certainty’ and ‘effort’ operators, akin to the non-classical operators of modal logic.
Similar content being viewed by others
References
Anderson, J. M., and Johnstone, H. W., Jr.: 1962,Natural Deduction. The Logical Basis of Axiom System, Wadsworth Publishing Company, Inc., Belmont, California.
Card, W. I., and Good, I. J.: 1971, ‘Logical foundations of medicine’,Brit. Med. J. 1, 718–720.
Carnap, R.: 1958,Introduction to Symbolic Logic and its Applications, Dover Publications, Inc., New York.
Davis, R., Buchanan, B., and Shortliffe, E.: 1977, ‘Production rules as a representation for a knowledge-based consultation program’,Artif. Intel. 8, 15–45.
Feinstein, A. R.: 1967,Clinical Judgment, Williams and Wilkins, Baltimore.
Kayser, K.: 1975, ‘Logic and diagnosis’,Meth. Inform. Med. 14, 76–80.
Ledley, R. S.: 1973, ‘Syntax-directed concept analysis in the reasoning foundations of medical diagnosis’,Comput. Bio. Med. 3, 89–99.
Ledley, R. S., and Lusted, L. B.: 1959, ‘Reasoning foundations of medical diagnosis’,Science 130, 9–21.
McCluskey, E. J., Jr.: 1956, ‘Minimization of Boolean functions’,Bell Syst. Tech. J. 36, 1417–1444.
Moore, G. W., Riede, U. N., and Sandritter, W.: 1977, ‘Application of Quine's nullities to a quantitative organelle pathology’,J. Theor. Biol. 65, 633–651.
Moore, G. W., Hutchins, G. M., and Bulkey, B. H.: 1979, ‘Certainty levels in the nullity method of symbolic logic: Application to the pathogenesis of congenital heart malformations’,J. Theor. Biol. 76, 53–81.
Moore, G. W., and Hutchins, G. M.: 1980, ‘Effort and demand logic in medical decision making’,Metamedicine 1, 277–303.
Moore, G. W., and Hutchins, G. M.: 1981, ‘Symbolic logic analysis of congenital heart disease’,Pathol. Res. Pract. 171, 59–85.
Murphy, E. A.: 1978,The Logic of Medicine, Johns Hopkins University Press, Baltimore.
Pauker, S. G., Gorry, G. A., Kassirer J. P., and Schwartz, W. B.: 1976, ‘Towards the simulation of clinical cognition. Taking a present illness by computer’,Amer. J. Med. 60, 981–996.
Petersdorf, R. G. and Beeson, P. B.: 1961, ‘Fever of unexplained origin. Report on 100 cases’,Medicine (Baltimore)40, 1–30.
Quine, W. V.: 1948,Theory of Deduction, Harvard Cooperative Society, Cambridge, pp. 65–81.
Quine, W. V.: 1950,Methods of Logic, Henry Holt and Company, New York.
Quine, W. V.: 1952, ‘The problem of simplifying truth functions’,Amer. Math. Monthly 59, 521–531.
Quine, W. V.: 1955, ‘A way to simplify truth functions’,Amer. Math. Monthly 62, 627–631.
Riede, U. N., Moore, G. W., and Sandritter, W.: 1980, ‘Symbolic logic as a new method in quantitative organelle pathology’,Exp. Molec. Path.,33, 259–282.
Sadegh-zadeh, K.: 1974, ‘Subjektive Wahrscheinlichkeit und Diagnose’,Meth. Inform. Med. 13, 97–102.
Sadegh-zadeh K.: 1977, ‘Grundlagenprobleme einer Theorie der klinischen Praxis. Teil I.: Explikation des medizinischen Diagnosebegriffs’,Metamed 1, 76–102.
Sadegh-zadeh, K.: 1978, ‘On the limits of the statistical-causal analysis as a diagnostic procedure’,Theory and Decision 9, 93–107.
Sadegh-zadeh, K.: 1981,Kausalitätsprobleme in der ärtztlichen Praxis, Burgverlag, Tecklenburg, West Germany.
Shortliffe, E. H. and Buchanan, B. G.: 1975, ‘A model of inexact reasoning in medicine’,Math. Biosci. 23, 351–379.
Shortliffe, E. H., Buchanan, B. G., and Feigenbaum, E. A.: 1979, ‘Knowledge engineering for medical decision making: A review of computer-based clinical decision aids’,Proc. I.E.E.E. 67, 1207–1224.
Snyder, D. P.: 1971,Modal Logic and Its Applications, Van Nostrand Reinhold Co., New York.
Stoddard, L. D.: 1980, ‘Toward a new human pathology, I: Biopathological populations or sets. A substitute for the old pathology's diseases’,Human Pathol. 11, 228–239.
Sutton, W., and Linn E.: 1977,Where the Money Was, Ballantine Books, New York, pp. 148–150.
Svolovitz, P., and Pauker, S. G.: 1978, ‘Categorical and probabilistic reasoning in diagnosis’,Artif. Intel. 11, 115–144.
Weiss, S. M., Kulikowski, C. A., Amarel, S., and Safir, A.: 1978, ‘A model-based method for computer-aided medical decision making’,Artif Intel. 11, 145–172.
Westmeyer, H.: 1975, ‘The diagnostic process as a statistical-causal analysis’,Theory and Decision 6, 57–86.
Wieland, W.: 1975,Diagnose. Überlegungen zur Medizintheorie, Walter de Gruyter, Berlin, pp. 13–40.
Wulff, H. R.: 1976,Rational Diagnosis and Treatment, Blackwell Scientific Publications, Oxford.
Zeman, J. J.: 1973,Modal Logic. The Lewis-Modal Systems, Oxford at the Clarendon Press, London.
Author information
Authors and Affiliations
Additional information
Dedicated to the memory of the late Prof. Dr. med. Walter Sandritter, Freiburg.
Supported by NIH Grant LM-03651 from the National Library of Medicine and NIH Grant HL-22963 from the National Heart, Lung and Blood Institute, U.S.A.
Rights and permissions
About this article
Cite this article
Moore, G.W., Hutchins, G.M. Three paradoxes of medical diagnosis. Metamedicine 2, 197–215 (1981). https://doi.org/10.1007/BF00884423
Issue Date:
DOI: https://doi.org/10.1007/BF00884423