My contribution is that I have incorporated costs, full accounting, and operatio

My contribution is that I have incorporated costs, full accounting, and operationalism into philosophy, and produced a system of categories by which we can algorithmically ‘calculate’ (not compute) tests of reciprocity – including the reciprocity of truthful speech. This is far harder than logic (set consistency), and far harder than empiricism (external correspondence). But it is just as formal as logic and mathematics.