[Before hitting publish: Really? Is that it? I feel like I did more than just teaching-related things today, but I'm not sure what.]
And today, Gwen woke up at 5:00am. *zzzzzz*.
What with daylight savings, Gwen was up at 5:30am this morning. *yawn*.
After having woken up around 5:00 with a coughing fit that pulled a muscle and didn't really let me get back to sleep before Gwen woke up at 6:45, I ended up heading home from work around noon. Still got a few more things done, but also took a nap.
The attempt to separate the ontic (truth-functional) from the epistemic (inferential) level, if it works, is rather like the method of getting around logical omniscience by positing an awareness function, or the medieval idea of notitia or consideratio. If this parallel is so, then it could be that the point of the "redundant" step in the 5-step syllogism is precisely epistemic: To bring the relevant facts to the reasoner's consideration. In which case, this would probably be amenable to modeling via DEL just as I did with Paul. The dialectical level makes this explicit.
Gwen woke up at 6:30, but after reading to her a bit I convinced her to lie back down, and we lay in the dark until 7:30. About an hour later I was going to get her ready to go to daycare when I realized that I wouldn't be able to make it out and back even if we went by bus, so I woke Joel. He took her out, and I went back to bed until 12:30.
Insane insomnia last night, so excrutiatingly tired today.
Not exactly jet-lagged, but rather more tired than I like to be for accomplishing real work.
Slept. Got into Frankfurt airport about 10:45, and home about 12:45, slept until 16:15, showered, went to get Gwen -- just missing my bus and then waiting an hour for the next one (the bus SHOULD come every 10 minutes). Home, supper, bed for her, home supper, uploaded NYC photos, hang out with Joel, bed for me.
Spent most of the morning in bed, sick.
It's a holiday today, so most of what I've accomplished is playing with duplos.
