References
Deo, N.: 1974,Graph Theory with Application to Engineering and Computer Science, Prentice-Hall (Series in Automatic Computation). G. Forsythe, ed., Englewood Cliffs, N.J.
Feinstein, A. R.: 1967,Clinical Judgment, Williams & Wilkins, Baltimore, 156–228.
Hintikka, J.: 1961, ‘Modality and quantification’,Theoria 27, 119–128.
Hintikka, J.: 1963, ‘The modes of modality’,Acta Philosophica Fennica 16, 65–81.
Hintikka, J.: 1975, ‘Impossible possible worlds vindicated’,Journal of Philosophical Logic 4, 475–484.
Kripke, S. A.: 1959, ‘A completeness theorem in modal logic’,The Journal of Symbolic Logic 24, 1–14.
Kripke, S. A.: 1963a, ‘Semantical analysis of modal logic. I, Normal modal propositional calculi’,Zeitschr. f. math. Logik und Grundlagen d. Math 9, 67–96.
Kripke, S. A.: 1963b, ‘Semantical considerations on modal logic’,Acta Philosophica Fennica 16, 83–94.
Kuhajda, F. J., Moore, G. W. and Hutchins, G. M.: 1978, ‘Adrenal insufficiency secondary to massive cortico-medullary junction hemorrhage following hypotension in three anticoagulated patients’,Circulatory Shock 5, 291–297.
Ledley, R. S. and Lusted L. B.: 1959, ‘Reasoning foundations of medical diagnosis. Symbolic logic, probability, and value theory and our understanding of how physicians reason’,Science 130, 9–21.
Ledley, R. S.: 1965,Use of Computers in Biology and Medicine, McGraw-Hill Book Co., New York, 770–819.
Moore, G. W., Riede, U. N. and Sandritter, W.: 1977a, ‘Application of Quine's nullities to a quantitative organelle pathology’,Journal of Theoretical Biology 65, 633–651.
Moore, G. W., Hutchins, G. M. and Bulkley, B. H.: 1977b, ‘Application of symbolic logic to the pathogenesis of congenital heart disease: tetralogy of Fallot’,Metamed 1, 313–323.
Moore, G. W., Hutchins, G. M. and Bulkley, B. H.: 1979, ‘Certainty levels in the nullity method of symbolic logic: Application to the pathogenesis of congenital heart malformations’,Journal of Theoretical Biology 76, 53–81.
Moore, G. W., Erozan, Y. S., Gupta, P. K., Pressman, N. J. and Frost, J. K.: 1979, ‘Automated reporting and indexing of gynecologic cytopathology diagnoses using symbolic logic’,Acta Cytologica 23, 420–424.
Moore, G. W. and Hutchins, G. M.: 1980, ‘Certainty levels in symbolic logic: Two necessary conditions for Sutton's Law’,Archiv für Medizinforschung 3 (in press).
Petersdorf, R. G. and Beeson, B. P.: 1961, ‘Fever of unexplained origin. Report on 100 cases’,Medicine 40, 1–30.
Quine, W. V.: 1948,Theory of Deduction, Parts I–IV, Harvard Cooperative Society, Cambridge, 65–81.
Riede, U. N., Moore, G. W., and Sandritter, W.: 1980, ‘Symbolic logic as a new method in quantitative organelle pathology’,Exp. Molec. Pathol. 33, 259–282.
Snyder, D. P.: 1971,Modal Logic and Its Applications, Van Nostrand Reinhold Company, New York.
Sutton, W. and Linn, E.: 1977,Where the Money Was, Ballatine Books, New York, 148–150.
Wieland, W.: 1975,Diagnose, Überlegungen zur Medizintheorie, Walter de Gruyter, Berlin, 13–40.
Zeman, J. J.: 1973,Modal Logic. The Lewis-Modal Systems, Oxford at the Clarendon Press.
Author information
Authors and Affiliations
Additional information
Supported by NIH Grant HL 22963 from the National Heart, Lung and Blood Institute, and by NIH Grant LM 03651 from the National Library of Medicine, U.S.A. Dr. Moore is a Research Fellow of the American Heart Association, Maryland Affiliate, Inc.
Rights and permissions
About this article
Cite this article
Moore, G.W., Hutchins, G.M. A hintikka possible worlds model for certainty levels in medical decision making. Synthese 48, 87–119 (1981). https://doi.org/10.1007/BF01064630
Issue Date:
DOI: https://doi.org/10.1007/BF01064630