Logic, Abstraction And Construction

Abstract

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 recogni..

Related publications (1)

Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox

G RESTALL

2015-01-01

Proponents of a dialethic or “truth-value glut” response to the paradoxes of self-reference argue that “truth-value gap” analyses ..