منطق های آزاد منطقهایی هستند که برخلاف منطق کلاسیک نسبت به نامها تعهد وجودی ندارند. یعنی نامهای به کاررفته در زبان ممکن است مرجعی در دامنه عالم گفتار نداشته باشند. اما منطقهای آزاد نسبت به متغیرهای مقید شده با سورها البته تعهد وجودی دارند. این مقصود با اصلاح اصل حذف سور کلی در منطق آزاد انجام می گیرد. منطق های آزاد بسته به اینکه به جملات حاوی نام های بدون مرجع چه ارزش صدقی نسبت دهند، به سه دسته...