Thinking about the notion of function in logic in the twentieth century (1900-1950)
Main Article Content
Abstract
Do the understanding of a notion and the ability to define it necessarily suppose to grasp the nature of the object that this notion designates? Some concepts fail to be defined for themselves, and some objects also fail to be understood without a context. If we consider a notion denoting an object usually understood for what it does more than for what it is, these difficulties both converge. Such a notion will occupy us in this article: the notion of function in logic in the 20th century. By setting a link between the works of Frege, Schönfinkel and Church, I indentify some ways that show a possible manner to define the notion of function.
---
Original in French.
Article Details
Copyright Notice
The author of the article or book reviews submitted and approved for publication authorizes the editors to reproduce it and publish it in the journal O que nos faz pensar, with the terms “reproduction” and “publication” being understood in accordance with the definitions of the Creative Commons Attribution-NonCommercial 4.0 International license. The article or book reviews may be accessed both via the World Wide Web – Internet (WWW – Internet), and in printed form, its being permitted, free of charge, to consult and reproduce the text for the personal use of whoever consults it. This authorization of publication has no time limit, with the editors of the journal O que nos faz pensar being responsible for maintaining the identification of the author of the article.