# Kurt Gödel, Philosopher-Scientist #5

The next paper in Kurt Gödel, Philosopher-Scientist is by Paola Cantù, on “Peano and Gödel”. The headline claim is that Gödel’s philosophical notebooks indicate that he had read Peano (and in particular Peano’s contributions to the Formulaire des mathématiques /Formulario Mathematico) rather carefully — and that Gödel was alert to the important differences too between Peano and Russell.

Unfortunately, when it comes to trying to spell out carefully what Peano’s views were (e.g. about the nature of functions), how Russell’s differed, and exactly what Gödel’s response comes to, I found Cantù less than ideally clear.

Here’s just one example where Cantù seems muddled. Peano defines the “classe nullo” $latex \Lambda$ to be the class of objects which are common to every class (“classe de objecto commune ad omne classe” Formulario, §6). Peano also defines the iota function (Formulario, §7) such that $latex \iota x$ is the singleton class of $latex x$ (the class of $latex y$ such $latex y = x$). And then he adds a [partially defined] inverse iota function which undoes the effect of the iota function. I can’t typographically invert an iota here, so I’ll follow the later Peano and write $latex \overline{\iota}$ instead: and then the idea is that, if $latex a$ is a class other than $latex \Lambda$ such that any two members of it are equal (i.e. if it is a singleton class), then $latex {\overline{\iota}a}$ = $latex {x}$ iff $latex {a = \iota x}$. Note, by the way, Peano’s $latex {\overline{\iota}}$, i.e. his inverted iota, is thus significantly different from Russell’s inverted iota!

Peano then shows, inter alia, something of this shape: $latex \Lambda = \overline{\iota}K$, where ‘$latex K$’ is in fact just one obvious way of characterizing the singleton of $latex \Lambda$. The finer details of ‘$latex K$’  don’t matter.

So far so good. But Cantù comments on the latter rather trivial result as follows:

The definition of  $latex \Lambda$ by means of the inverse iota operator allows us to define it as an individual object rather than as a set: nullo is the element associated to a set that contains all the $latex x$ such that $latex (a) x = a \land \neg a$, i.e. the elements that, for any property, satisfy that property and its contradictory.

This is surely muddled (even forgetting about Cantù’s symbolic foul-up, though to be honest that doesn’t inspire confidence). For $latex {{\Lambda} = {\overline{\iota}K}}$ no more defines $latex \Lambda$ as an individual object in any sense that contrasts with its being a class than would do the close equivalent  $latex {\Lambda}$ = $latex {\overline{\iota}}{\iota}{\Lambda}$! $latex \Lambda$ is still a class (though of course, it also an element — an element of its own singleton). Peano’s result which Cantù quotes doesn’t make nullo an element associated to a set containing just those things satisfying some contradictory condition (associated how?); rather it still is, as originally defined, a class

To move on, there is a quite separate issue for Peano when he later makes use of the inverted iota operation applied to classes defined by conditions not guaranteed to determine singletons. How are we to understand ‘$latex {\overline{\iota}a}$’ if $latex {a}$ is not a singleton? Good question. Cantù gives an entry from Max Phil where Gödel (a) holds that Peano commits himself to the idea that there is a contradictory null object (Unding), and “$latex \overline{\iota}a$ when $latex {a}$ has no elements [or] several elements, is this null object”, but (b) Peano can avoid this obscure doctrine. It is not clear, however, that Peano is countenancing a null object in this sense  [which is not to be confused with the perfectly good class $latex \Lambda$!]. Gödel’s alternative isn’t clear either, and Cantù’s discussion of it here is not easy to follow. But I am not minded right now to sit down with more of the Formulario to try to work out what’s going on — fun though it is to decode Peano’s simplified Latin!  So for the moment, I’ll have to leave things in this unsatisfactory state.

Scroll to Top
{"ft_lang_label":"__label__en","ft_lang_prob":0.89879143,"math_prob":0.9660288,"size":4063,"snap":"2023-40-2023-50","text_gpt3_token_len":1004,"char_repetition_ratio":0.13599409,"word_repetition_ratio":0.003003003,"special_character_ratio":0.23603249,"punctuation_ratio":0.093023255,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99036324,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-10-02T01:51:04Z\",\"WARC-Record-ID\":\"<urn:uuid:ec0e14e6-6f16-4321-a72e-4d7e82f4874a>\",\"Content-Length\":\"198098\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:ffef1386-9a37-481a-8e07-34b91be7b65f>\",\"WARC-Concurrent-To\":\"<urn:uuid:3c95238a-a1bd-4b55-a180-f263a4fef161>\",\"WARC-IP-Address\":\"34.149.36.179\",\"WARC-Target-URI\":\"https://www.logicmatters.net/2016/05/11/kurt-godel-philosopher-scientist-5/\",\"WARC-Payload-Digest\":\"sha1:3PIRQMJD2OR3BG2SEHSUDEAGFP435IQP\",\"WARC-Block-Digest\":\"sha1:7T3PLMKT73Q7ZLFCA2AGKAAYUMTUOTUT\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-40/CC-MAIN-2023-40_segments_1695233510942.97_warc_CC-MAIN-20231002001302-20231002031302-00458.warc.gz\"}"}