José David García Cruz

ADSCRIPCIÓN ACTUAL:
Posgrado en Filosofía de la Ciencia, FFyL-IIF UNAM
CDMX, 04510
México
Teléfono celular: 248-103-7026
Lugares de residencia: Ciudad de Puebla, Pue.; CDMX.
email 1: sjemata@hotmail.com,
email 2: 0010x0101x0000x0110@gmail.com,
email 3: sjemata@comunidad.unam.mx
url 1: https://unam.academia.edu/GarciaDavid
url 2: https://www.researchgate.net/profile/David_Garcia112
CURP: GACD870625HPLRRV09
RFC: GACD870625DK6

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

Nacionalidad: Méxicana

Posición actual
–Candidato a Maestro en Filosofía de las Ciencias, Maestría en Filosofía de la Ciencia,
UNAM. Con el trabajo “Negación y oposición en la lógica proposicional dinámica con
programas atómicos”.

–Licenciado en Filosofía, Facultad de Filosofía y Letras, BUAP. Con el trabajo “Los sistemas
Ockhamista y Peirceanos como respuestas al problema de los futuros contingntes”.

–Miembro activo de la Association for Symbolic Logic (ASL).

–Investigador adjunto de la Red Latinoamericana de Filosofía Medieval.

1
 –Miembro activo del proyecto “PAPIIT IA401117: Aspectos filosóficos de las lógicas contra-
clásicas.”, del Instituto de Investigaciones Filosóficas de la UNAM

–Profesor colaborador. FFyL-BUAP.

Áreas de especialización
Epistemología contemporánea • Antropología filosófica • Ética • Lógicas Modales • Lógicas
Dinámicas • Lógicas del tiempo • Lógicas Dinámicas-Epistémicas • Lógica Algebraica •
Teoría de oposiciones • Lógicas Multivaluadas • Lógica Griega • Lógica Medieval • Lógica
Contemporánea • Programación Lógica • Teoría de Autómatas • Teoría de Categorías •
Teoría de Probabilidad • Topología • Álgebra Universal • Filosofía de las Matemáticas •
Filosofía de la Lógica • Filosofía de la Computabilidad • Teoría de Conjuntos • Filosofía
Antigua • Metafísica aristotélica • Lógica aristotélica • Lógica en W. of Ockham • Lógica de
C. S. Peirce • Filosofía del lenguaje • Filosofía del tiempo • Psicología social • Psicoanálisis

Educación
2005 - 2008 Licenciatura en Psicología, BUAP. Trunca.

2008 - 2013 Licenciatura en Filosofía, BUAP. Con la tesis: “Los sistemas ockhamista y peirceano
como respuestas al problema de los futuros contingentes”. Bajo la dirección del Dr. Juan
Manuel Campos-Benítez, SNI II.

2016 - 2018 Maestría en Filosofía de la Ciencia, UNAM. Con la tesis: “Negación y Oposición en la
lógica proposicional dinámica con programas atómicos”. Bajo la dirección del Dr. Luis
Estrada-González, SNI I.

2017 Estancia de investigación en la facultad de Ciencias de la Computación de la Palacky

University Olomouc, Olomouc, Czech Republic.

2017 Participación en la Escuela de Verano: Topology, Algebra and Categories in Logic.

En la facultad de Ciencias de la Computación de la Palacky University Olomouc, Olomouc,
Czech Republic.

Idiomas y lenguajes de programación

Nativo Español
2005 - 2018 Inglés avanzado
2012 - 2014 Alemán básico
2008 - 2009 Latin básico

2008 - 2018

2
 Python 2.7
2010 - 2018 LaTeX

Experiencia docente
Otoño 2012 Taller: Modelos de la dirección de la cura: los casos del psicoanálisis y la psicología. AGA:
Escuela de psicoanálisis. Facultad de Medicina, BUAP, Puebla, México.

Primavera 2013 Filosofía: Lógica y Ética. Preparatoria Benito Juarez García. BUAP, Puebla, México.

