Non-wellfounded mereology (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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. (en) |
| dbo:wikiPageID | 36202984 (xsd:integer) |
| dbo:wikiPageLength | 885 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 775196555 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Mereology dbr:Peter_Aczel dbr:Mathematics dbr:Steve_Awodey dbr:Aczel's_anti-foundation_axiom dbr:Topology dbr:Wellfoundedness dbc:Mereology dbr:Dana_Scott dbc:Mathematical_logic dbr:Philosophy dbr:Metaphysics dbr:Formal_logic dbr:Partial_order dbr:John_Barwise |
| dbp:wikiPageUsesTemplate | dbt:Philosophy-stub dbt:SEP dbt:Logic-stub dbt:Metaphysics-stub |
| dct:subject | dbc:Mereology dbc:Mathematical_logic |
| rdfs:comment | 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. (en) |
| rdfs:label | Non-wellfounded mereology (en) |
| owl:sameAs | freebase:Non-wellfounded mereology wikidata:Non-wellfounded mereology https://global.dbpedia.org/id/4stuz |
| prov:wasDerivedFrom | wikipedia-en:Non-wellfounded_mereology?oldid=775196555&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Non-wellfounded_mereology |
| is dbo:wikiPageWikiLink of | dbr:Yin_and_yang |
| is foaf:primaryTopic of | wikipedia-en:Non-wellfounded_mereology |