Summer School in Logic and Formal Epistemology

This might interest some of you. Here's the text of the announcement:

"Carnegie Mellon Summer School in Logic and Formal Epistemology

In the summer of 2007, the Department of Philosophy at Carnegie Mellon
University will hold a three-week summer school in logic and formal
epistemology for promising undergraduates in philosophy, mathematics,
computer science, linguistics, and other sciences.

The goals are to

o introduce students to cross-disciplinary fields of research at an
early stage in their career; and
o forge lasting links between the various disciplines.

The summer school will be held from Monday, June 11 to Friday, June
29, 2007. There will be morning and afternoon lectures and daily
problem sessions, as well as planned outings and social events.

The summer school is free. That is, we will provide

o full tuition, and
o dormitory accommodations on the Carnegie Mellon campus.

So students need only pay round trip travel to Pittsburgh and living
expenses while there. There are no grades, and the courses do not
provide formal course credit.

Instructions for applying can be found on the summer school web page,

http://www.phil.cmu.edu/summerschool

Materials must be received by the Philosophy Department by March 15,
2007.

This year's topics are:

Causal and Statistical Inference
Monday, June 11 to Friday, June 15
Instructor: David Danks

Logic and Formal Verification
Monday, June 18 to Friday, June 22
Instructor: Jeremy Avigad

Decisions and Games
Monday, June 25 to Friday, June 29
Instructor: Teddy Seidenfeld

The summer school is open to undergraduates, as well as to students
who will have just received their undergraduate degrees. Applicants
need not be US citizens.

Inquiries may be directed to Jeremy Avigad (avigad@cmu.edu)."

Warning for HW #3

NOTE! pg. 62 (1)(b) should read |- (P->(Q->(P&Q)))

Note the parentheses!

(Hat tip to Allison for noticing the ambiguity)

HW #3 (due Feb. 21st)

Here's a short-ish HW assignment to be turned in on Feb. 21st. (That way I can grade it and give it back to you Feb. 26th, two days before the midterm.)

pg. 27
(1)(f), (1)(g)

pg. 33
(1)(b), (1)(e)

pg. 62
(1)(b)

Midterm Date -- Feb. 28th

The midterm will be in class on Feb. 28th.
I will discuss in class on the 26th what material will be on the midterm.

HW #2 (first installment)

Due date to be decided (but will be at least a week from today):
pg. 41 (1)(e) *only* going left to right, (1)(h) *only* going right-to-left, and (1)(i)