yay!

Benedikt and I had a long meeting today and it was incredibly helpful. I expected that we would be basically scrapping all my definitions and starting from scratch, but instead he pointed out a couple of places where I wasn't being precise enough, or where I'd overlooked certain cases (usually things that were in the first version of the definitions, but which got lost in the conversion to my second version of the definitions), and then pointed out a specific way to deal with one problematic case in the four quantifiers that I have for categorical proposition, namely to handle it with generalized quantifiers, and otherwise basically affirmed that what I had was actually fundamentally OK. I spent the rest of the afternoon working on incorporating the suggestions, so I now have a mostly revised section 7.4.1, and should be able to continue and make forward progress on the rest of 7.4 starting on Monday. We're still on track to get this chapter finished by the end of the month, which means that I'm still roughly on schedule. Woohoo!

The updated version of chapter 7 can be read at the usual place.

--

And today's mail saw the arrival of a reproduction of a 1513 Turkish map of the Atlantic (and its abutting coasts) from Giano, rolled up in a tube, and the inside of the tube stuffed with German sausages. Yummy!