Taller sobre Lógica y Conocimiento

 

 Universidad Nacional Autónoma de México
Instituto de Investigaciones Filosóficas
Posgrado en Filosofía


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)

 

 

Actualizado Jul 25 de 2019
  Ago 03 de 2020
© 2015-2019 Instituto de Investigaciones Filosóficas - Universidad Nacional Autónoma de México
  Aviso de privacidad