A multifactorial and growing crisis of health care systems in the developed world has affected medicine. In order to provide rational responses, some central concepts of the past, such as the definitions of health and disease, need to be updated. For this purpose physicians should initiate a new debate. As a point of departure the following definitions are proposed: Health is a dynamic state of wellbeing characterized by a physical, mental and social potential, which satisfies the demands of a life (...) commensurate with age, culture, and personal responsibility. If the potential is insufficient to satisfy these demands the state is disease. This term includes sickness, illness, ill health, and malady. The described potential is divided into a biologically given and a personally acquired partial potential. Their proportions vary throughout the life cycle. The proposed definitions render it empirically possible to diagnose persons as healthy or diseased and to apportion some of the responsibility for their state of health to individuals themselves. Treatment strategies should always consider three therapeutic routes: improvements of the biologically given and of the personally acquired partial potentials and adaptations of the demands of life. These consequences favourably contrast with those resulting from the WHO-definition of health. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (shrink)

The view that toposes originated as generalized set theory is a figment of set theoretically educated common sense. This false history obstructs understanding of category theory and especially of categorical foundations for mathematics. Problems in geometry, topology, and related algebra led to categories and toposes. Elementary toposes arose when Lawvere's interest in the foundations of physics and Tierney's in the foundations of topology led both to study Grothendieck's foundations for algebraic geometry. I end with remarks on a categorical view of (...) the history of set theory, including a false history plausible from that point of view that would make it helpful to introduce toposes as a generalization from set theory. (shrink)