Feria de lógica 2025

 La Feria de Lógica 2026, organizada por el proyecto de investigación Bestias Proposicionales, se desarrollará conforme al siguiente programa:

10:00 hrs.
Informe de actividades del proyecto de investigación Bestias Proposicionales
Dra. Gabrielle Ramos García

11:00 hrs.
Conferencia: ¿Qué tan informativos son los ejemplos históricos para la filosofía de la lógica?
Dra. María del Rosario Martínez Ordaz

13:00 hrs.
🔥 LOGIK KOMBAT 🔥

15:00 hrs.
Presentaciones de estudiantes vinculados al proyecto de investigación Bestias Proposicionales:

  • Alejandro Estrada Girón: Docencia en lógica en el bachillerato

  • Iain André Del Villar Martínez: Demostración de equivalencias para la deducción natural

  • Juan Luis Hernández Rodríguez: Análisis regresivo como estrategia didáctica

  • Victor Edwin Valle Costilla: El todo frente a la parte

  • Andrea Palacios Hernández: Teoría de la prueba hilbertiana

  • Roberto Ehecatl Arcos Siete: Un metateorema de la lógica proposicional

  • Alfredo Gayosso Trejo: ¿Las creencias lógicas son conocimiento?






Más detalles aquí. 




Comentarios

Publicar un comentario

Entradas populares de este blog

Feria de Lógica 2025

Imagen
En el marco del Día Mundial de la Lógica promovido por la UNESCO, el proyecto de Investigación "Bestias Proposicionales" (PROINV_23_16) celebrará la Feria de Lógica 2025. Contaremos con ponencias a cargo de especialistas en el área, torneo de lógica (Logik Kombat), presentación de cartel académico y ponencias de estudiantes.   La cita es el martes 14 de enero en las salas A y B de la Coordinación de Investigación de la Facultad de Filosofía y Letras de la UNAM. Programa: 11:00  Ponentes invitados.  Rafa Peralta Martínez “Formación lógica para el debate. Proyecto piloto en la Preparatoria Agrícola” Hugo Enrique Sánchez López “El retorno de Lewis Carroll: epistemología de la lógica y argumentos infinitamente regresivos” Carlos Prieto Mendoza “Evadiendo consecuencias indeseables: ontologías quineanas y carnapianas” Modera: Cristian Alejandro Gutiérrez Ramírez 13:00 Logik Kombat  15:00 Póster Académico Fernanda Quiroz Quero Alejandro Estrada Girón Alexander Adalid Castil...
Leer más

Feria de lógica 2024: Logik Kombat (convocatoria abierta)

Imagen
  El formulario de registro se encuentra aquí . Temario Logik Kombat  1.⁠ ⁠Acertijos de lógica informal  2.⁠ ⁠Inferencias en lenguaje natural  3.⁠ ⁠Inferencias en lenguaje simbólico  4.⁠ ⁠Equivalencias en lenguaje natural  5.⁠ ⁠Equivalencias en lenguaje simbólico  6.⁠ ⁠Verdadera, falsa o ninguna  7.⁠ ⁠Simbolización  8.⁠ ⁠Conectivas indeterminadas  9.⁠ ⁠Validez y consistencia en lenguaje natural 10.⁠ ⁠Validez y consistencia en lenguaje simbólico 11. Circuitos lógicos
Leer más