Mr. Henry M. Scheffer, of the Graduate School of Arts and Sciences, will deliver, during the first half year, a series of lectures on "Modern Logic." The first part of the course will deal with the ...

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

Earlier this week, Herbert Newton, MD, FAAN, presented a lecture titled “The Neurobiology of Music.” From tracing back the origins of music, to debunking the myth that one side of the brain is ...

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.