The Hebrew Bible is a "monument of logic born of experience," William F. Albright, noted archeologist and historian, asserted at the opening talk of the Thursday afternoon lecture series last week.

A series of six lectures, entitled, "A Survey of Mathematical Logic," will be given by Dr. Henry M. Sheffer '05, lecturer on philosophy, in Emerson A on the dates given below at 4.30 o'clock. These ...

Due: Assignment #4 (Lemmon p. 62, #2 (all), #5 (omit i,j,k,l), #7; p. 73, #1 (part one, omit j,k); #3 (part one).) Reading: Lemmon Section 3.3 [Also read Sections 3.1 & 3.2 if you have not already.] ...

Heinrich Behmann (1891–1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved—independently of Löwenheim and Skolem's ...

Logique et Analyse, NOUVELLE SÉRIE, Vol. 47, No. 185/188 (Mars – Juin – Septembre – Décembre 2004), pp. 227-257 (31 pages) In the present paper we devise and study the most natural predicative ...

This week we discuss the completeness theorem for the propositional calculus. Details can be found in this handout. You should also read Lemmon Chapter 4 during the next two weeks.