Does a priori knowledge give us knowledge we didn’t have?

Ponente: Víctor Cantero Flores (Estancia Posdoctoral, IIF, UNAM)

Fecha: 24 de febrero, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM


Resumen: En la charla se considerarán casos de verdades que se piensan son conocidas de manera a priori. Éste el caso, en primer lugar, de verdades lógicas formales y verdades analíticas del tipo ‘los solteros no están casados’—y algunos piensan que también de algunas verdades matemáticas. Pero también, en segundo lugar, se ha hablado de un grupo de verdades que aunque, de algún modo, son contingentes, son no obstante conocidas a priori—tómese el caso de oraciones del tipo ‘Si Neptuno existe, entonces es la causa de perturbaciones en la órbita de Urano’. En todos estos casos, se piensa que sabemos a priori ciertas cosas. La idea de la charla es justamente determinar, primero, qué es lo que sabemos en todos estos casos y, segundo, eso que sabemos, si es que algo sabemos, ¿constituye conocimiento nuevo? ¿Algo que no sabíamos antes? Se examinan varias respuestas a estas preguntas. Toda la discusión busca ser la base para una discusión más amplia sobre la conexión entre conocimiento a priori, pensamiento creativo y generación de ideas novedosas en lógica y semántica.

Presentación

Traducibilidad entre Lógicas: ¿Vía para la Logicidad? El Caso de la Traducción de Sistemas de Lógica Libre a Lógica Clásica de Primer Orden

Ponente: Gabriela Hernández Deciderio (Doctorado Lógica y Filosofía de la Ciencia, Universidad de Salamanca, España)

Fecha: 17 de febrero, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM


Resumen: La charla tiene el propósito de motivar la discusión respecto a si es posible y viable sustentar una noción de logicidad –concebida como el núcleo básico que contiene lo que debamos entender por “lógico”- y si una vía apropiada para capturar tal noción está dada por los mecanismos de traducción entre lógicas. En particular revisaré la propuesta traduccionista hecha por María Manzano y los resultados que me ha arrojado al aplicarla para la traducción de sistemas de lógica libre a lógica clásica de primer orden.


Presentación.

Teorías Inconsistentes y Funcionales: Sobre cómo acercarse a ellas

Ponente: María Martinez (Maestría Filosofía de la Ciencia, UNAM)

Fecha: 27 de enero, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM


Resumen: A lo largo de la historia de la ciencia se ha visto que la consistencia ha sido uno de los valores teóricos más buscados y defendidos al momento de evaluar las teorías científicas; sin embargo, la misma historia de la ciencia, nos ha mostrado también, que aunque la consistencia sea una meta, no siempre que se falla en alcanzarla, se sigue el fracaso rotundo de la teoría en cuestión.

Cualquier teoría que sea (o haya sido) bien recibida por la comunidad científica pertinente y que además cumpla –al menos- con los criterios de adecuación fáctica y de fecundidad, será entendida (en esta discusión) como una teoría científica funcional.  Del mismo modo, se tendrá como una teoría científica inconsistente, aquella que contenga o permita formular en proposiciones del tipo A y  la negación de A. Por tanto, una teoría científica inconsistente y funcional tendrá que satisfacer ambos criterios.
Ofreceré algunos ejemplos de este tipo de teorías, y defenderé que, si se acepta la presencia de inconsistencias de carácter no destructivo en las ciencias empíricas -al menos a  nivel de las teorías científicas-, es posible reconocer una tipología básica con respecto a tales inconsistencias.


Presentación.


Argumentar, Dialogar y Comprometerse con Criaturas de Otro Tipo

Ponente: Matthieu Fontaine (IIF, UNAM)

Fecha: 24 de noviembre, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: Con las lógicas modales de primer orden, se pueden tratar situaciones en las cuales lo que existe (actualmente) no hubiera existido o en las cuales lo que no existe hubiera existido. Sin embargo, ¿cómo evaluar una formula atómica como Fa en relación a un mundo en el cual a no existe? Para responder a esta cuestión, debemos fundar las lógicas modales de primer orden sobre las lógicas libres y no sobre la lógica clásica. No obstante, tales lógicas libres conciben generalmente la existencia de manera estática a través del uso de un predicado de existencia, lo que es ampliamente criticable. Lo que está en juego es mostrar que debemos comprender la existencia de manera dinámica teniendo en cuenta la acción de elección inherente a la significación de los cuantificadores. Metodológicamente, enfocaremos el análisis en las practicas argumentativas, más concretamente en el contexto de la lógica dialógica. Esta será la ocasión de presentar ciertos aspectos de la lógica dialógica en la cual la prueba se comprende en términos de juego argumentativo, a través de un encadenamiento dialéctico de preguntas y respuestas ordenado por reglas específicas. Mostraremos que el estatus ontológico de las constantes jugadas en un diálogo esta determinado en función de elecciones regidas por la aplicación de reglas. Propondremos entonces una innovadora concepción de la existencia y el compromiso ontológico en las prácticas argumentativas: ¡Ser es ser elegido! Mostraremos como esta concepción nos permite distinguir diferentes tipos de compromisos ontológicos implementando la noción de relación de dependencia ontológica.

