Towards A Semantic Web

11

On commensurability

Liam Magee

The freedom with the constraints of ritual logic that comes from perfect mastery of that logic is what makes it possible for the same symbol to refer back to realities that are opposed in terms of the axiomatics of the system itself. Consequently, although it is not inconceivable that a rigorous algebra of practical logics might one day be written, it will never be done unless it is understood that logical logic, which only speaks of them negatively, if at all, in the very operations through which it constitutes itself by denying them, is not equipped to describe them without destroying them. It is a question of reconstituting the ‘fuzzy’, flexible, partial logic of this partially integrated system of generative ...