Logic Seminar

The Logic Seminar is a joint LOS/IMAR/ILDS seminar, featuring talks on mathematical logic, philosophical logic and logical aspects of computer science.

All seminars, except where otherwise indicated, will be on Thursdays between 14:00 and 16:00, Bucharest time. The seminars are held locally at Hall 203 of the Faculty of Mathematics and Computer Science, University of Bucharest (in the new PBTower location), but can also be occasionally held remotely.

To receive announcements about the seminar, please send an email to logic-seminar@ilds.ro.

Organizers: Laurențiu Leuștean, Andrei Sipoș

Past Talks in 2025-2026

Thursday, June 18, 2026

Marian Călborean (University of Bucharest)

The metalogic of vagueness as dispersion: A classical first-order formalization

Abstract:

In Călborean 2020, I proposed a theory of vagueness as dispersion: vague predicates in natural language are understood through the distribution of positive and negative instances across an ordering induced by a preferred dimension. In this talk, I isolate the formal core of the theory: a notational extension of classical first-order logic with two restricted modifiers, [R] and <R>, read as strict and broad application relative to an ordering R. I then show how these modifiers can be translated back into ordinary first-order logic over a total preorder. The resulting core dispersion system is conservative over FOL, inherits completeness by translation, and is decidable in the restricted core language. The conclusion is that common vague reasoning can be represented classically, within this clean metalogical core.

Past Seminars