3 ms·
I don't think types really came from a natural way of structuring logic but the work of epistemology, devloped mainly in rationalism and Kant, for Frege I think
by nathias 5y ago
I don't think types really came from a natural way of structuring logic but the work of epistemology, devloped mainly in rationalism and Kant, for Frege I think we can find the idea of types already at work in his main epistemological distinction between sense and meaning.
- tel 5y agoI 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.