Absolutely nothing. But I got fascinated by the idea that the structuralists in the early sixties were using groups as the underlying form to their theories. Piaget was probably the only one who knew what he was doing, since he had started off with a degree in the philosophy of science and probably had to take the courses. Ecco also might.
In any event, I started off a post on quark theory to show that this theory is developed from a combination of elementary groups and partitions, built up by direct product and sum operators (SU(2), SU(3)). I have to wonder how much of that Sokal knows or cares about. And, even if he does at least know these forms, does he understand how artifical they are? I mean, does he realise that given some arbitrary collection of elements, you can construct a group out them? That this construction will have symmetries as built-in features and that these will seem to be a discovered 'sense' to this arbitrary collection?
-------------------------------------------------
Hmmmm ... I thought the original post was very interesting and even understood most of it (I even spotted the mistake, sort of, but assumed that the reason I couldn't see how to get 1111 and 0000 from paths was that I was being brainless).
But don't these results all come from the huge degree of generality of group theory, which in turn is a result of the high degree of abstraction? If you start introducing any degree of intensional content (and certainly if you start having "T" and "F" referring to true and false rather than to formal properties), then I wonder whether you can still make the assumptions necessary to get one theory to be a subgroup of another.
I didn't understand why "scientific truth" was represented as the truth table for a conjunction operator, and would be grateful to anyone who could explain why.
I also seem to remember that any truth table can be generated by repeated use of either the "nand" or the "nor" operator, so the underlying symoblic logic might be even simpler?
dd
---------------------------------
Any way, it was fun to do.
Chuck Grimes
(PS. There was at least one mistake in that other post. If you make the triangle and label the vertices and center (00) (10) (11) (01), you have to count the points twice to complete all sixteen. For example the center with one path out is (00 01). But the center itself has to be counted by itself (00 00) also.)
____________________________
___________________________________________________________________________
_____
---------------------------------------------------------
This email is confidential to the ordinary user of the
e-mail address to which it was addressed. If you are not
the intended recipient, please notify the sender
IMMEDIATELY on (44) 171 638 5858 and delete the message
from all locations in your computer. You should not copy
this email or use it for any purpose, or disclose its
contents to any person : to do so may be unlawful.
Email is an informal method of communication and is
subject to possible data corruption, either accidentally
or on purpose. Flemings is unable to exercise control
over the content of information contained in
transmissions made via the Internet. For these reasons
it will normally be inappropriate to rely on information
contained on email without obtaining written confirmation
of it.
----------------------------------------------------------