Abstract FR:

Il s'agit d'un examen de quelques themes a propos de la controverse entre le realisme et le constructivisme en philosophie de la logique et des mathematiques d'apres la nomenclature a ce sujet employee entre autres par m. Dummett, g evans etc. Dans les chapitres 1,2 et 3 j'examine d'un point de vue critique la semantique de s. Kripke pour la logique intuitioniste du premier ordre. J'affirme le caractere ideal de la construction intuitioniste connue comme "suite de choix illimiee". Je developpe aussi les fonctions recursives generales que j'ai nomme "fonctions-j". Dans les deux derniers chapitres je critique le programme neo-logiciste du philosophe c. Wright tel que ce programme est developpe dans le livre frege's conception of numbres as objetcs. J'affirme que les distinctions etablies par c. Wright ne sont pas tout a fait categoriques et qu'il faut avoir une perspective historique a propos du degre de la connaissance methematique par rapport a laquelle les distinctioins conceptuelles et les constructions mathematiques ont lieu.