Opening with the insights of Swedish philosopher Per Martin-Lof, the father of constructive type theory, this exploration of the relationship between logic and knowledge re-affirms the key role that the notion of judgement must play in such a review.
Opening with the insights of Swedish philosopher Per Martin-Lof, the father of constructive type theory, this exploration of the relationship between ...
This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a review. The commentary repatriates the concept of judgement in the discussion, banished in recent times by the logical positivism of Wittgenstein, Hilbert and Schlick, and the Platonism of Bolzano. The volume commences with the insights of Swedish philosopher Per Martin-Lof, the father of constructive type theory, for whom logic is a demonstrative science in which judgement is a settled feature of the landscape. His paper opens the first of four...
This compelling reevaluation of the relationship between logic and knowledge affirms the key role that the notion of judgement must play in such a rev...
