Non-wellfounded mereologia - Non-wellfounded mereology

W filozofii , szczególnie metafizyki , mereologia jest badanie relacji parthood. W matematyki i logiki formalnej , wellfoundedness zakazuje dla każdego  x . ${\ Displaystyle \ cdots <x <\ cdots <x <\} cdots$

Zatem nie wellfounded Mereologia traktuje topologicznie okrągły, cykliczny, powtarzalny lub inne ewentualne samoistny.

Bardziej formalnie, nie wellfounded częściowe zamówienia mogą wykazywać dla niektórych x natomiast wellfounded rozkazy zabraniają tego. ${\ Displaystyle \ cdots <x <\ cdots <x <\} cdots$

Zobacz też

• Aczél anty-fundacja aksjomat
• Peter Aczél
• John BARWISE
• Steve Awodey
• Dana Scott

Linki zewnętrzne

• Non-wellfounded teoria mnogości wpis Lawrence S. Moss w Stanford Encyclopedia of Philosophy , 2017-01-05

Ta filozofia kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi

Ten artykuł o metafizyce jest en . Można źródło Wikipedia rozszerza ją . v T mi

Ta logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . v T mi