Abstract. This paper briefly traces the evolution of the function concept until its modern settheoretic definition, and then investigates its relationship to the pre-formal notion of variable dependence. I shall argue that the common association of pre-formal dependence with the modern function concept is misconceived, and that two different notions of dependence are actually involved in the classic and the modern viewpoints, namely effective and functional dependence. The former contains the latter, and seems to conform more to our pre-formal conception of dependence. The idea of effective dependence is further investigated in connection with the notions of function content and intensionality. Finally, the relevance of the distinction between the two kinds of dependence to mathematical practice is considered.
Every theory of pure quotation embraces in some form or another the intuitively obvious thesis that pure quotations refer to their quoted expressions. However, they all remain vague (and sometimes even inconsistent) about the nature of these latter. This paper proposes to take seriously the fact that quoted items are semantic, not syntactic objects, and to develop therefrom a semantics for pure quotation that retains the basic intuitions and at the same time circumvents standard problems.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.