Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons

In this article we consider the significance of formal equivalence in the language proposed by Warren McCulloch and Walter Pitts in their original “A logical calculus of the ideas immanent in nervous activity”.  We study the model from the contributions that it has meant in the history of science: a...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Stefanazzi Kondolf, Rocío
Formato: Artículo revista
Lenguaje:Español
Publicado: Centro de Investigaciones de la Facultad de Filosofía y Humanidades 2022
Materias:
equivalencia formal
neuronas lógicas
nuevo mecanicismo
modelos científicos
formal equivalence
logical neurons
new mechanism
scientific models
Acceso en línea:https://revistas.unc.edu.ar/index.php/afjor/article/view/34428
Aporte de:
Epistemología e Historia de la Ciencia de Universidad Nacional de Córdoba
id I10-R341-article-34428
record_format ojs
spelling I10-R341-article-344282025-01-01T15:10:41Z Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons La equivalencia formal en el lenguaje de las neuronas lógicas de McCulloch y Pitts Stefanazzi Kondolf, Rocío equivalencia formal neuronas lógicas nuevo mecanicismo modelos científicos formal equivalence logical neurons new mechanism scientific models In this article we consider the significance of formal equivalence in the language proposed by Warren McCulloch and Walter Pitts in their original “A logical calculus of the ideas immanent in nervous activity”.  We study the model from the contributions that it has meant in the history of science: as a computational theory of mind; and as a formalism that contributed to the development of automata theory and logical design. This question is framed into the mechanistic explanation account and the philosophy of scientific models, while also attending to how the model embedded a conception of a language as a logical calculus. We consider the relationship between the model and its target system, offering two possible interpretations: logical neurons are the model that represents the mind-brain or it is a new conceptual object that enables the development of artificial automata. We observe how the formal equivalence notion plays a fundamental role: as scientific explanation about mind’s theory, as an isomorphism criterion of mind’s model, and as identity criterion of logic neurons or formal neurons. 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. Centro de Investigaciones de la Facultad de Filosofía y Humanidades 2022-12-31 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion application/pdf https://revistas.unc.edu.ar/index.php/afjor/article/view/34428 10.61377/ehc.34428 Epistemología e Historia de la Ciencia; Vol. 7 No. 1 (2022): Epistemología e Historia de la Ciencia; 22-40 Epistemología e Historia de la Ciencia; Vol. 7 Núm. 1 (2022): Epistemología e Historia de la Ciencia; 22-40 Epistemología e Historia de la Ciencia; v. 7 n. 1 (2022): Epistemología e Historia de la Ciencia; 22-40 2525-1198 spa https://revistas.unc.edu.ar/index.php/afjor/article/view/34428/40269 Derechos de autor 2022 Rocío Stefanazzi Kondolf http://creativecommons.org/licenses/by-nc-nd/4.0
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-341
container_title_str Epistemología e Historia de la Ciencia
language Español
format Artículo revista
topic equivalencia formal
neuronas lógicas
nuevo mecanicismo
modelos científicos
formal equivalence
logical neurons
new mechanism
scientific models
spellingShingle equivalencia formal
neuronas lógicas
nuevo mecanicismo
modelos científicos
formal equivalence
logical neurons
new mechanism
scientific models
Stefanazzi Kondolf, Rocío
Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
topic_facet equivalencia formal
neuronas lógicas
nuevo mecanicismo
modelos científicos
formal equivalence
logical neurons
new mechanism
scientific models
author Stefanazzi Kondolf, Rocío
author_facet Stefanazzi Kondolf, Rocío
author_sort Stefanazzi Kondolf, Rocío
title Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
title_short Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
title_full Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
title_fullStr Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
title_full_unstemmed Formal equivalence in the language of McCulloch’s and Pitts’ logical neurons
title_sort formal equivalence in the language of mcculloch’s and pitts’ logical neurons
description In this article we consider the significance of formal equivalence in the language proposed by Warren McCulloch and Walter Pitts in their original “A logical calculus of the ideas immanent in nervous activity”.  We study the model from the contributions that it has meant in the history of science: as a computational theory of mind; and as a formalism that contributed to the development of automata theory and logical design. This question is framed into the mechanistic explanation account and the philosophy of scientific models, while also attending to how the model embedded a conception of a language as a logical calculus. We consider the relationship between the model and its target system, offering two possible interpretations: logical neurons are the model that represents the mind-brain or it is a new conceptual object that enables the development of artificial automata. We observe how the formal equivalence notion plays a fundamental role: as scientific explanation about mind’s theory, as an isomorphism criterion of mind’s model, and as identity criterion of logic neurons or formal neurons.
publisher Centro de Investigaciones de la Facultad de Filosofía y Humanidades
publishDate 2022
url https://revistas.unc.edu.ar/index.php/afjor/article/view/34428
work_keys_str_mv AT stefanazzikondolfrocio formalequivalenceinthelanguageofmccullochsandpittslogicalneurons
AT stefanazzikondolfrocio laequivalenciaformalenellenguajedelasneuronaslogicasdemccullochypitts
first_indexed 2024-09-03T21:23:34Z
last_indexed 2025-02-05T22:08:50Z
_version_ 1852638126118273024

Ejemplares similares