Călborean 2024 - Approximate truth, classical logic and dispersion

I propose a notational variant of classical first-order logic, to be used as logic of vagueness and generally imprecision. Imprecision is treated as statistical dispersion, using the interplay of binary and monadic predicates. I define a tolerant and a strict variant for each standard (monadic) predicate. Results include the failure of weak non-contradiction and of a weak law of excluded middle, and the validity of weak tolerance principles. This variant of classical logic is then compared with alternative logics, such as the modal logic known as supervaluationism, and fuzzy logic.