I think that's all correct, but am blurring the lines between logic and epistemology in the sense of Martin Löf, logic is the mechanism of judgement and judgeme

I think that's all correct, but am blurring the lines between logic and epistemology in the sense of Martin Löf, logic is the mechanism of judgement and judgement is the currency of knowing. Formally, anyway.