March 3, 2009

Boole and Frege

I’ve had a few students ask for examples of what’s done in Boolean and Fregean forms of logic. Here are some online articles that do a reasonable job of explaining them:

The Algebra of Logic Tradition

Gottlob Frege

Frege’s Logic, Theorem, and Foundations for Arithmetic

 

Comments »

The URI to TrackBack this entry is: http://bwatsonspring09.blogsome.com/2009/03/03/boole-and-frege/trackback/

No comments yet.

RSS feed for comments on this post.

Leave a comment

Line and paragraph breaks automatic, e-mail address never displayed, HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>



Anti-spam measure: please retype the above text into the box provided.