Thursday, October 31, 2013

Thursday, October 31, 2013

[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.]

Reading

Writing

Revising

Refereeing

Teaching

  • Reviewed student question/comments and wrote up answers for today's lecture.
  • Attended lecture.

Conferences

Miscellaneous

Wednesday, October 30, 2013

Wednesday, October 30, 2013

Reading

Writing

  • Wrote the 800 words necessary (plus 110 extra) for this part of my contribution to the obligationes chapter.

Revising

Refereeing

Teaching

Conferences

Miscellaneous

Tuesday, October 29, 2013

Tuesday, October 29, 2013

And today, Gwen woke up at 5:00am. *zzzzzz*.

Reading

  • Finished Patil; some interesting things there that may be relevant to the Ratnakirti-Procida paper, if I ever get back to it.
  • Started rereading Martin, "Obligations and Liars", to try to understand the relationship with the 12th C better.
  • Began Pérez-Ilzarbe, "Disputation and Logic in Medieval Treatises De Modo Opponendi et Respondendi", Vivarium 2011.

Writing

    • Lots of hand-written notes for obligationes chapter.

    Revising

    Refereeing

    Teaching

    Conferences

    Miscellaneous

  • Monday, October 28, 2013

    Monday, October 28, 2013

    What with daylight savings, Gwen was up at 5:30am this morning. *yawn*.

    Reading

    • Reviewed Pahi, "On Relating Two Traditions of Logic", and Ganeri, "Towards a Formal Regimentation of the Navya-Nyaya Technical Language I and II", to see how useful either will be for class. Also skimmed Guhe from the same volume -- don't think it's going to be what we want.
    • Finished Steinkellner.
    • Started ch. 6 of Patil 2009 (for class). Hahaha: "Ordinary people cannot function without such convenient fictions and ... asking the to do so ... would just leave them mentally exhausted" (343).

    Writing

    • Slides for Lumbini

    Revising

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    Friday, October 25, 2013

    Friday, October 25, 2013

    Reading

    • Cleaning up my desktop: Naumann et al. "Slaves as burial gifts in Viking Age Norway? Evidence from stable isotope and ancient DNA analyses", forthcoming in Journal of Archaeological Science.
    • Looking ahead to next week's class: S.1 of Steinkellner 1982.

    Writing

    • Teaching is tiring. I needed something relatively mindless afterwards, so worked on BotS: Brandyn through Braylee.

    Revising

    Refereeing

    Teaching

    • Reviewed notes and slides
    • Taught (went well!)

    Conferences

    Miscellaneous

    Thursday, October 24, 2013

    Thursday, October 24, 2013

    Reading

    • While I had it out for finishing up my slides, I also finished the intro to Ganeri's book.

    Writing

    Revising

    Refereeing

    Teaching

    • Finished (I hope) slides and lecture for tomorrow.

    Conferences

    • Bought flight to Pamplona in Dec.

    Miscellaneous

    • HTMLed an article by Constanza on Welsh bynames.

    Wednesday, October 23, 2013

    Wednesday, October 23, 2013

    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.

    Reading

    Writing

    Revising

    • Sent off corrections to author proofs for N paper.

    Refereeing

    Teaching

    • Worked on slides and notes for Friday.

    Conferences

    Miscellaneous

    Tuesday, October 22, 2013

    Tuesday, October 22, 2013

    Reading

    • Gillon & Love, "Indian Logic Revisited", Journal of Indian Philosophy.

      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.

    Writing

    Revising

    • Author proofs for N paper.

    Refereeing

    Teaching

    • Wrote up outline for slides for Friday.
    • Long meeting with Birgit, we've planned out the semester through the end of Nov.
    • Started making slides, got through the first 1/3 or so.

    Conferences

    • Reimbursement for Life after ILLC event sent off.

    Miscellaneous

    Monday, October 21, 2013

    Monday, October 21, 2013

    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.

    Reading

    • Read a bit of the chapter on Indian logic in Haaparantaa's Development of Modern Logic.

    Writing

    Revising

    Refereeing

    Teaching

    • Today was supposed to be prep day for this week's lecture so that I have something to say when Birgit and I meet today. Best I've done was spend some time thinking (actually yesterday on the train) about what to cover; I want to introduce the Aristotelian syllogistic in more precise detail, highlight some of the aspects of formality of it, point out some of the problems, talk about what is "formal" about Indian logic and the pragmatic use of logic and formal tools.

    Conferences

    Miscellaneous

    Sunday, October 20, 2013

    Reading

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    • Traveled home from Amsterdam, again delayed by about an hour, all three of us getting increasingly ill.

    Miscellaneous

    Saturday, October 19

    Reading

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    • Went to Amsterdam with Joel and Gwen to talk at the "Life after ILLC" event. Train was about an hour delayed, but otherwise the event was good.

    Miscellaneous

    Friday, October 18, 2013

    Friday, October 18, 2013

    Reading

    • preface and S. 1-5 of the introduction of Jonardon Ganeri, Indian Logic: A Reader

    Writing

    • Worked on some of the confusing examples in PoV-syll.
    • Slides for tomorrow's talk.
    • Wrote a quick article on Dutch names.
    • BotS Bradly through Brandy, M.

    Revising

    Refereeing

    Teaching

    • First day of classes. 24 students showed up!

    Conferences

    Miscellaneous

    Thursday, October 17, 2013

    Thursday, October 17, 2013

    Insane insomnia last night, so excrutiatingly tired today.

    Reading

    Writing

    Revising

    • Proofread author proofs for our GPMR paper.
    • Checked formatting for the author proofs for other GPMR papers: Amerini & Mugnai, Cesalli & Goubier; Dutilh Novaes; Dvorak; Ebbesen; Knuuttila; Øhrstrøm; Parsons & Normore; Read; Restall; Ward; Zardini.

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    • Dug out some papers/transcriptions I'd promised people I'd send them, and scanned them.
    • Cluster general meeting in the afternoon.

    Wednesday, October 16, 2013

    Wednesday, October 16, 2013

    Reading

    • Finished Castagnoli.
    • Skimmed Malpass, "Fara's Formula and the Supervaluational Thin Red Line", Theoria, as prep. for referee report.

    Writing

    • BotS, Bonnie, M., through Bowen

    Revising

    Refereeing

    • Finally finished my referee report for Mind. Sent it off, and the auto-reply I got confirming receipt also said: "Please find attached a copy of OUP's referees' discount order form. I hope this is of use to you. I'm sorry it's the only way we have to reward referees for their work for the journal." ! Considering as I have never had any sort of reward at all for referring, and I have about four volumes of the DMLBS left to purchase, I'm quite tickled by this. I'd happily referee for Mind again in the future!

    Teaching

    Conferences

    • Tried to find reasonable transportation to Pamplona in Dec.
    • Arranged accommodation for Oxford in Dec.

    Miscellaneous

    • Obligatory post-travel bag empty out.
    • Booked flight home from the US in Nov.
    • Booked hotel for Aaron & Alicia's wedding.

    Tuesday, October 15, 2013

    Tuesday, October 15, 2013

    Not exactly jet-lagged, but rather more tired than I like to be for accomplishing real work.

    Reading

    • Started reading Castagnoli, "Aristotle on Begging the Question", LAHP vol. 15. "I will side, of course, with the pedantic".

    Writing

    • I guess it falls under this header. I updated my list of onomastic articles with everything I've done in the last 1.5 years or so.

    Revising

    Refereeing

    Teaching

    • Reviewed Birgit's slides and notes for lecture this week.

    Conferences

    • Uploaded my slides from Fordham.

    Miscellaneous

    • Post-travel email catch up.

    Monday, October 14, 2013

    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.

    Sunday, October 13, 2013

    Sunday, October 13, 2013

    Reading

    Writing

    • BotS: Bobbie through Bonita.

    Revising

    Refereeing

    Teaching

    Conferences

    • Final day of SAGP/SSIPS, and traveling home.

    Miscellaneous

    Saturday, October 12, 2013

    Saturday, October 12, 2013

    Reading

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    • Society for Ancient Greek Philosophy/Society for the Study of Islamic Philosophy and Science joint conference, Fordham U, NYC.
    • Chaired two sessions and presented my paper.

    Miscellaneous

    Friday, October 11, 2013

    Reading

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    • Spent all day traveling to NYC, arrived in time for the final plenary talk of the SAGP/SSIPS joint conference.

    Miscellaneous

    Thursday, October 10, 2013

    Thursday, October 10, 2013

    Reading

    • Since I had lunch in the cafeteria rather than to go, I read a bit more of Manuel's paper.

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    • Checked in for one of my flights tomorrow
    • Bought my train ticket to the airport
    • Worked on my slides. Slides are BORING.
    • Looked at train fairs to Amsterdam for ILLC event.

    Miscellaneous

    • Grand opening for Gwen's daycare this afternoon, so I went over to that for awhile.

    Wednesday, October 9, 2013

    Wednesday, October 9, 2013

    Reading

    • Part of Manuel's paper.
    • Enough of Patterson, "A Logical Treatment of Constructive Duality", to realize it doesn't have what I need.
    • Ditto de Freitas, Viana, Veloso, Veloso, & Benevides, "On Hybrid Arrow Logic".
    • Halpern & Shoham, "A Modal Logic of Time Intervals": Score! I found the example I needed.
    • In order to use H&S, I needed to follow it up with Venema 1990.

    Writing

    • Structuralist paper. It's suddenly become a real paper, not a short note; I think I jumped from 6 pages to 10 today. Who knows. Maybe I will end up submitting it to AiML.

    Revising

    Refereeing

    • A bit of IEP stuff.

    Teaching

    Conferences

    • Worked on Procida follow-up webpage a bit.

    Miscellaneous

    Tuesday, October 8, 2013

    Tuesday, October 8, 2013

    Reading

    • Relevant bits of Japaridze & de Jongh's chapter on provability logic in Handbook of Proof Theory (that is, anything about Heyting arithmetic; anything about provability outside of GL/PA, and anything about the deduction theorem)
    • Ditto for Artemov and Beklemishev's chapter on provability logic in Handbook of Philosophical Logic. Heh: "Readers who feel insecure about reasoning in weak arithmetics may freely read PA instead of EA for most of this chapter." And people say mathematicians don't care about people's feelings.
    • Made an annotated bibliography of everything I've amassed for the structuralist paper.
    • Collected some problematic examples from PoV that I'm having trouble translating.

    Writing

    • Needed to take a break and think for a bit on what I'd read, so I went and wrote up the three arguments for the modal op. def. in Koslow. While doing so, it occurred to me that any modal which is self-dual will also be problematic for the structuralist account.

    Revising

    • Reviewed Jesse's changes to N paper, and did my own, and uploaded the final versions of the files.

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    Monday, October 7, 2013

    Monday, October 7, 2013

    Reading

    • Proofread Ava's booklet.
    • Iemhoff's paper in 2000 AiML proceedings.
    • Friedman's 1975 paper in Proc.Nat.Acad.Sci. USA
    • Porte, "50 Years of the Deduction Theorem", in Proc. Herbrand Soc., 1982
    And lots and lots of back-and-forths with various SEP articles, bits of C&Z, and bits of Boolos.

    Writing

    Revising

    • Made a few minor corrections on N paper; just waiting for Jesse now.

    Refereeing

    • Send out an IEP paper for revision and another for refereeing, and accepted one more for drafting.

    Teaching

    • Looked up room for course (KJC, yay!), as well reminded myself of the moodle URL.

    Conferences

    • Dealing with travel stuff for Fordham this weekend.

    Miscellaneous

    Friday, October 4, 2013

    Friday, October 3, 2013

    Spent most of the morning in bed, sick.

    Reading

    • About 3/4 of Part IV of Koslow, A Structuralist Theory of Logic
    • Looked around online for info about modal logics of classical and intuitionistic provability, instead of PA provability; might have to email Dick for suggestions.
    • Read SEP article on provability logics.

    Writing

    Revising

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    Thursday, October 3, 2013

    Thursday, October 3, 2013

    It's a holiday today, so most of what I've accomplished is playing with duplos.

    Reading

    Writing

    Revising

    • Minor revisions of N paper, which was finally (after two years of revise and resubmits) accepted last night.

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    Wednesday, October 2, 2013

    Wednesday, October 2, 2013

    Reading

    Writing

    • LIRA contribution. This morning, proofs! This afternoon, proofreading! Managed to get it sent off about half an hour before I normally leave the office.
    • Which means I could let myself indulge in some 12th C Latinized French feminine names for the remainder.

    Revising

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    • Had to go to the post to mail a scroll, so I also bought some new toothbrushes for Gwen.

    Tuesday, October 1, 2013

    Tuesday, October 1, 2013

    Reading

    • part of Koslow's article in ERP -- until I got the reminder email from Nina.

    Writing

    • LIRa contribution, which was due today, arg. Got lots done, though. Hopefully can finish tomorrow.

    Revising

    Refereeing

    Teaching

    Conferences

    Miscellaneous

    • Scanned a bunch of receipts for Joel.