Re: The Difference between a Set and an Element

Chris Menzel schrieb:
On 16 Jan 2007 05:13:28 -0800, Paul Holbach said:

As far as arbitrary infinite collections are concerned, we would
indeed have to posit infinite disjunctive concepts. But that's a
matter of theoretical preference, isn't it?

Did I imply anything else?

No.

I can see a philosophical role for concepts of some sort, but I can't
imagine what it buys you to have a disjunctive concept correspondingly
uniquely to every set beyond a lot of metaphysical bloat. But then
again, I'm not very imaginative.

Indeed, the universe of concepts becomes "bloated" thereby.
This is already a consequence of Frege's comprehension principle for
concepts [EFAx(Fx <-> phi(x))], which G. Frege uses in his proof:

"[The] comprehension principle for concepts ensures that the domain of
concepts is very rich."
(E. Zalta: http://plato.stanford.edu/entries/frege-logic)

#PH

.