conceptual

 La computadora surgió de los intentos de resolver dos problemas filosóficos importantísimos: 1. La objetividad matemática 2. La causación mental El proyecto formalista Hilbertiano tenía como objetivo explicar el primero de estos fenómenos, pero requería una noción rigurosa de cálculo formal, lo que dio pie a la teoría Tarskiana de la computación. Dicho proyecto requería que la forma de una representación fuera intuitiva para todos, por lo que tenía que ser absolutamente explícita.  Si no fueran perfectamente detectables por cualquier, no se podría garantizar la objetividad de sus resultados. Por eso era necesario que fueran accesible a la intuición empírica mas que a la racional. Una vez que se logro dicha explicitud, solo faltaba un paso para entender a las propiedades formales como propiedades materiales (y empíricas) de las representaciones. Lo cual encajaba perfectamente en un modelo materialista de la mente. En otras palabras, si pensar es computar, y computar no es sino manipula

E n la lógica clásica es (relativamente) fácil definir y explicar qué es la negación. Sin embargo, una vez que estamos trabajando en lógicas clásicas, diferentes nociones que colapsan en un solo operador en la lógica clásica empiezan a divergir en más de un operador en otras lógicas. Diferentes funciones que cumple la negación clásica en la lógica clásica requieren diferentes operadores para cumplirse en otras lógicas. 1. La negación como teoría de valores de verdad Por ejemplo, en lógica clásica, la negación invierte los valores de verdad. Esto le permite a la lógica clásica ser completamente simétrica entre verdad y falsedad. Sin ella, no podemos formular leyes simétricas fundamentales como las de De Morgan. En este sentido, la negación tiene la función de explicar la relación lógica entre los valores de verdad. Como he indicado en otras ocasiones, cualquier semántica filosófica debe justificar su selección de valores semánticos. Esto significa justificar cuales serán sus valores