Você está na página 1de 10

Programa y resmenes Viernes 18 de mayo

Departamento de Filosofa Universidad de Santiago de Chile

Estudiantes de Filosofa Universidad de Santiago de Chile

Programa
Carolina Olivos (USACH)
9:30 - 10:00 Una dificultad en la nocin modelo-terica de dominio de interpretacin

Rafael Miranda (PUCV)


10:00 - 10:30 Futuros contingentes: contradiccin y bivalencia

Wilfredo Quezada (USACH)


10:30 - 11:15 11:15 - 11:45 Qu debemos esperar de lo infinito?

CAF Daisy Aguirre (PUCV)

11:45 - 12:15

Haecceitas y el principio de individuacin

Lautaro Quiroga (U. DE CHILE)


12:15 - 12:45 12:45 - 13:30 13:30 - 15:00 Lgica mental y razonamiento basado en modelos: los lmites entre lgica y psicologa

Guido Vallejos (U. DE CHILE) RECESO DE ALMUERZO Luca Piretti/Pamela Barone (U. NACIONAL DE CRDOBA)

15:00 - 15:30

El problema lgico: algunas observaciones al desafo formulado por Povinelli

Carlos Rodolfo Vergne (U. NACIONAL DE CUYO)


15:30 - 16:00 16:00 - 16:30 Sentidos del uso del concepto de informacin en biologa

CAF Rolando Nez (ANPCYT, UBA/U. NACIONAL DE LA PLATA)

16:30 - 17:15

Retrocausacin y contrafcticos

Hernn Miguel (U. DE BUENOS AIRES)


17:15 -18:00 Condicionales contraidnticos e inconmensurabilidad del cambio terico

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.

Futuros contingentes: contradiccin y bivalencia


Rafael Felipe Miranda Rojas Pontificia Universidad Catlica de Valparaso/ Universidad Bernardo OHiggins. El presente trabajo constituye un anlisis del modo como Aristteles aborda el problema de los futuros contingentes. Este problema surge al considerar la posibilidad de que una oracin enunciativa referida a hechos futuros contingentes no sea ni verdadera ni falsa o, en otras palabras, no sea bivalente. De esta forma, en los enunciados de futuro contingente no se cumplira el principio de tercero excluso, aunque si el principio de no contradiccin El principio de no contradiccin dice que un enunciado no puede ser verdadero y falso al mismo tiempo bajo el mismo respecto, que formalizado es: (p p); y el principio de tercero excluso por su parte afirma que una cosa es o no es, no cabe una tercera posibilidad: (p v p).1 Considrese estos principios con ms detalle: Formalmente el principio de no contradiccin y el principio de tercero excluso no hacen evidentemente referencia a ningn hecho, estn en cierto modo desligados de estos. Slo afirman que si se da p, debe ser imposible que se d p. Si bien es cierto puede decirse que ambos afirman lo mismo (o p o p) son no obstante principios distintos. La diferencia principal es que el principio de tercero excluso exige bivalencia, mientras que el principio de no contradiccin no. Esto es as porque el principio de no contradiccin sigue siendo vlido aun cuando no se considere dentro de un contexto bivalente. Aristteles enuncia el principio de no contradiccin de la siguiente manera: es imposible que el mismo atributo pertenezca y no pertenezca al mismo sujeto, en un tiempo mismo y bajo la misma relacin2 Si se observa bien, en este enunciado van de la mano ambos principios, pues toda vez que descarta la posibilidad de que se d y no se d al mismo tiempo un atributo (contradiccin), exige que se cumpla una de las dos posibilidades (bivalencia), que se d o no se d. Luego, la pregunta es cmo es posible que ni se d ni no se d un atributo o, en otras palabras: Qu impide que slo se cumpla el principio de no contradiccin y no el de tercero excluso? Es dependiente el principio de tercero excluso del principio de no contradiccin? Formalmente, es perceptible que slo se cumplen ambos principios si p y p son enunciables. Si se determina que p depende de su opuesto, de p, se entiende la relacin no en su formalidad sino considerando un contenido. Este modo de comprender el principio exige tener como referencia algo existente para poder hablar de su posibilidad de que no exista y, por ende, jerarquiza los smbolos formales. Si se dice maana ocurrir la batalla naval o no ocurrir la batalla naval, dicho enunciado es formalizable. Alude a un hecho futuro que puede, en principio, ocurrir o no ocurrir. Aqu se presenta el problema de la necesidad Es necesario que ocurra o que no ocurra? Si se responde s, se sostiene que la realidad es bivalente y que es determinable absolutamente. S la respuesta es no, se afirma que no es posible determinar bivalentemente futuros contingentes.

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

Qu debemos esperar de lo infinito?


Wilfredo Quezada Universidad de Santiago de Chile En este trabajo examinamos las consecuencias esperables y no esperables de introducir axiomas de infinito en la teora ZF. En particular estaremos interesados en examinar los alcances y limitaciones de los resultados de consistencia que se derivan de ellos. Sin embargo, de fondo, nos estaremos preguntando si podemos aprender algo sustancial sobre lo finito admitiendo conceptos aparentemente incomprehensibles de lo infinito.

