To: |
"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|

From: |
Chris Menzel <chris.menzel@xxxxxxxxx> |

Date: |
Sun, 30 Sep 2012 09:04:48 -0500 |

Message-id: |
<CAO_JD6OVqS+E1ri14ZXCHS94W27KEZGnQw8gLuMb-=OFU-2vSA@xxxxxxxxxxxxxx> |

On Sun, Sep 30, 2012 at 7:43 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:... I'm not sure what you have in mind, John. Set theory didn't exist in any systematic form before Cantor and sets
per se weren't objects of mathematical interest; at most they showed up in the analysis of logic, as you note in the cases of Boole and Peirce. Cantor's own theory of sets arose out of his work on transfinite arithmetic, not logic. Granted, the logical and Cantorian (what Gödel called the "combinatorial") conceptions of set weren't clearly distinguished until after the discovery of the paradoxes, which arguably originate in a failure clearly to distinguish the two. But it is noteworthy that Cantor himself (popular myths to the contrary) never saw any paradoxes in set theory as he'd developed it, as he saw that certain principles allied to the "logical" conception (notably Comprehension axioms) did not hold for his conception.But pedagogically, it helps to start with Boolean algebra and show I'm not at all sure that's the best way to study set theory; indeed, I fear it encourages the confusion between the two conceptions of set noted above.
-chris _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |

Previous by Date: | Re: [ontolog-forum] Universal Basic Semantic Structures, William Frank |
---|---|

Next by Date: | Re: [ontolog-forum] Universal Basic Semantic Structures, Chris Menzel |

Previous by Thread: | Re: [ontolog-forum] Universal Basic Semantic Structures, John F Sowa |

Next by Thread: | Re: [ontolog-forum] Universal Basic Semantic Structures, John F Sowa |

Indexes: | [Date]
[Thread]
[Top]
[All Lists] |