[mizar] [Thomas Forster] [FOM] Logic packages

[Jesse Alama <alama@stanford.edu>]

This is another message from the FOM (Foundations of Mathematics)
mailing list.  From what I understand, there is a tradition using mizar
to support logic education, but I am not familiar with it.  Perhaps
someone who has more experience could write to the FOM mailing list to
let them know how mizar was and/or is used for logic education.  (Yet
another message about mizar on FOM, in addition to the current
discussions taking place there surrounding formalism and formalization,
would surely be beneficial for the purposes of "spreading the word"
about mizar.)

Jesse

--- Begin Message ---

• To: Foundations of Mathematics <fom@cs.nyu.edu>
• Subject: [FOM] Logic packages
• From: Thomas Forster <T.Forster@dpmms.cam.ac.uk>
• Date: Tue, 1 Jan 2008 11:20:00 +0000 (GMT)
• Cc: philos-l@liverpool.ac.uk
• List-archive: </pipermail/fom>
• List-help: <mailto:fom-request@cs.nyu.edu?subject=help>
• List-id: Foundations of Mathematics <fom.cs.nyu.edu>
• List-post: <mailto:fom@cs.nyu.edu>
• List-subscribe: <http://www.cs.nyu.edu/mailman/listinfo/fom>, <mailto:fom-request@cs.nyu.edu?subject=subscribe>
• List-unsubscribe: <http://www.cs.nyu.edu/mailman/listinfo/fom>, <mailto:fom-request@cs.nyu.edu?subject=unsubscribe>
• Xref: calaveras.stanford.edu mail.fom:1604

Do list members have any favourite computer aids for teaching logic to 
undergraduates?  I have been using JAPE, which has many virtues, but it 
does have the disadvantage that it supports Kalish-Montague-style box 
proofs - which is something i am trying to wean my bairns off.

   Any suggestions?

         Happy New Year

           Thomas


 


-- 
URL:  www.dpmms.cam.ac.uk/~tf; DPMMS ph: 
+44-1223-337981. Mobile +44-7887-701-562.








_______________________________________________
FOM mailing list
FOM@cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom

--- End Message ---

-- 
Jesse Alama (alama@stanford.edu)