Primavera 2013 Taller:

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

Primavera 2014 Habilidadescognoscitivas (Preparación para examen de admición BUAP). Preparatoria En-
rique Cabrera Barroso. BUAP, Puebla, México.

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

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.

2016 Seminario de Filosofía de la Información y Computabilidad (En conjunto con Elisángela Ramírez
Cámara), Instituto de Investigaciones Filosóficas, CDMX, México.

2017 Seminario de Filosofía de la Información y Computabilidad (En conjunto con Elisángela Ramírez
Cámara), Instituto de Investigaciones Filosóficas, CDMX, México.

Verano 2018 Lógica 1, Facultad de Filosofía y Letras, BUAP. Puebla, México.

Verano 2018 Introducción a la Lógica, Facultad de Filosofía y Letras, BUAP. Puebla, México.

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óte-
les”. VIEP, BUAP, Puebla, México.

3
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 con-
tingentes. BUAP, Puebla, México.

2016 Beca CONACyT, para estudios de maestría.

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

2017 “Czech Academy of Sciences grant” (Beca de asistencia a la escuela de verano de la confer-
encia: “Topology, Algebra and Categories in Logic, 2017, Page, Czech Republic”) .

2017c “ASL travel award” (Beca de asistencia a la conferencia: “Topology, Algebra and Cate-
gories in Logic, 2017, Page, Czech Republic”)

2017d Beca PAPIIT-UNAM

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 contingentes. 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 Metodolog-
iczne, 37, Poznan, Poland, 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.

Trabajo en desarrollo

García-Cruz, J.D. “Ockhamist and Peircean Logics as Product of Time and Modal Struc-
tures”.

4
 García-Cruz, J.D. Introducción a las Lógicas Dinámicas-Epistémicas (con énfasis en proble-
mas filosóficos).
García-Cruz, J.D. & Estrada-González, L. “Modalities as Relative Identities”.
García-Cruz, J.D. & Ramírez-Cámara, E. “Bilattice Logic as Product of Modal Logics.”

Presentaciones en congresos
CONGRESOS NACIONALES

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,
Nayarit, 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”. Jor-
nadas Filosóficas Leibniz, BUAP, Puebla, México.

2012d Lógica paraconsistente brasileña. 3º Congreso Nacional sobre Filosofía Latinoamericana.

Tlaxcala, México.

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

najuato, 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.

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.

CONGRESOS INTERNACIONALES

2012e

5
 Significado y contradicción en Aristóteles. Primer Congreso Estudiantil sobre Filosofía Analítica.
Facultad de Ciencias Humanas, Universidad Nacional de San Marcos, Lima, Peru.

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

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

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

2016a The Hypercube of Dynamic Opposition. 5th World Congress in the Square of Opposition.
Rapa-Nui, Isla de Pazcua, Chile. Slides disponibles en: url: https://www.researchgate.
net/publication/319143376_The_Hypercube_of_Dynamic_Opposition

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 Manyvalued Arrow Logic with Scalar Multiplication. TACL 2017, Junio 25–30, Praga, República
Checa. Abstract disponible en: url: http://www.cs.cas.cz/tacl2017/abstracts/TACL_
2017_paper_10.pdf; Slides disponibles en: url: http://www.cs.cas.cz/tacl2017/slides/
contributed/10.pdf

2017b Modalities as Relative Identities (joint work with Luis Estrada González). Logic Colloquium,
Agosto 14–20, Estocolmo, Suecia. Abstract disponible en: url: http://easychair.org/
smart-program/LC2017/2017-08-17.html

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

2018 Sub-minimal Dynamic Epistemic Logics: Logics for Sckeptical Agents. PhDs in Logic X, 1st-
4th May 2018, Prague, Czech Republic.

Charlas aceptadas
2018 Many-valued oppositional geometry. 5th World Congress in the Square of Opposition.
Creta, Grecia.

Last updated: June 29, 2018 • Typeset in XƎTEX

http://nitens.org/taraborelli/cvtex