El Cura Juan Fernández de Sotomayor y Picón y los catecismos de la Independencia

Este libro presenta el entorno revolucionario de finales del siglo XVIII y primera mitad del siglo XIX, a través del pensamiento y la acción del cura cartagenero Juan Fernández de Sotomayor y Picón, Cura de Mompós y rector del colegio Mayor de Nuestra Señora del Rosario, quien vivió en los años que dieron nacimiento a la República de Colombia. Se desempeñó como cura revolucionario, como político de Mompós, de Cartagena de Indias, ante el Congreso de las Provincias Unidas del Congreso Nacional y de la Convención de Ocaña, como educador y como obispo republicano en la diócesis de su ciudad natal.En esta obra se busca, a través de la prosopografía histórica, estudiar a un gran personaje ideólogo y dirigente de la revolución de independencia de Colombia, como lo fue el cura Juan Fernández de Sotomayor y Picón, en sus roles de actor social y político; quien, junto con otros personajes de su época, en la primera mitad del siglo XIX, configura un grupo revolucionario en defensa de la democracia, la igualdad, la libertad y el demoliberalismo. Para dicho propósito se analizan las redes de poder.

Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Este texto representa el esfuerzo combinado de dos lógicos, dos filósofos y un lingüista. Esta empresa fue inspirada por la convicción de los autores de que la lógica y el lenguaje son inseparables, en particular en lo que respecta al análisis del significado. Una región interdisciplinaria emerge entre los límites de la filosofía, la lógica y la lingüística. Lógica, lenguaje y significado: lógica intensional y gramática lógica es una introducción a este campo, el cual aplica los sistemas lógico-formales al estudio del significado del lenguaje natural. El libro comienza con una introducción de los distintos principios de la semántica intensional y luego presenta varias lógicas intensionales, tales como la lógica proposicional modal, la lógica de predicados modal y la lógica temporal. También introduce la teoría de tipos, la lambda-abstracción y la sintaxis categorial.