Funcionalismo
El funcionalismo es una posición filosófica que se considera realista con respecto a los estados mentales. Esto quiere decir que el funcionalismo está comprometido con la existencia de los estados mentales. Para el funcionalismo, lo que define al estado mental es el papel causal que juega dentro de la economía cognitiva de un sujeto. Para comprender qué es un estado mental, debemos tener en cuenta las consecuencias para el sujeto de tener dicho estado mental. Según la situación en la que nos encontremos, podemos analizar los estados mentales en virtud del papel que juegan en nuestros sistemas de creencias y cómo actúan para generar nuevas creencias o para determinar un curso de acción. Podemos establecer una distinción entre el nivel puramente físico, esto es, sus estados y procesos físicos en los que el sujeto se encuentra en un momento dado, y, por otro lado, un nivel de descripción funcional o abstracto en que se reflejen los estados y procesos mentales por los que pasa el sujeto en ese momento dado y cómo esos estados intervienen en la conducta del sujeto.
Tipos de Funcionalismo
Se suelen diferenciar dos tipos de funcionalismo:
- Funcionalismo de la psicología popular: Cuando apelamos a actitudes proposicionales para explicar o racionalizar la conducta de un agente.
- Funcionalismo de máquina de Turing: Considera al estado computacional de una máquina como algo comparable al estado psicológico de una persona. Un programa será el conjunto de operaciones que son realizadas en un sistema a partir de una serie de entradas y que dan lugar a una serie de salidas. Esta idea abstracta de un programa puede ser capturada mediante una máquina de Turing. Cada uno de los estados mentales debe ser considerado como un estado computacional, de manera que el sujeto pasa de unos estados computacionales a otros hasta determinar la conducta más adecuada.
Una idea central del funcionalismo es que un mismo programa puede ser realizado en distintos sistemas físicos, ya que en la doctrina funcionalista la mente es al cerebro lo que el programa a la máquina. La mente es un programa que en humanos corre teniendo al cerebro como su soporte o hardware. Esta conexión entre mente y programa debe ser entendida en un sentido fuerte, ya que para muchos funcionalistas el cerebro humano es un ordenador biológico configurado mediante un proceso de selección natural en el transcurso de la evolución humana.
Teoría de la Identidad Mente/Cerebro
Los defensores de la teoría de la identidad sostienen que los estados y procesos mentales son, en última instancia, estados y procesos cerebrales. Es decir, que los eventos mentales son idénticos a los eventos físicos, de forma que no es posible que un individuo tenga un evento mental determinado sin tener activado un determinado circuito neuronal, y siempre que este circuito se active, el sujeto volverá a estar en el mismo estado mental. Los filósofos defensores de la teoría de la identidad aceptan un fisicalismo de tipo reductivista y consideran que sí es posible reducir la psicología a la biología. Los filósofos que aceptan esta teoría son fisicalistas en la medida en que en sus compromisos ontológicos no incluyen nada más que estados y procesos cerebrales, aunque se admita que podamos dar una descripción de los procesos físico-químicos cerebrales en los términos que ofrece la psicología más tradicional.
Descripción de una Máquina de Turing
Una máquina de Turing es una máquina ideal en dos aspectos básicos. La primera idealización es que su memoria es ilimitada. La segunda es que nunca comete errores.
La máquina propiamente dicha:
- Está situada en todo momento ante uno de los cuadros.
- Lee lo que hay en este cuadro.
- Lleva a cabo una instrucción en el momento siguiente.
La tesis de Turing es que allí donde existe un procedimiento de decisión, una máquina de Turing puede realizarlo. Podemos representar una máquina de Turing de la siguiente manera: dispondríamos de una cinta infinita dividida en casillas. Que la cinta sea infinita en su extensión nos indica que la máquina dispondrá de una memoria infinita. Esta cinta es el lugar en el que se realizan las manipulaciones de los símbolos. Necesitamos de un conjunto de símbolos con los que opera la máquina. Este conjunto de símbolos debe ser finito y previamente descrito. Desplazándose por la cinta, dispondremos de un lector que se mueve de derecha a izquierda y viceversa. La función de este lector será la de leer el símbolo que aparezca en una casilla. Además, podrá borrar, escribir o cambiar un símbolo por otro. Para representar el estado en el que se encuentra una máquina en un momento dado, utilizaremos el siguiente símbolo, en el que indicaremos mediante una R o una L si el movimiento del lector se dirige hacia la derecha o la izquierda. Por último, utilizamos flechas para indicar el orden en la sucesión de estados en una máquina.
Tesis de Turing y sus Implicaciones en la Filosofía de la Mente
Tesis 1
Todo problema que pueda resolverse algorítmicamente puede ser resuelto por una máquina de Turing.
- Algoritmo: Conjunto de reglas que, aplicadas de forma mecánica, pueden resolver un problema de una clase dada.
- Cálculo: Toda operación que se desarrolle mediante manipulación de símbolos en un medio de representación dado. Las operaciones simbólicas son atómicas. Se realizan en un computador. La acción del computador va a depender de los símbolos que tenga el sistema y del estado interno en el que se encuentra el computador.
Tesis 2
Toda función computable puede ser computada por una máquina de Turing. Todo problema que puede ser resuelto por métodos algorítmicos puede ser resuelto por una máquina de Turing.
- Función computable: Clases de problemas que pueden ser resueltos algorítmicamente, terminando la tarea en un número finito de pasos.
Lo que se deriva de la tesis 2 es que si se pudiese dar una definición computacional de procesos tales como la memoria, el razonamiento, tener un sistema de creencias, o incluso, de procesos cognitivos más complejos, entonces podríamos disponer de modelos computacionales como los descritos mediante máquinas de Turing capaces de reproducirlos. Las consecuencias en el campo de la inteligencia artificial serían evidentes.