Non-wellfounded mereology
In philosophy, specifically metaphysics, mereology is the study of parthood relationships. In mathematics and formal logic, wellfoundedness prohibits for any x.
Thus non-wellfounded mereology treats topologically circular, cyclical, repetitive, or other eventual self-containment.
More formally, non-wellfounded partial orders may exhibit for some x whereas well-founded orders prohibit that.
See also
External links
- Non-wellfounded Set Theory entry by Lawrence S. Moss in the Stanford Encyclopedia of Philosophy, 2017-01-05
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.