José David García Cruz

Maestría en Filosofía de la Ciencia, FFyL-IIF UNAM

CDMX, 04510
México
Teléfono: 051-248-103-7026
email: 0010x0101x0000x0110@gmail.com
url: https://unam.academia.edu/GarciaDavid
Número de cuenta UNAM: 517015719
CURP: GACD870625HPLRRV09
RFC: GACD870625DK6

Lugar de nacimiento: 25 de junio de 1987, Puebla, México

Nacionalidad: Méxicana

Posición actual
Estudiante de posgrado, Maestría en Filosofía de la Ciencia, UNAM
Miembro de la Association of Symbolic Logic (ASL).

Áreas de especialización
Lógicas Modales • Lógicas Dinámicas • Lógicas del tiempo • Teoría de oposiciones • Lógicas Mul-
tivaluadas • Lógica Medieval • Programación Lógica • Teoría de Autómatas • Teoría de Categorías

Education
2008 - 2013 Licenciatura en Filosofía, BUAP
2016 - 2018 Maestría en Filosofía de la Ciencia, UNAM
2017 Topology, Algebra and Categories in Logic Summer School, Palacky University Olomouc,
Olomouc, Czech Republic.

Becas, honores y/o premios

2010 Beca “Jóvenes Investigadores”. Con el trabajo “El problema de la identidad a través de los mundos
posibles”. VIEP, BUAP, Puebla, México.

2011 Beca “Jóvenes Investigadores”. Con el trabajo “El principio de no contradicción en Aristóteles”.
VIEP, BUAP, Puebla, México.

2012 Beca de titulación VIEP. Bajo la dirección del Dr. Juan Manuel Campos Benítez. Con el trabajo
Los sistemas ockhamista y peirceano como respuestas al problema de los futuros contingentes. BUAP,
Puebla, México.

2016 Beca CONACyT, para estudios de maestría.

2017a

1
 Beca de apoyo de prácticas escolares: PAEP-UNAM.

2017 “Palacky University grant” (Beca de asistencia a la escuela de verano de la conferencia: “Topology,
Algebra and Categories in Logic, 2017”) .

2017c “ASL travel award” (Beca de asistencia a la conferencia: “Topology, Algebra and Categories in
Logic, 2017”)

Publicaciones y conferencias
Artículos de revistas
2013 García-Cruz, J.D. Los sistemas ockhamista y peirceano como respuestas al problema de los futuros con-
tingentes. Tesis de Licenciatura. (Disponible en: url: https://www.academia.edu/17291030/Los_
sistemas_ockhamista_y_peirceano_como_respuestas_al_problema_de_los_futuros_contingentes
)

