Mathematical logic, and in particular its extension to many-valued logic, as based on algebraic and topological foundations of many-valuedness, produces a huge potential of enriched applications in health care.

The Logic of Health goes to the heart of what medical mathematics cannot do, in particular concerning management of many-valuedness and order, since it mathematically and logically restricts to being medical statistics.

Many-valuedness is not to be confused with probability. Many-valuedness embraces gradation of truth, whereas probability quantifies chance (of an event). Samples in events are in probability theory treated as points without any structure. In logic, they are expressions based on underlying signatures, where signatures embrace terminology, nomenclature and ontology.

WHO-FIC classifications are logical, when represented based on underlying logical signatures. However, it is not recognized explicitly within WHO's classification documents, nor within SNOMED CT.



See also Logic-Based Medicine (LBM).