Presentación

Appendix: reglas estructurales para la dialógica

Propuestas vs. Proposiciones: Nuevas Perspectivas sobre el Razonamiento Práctico

Ponente: Luis Vega Reñon (Departamento de Filosofía, Universidad Nacional de Educación a Distancia)

Fecha: 4 de Noviembre, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: Hasta ahora, en teoría de la argumentación, se ha venido mostrando menor atención al -o incluso cierto descuido del- discurso práctico frente a la hegemonía del discurso teórico. Basta comparar el protagonismo tradicional de las proposiciones con el papel  de comparsa de las propuestas, o el primer plano de las -ducciones [de-ducción, in-ducción, ab-ducción…] con el segundo plano del razonamiento práctico. Pero la idea de proponer y algunas nociones asociadas a ella en diversos aspectos pragmáticos, lógicos y dialécticos del discurso práctico tienen un poder revulsivo que puede conducir a una reanimación y renovación de esta región en barbecho del campo de la argumentación.

Para empezar, la perspectiva pragmática permite apreciar la singularidad de la propuesta como acto de habla directivo y comisivo, y sus diferencias con respecto a las proposiciones y los propósitos. Por otro lado, en una perspectiva lógico-epistémica, las propuestas pasan a ser conclusiones de argumentos prácticos en el marco de una deliberación; este planteamiento desvela ciertas peculiaridades de la inferencia práctica como sus rasgos no deductivos y sus “brechas” de determinación o ejecución, amén de suponer entre otras cosas la demanda de una lógica de la obligación condicional. En tercer lugar, el paso a una perspectiva dialéctica de la interacción discursiva conduce al cambio de un modelo tradicional B(elief)-D(esire)-I(intention) por un modelo mixto BDI+compromisos discursivos, y a la inserción del patrón instrumental medios-fines dentro de un modelo más complejo de argumentación práctica y deliberación resolutiva. Por último, al hilo de las interacciones y los compromisos, desembocaremos en la reconsideración de unos conceptos capitales en este terreno como los de agente discursivo y sus agencias (individual, plural, colectiva).

Presentación

Bounded Rationality in a Dynamic Alternate Game

Ponente: Eduardo Espinosa Avila (IIMAS, UNAM)

Fecha: 21 de Octubre, 12hrs
Lugar: Sala de Investigadores Fernando Salmerón, Instituto de Investigaciones Filosóficas, UNAM

Resumen: From the standpoint of game theory, dominoes is a game that has not received much attention (specially the variety known as draw). It is usually thought that this game is already solved, given general results in game theory. However, the determination of equilibria is not feasible for the general case because of the well known problem of node explosion in the tree expressing the game. We propose a new model based in limited forecast as a kind of bounded rationality for dynamic alternate games.


Presentación.

La Lógica Constructiva como un Sistema Interactivo de Prueba

Ponentes: Favio E. Miranda Perea y P. Selene Linares Arévalo (Departamento de Matemáticas, Facultad de Ciencias UNAM)

Fecha: 23 de Septiembre, 12hrs
Lugar: Sala de Investigadores Fernando Salméron, Instituto de Investigaciones Filosóficas, UNAM

Resumen: La lógica minimal constructiva se obtiene al eliminar completamente la negación de la lógica clásica. El resultado, desde el punto de vista de la teoría de la demostración, es un sistema deductivo donde las reglas de inferencia mantienen una dualidad introducción/eliminación que genera un mecanismo determinista de construcción y verificación de pruebas. Esta característica permite que las reglas de la lógica sean invertibles y sirvan como un sistema de tácticas que ayudan al desarrollo, tanto de teoremas matemáticos como de validaciones de especificaciones de software mediante los sistemas computacionales llamados asistentes de prueba. En esta plática daremos un breve panorama de los fundamentos y aplicaciones de la lógica constructiva sirviendonos del asistente de prueba Coq (http://coq.inria.fr).

Presentación