|
|
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
“Formalización”
Ciclo de
Conferencias “Lógica Clara”, Instituto
de Investigaciones Filosóficas, UNAM. Abril 29, 2011.
“Tablas de Verdad”
Ciclo de
Conferencias “Lógica Clara”, Instituto
de Investigaciones Filosóficas, UNAM. Abril 1, 2011.
“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
Sobre el Análisis
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?
“Words and Images in Argumentation”
Interpreting images is not radically different from interpreting
language.
“Mathematical Pictures”
Geometrical diagrams are pictures, not symbols.
“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
|
|
