Title: A notational extension of classical first-order logic to deal with vague language
Abstract: Vague language is treated as statistical dispersion, using the interplay of preference relations and monadic predicates. A notational 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. The logic proposed is compared to other order-sorted logics.
The talk will take place physically at FMI Hall 214 “Google”.