Fabrice Pataut

Although G¨odel proved the first incompleteness theorem by intuitionistically respectable means, G¨odel’s formula, true although undecidable,seems to offer a counter-example to the general constructivist or anti-realistclaim that truth may not transcend recognizability in principle. It is arguedhere that our understanding of the formula consists in a knowledge of itstruth-conditions, that it is true in a minimal sense and, finally, that it is recognized as such given the consistencyand ω-consistency of P. The philosophical lesson to be drawn from G¨odel’sproof is that our capacities for justification in favour of minimal truth exceedwhat is strictly speaking formally provable in P by means of an algorithm

According to the antirealist view of history, history is something historians construct in the present. Although the warrants they may gather in favour of past events do not form a coherent class, such warrants constitute the assertibility conditions of our statements about the past. They are by nature partial, gradual and defeasible. The antirealist is then faced with two problems. One is to account for a notion of historical significance, either in terms of causal links, broad patterns, or justified historiographic generalizations. A second one is to secure a bound to the holistic construal of historical cognitive content. A coherent antirealist about history must explain why historical claims are in the market for truth, without taking the position of an ideal observer looking at the past from an a-historical fixed point outside time