Aristotle and Object-Oriented Programming

[Derek Rayside <drayside@swen.uwaterloo.ca>]

Hello,

For those of you whom I haven't met yet, my name is Derek and I'm visiting
Laurie's lab/class this term from Waterloo.  Besides my interest in
compiling object-oriented languages, I'm also interested in the
philosophical history of the underlying ideas.  For the last year or I've
been exploring the relationship between Aristotle's logic and
object-oriented programming, and will be giving a talk on the subject
tomorrow (Thursday) in McConnell room 103. 

The talk will present a more technical version of the paper "Aristotle and
Object-Oriented Programming:  Why Modern Students Need Traditional Logic",
which I will be presenting at the ACM/SIGCSE Technical Symposium in March.
My co-author is Dr Gerard T Campbell, who is chair of the philosophy
department at St Jerome's University (federated with the University of
Waterloo).  Dr Campbell has been teaching Aristotlean logic since around
the time I was born and is currently writing a text book on the subject.

So, I hope to see you tomorrow (Thursday) at 4pm in McConnell 103.

Cheers,
Derek