Richard Bornat

Richard Bornat is a professor at Middlesex University specializing in formal logic. He is the main force behind the Jape formal logic software.

As a professor of computer programming he and his student, Saeed Dehnadi, came to this startlingly ironic conclusion:

Remarkably, we can predict success or failure even before students have had any contact with any programming language, and with total accuracy. We present statistical analyses to prove the latter point. We speculate that programming teaching is therefore ineffective for those who are bound to fail and pointless for those who are bound to succeed.

Web Pages



His most recent book is:

Richard Bornat. Proof and Disproof in Formal Logic: An Introduction for Programmers. Oxford: Oxford University Press, 2005.

His Middlesex University staff profile lists more publications, and some of his papers may be downloaded from Scientific Commons.

Many of his Jape writings are available from

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License