Re: Cantor's definition of set

On Oct 30, 1:16?pm, george <gree...@xxxxxxxxxx> wrote:
On Oct 29, 3:59 pm, John Jones <jonescard...@xxxxxxx> wrote:

If the name

In this paradigm, there are at least 2 different
kinds of names -- names from natural language
and names from the formal language of the theory.
Usually, the latter will have natural analogues just
to make it easier to talk about them.

of a set

But there is NO SUCH THING as "the name of a set".
In the formal language, THE ONLY set with a name IS
the empty set. Its name is usually spelled with a single character,
like 0 or O or a lower-case greek phi (which looks like circle with a
slash through it). There is also an alternative spelling of the empty
set
( { } ) in which EVEN IT doesn't get named. So all your talk about
"the name of a set" is just flaunted ignorance about something
that you were too stupid to know DID NOT EXIST.

Shutup.
The set 'a set of x' is the name of a set. You seem to be talking
about a platonic, universal 'set'.

.

Relevant Pages

  • Re: A theorem for agnostics
    ... >natural language, or perhaps a natural language augmented with some ... >and that these forms are displayed by formulas of a formal language. ... >provide the underlying deep structure of correct reasoning. ...
    (sci.logic)
  • Re: Science and Technology
    ... Allan Adler writes: ... a formal language L to replace the "natural language" that practitioners ...
    (soc.atheism)
  • Re: Cantors definition of set
    ... In this paradigm, there are at least 2 different ... kinds of names -- names from natural language ... In the formal language, THE ONLY set with a name IS ... the empty set. ...
    (sci.logic)
  • Re: A Brief Note on Notation
    ... >> The horseshoe is equally available to LaTeX enthusiasts! ... > There cannot be a significant difference in meaning between 'horseshoe' and ... > Natural language is not logical, ... but not one as high as a formal language. ...
    (sci.logic)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... you think that by simply writing "", you convey a meaningful ... statement ("The empty set exists."), then you must surely agree that ... in a formal language, not a term. ... the death of Logicism has nothing to do with this point. ...
    (sci.math)