Close the abstract
8. Theoretical Computer Science, Operations Research and Optimization

A classical logic for linguistic vagueness

Marian Calborean
University of Bucharest, Bucharest, Romania

Abstract:

Vagueness in language is treated as statistical dispersion, using the interplay of preference relations and monadic predicates. A conservative extension of classical first-order logic allows defining a tolerant and a strict predicate for each 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.