A survey of attempts to repair Frege's inconsistent system, with emphasis on recent ideas of Harvey Friedman.

For more information about the Logic and Computation Seminar, please see the seminar web page.