Statement 1: In logic, it is widely accepted that any proposition is either true or false. This principle is called excluded middle. Statement 2: In logic, it is widely accepted that some self-referential propositions, such as This sentence is false. are neither true nor false. How those two mutually contradictory statements are reconciled? Is the excluded-middle principle considered generally valid or not?