Sobre os conceitos de função e dependência

Resumo

Este artigo investiga brevemente a evolução do conceito de função até sua definição teórica moderna estabelecida, e, em seguida, investiga sua relação com a noção pré-formal de dependência variável. Argumentarei que a associação comum de dependência pré-formal com o conceito moderno de função está errada, e que duas noções diferentes de dependência estão na verdade envolvidas nos pontos de vistas clássico e modernos, ou seja, a dependência  efetiva e funcional. A primeira contém o última, e parece mais conforme à nossa concepção pré-formal da dependência. A idéia de dependência efetiva é investigada em conexão com as noções de função, conteúdo  e intensionalidade. Finalmente, avalia-se a pertinência da distinção entre os dois tipos de dependência para a prática matemática.