Acceso usuarios
Mario Moro Hernández, David Travieso García
El lógico alemán Gottlob Frege (1848-1 925) es una de las figuras fundamentales de la historia de la lógica. Ignorado en su tiempo -cuando no repudiado-, no cabe la menor duda de que las aportaciones que realizó desde el último cuarto del siglo XIX hasta la segunda década del siglo XX conforman las bases sobre las que se erige la lógica simbólica tal y como se conoce hoy día. Baste como ejemplo la obra a la que dedicó la mayor parte de su esfuerzo investigador: su programa de fundamentación lógica de las matemáticas -el llamado "programa logicista"-. Dicho proyecto, nacido a rebufo de sus obras Begriffstschrift, eme derarithmetischen nachgeblldete Formeísprache des reinen Denkens (1879) yDíe Grundlagen derArithmetik (1884), será fundamental para el desarrollo posterior de la Teoría de la Computación (pe., Davis, 2002; Mosterin, 2000).
En trabajos previos (Moro, 2003a; 2003b) ya se ha señalado cómo no se debe ignorar el papel de la lógica matemática en el surgimiento de la psicología cognitiva. No sólo se ha destacado la labor de Frege, sino que también se han reivindicado los trabajos de otros lógicos de la época como, por ejempío, Georg Cantor, Richard Dedekind, David Huberto Giusseppe Peano. En esta ocasión, se pretende mostrar cómo la noción de "función" acuñada por Frege es la única vía desde la que la psicología cognitiva puede hablar de "representaciones" con un sentido verdaderamente computacional. O, dicho de otro modo, que el único modo de hablar de "representación" dentro del marco de la psicología cognitiva es hablar de "función" en el sentido fregeano del término.
