Hi Günther,

> The paper is not online, but I found it in this book which is at our
> University Library, maybe interesting also for other people:
> Goldblatt, Mathematics of Modality
> http://www.amazon.com/Mathematics-Modality-Center-Language-Information/dp/1881526240/ref=sr_1_1?ie=UTF8&s=books&qid=1232402154&sr=8-1
> (the book contains the full paper)

Not only that! It contains also his paper on the arithmetical  
intuitionist, alias the arithmetical knower, alias the universal first  
person, alias the arithmetical interpretation of Plotinus' third  
hypostase (the universal soul), alias the epistemical temporal  
arithmetical modal logic S4Grz (pronounce: S four Grzegorczyk). A key  
paper for the AUDA, except that Boolos found those results, on SAGrz  
about the same time, see the reference to Boolos in any of my theses.  
Or see the S4 chapters in the Boolos 1993, book or in the recent  
paperback reedition of Boolos 1979.

It is the logic of provable and true. It leads to a notion of person  
which the machine cannot named or define. The "arithmetical knower" is  
not arithmetical!

The book contains also a very interesting study of the Diodorean  
modality in the Minkowski Space-time, and a logical approach to  
Groethendieck topology.
Note that it is advanced stuff for people familiarized with  
mathematical logic (it presupposes Mendelson's book, or Boolos &  

Two papers in that book are "part" of AUDA: the UDA explain to the  
universal machine, and her opinion on the matter.



You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To post to this group, send email to everything-l...@googlegroups.com
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to