 This seems to lead to contradiction as follows. If the sentence ‘FLiar is false’ is true, then given what it says, FLiar is false. But FLiar just is the sentence ‘FLiar is false’, so we can conclude that if FLiar is true, then FLiar is false. Conversely, if FLiar is false, then the sentence ‘FLiar is false’ is true. Again, FLiar just is the sentence ‘FLiar is false’, so we can conclude that if FLiar is false, then FLiar is true. We have thus shown that FLiar is false if and only if FLiar is true. But, now, if every sentence is true or false, FLiar itself is either true or false, in which case—given our reasoning above—it is both true and false. This is a contradiction. Contradictions, according to many logical theories (e.g., classical logic, intuitionistic logic, and much more) imply absurdity—triviality, that is, that every sentence is true.