Logical Discrepancies