Logic, Abstraction and Construction

这是一个厚颜无耻的纯逻辑学研究项目。它的目的是加强我们对世界本质中的核心问题的理解，以及我们如何对其进行适当的推理。然而，在逻辑中发展的技术不可避免地在计算机科学、语言学、数学和相关领域的应用中找到了归宿。这个项目尤其将开发工具，用于现实地推理人们在数学中找到的抽象或构造的对象的种类，以及我们在日常话语中使用的模糊或矛盾的概念。此外，该项目将为研究生提供研究培训，并将加强一个已经得到国际认可的哲学逻辑研究中心。

This is unashamedly a pure research project in logic. It aims to enhance our understanding of core issues in the nature of the world and how we can appropriately reason about it. Nevertheless, the techniques developed in logic inevitably find a home in applications in computer science, linguistics, mathematics and related fields. This project, in particular, will develop tools for realistically reasoning about the kinds of abstract or constructed objects one finds in mathematics, and with the vague or contradictory concepts we use in everyday discourse. In addition, the project will provide research training for postgraduate students, and it will strengthen an already internationally recognised research centre in philosophical logic.