UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO INSTITUTO DE INVESTIGACIONES FILOSÓFICAS

Taller sobre                                         
Lógica y Conocimiento
        14 de Junio 2019, IIFs - UNAM

Invitado especial
Fernando Velázquez Quesada
Institute for Logic, Language and Computation,
Universiteit van Amsterdam

   PROGRAMA         

• 10:00-11:00
  Rosa María Espinoza (Posgrado en Filosofía de la Ciencia, UNAM)
  Un enfoque filosófico para el problema de la omnisciencia lógica

• 11:00-12:00
  Nancy Abigail Nuñez Hernández (Universidad de Hamburgo)
  Epistemología y complejidad del razonamiento deductivo

• 12:00-13:00
  Rodrigo Medina (Posgrado en Filosofía de la Ciencia, UNAM)
  Razonamiento abductivo con evidencia explícita

• 13:00-14:00
  Pilar Selene Linares Arévalo (Facultad de Ciencias, UNAM)
  Lógica en la práctica: de un sistema deductivo a la construcción de pruebas con tácticas
  Reseña
  Selene Linares explicó que el objetivo del sistema de deducción presentado en la ponencia, es generar una conexión directa entre la lógica matemática tradicional y la lógica en la práctica, entendida como aquella que se emplea en los procesos de verificación formal. Al encontrar la ausencia de una conexión entre los sistemas deductivo enseñados en clase y el uso de algunas herramientas para la verificación formal, se desarrolló un sistema para la lógica clásica de primer orden con igualdad, mismo que permitió el desarrollo de un sistema de transición con tácticas, el cual permite la construcción de demostraciones en una forma similar a como lo hacen los mecanismos de prueba interactivos característicos del asistente de pruebas COQ.  En la presentación se revisaron las características de este sistema de deducción y se mostró cómo se relacionan las pruebas obtenidas utilizando tácticas, con aquellas propias de la verificación formal.
  ______________________
  Fecha: 14 de junio de 2019
  
   

• 16:00-17:00
  María Martinez Ordaz (IIFs-UNAM)
  On the possibility of a logic-independent logical pluralism: Introducing strategic logical pluralism (en coautoría con Cristian Gutierrez)

• 17:00-18:00
  Fernando Velázquez Quesada
  (Institute for Logic, Language and Computation, Universiteit van Amsterdam)
  
  Creencias basadas en evidencia y argumentación
  
  Resumen
  La plática, basada en una serie de trabajos con Chenwei Shi y Sonja Smets ("Argument- based Belief in Topological Structures", "Beliefs Based on Evidence and Argumentation"), presenta un sistema lógico que combina una extensión topológica de los modelos de evidencia ("Justified Belief and the Topology of Evidence") con teoría de argumentación abstracta. El sistema utiliza modelos de evidencia para representar la información que el agente ha recolectado/inferido, y usa teoría de argumentación abstracta para seleccionar conjuntos de evidencia que el agente puede utilizar para definir sus creencias. Nos centraremos principalmente las ideas básicas de las dos herramientas utilizadas, discutiendo cómo combinarlas para definir nociones de creencia, y qué propiedades tienen las creencias así definidas.
   

Organizan
Atocha Aliseda (IIFs-UNAM)
Nancy Abigail Nuñez Hernández (Universidad de Hamburgo)