FOM: Who says paradoxes don't matter

Jon Barwise barwise at phil.indiana.edu
Wed Jan 7 11:51:08 EST 1998


Today I needed a formal proof of the FOL version of russell's paradox (not
exists x forall y (E(x,y) iff not E(x,x))).  When I tried to save the
proof, my whole system crashed.  See, these things matter!
Jon





More information about the FOM mailing list