RÉSUMÉ: Utilisant ce qu'on appelle l'argument du lance-pierres, Davidson soutient que la théorie correspondantiste de la vérité est intenable. Cet argument dépend de deux présuppositions, dont l'une est qu'une phrase vraie ne devrait pas, par substitution de termes singuliers coréférentiels, en venir à correspondre à quelque chose de différent. Je propose dans cet article un argument nouveau pour montrer que cette supposition n'est pas plausible, particulièrement lorsqu'elle s'applique à des énoncés d'identité, ceux-là mêmes dont dépend pour sa formulation l'argument du (...) lance-pierres. (shrink)

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former (...) are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots. (shrink)