La equivalencia formal en el lenguaje de las neuronas lógicas de McCulloch y Pitts

Autores/as

Palabras clave:

equivalencia formal, neuronas lógicas, nuevo mecanicismo, modelos científicos

Resumen

En este artículo reflexionamos sobre el lugar de la equivalencia formal en el lenguaje propuesto por Warren McCulloch y Walter Pitts en su “A logical calculus of the ideas immanent in nervous activity” [“Un cálculo lógico de las ideas inmanentes en el sistema nervioso”]. Estudiamos el modelo a partir de los aportes que este ha significado en la historia de la ciencia: como teoría computacional de la mente; y como formalismo que contribuyó al desarrollo de la teoría de los autómatas y el diseño lógico. Estudiamos este paper desde la teoría de modelos y desde la teoría de la explicación mecanicista en ciencias. A su vez, reflexionamos acerca del carácter de cálculo lógico del texto en cuestión. Consideramos la relación entre el modelo y su target y ofrecemos dos interpretaciones posibles: las neuronas lógicas son el modelo que representa a la mente-cerebro o se trata de un nuevo objeto conceptual que posibilita el desarrollo de los autómatas artificiales. Observamos cómo la noción de equivalencia formal juega un papel fundamental: como explicación científica de una teoría de la mente, como criterio de isomorfismo de un modelo de la mente, y como criterio de identidad de las neuronas lógicas o neuronas formales.

Descargas

Los datos de descargas todavía no están disponibles.

Citas

Abraham, T. H. (2002). (Physio)Logical Circuits: The intellectual origins of the McCulloch-Pitts Neural Networks. Journal of the History of the Behavioral Sciences, 38 (1), 3–25. https://doi.org/10.1002/jhbs.1094

Arbib, M. (1987). Brains, machines and mathematics. Springer Verlag.

Barberis, S. (en prensa). La explicación mecanicista. En prensa.

Branca, M. I., Ramírez, A. O., y Vilatta, M. E. (2015). Modelos de explicación en psicología cognitiva y neurociencias. Anuario de Investigaciones de la Facultad de Psicología, 2 (1), 176-191. https://www.revistas.unc.edu.ar/index.php/aifp

Boolos, G., Burgess, J., Jeffrey, R. (2007). Computability and Logic. Cambridge University Press.

Carnap, R. ([1937] 2007). Logical Syntax of Language. Routledge.

Cassini, A. (2018). Models without a Target. Artefactos. Revista de estudios de la ciencia y la tecnología. 7 (2), 185-209. http://dx.doi.org/10.14201/art201872185209

Craver, C. (2007). Explaining the Brain. Mechanisms and the Mosaic Unity of Neuroscience. Oxford, Clarendon Press.

Dupuy, J-P. (2000). The mechanization of the mind: On the origins of cognitive science. Princeton University Press.

Fitch, F. (1944). Review of McCulloch and Pitts 1943. Journal of Symbolic Logic. 9 (2), 49–50. https://doi.org/10.2307/2268029

Householder, A. (1941a). A theory of steady-state activity in nerve-fiber networks: I. Definitions and preliminary lemmas. Bulletin of Mathematical Biophysics, 3, 63–69. https://doi.org/10.1007/BF02478220

Householder, A. (1941b). A theory of steady-state activity in nerve-fiber networks II: The simple circuit. Bulletin of Mathematical Biophysics, 3, 105–112. https://doi.org/10.1007/BF02478168

Householder, A. (1941c). A theory of steady-state activity in nerve-fiber networks III: The simple circuit in complete activity. Bulletin of Mathematical Biophysics, 3, 137–140. https://doi.org/10.1007/BF02477933

Householder, A. (1942). A theory of steady-state activity in nerve-fiber networks IV: N circuits with a common synapse. Bulletin of Mathematical Biophysics, 4, 7–14. https://doi.org/10.1007/BF02477350

Kleene, S. C. (1956), Representation of Events in Nerve Nets and Finite Automata en C. E. Shannon y J. McCarthy (Eds.), Automata Studies, (3-42). Princeton University Press.

Lawvere, F. W. & Schanuel, S. (1997). Conceptual Mathematics: A First Introduction to Categories. Cambridge University Press.

(McCulloch & Pitts, 1943) McCulloch, W., & Pitts, W. (1943). A logical calculus of the ideas immanent in nervous activity. The Bulletin of Mathematical Biophysics, 5(4), 115-133. https://doi.org/10/djsbj6

McCulloch, W. y Pitts, W. (1990). A logical calculus of de ideas immanent in nervous activity. Bulletin of Mathematical Biology, 52 (l/2), 99-115. (Obra original de 1943) https://doi.org/10.1007/BF02459570

Northrop, F. S. C. (1931). Science and first principles. Macmillan.

Perkel, D. (1988). Logical neurons: the enigmatic legacy of Warren McCulloch. Trends in Neurosciences, 11 (1), 9-12. https://doi.org/10.1016/0166-2236(88)90041-0

Piccinini, G. (2003). Computations and computers in the sciences of mind and brain. [Tesis de doctorado, Universidad de Pittsburgh].

https://www.researchgate.net/publication/301340375_Computation_and_Computers_in_the_Sciences_of_Mind_and_Brain

Piccinini, G. (2004). The first computational theory of mind and brain: a close look at McCulloch and Pitts’ “Logical calculus of de ideas immanent in nervous activity”. Synthese, 141, 175–215. https://doi.org/10.1023/B:SYNT.0000043018.52445.3e

Potochnik, A., Colombo, M., Wright, C. (2019). Recipes for Science. An Introduction to Scientific Methods and Reasoning. Editorial Routledge.

Schlatter, M. y Aizawa, K. (2008). Walter Pitts and “A Logical Calculus”. Synthese, 162, 235–250. https://doi.org/10.1007/s11229-007-9182-9

von Neumann, J. (1945). First Draft of a Report on the EDVAC. Technical Report, Moore School of Electrical Engineering, University of Pennsylvania. En línea: http://abelgo.cn/cs101/papers/Neumann.pdf

von Neumann, J. (1951). The General and Logical Theory of Automata. En L. A. Jeffress (Ed.), Cerebral Mechanisms in Behavior (pp. 1–41). Wiley.

Turing, A. (1936). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42(1), 230-265. En línea: https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf

Zamora-Cárdenas, W., Zumbado, M., Trejos-Zelaya (2020). McCulloch-Pitts Artificial Neuron and Rosenblatt's Perceptron: An abstract specification in Z. Revista Technology inside by CPIC, 5 (5), 16-29. https://cpic-sistemas.or.cr/revista/index.php/technology-inside/article/view/36/27

Descargas

Publicado

31-12-2022

Cómo citar

Stefanazzi Kondolf, R. (2022). La equivalencia formal en el lenguaje de las neuronas lógicas de McCulloch y Pitts . Epistemología E Historia De La Ciencia, 7(1), 22–40. Recuperado a partir de https://revistas.unc.edu.ar/index.php/afjor/article/view/34428