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.


Popular posts from this blog

England as a Raft?

In a lecture delivered in 1880, William James asked rhetorically, "Would England ... be the drifting raft she is now in European affairs if a Frederic the Great had inherited her throne instead of a Victoria, and if Messrs Bentham, Mill, Cobden, and Bright had all been born in Prussia?"

Beneath that, in a collection of such lectures later published under James' direction, was placed the footnote, "The reader will remember when this was written."

The suggestion of the bit about Bentham, Mill, etc. is that the utilitarians as a school helped render England ineffective as a European power, a drifting raft.

The footnote was added in 1897. So either James is suggesting that the baleful influence of Bentham, Mill etc wore off in the meantime or that he had over-estimated it.

Let's unpack this a bit.  What was happening in the period before 1880 that made England seem a drifting raft in European affairs, to a friendly though foreign observer (to the older brother…

Cancer Breakthrough

Hopeful news in recent days about an old and dear desideratum: a cure for cancer. Or at least for a cancer, and a nasty one at that.

The news comes about because investors in GlaxoSmithKline are greedy for profits, and has already inspired a bit of deregulation to boot. 

The FDA has paved the road for a speedy review of a new BCMA drug for multiple myeloma, essentially cancer of the bone marrow. This means that the US govt has removed some of the hurdles that would otherwise (by decision of the same govt) face a company trying to proceed with these trials expeditiously. 

This has been done because the Phase I clinical trial results have been very promising. The report I've seen indicates that details of these results will be shared with the world on Dec. 11 at the annual meeting of the American Society of Hematology. 

The European Medicines Agency has also given priority treatment to the drug in question. 

GSK's website identifies the drug at issue as "GSK2857916," althou…

Francesco Orsi

I thought briefly that I had found a contemporary philosopher whose views on ethics and meta-ethics checked all four key boxes. An ally all down the line.

The four, as regular readers of this blog may remember, are: cognitivism, intuitionism, consequentialism, pluralism. These represent the views that, respectively: some ethical judgments constitute knowledge; one important source for this knowledge consists of quasi-sensory non-inferential primary recognitions ("intuitions"); the right is logically dependent upon the good; and there exists an irreducible plurality of good.

Francesco Orsi seemed to believe all of these propositions. Here's his website and a link to one relevant paper:

What was better: Orsi is a young man. Born in 1980. A damned child! Has no memories of the age of disco!

So I emailed him asking if I was right that he believed all of those things. His answer: three out of …