courses for spring

My schedule for spring semester:

Mon.
13-15 Lambda calculus (audit)
15-17 Evolutionary game theory & language evolution (audit)
17-19 Category theory

Tues.
11-13 Advanced modal logic
13-14 Model theory (audit)

Wed.
11-13 Model theory (audit)
17-19 Seminar on mathematical logic

Thurs.
11-13 Lambda calculus (audit)
15-17 Category theory

Fri.
11-13 Evolutionary game theory & language evolution (audit)
13-15 E.W. Beth research seminar

Of course, whether I end up actually attending all the courses labelled "audit" remains to be seen.

words of the day

Two of them this time:

Zombie: We all know what it means, but how many of us know its etymology? Per the OED online s.v. zombie, the word first appeared in the early 19th C and is of West African origin; they note Kongo nzambi 'god' and zumbi 'fetish'.

Concupiscence: This word even sounds like it should be lewd - and it is: "1. Eager or vehement desire; in Theol. use the coveting of ‘carnal things’, desire for the ‘things of the world’," first used in c.1340 per the online OED s.v. concupiscence.