Haecceitas y el principio de individuacin


Daisy Carolina Aguirre Soto. Pontificia Universidad Catlica de Chile El problema de la individuacin podramos datarlo desde la Antigedad pensando en qu es lo que hace que un sujeto sea ese determinado y no otro, esto pensando en el tde ti griego. Sin embargo, el punto de convergencia en la discusin contempornea respecto a este tpico se encuentra en dos grandes temas: El principio de la identidad de los indiscernibles de Leibniz y la rplica del famoso contraejemplo de las esferas de Max Black. Muchas son las respuestas que han tratado de postularse como efectivas para refutar el principio de identidad de los indiscernibles propuesto por Leibniz, pero la que ha tomado mayor fuerza a travs de el desarrollo de este planteamiento es la de Black. La mayora de las respuestas incluyendo la de Black-, apuntan al tema determinado inicialmente: El problema de la individuacin. El cmo resolver este asunto surge de la idea que debe existir algo que determine que una entidad en cuestin sea ella de forma determinada, y por tanto en todo mundo posible, y no otra. Una posible solucin es plantear la idea de la existencia de esencias individuales, sin embargo esta idea por s sola conlleva la problemtica de que en principio las esencias individuales estn conformadas por propiedades universales adjudicables a diferentes entidades. A la luz de lo ya mencionado, surge entonces la idea de la haecceitas, neologismo tomado de los textos de Scoto, para sealar esa propiedad que determina que un objeto sea identificado de manera nica y particular en la actualidad y en cualquier mundo posible en el que la entidad en cuestin se d. Por tanto, lo que finalmente se intentar lograr en este trabajo, es demostrar la efectividad de postular una haecceitas como referencia a la mejor explicacin de responder al principio de individuacin. Dicho lo anterior, el trabajo se establecer del siguiente modo: (i) Identidad de los indiscernibles y la respuesta de Black; (ii) Esencias individuales e individuacin; (iii) Postulando Haecceitas.

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.

El problema lgico: algunas observaciones al desafo formulado por Povinelli


Luca Peretti y Pamela Barone Universidad Nacional de Crdoba. En el mbito de la cognicin social animal, especficamente en los desarrollos sobre la atribucin de estados mentales, Povinelli ha planteado lo que en la literatura se denomina el problema lgico (Hurley & Nudds, 2006). El desafo consiste en que ningn enfoque experimental actual es capaz de determinar si los animales predicen y dan sentido a las conductas de otros agentes atribuyendo estados mentales a partir de indicadores conductuales y ambientales; o si, por el contrario, lo hacen nicamente a partir del conocimiento de las relaciones contingentes entre dichos rasgos invariantes (los indicadores ambientales o conductuales) y la conducta que se encuentra asociada a ellos. El objetivo de este trabajo ser criticar conceptual y empricamente el problema lgico planteado por Povinelli a travs de dos vas: a) cuestionar el supuesto cartesiano que subyace a la concepcin de los estados mentales del autor, as como el impacto que este supuesto genera en el modo de comprender la cognicin social en general y las atribuciones mentales en particular. Luego de considerar crticamente esta postura, se presentarn modos alternativos de comprender los estados mentales (Gmez Crespo, 2007; Gallagher, 2001, 2008); y b) exponiendo casos empricos sobre la comprensin de intenciones y objetivos en primates no humanos (Wood & Hauser, 2008; Wood et al. 2007, 2008; Buttelmann, 2008) que creemos son tiles para mostrar como pertinente y justificado el optar por una explicacin psicolgica por sobre una conductual para dar cuenta de los resultados obtenidos y las habilidades de los agentes. Apoyaremos la interpretacin de estos resultados empricos con consideraciones tericas a favor de la alternativa mentalista en algunas situaciones de cognicin social, argumentando que sta parece ser ms ajustada que su contraparte, la lectura de conductas, al menos si se tienen en cuenta los siguientes ejes de anlisis: simplicidad, precisin predictiva, alcance explicativo, productividad cientfica y coherencia con teoras cercanas (Fitzpatrick, 2009; Carruthers & Fletcher, 2012).

Sentidos del uso del concepto de informacin en biologa


Carlos Rodolfo Vergne Universidad Nacional de Cuyo Numerosos bilogos coinciden en considerar importante el tema de la informacin para explicar muchos procesos biolgicos. Los bilogos dependen en gran medida de la informacin, codificacin y transmisin del lenguaje, segn la teora de la informacin desarrollada por Claude Shannon. Pero no hay un debate abierto acerca de si este lenguaje es algo ms que una simple metfora o analoga. Los filsofos de la biologa han argumentado que cuando los bilogos hablan de la informacin en los genes y en la evolucin, no estn hablando de la clase de informacin que aborda la teora de Shannon. En primer lugar, los filsofos han sugerido que la teora de Shannon slo es til para el desarrollo de una nocin superficial de correlacin, llamada ''sentido causal de la informacin. En segundo lugar, por lo general sostienen que en la gentica y

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.