Skip to main content

ZFC Set Theory

Image result for axiom of choice controversy

I happened onto a logic blog recently and, before my eyes burnt out with the beauty of the abstractions involved, I learned a new term. ZFC Set Theory.

The first two letters, "ZF," abbreviate names, Zemelo and Frankel. Both big names in the history of logic -- I need say no more of them now. The C stands for "choice" as in the "axiom of choice."

Now, that sounds important. What choice can there be in logic?

Well, the axiom of choice involves mutually disjoint nonempty sets. Take for example two such sets: the set of all teacups and the set of all named bodies of water on the planet. The axiom of choice means that for any set of such sets, it is possible to create a transversal set, containing exactly one element from each. Simple enough in this case: I can simple designate one set as consistent of teacup A plus Lake Erie. Another set consists of teacup B plus the Atlantic Ocean. And so forth.

Why is this important? Well, Bertrand Russell in 1904 (when this axiom, and in fact set theory, were new) said that this axiom yields the multiplicative theorem: that is, the conclusion that any multiplication of two non-zero numbers yields a non-zero number. And THAT marked a milestone in the project of creating a set theoretic foundation for arithmetic.

The significance of ZFC Set Theory, then, is or includes this -- there is a claim circulating among logicians and philosophers of mathematics that if ANY form of set theory can serve as a foundation for arithmetic, or more ambitiously still for mathematics as such, then ZFC Set Theory is the best candidate for the job.

Now YOUR eyes may be burning, dear reader, so I desist.
Labels:

Comments

  1. Evan RaymondsMay 19, 2019 at 1:32 PM

    Set theory can be used to compare and contrast. Using a Venn Diagram Maker we can create venn diagrams of 2-sets, 3-sets/4-sets or get creative with the app Creately. There are 100s of diagram templates and examples to be used freely in the diagram community of Creately online diagramming and collaboration software.

    ReplyDelete

Post a Comment

Popular posts from this blog

A Story About Coleridge

This is a quote from a memoir by Dorothy Wordsworth, reflecting on a trip she took with two famous poets, her brother, William Wordsworth, and their similarly gifted companion, Samuel Taylor Coleridge.   We sat upon a bench, placed for the sake of one of these views, whence we looked down upon the waterfall, and over the open country ... A lady and gentleman, more expeditious tourists than ourselves, came to the spot; they left us at the seat, and we found them again at another station above the Falls. Coleridge, who is always good-natured enough to enter into conversation with anybody whom he meets in his way, began to talk with the gentleman, who observed that it was a majestic waterfall. Coleridge was delighted with the accuracy of the epithet, particularly as he had been settling in his own mind the precise meaning of the words grand, majestic, sublime, etc., and had discussed the subject with William at some length the day before. “Yes, sir,” says Coleridge, “it is a majesti
7 comments
Read more

Five Lessons from the Allegory of the Cave

  Please correct me if there are others. But it seems to be there are five lessons the reader is meant to draw from the story about the cave.   First, Plato  is working to devalue what we would call empiricism. He is saying that keeping track of the shadows on the cave wall, trying to make sense of what you see there, will NOT get you to wisdom. Second, Plato is contending that reality comes in levels. The shadows on the wall are illusions. The solid objects being passed around behind my back are more real than their shadows are. BUT … the world outside the the cave is more real than that — and the sun by which that world is illuminated is the top of the hierarchy. So there isn’t a binary choice of real/unreal. There are levels. Third, he equates realness with knowability.  I  only have opinions about the shadows. Could I turn around, I could have at least the glimmerings of knowledge. Could I get outside the cave, I would really Know. Fourth, the parable assigns a task to philosophers
Post a Comment
Read more

Searle: The Chinese Room

John Searle has become the object of accusations of improper conduct. These accusations even have some people in the world of academic philosophy saying that instructors in that world should try to avoid teaching Searle's views. That is an odd contention, and has given rise to heated exchanges in certain corners of the blogosphere.  At Leiter Reports, I encountered a comment from someone describing himself as "grad student drop out." GSDO said: " This is a side question (and not at all an attempt to answer the question BL posed): How important is John Searle's work? Are people still working on speech act theory or is that just another dead end in the history of 20th century philosophy? My impression is that his reputation is somewhat inflated from all of his speaking engagements and NYRoB reviews. The Chinese room argument is a classic, but is there much more to his work than that?" I took it upon myself to answer that on LR. But here I'll tak
13 comments
Read more