2014 García-Cruz, J.D. “La relevancia filosófica del teorema de Suszko”. Graffylia, 18 (2), pp. 151 - 159.
(Disponible en: url: http://cmas.siu.buap.mx/portal_pprd/wb/filosofia/la_relevancia)

2017a García-Cruz, J.D. “From the square to Octahedra”. En: Béziau, J.-Y., Basti, G. (Eds.). The Square of
Opposition: A Cornerstone of Thought. Studies in Universal Logic, Birkhauser Basel, pp. 253 - 272.
(Disponible en: url: https://link.springer.com/chapter/10.1007/978-3-319-45062-9_15)

2017b García-Cruz, J.D. “La : A logic to reason about analogical proportions”. Studia Metodologiczne,
37, pp. 74-96. (Disponible en: url: http://studiametodologiczne.amu.edu.pl/wp-content/
uploads/2017/04/SM37-06.pdf)

En prensa García-Cruz, J.D. “Tableaux Method for Arrow Logic”. Studia Logica.

Presentaciones en congresos
2010a El problema de la identidad a través de los mundos posibles. CONEFI, UAT, Tlaxcala, México.

2010b Sobre pluralismo, Lógica y logicas. Jornadas Filosóficas Leibniz, BUAP, Puebla, México.

2011a Consecuencia lógica y pluralismo. CONEFI XXVII, Puebla, México.

2011b Sobre el principio de bivalencia. CONEFI, Zacatecas, México.

2011c El principio de no contradicción en Aristóteles. Jornadas filosóficas Leibniz, BUAP, Puebla, México.

2012a ¿Qué tan paraconsistente fue Aristóteles?: El caso de los futuros contingentes. CONEFI XXVIII, Na-
yarit, México.

2012b Todos los ponentes son mentirosos. Jornadas Filosóficas Leibniz, BUAP, Puebla, México.

2012c Réplica a Dr. Luis Estrada González. “On two arguments against realist dialetheism”. Jornadas
Filosóficas Leibniz, BUAP, Puebla, México.

2
2012d Lógica paraconsistente brasileña. 3º Congreso Nacional sobre Filosofía Latinoamericana. Tlaxcala,
México.

2012e Significado y contradicción e Aristóteles. Primer Congreso Estudiantil sobre Filosofía Analítica. Fac-
ultad de Ciencias Humanas, Universidad Nacional de San Marcos, Lima, Peru.

2012f El Centiloquium Theologicum y la Teoría de números transfinitos de Cantor. CONEFI, Guanajuato,

México.

2012g ¿Son las paradojas semánticas contradicciones verdaderas?. Primer seminario técnico de estudiantes.
Universidad Nacional de Tucumán, Tucumán, Argentina.

2012f ¿Cuál es el estatuto ontológico de los objetos matemáticos?: Aristóteles frente a Platón. Primer con-
greso internacional sobre Platón y sus críticos. BUAP, Puebla, México.

2013 Las flechas desde un punto de vista lógico: Introducción a la lógica de flechas. Jornadas Filosóficas
Leibniz, BUAP, Puebla, México.

2014 From the square to octahedra. 4th World Congress in the Square of Opposition. Ciudad del Vati-
cano, Roma, Italia.

2015a Autómatas deterministas como modelos de inferencia. Congreso nacional en Historia y Filosofía de
las Matemáticas, Lógica, y Computación. Instituto de Investigaciones Filosóficas, UNAM, CDMX,
México.

2015b Analogy in a Temporal Sense: the analogical-time proportions. 1º World Congress on Analogy.
BUAP, Puebla, México.

2016a The Hypercube of Dynamic Opposition. 5th World Congress in the Square of Opposition. Rapa-Nui,
Isla de Pazcua, Chile.

2016b Subalternation is an opposition (joint work with Luis Estrada González). 5th World Congress in the
Square of Opposition. Rapa-Nui, Isla de Pazcua, Chile.

2016c Tableaux method for Ockhamist and Peircean logics. Workshop on Assertoric and Modal Logics.
Pontifica Católica Universidad de Chile. Santiago, Chile.

2017a Many-valued Arrow Logic with Scalar Multiplication. TACL 2017, Praga, República Checa.

2017b Lógicas de bilattices como productos de lógicas modales no normales. II Congreso de Lógica y Epis-
temología contemporánea. Universidad Nacional de Colombia, CILEC (Centro de investigaciones
en lógica y epistemología contemporánea). Bogotá, Colombia.

2018 Many-valued oppositional geometry. Workshop on Logical Geometry and its Applications, WoLGA
at UNILOG 2018. Vichy, France.

Experiencia docente
Otoño 2012

3
 Modelos de la dirección de la cura: los casos del psicoanálisis y la psicología. AGA: Escuela de psi-
coanálisis. Facultad de Medicina, BUAP, Puebla, México.

Primavera 2013 Lógica. Preparatoria Benito Juarez García. BUAP, Puebla, México.

Primavera 2013 Matemáticas Borromeas: Topología, Lógica, y Geometría. AGA: Escuela de psicoanálisis. Facultad
de Medicina, BUAP, Puebla, México.

Primavera 2014 Habilidades cognoscitivas. Preparatoria Enrique Cabrera Barroso. BUAP, Puebla, México.

Primavera 2015 Taller de comunicación y medios audiovisuales. Universidad de Angelópolis, Puebla, México.

Primavera 2015 Taller de lectura y redacción. Universidad de Angelópolis, Puebla, México.

Otoño 2015 Filosofía: Lógica y Ética. Preparatoria Lázaro Cárdenas del Río, BUAP, Puebla, México.

Otoño 2015 Epistemología. Preparatoria Lázaro Cárdenas del Río, BUAP, Puebla, México.

Last updated: October 26, 2017 • Typeset in XƎTEX

http://nitens.org/taraborelli/cvtex