Library

feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Virchows Archiv 389 (1980), S. 225-240 
    ISSN: 1432-2307
    Keywords: Homology ; Morphometry ; Symbolic logic ; Organelle pathology ; Glycogenosis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine
    Notes: Summary The process of quantification has led pathology into an objective and abstract direction to which it is unaccustomed. The introduction of the concept of homology in pathology by Doerr has proven to be very fruitful, since it has helped to clarify otherwise poorly understood relationships. As shown in the foregoing paper, the succes of the homology concept applies also to quantitative organelle pathology. Homologies have demonstrated relationships within the ergastoplasmic — mitochondrial — peroxisomal system which are apparent only with the help of symbolic logic. These homologies permit inferences, shown here with the example of glycogenosis type I, regarding the adaptive potential of the cell and the degree of cellular damage. In addition, these homologies, which are described in terms of formal logic, may serve as a model for human pathologic anatomy.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Theoretical medicine and bioethics 1 (1980), S. 277-303 
    ISSN: 1573-1200
    Keywords: Medical decision making ; Computer diagnosis ; Symbolic logic ; Modal logic ; Sutton's Law ; Embryogenesis ; Congenital heart disease
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine , Philosophy
    Notes: Abstract Medical decisions, including diagnosis, prognosis, and disease classification, must often be made on the basis of incomplete or unsatisfactory information. Data which are essential to the care of one patient may be unobtainable for technical or ethical reasons in another patient. For this reason the principles of controlled experimentation may be impossible to satisfy in human studies. In this paper, some formal aspects of medical decision making are discussed. Special operators for the intuitive concepts of ‘certainty’, ‘demand’, and ‘effort’, akin to the operators of modal logic, are used to accommodate the technical and ethical limitations on human studies. Theorems are stated and proved which show how this system handles incomplete information. The embryogenesis of the human heart is presented as a sample problem in classification.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Theoretical medicine and bioethics 2 (1981), S. 197-215 
    ISSN: 1573-1200
    Keywords: Medical diagnosis ; Paradox ; Certainty levels ; Symbolic logic ; Consistency ; Logic of medicine ; Automated diagnosis
    Source: Springer Online Journal Archives 1860-2000
    Topics: Medicine , Philosophy
    Notes: 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.
    Type of Medium: Electronic Resource
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...