Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Programa
Carolina Olivos (USACH)
9:30 - 10:00 Una dificultad en la nocin modelo-terica de dominio de interpretacin
11:45 - 12:15
Guido Vallejos (U. DE CHILE) RECESO DE ALMUERZO Luca Piretti/Pamela Barone (U. NACIONAL DE CRDOBA)
15:00 - 15:30
16:30 - 17:15
Retrocausacin y contrafcticos
Una dificultad en la nocin modelo-terica de dominio de interpretacin Carolina Olivos Fandez Universidad de Santiago de Chile La teora de conjuntos no slo es utilizada en la matemtica actual como un fundamento en el cual se pueden formular las principales reas de las matemticas, tambin nociones conjuntistas son utilizadas por la teora de modelos (teora encargada de la semntica de los lenguajes formales), para definir uno de sus conceptos fundamentales, el de dominio de interpretacin, como el conjunto no vaco escogido para la interpretacin. As, la interpretacin de un lenguaje formal de primer orden consiste en la asignacin de valores de verdad a sus frmulas, por medio de la asignacin de propiedades y/o relaciones y constantes, pertenecientes al dominio. Por otro lado, diversas teoras, entre ellas teoras matemticas (como la misma teora de conjuntos), se formulan en el lenguaje de primer orden, para mayor simplicidad y claridad. El problema que trataremos en esta ponencia surge de esta relacin circular entre la teora de conjuntos y la lgica cuantificacional de primer orden y se puede formular como la imposibilidad de una teora de conjuntos de proveer una coleccin (ya sea un conjunto, clase propia, etc.) que sirva como dominio adecuado para su propia interpretacin. Ya que el primer autor que advirti est dificultad, fue el lgico Ral Orayen, se le ha dado a este problema el nombre de la paradoja de Orayen. En particular, surge del hecho de que las teoras axiomticas de conjuntos (Zermelo-Fraenkel o vonNeumann-Bernays-Gdel) evitan las paradojas de la teora intuitiva o cantoriana de conjuntos (como la famosa Paradoja de Russell), restringiendo el tamao o cardinalidad de los conjuntos. En el caso de ZF se niega la existencia de un conjunto de todos los conjuntos. El problema es que ese conjunto o coleccin es necesario para la interpretacin adecuada de TC, ya que para cuantificar sobre todos los objetos acerca de los cuales TC hace generalizaciones, es necesario incluirlos a todos ellos en el dominio de interpretacin. Lo que parece mostrar un conflicto en la nocin intuitiva de conjunto: la nocin de conjunto que es necesario desde un punto de vista matemtico no coincide siempre con la nocin adecuada desde un punto de vista filosfico. En esta ponencia intentar mostrar que, aunque la llamada paradoja de Orayen no es una paradoja en sentido estricto, porque no implica una contradiccin formal, si comparte un rasgo propio de las paradojas: la circularidad. Es por esto, que la solucin que parece ms adecuada tiene la forma similar a las soluciones dadas a las paradojas basadas en circularidad (como la Paradoja de las clases de Russell o paradojas semnticas), que establecen niveles y jerarquas, como la teora de los tipos de Russell o la distincin de niveles de lenguaje de Tarski.
Referido a conjuntos infinitos este principio es discutible por cuanto es imposible determinar su absoluta validez. 2 Aristteles. Metafsica, IV, 3. Espasa Calpe, Madrid 1988, p. 108
Lgica mental y razonamiento basado en modelos: los lmites entre lgica y psicologa
Lautaro Elas Quiroga Aguilar. Universidad de Chile Desde Aristteles hasta la lgica clsica hacia fines del siglo XIX, la visin dominante sostuvo que el razonamiento deductivo era un proceso que utilizaba reglas o esquemas de inferencias, siendo la determinacin de su validez, el objetivo central de la lgica formal. El tratamiento sistemtico de ciertas nociones lgicas, como en el caso de Frege, fue determinante para la oposicin entre la lgica y la psicologa, enraizada a la idea que los componentes cognitivos alejan la objetividad y propsitos de la lgica clsica. La disputa entre el tratamiento lgico versus el psicolgico del razonamiento, se ha guiado a travs dos escuelas en psicologa cognitiva: 1) la hiptesis de modelos mentales (Wason, 1972; JohnsonLaird, 1983; Fangmeier et. al. 2006), la cual afirma que las inferencias deductivas resultan de la construccin de modelos de estados de cosas descritos en las premisas, contextualmente interactivos, y cuya estructura es anloga al estado de cosas que representan, y 2) la tesis de la lgica mental, que afirma la existencia de componentes lgicos (reglas/esquemas inferenciales) durante una inferencia. En la actualidad, la comprensin de una inferencia como un tipo de cognicin ha tenido un giro. Desde las neurociencias cognitivas, la evidencia fMRI confirma la existencia de correlatos neurofisiolgicos a favor, tanto de la tesis de la lgica mental (Yang et. al. 2005; Monti et. al, 2007; Posner & Deheani, 1994) como de la tesis de modelos mentales (Reverberi et. al. 2007; Fangmeier & Johnson-Laird et. al., 2006; Goodwin, G. & Johnson-Laird 2005). Paralelamente, gran parte de las objeciones de la psicologa a la lgica se refieren a la lgica clsica, cuando hay una variedad de lgicas en la actualidad. Como evidencia, aproximaciones conexionistas como la de Stenning & van Lambalgen (2008) que han implementado lgicas nomontonas ofreciendo anlisis informacionales de procesos inferenciales. En sntesis, sostengo que la disputa entre la tesis de la lgica mental y la tesis de los modelos mentales pone de manifiesto que el problema del formato de la informacin cognitiva ha sido una limitacin ontolgica sustantiva. Esta dificultad ha derivado una tendencia a la incorporacin de los vnculos externos (de contexto), como factores relevantes de un razonamiento. En consecuencia, el contraste clsico entre lgica y psicologa, expresado en la psicologa del razonamiento pierde fuerza para las explicaciones cognitivas y permite pensar que el escenario de la lgica contempornea tiene consecuencias relevantes para el tratamiento cognitivo clsico en psicologa.
la biologa evolutiva, la informacin se utiliza un sentido semntico''', mientras que la semntica es deliberadamente omitida de la teora de Shannon. Otros autores proponen una alternativa a los sentidos causales y semnticos de la informacin: un sentido de transmisin de la informacin, en la que un objeto X transmite la informacin, si la funcin de X es el de reducir la incertidumbre por parte de un agente que observa X. El sentido de la transmisin no slo captura la mayor parte de lo que los bilogos pretenden cuando hablan de la informacin en los genes, sino que retoma la teora de Shannon. Este enfoque resuelve varios problemas del concepto de informacin en la biologa, y pone de relieve una serie de caractersticas importantes de la forma que la informacin es codificada, almacenada y transmitida como secuencia gentica. Pero cuando hablamos de informacin, estamos hablando de intencionalidad. Aceptar la informacin intencional, sirve tanto para hablar de diseo como de seleccin natural.
Retrocausacin y contrafcticos
Rolando Nez Pradenas ANPCyT, Universidad de Buenos Aires/Universidad Nacional de La Plata Como es bien sabido, la mecnica cuntica, si se considera que bajo el formalismo de la mecnica cuntica hay un sustento real y no que es una simple herramienta para la prediccin, parece traer por consecuencia ciertas paradojas o misterios de la cuntica. Desde un punto de vista realista es de esperar que las teoras exitosas tambin nos otorguen algn grado de comprensin acerca del sustento fsico que estara tras los resultados obtenidos. Sin embargo, existe una interpretacin a la mecnica cuntica que, aceptando la posibilidad de que exista retrocausacin-en-el-tiempo, muchos de los casos extraos de la mecanica cuntica parecen resolverse, como el problema del fenmeno de Bell o el caso del gato de Shrdinger. La idea bsica en el modelo de retrocausacin-en-el-tiempo la podemos encontrar en la llamada Interpretacin Transaccional de la mecnica cuntica, defendida principalmente por el fsico John G. Cramer. Segn esta interpretacin, los eventos cunticos se entienden como interacciones causales entre ondas retrasadas viajando hacia adelante en el tiempo y ondas avanzadas viajando hacia atrs en el tiempo. En palabras de Cramer1 un evento es una transaccin entre estas ondas, en donde se genera un intercambio en un doble sentido entre futuro y pasado para los propsitos de transferir energa, momentum, etctera. La posicin de Cramer se basa en la teora de la absorcin de Wheeler Feynman. Esta teora es una interpretacin a la electrodinmica que considera que la solucin a las ecuaciones de campos electromagnticos tienen que ser simtricas con respecto al tiempo. Ahora bien, si aceptamos un modelo de retrocausacin, debemos explicar cmo quedan las relaciones causales que permiten correlaciones preinteractivas. Para esto tendremos que analizar la idea de conexin causal y analizar en qu sentido podemos complementarla con una teora de la direccin de la causalidad. En este trabajo exploraremos la posibilidad de hacer compatible una interpretacin contrafctica de la causacin con la posibilidad de que exista interaccin causal hacia el pasado.
Condicionales contraidnticos e inconmensurabilidad del cambio terico Hernn Miguel Universidad de Buenos Aires CBC--UBA /ANPCYT Goodman aborda tempranamente el problema de los contrafcticos intentando que estos condicionales junto con el antecedente y ciertas condiciones iniciales adicionales pudieran formar un esquema para inferir el consecuente. Goodman no distingue entre casos que hacen referencia a eventos, a estados de cosas, a leyes, ni a propiedades definitorias o identificatorias de las entidades. As, toda la familia de contrafcticos de diferente tipo es abordada con las mismas pocas herramientas en su trabajo fundacional y, en parte por ese motivo, no puede dar solucin a la evaluacin de estos condicionales. Ms tarde vendran numerosos avances en el tratamiento de los contrafcticos que subsanaran muchas de aquellas dificultades. En el presente trabajo retomo los contraidnticos, ya presentes entre los ejemplos de Goodman pero sin identificar como tipo particular, y analizo el problema de su evaluacin en relacin con la eleccin de las propiedades definitorias de los trminos tericos. Estos resultados ponen de manifiesto de qu modo puede entenderse la inconmensurabilidad de un cambio terico.