Penser la notion de fonction en logique au XXe siècle (1900-1950)

Resumo

Comprendre une notion et pouvoir la définir suppose-t-il nécessairement de pouvoir saisir la nature de l’objet que désigne cette notion ? Certains concepts échouent à être définis pour eux-mêmes, et certains objets échouent à être compris indépendam­ment d’un certain contexte. Quand on considère une notion désignant un objet en­tendu généralement pour ce qu’il fait plus que pour ce qu’il est, ces deux difficultés convergent. Un concept de cette sorte nous occupera dans cette étude: la fonction en logique au XXe siècle. Par une mise en rapport des travaux de Frege, Schönfinkel et Church, nous tentons de dégager les pistes qui montrent une possible manière de comprendre la notion de fonction.
---

Pensar a noção de função na lógica no século XX (1900-1950)

Será que a compreensão de uma noção e a capacidade de defini-la deve necessariamente supor a compreensão da natureza do objeto que essa noção designa? Alguns conceitos não se deixam definir por si próprios e alguns objetos também não conseguem ser entendidos sem um contexto. Se consideramos uma noção que denote um objeto, geralmente entendida mais pelo que faz, do que pelo que ela é, essas dificuldades convergem. Tal noção nos ocupará neste artigo: a noção de função na lógica no século XX. Definindo uma ligação entre as obras de Frege, Schönfinkel e Church, buscaremos identificar alguns modos de definir a noção de função.
---
Artigo em francês.