INVESTIGACIÓN


Investigador Titular del Instituto de Investigaciones Filosóficas de la UNAM. Doctor en Filosofía con especialización en Lógica en el Departamento de Filosofía por la Universidad de Indiana, Bloomington. (Disertación de doctorado Mathematics as Grammar: ‘Grammar’ in Wittgenstein’s Philosophy of Mathematics during the Middle Period, dirigida por el Dr. David Charles McCarty.)

Actualmente soy miembro del Seminario de Lenguaje y Cognición y del proyecto “Significado y Comunicación”

Áreas de Especialización:

Filosofía de las Matemáticas (Filosofía del Lenguaje Matemático, Naturalismo Matemático, La Filosofía de las Matemáticas de Wittgenstein durante el período intermedio, etc.), Filosofía de la Lógica (Forma Lógica, Relación entre Validez, Verdad Lógica, Analíticidad, Necesidad y Universalidad, Relación entre Lógica y Lenguaje, Lógica y Cálculo, etc.), Lógica Filosófico-Matemática (Lógica Circular, Lógica Diagramática), Lógica Aplicada (Lógica Epistémico-Dinámica), Filosofía del Lenguaje (Forma y Lenguaje), etc.


Escritos disponibles en línea / Download texts

PERSONAL


Música: A mediados de los ochenta empecé a producir música electrónica con varios amigos y colaboradores. Actualmente, produzco bajo el pseudónimo DRXL y soy miembro del colectivo Konfort, con quiénes he participado en varias compilaciones de música electrónica mexicana. Mientras vivía en los Estados Unidos, formé parte del Bloomington Electronic Music Coalition, quienes produjimos dos discos : uno con Izod Records, y otro con Nefarious Records. El tercer volumen se encuentra en preparación gracias a Slave Industries. En México, he aparecido en la compilación EP 004 PAUSE de Noiselab, y los volúmenes 006, 008, y 010 de Máximas Texturas de discos Konfort (ganador del premio Qwartz, como mejor compilación independiente de música electrónica del 2004), distribuido por Noize Kontrol. Actualmente, puedes bajar dos eps ‘Cálculo Lambda’ e Izkierda gratis, en la página de Konfort.

Radio: De 1994 al año 2000 fui DJ, productor, webmaster, et. al. en la estación de radio colegial WIUS the alternative am 1570 de la Universidad de Indiana, Bloomington. Actualmente, conduzco, junto con el mariscal koNejo el programa Eztante en Grita Radio los miércoles de 7 a 9 pm, tiempo de la ciudad de México.

METALÓGICA

Programa

ESCRITOS DISPONIBLES EN LÍNEA / DOWNLOAD TEXTS

ARTÍCULOS / PAPERS


“Más Aventuras en la Isla de Caballeros y Villanos”

RESUMEN: Una serie de acertijos en honor a Juan Antonio Robles, inspirados en los clásicos acertijos sobre la fantástica isla de caballeros y villanos, …con una pequeña innovación: la introducción de la partícula "poder decir". De esta manera, podemos ver claramente los efectos del contexto en la determinación del contenido de los enunciados y el papel semántico de los deícticos.

Alejandra Velásquez y Leonel Toledo (comps.), (2010), Filosofía Natural y Lenguaje: Homenaje a José Antonio Robles, Instituto de Investigaciones Filosóficas, UNAM. pp. 231-4.



“Patrones Inferenciales”

RESUMEN: El objetivo de este artículo es proponer un método de traducción de tablas de verdad a reglas de inferencia, para la lógica proposicional, que sea tan directo como el tradicional método inverso (de reglas a tablas). Este método, ademés, permitirá resolver de manera elegante el viejo problema, formulado originalmente por Prior en 1960, de determinar qué reglas de inferencia definen un conectivo.

PALABRAS CLAVE: INFERENCIALISMO, GENTZEN, PEREGRIN, LÓGICA

Crítica, Vl. 40, No. 120 (Diciembre 2008). Pp. 3-35.



“Sobre la Idea Misma de Análisis Semántico”

RESUMEN: El objetivo de este artículo es clarificar el sentido en el cual el proyecto semántico de Frege, Russell y Carnap puede llamarse correctamente de análisis semántico. Para ello, delineo brevemente la historia del concepto de análisis en la intersección de la filosofía y las matemáticas modernas, teniendo como hipótesis que el análisis semántico en la filosofía analítica temprana pertenece a una larga tradición de adoptar metodologías geométricas a la solución de problemas filosóficos. En particular, este tipo de análisis adapta la formalización cartesiana como mecanismo de representación analítica, a problemas de semántica.

PALABRAS CLAVE: ANÁLISIS FILOSÓFICO, FILOSOFÍA ANALÍTICA, GEOMETRÍA, MATEMÁTICAS

Signos Filosóficos, Vol. VI, no. 12 (Julio-Diciembre) 2004. Pp. 9-32



“Revisionismo en Filosofía de las Matemáticas”

Signos Filosóficos, Vol. VI, no. 12 (Julio-Diciembre) 2004. pp. 149-154.



“¿Qué tan Matemática es la Lógica Matemática?”

RESUMEN: La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contempránea -tanto en su simbolismo como en su cálculo- se crearon originalmente para el desarrollo algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales.

PALABRAS CLAVE:FORMAL, LÓGICA FORMAL, LÓGICA SIMBÓLICA, ANÁLISIS

Dianoia. Instituto de Investigaciones Filosóficas, UNAM. Volumen XLVIII, no. 15. Noviembre 2003. Pp. 3-28



