Re: Polish foundations?
- From: "Jeffrey Ketland" <ketland@xxxxxxxxxxxxxxxxxxx>
- Date: Wed, 3 Aug 2005 16:26:14 +0100
Jim Spriggs
> Has any work been done using Lesniewski's ontology or mereology as
> foundations for mathematics (in the way that type theory and set theory
> are used as foundations)?
Yes.
For a survey, see for example Burgess and Rosen 1997, _A Subject with No
Object: Strategies for Nominalist Interpretation of Mathematics_. This will
lead you to further literature on Polish topics: mereology, substitutional
quantification, etc.
See also David Lewis 1991, _Parts of Classes_.
--- Jeff
.
- Follow-Ups:
- Re: Polish foundations?
- From: Jim Spriggs
- Re: Polish foundations?
- References:
- Polish foundations?
- From: Jim Spriggs
- Polish foundations?
- Prev by Date: Re: "Friendly Premises"
- Next by Date: Re: "Friendly Premises"
- Previous by thread: Polish foundations?
- Next by thread: Re: Polish foundations?
- Index(es):
Relevant Pages
|
