Inom logiken har man vanligen definierat falsk som inte sann, men det förekommer att man gör en åtskillnad och tänker sig existensen av icke sanna påståenden som likväl inte är falska (jämför flervärdig logik). Den klassiska logikens tes att påståenden antingen är sanna eller falska förkastas på andra grunder också