From owner-cse663-fa08-list@LISTSERV.BUFFALO.EDU Fri Sep 26 09:27:04 2008 Date: Fri, 26 Sep 2008 09:26:56 -0400 From: "William J. Rapaport" Subject: 663: Second-order logic To: CSE663-FA08-LIST@LISTSERV.BUFFALO.EDU ------------------------------------------------------------------------ Subject: Second-order logic ------------------------------------------------------------------------ > Date: Thu, 25 Sep 2008 12:55:38 -0400 > From: Bill Duncan > To: "William J. Rapaport" > Subject: problems with second order logic > > I've read some various things about second order logic. Some people > seem to endorse it even though it is incomplete. One web site said that > monotonic logic is complete and decidable, but I have my doubts about > this claim. Thus, I was wondering if you had some links you could send > me, so I could learn more about it. Try: Enderton, Herbert B., "Second-order and Higher-order Logic", The Stanford Encyclopedia of Philosophy (Fall 2008 Edition), Edward N. Zalta (ed.), URL = . and Shapiro, Stewart (2001), "Classical Logic II: Higher-Order Logic", in Lou Goble (ed.), The Blackwell Guide to Philosophical Logic (Malden, MA: Blackwell): 33-54. LOCKWOOD LIBRARY / Book Collection: BC71 .B565 2001