–
Room P3.31, Mathematics Building
Infinite voting, fuzziness and modulated quantifiers
The notion of "most'', when expressed by quantitative means (usual generalized quantifiers), is incomplete and not definable in first-order logic. This justifies the interest on a qualitative approach to quantification, what can be done by the modulated quantifiers, interpreted by means of mathematical structures such as families of principal filters, families of ultrafilters, reduced topologies, etc. Several modulated logics, obtained by extending first-order logic through modulated quantifiers, have been recently studied, as the "Logic of Vast Majority", the "Logic of Many" and the "Logic of Plausibility", which formalize quantified assertions of the kind "for a good number of", "many", "almost everywhere", etc. We discuss the interest of such binding operators, which may be thought as "qualifiers" rather than quantifers, as new foundations for the notions of fuzziness and of majority in social choice theory with infinite voters, addressing some open questions and perspectives.
Note the exceptional time, room and weekday.