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

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.

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

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

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