Main Page | Report this Page
 
   
Science Forum Index  »  Logic Forum  »  A discussion on sets and negation...
Page 1 of 1    
Author Message
John Jones
Posted: Sun Jun 01, 2008 5:00 pm
Joined: 26 Oct 2004 Posts: 4263
Negation cannot be conceived as, for example, "not-x". We must assume a
group to which x could belong, but does not. "Not-x" is incomplete, it
holds a suppressed term.

In the same way, sets must also hold suppressed terms. For example, the
set 'items marked only with ones', is not a bona-fide set. This is
because sets portray properties that are not properties of individual
elements or their totalities but are properties of a particular type of
membership. From the perspective of the totality of individual elements,
the defining property of a set is its emergent property.

Thus a bouquet is a set of flowers, but a set of flowers per se is
simply an unnamed and uninstantiated set as it displays no emergent
property.

A distinction can be made here between negation and sets. Badiou gives
us an example of Cohen's - 'items marked only with ones' which he claims
can only be instantiated by elements marked by zero. This, I think is to
model the suppressed term on the idea of that offered by negation, and
is wrong for that reason: Negation switches groups - "not-x" merely
suppresses the presentation of that other group. For sets, there are as
many types of membership as there are sets. This is because an emergent
property - the defining characteristic of a set, is unique and arises
independently of individual elements. in other words, elements
distinguish negation, but emergent properties distinguish sets.
View user's profile Send private message Send e-mail
...
Posted: Thu Jun 05, 2008 12:41 pm
Guest
On 1 Jun, 23:00, John Jones <jonescard... at (no spam) aol.com> wrote:
Quote:
Negation cannot be conceived as, for example, "not-x". We must assume a
group to which x could belong, but does not. "Not-x" is incomplete, it
holds a suppressed term.


Maybe the suppressed term is the universal set (the reference domain):

~A = U \ A;


Quote:

In the same way, sets must also hold suppressed terms. For example, the
set 'items marked only with ones', is not a bona-fide set. This is
because sets portray properties that are not properties of individual
elements or their totalities but are properties of a particular type of
membership. From the perspective of the totality of individual elements,
the defining property of a set is its emergent property.


Your terminology is quite unconventional. In any case, as I get it:
there are sets that you can define by enumerating their elements, and
there are sets that you define by some function. (There is intentional
vs. extensional definitions.) Is that what you are saying?


Quote:

Thus a bouquet is a set of flowers, but a set of flowers per se is
simply an unnamed and uninstantiated set as it displays no emergent
property.


A set of flowers. This set of flowers. A bouquet (itself a specific
kind of set of flowers). This bouquet. There is no ambiguity.


Quote:

A distinction can be made here between negation and sets.


Yes, maybe just like we would make a distinction between operands and
operators.

-LV


Quote:
Badiou gives
us an example of Cohen's - 'items marked only with ones' which he claims
can only be instantiated by elements marked by zero. This, I think is to
model the suppressed term on the idea of that offered by negation, and
is wrong for that reason: Negation switches groups - "not-x" merely
suppresses the presentation of that other group. For sets, there are as
many types of membership as there are sets. This is because an emergent
property - the defining characteristic of a set, is unique and arises
independently of individual elements. in other words, elements
distinguish negation, but emergent properties distinguish sets.
 
Page 1 of 1       All times are GMT - 5 Hours
The time now is Mon Oct 13, 2008 2:58 am