“Grammatical Necessity in Wittgenstein's Middle Period”

Prof. Dr. Jesús Padilla-Galvez (ed.) Wittgenstein, from a New Point of View. Número Especial de la Revista Wittgenstein-Studien, no. 6 Wien: Lang. 2003. Pp. 47-66.



“Universalidad y Aplicabilidad de las Matemáticas en Wittgenstein y El Empirismo Logicista”


Theoría, Revista del Colegio de Filosofía. México: Facultad de Filosofía y Letras, UNAM. Núm. 13, Junio 2002. Pp.119-136.



“Bloom y La Deconstrucción Pragmatista”


Samuel Cabanchik et. al (eds.) El Giro Pragmatico en la Filosofía Contemporánea. Barcelona: Gedisa (Colección Biblioteca Iberoamericana de Pensamiento), 2003. Pp. 47-49



“Circular Logic for Computational Semantics”


ABSTRACT: This article presents an expressively rich circular logic for computational semantics based on Barwise and Moss. The main advantage of this logic over first-order well-founded ones is that a single formula of the language can trace the change of values continuously and at different memory states. In order to account for circularity, the system uses systems of equations. The formulae of this logic are defined as the unique solutions to systems of equations. The equations that constitute the systems are of the form ‘x = t’, where t is a term and x is a term variable. The terms in this language are syntactically similar to formulae in traditional first order logic except for the occurrence of clock terms, which account for time in the performance of computational programs. This paper introduces the systems of equations syntax and offers a semantic interpretation on streams. Then, uses this language to produce a logic for the standard connectives defined over binary streams. The logic here presented is both sound and complete. The paper finishes pointing out several further developments necessary to take full advantage of the logic here presented.

Carlos Zozaya et. al. (eds.) Memoria del 3er Encuentro Internacional de Ciencias de la Computación, ENC01. Sociedad Mexicana de Ciencias de la Computación / Instituto Nacional de Estadística, Geografía e Informática. 2001. Pp. 793-802.



“Formal verirification of multi-agent systems behaviour emerging from cognitive task analysis”


ABSTRACT: The main goal of this paper is to present a novel formal approach to the verification of cognitive task analysis (CTA), an analytic tool that has been successfully used in the design of reactive behaviours, on multi-agent architectures. To achieve this, a formal logical system is developed, whose purpose is to formally check the possible success or failure of the resulting implementation. This logic’s focus is on modelling an agent’s behaviour based on her goals, perceptions and actions. The article starts by giving a brief introduction to current research in reactive systems and cognitive task analysis. Simple definitions are offered of the basic concepts in these fields: agent, object, reactive behaviour, control, etc. As illustration, the paper offers the results of applying CTA to a simple model of postal delivery. Then, the syntax and semantics of the proposed logic are defined. Finally, the logic is applied to the verification of some of the behaviours resulting of the previous CTA analysis.

KEYWORDS:BEHAVIOUR-BASED AGENTS, COGNITIVE TASK ANALYSIS, MODAL LOGIC, FORMAL LANGUAGE, ARTIFICIAL INTELLIGENCE

Journal of Experimental & Artificial Intelligence, Vol. 15, No. 4, October–December 2003. pp. 407–431 [with Ana Lilia Laureano C.]



“Mundos Posibles”

Paréntesis. Año II, núm. 16, Mayo 2002. México. Pp. 78-82 [Divulgación]



Volver al Inicio

CONFERENCIAS / CONFERENCES


“Los Límites de la Argumentación Lógica”

VI Encuentro Internacional de Didáctica de la Lógica / Coloquio de Lógica, XII Congreso Nacional de Filosofía, Universidad de Guadalajara. Guadalajara, Jalisco. Noviembre 27, 2003.


“Lógica y Feminismo”

VII Encuentro Internacional de Didáctica de la Lógica, Academia Mexicana de Lógica, 2004. Pp. 35-44


“La Dimensión Social de la Lógica”

Encuentro 50 Aniversario de la Facultad de Filosofía de la Universidad Veracruzana, 2006.


Emociones de Laboratorio y Electrodomésticas

Juego Doble: Te Quiero Machine, Centro Cultural España, 2006.


“Por qué no quiero ser positivista”

Conferencia Magistral dentro del 2° Encuentro Iberoaméricano de Estudiantes de Filosofía, Maracaibo, Venezuela, 2006.



Volver al Inicio





MANÚSCRITOS / UNPUBLISHED DRAFTS


LIBROS / BOOKS


Análisis y Estructura de lo Abstracto


Mathematics as Grammar: Wittgenstein’s Philosophy of Mathematics during the Middle Period



ARTÍCULOS / PAPERS


“Semantic Luck”

What does William’s Moral Luck have to do with MacFarlane’s Assessment Sensitivity?


“Vision and Language in Argumentation”

Interpreting images is not radically different from interpreting language, there is semantics and there is pragmatics involved.


“On Composition”

Syntax is physiology, so all syntactic properties are external.


“Formalización y Legislación”

Formalizar es justo como legislar: explicitar normas para legitimar decisiones.


“Mathematical Roots of Semantic Analysis”

Russell did with Philosophy what Descartes had done with Mathematics a few Centuries before.

ABSTRACT: Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed.


“Descartes and the Birth of Formal Objects”

Descartes invented formal objects, …really!


“Internalism and Externalism in the Philosophy of Mathematics”

Internalism is to Formalism what Externalism is to Platonism in Philosophy of Mathematics.



Volver al Inicio