Pilar Herraiz Oliva

This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logic IŁL — a logic in the intersection between IL and (classical) Łukasiewicz logic. This generalised Kripke semantics is based on the poset sum construction, used in Bova and Montagna (Theoret Comput Sci 410(12):1143–1158, 2009) to show the decidability (and PSPACE completeness) of the quasiequational theory of commutative, integral and bounded GBL algebras. The main idea is that w \Vdash \sigma—which for IL is a relation between worlds w and formulas \sigma, and can be seen as a function taking values in the booleans w \Vdash \sigma \in {B}—becomes a function taking values in the unit interval w \Vdash \sigma \in [0,1]. An appropriate monotonicity restriction (which we call sloping functions) needs to be put on such functions in order to ensure soundness and completeness of the semantics.

En el presente artículo, presentamos una traducción del libro primero del Liber de plantis o Libro sobre las plantas según se encuentra en la edición Iunctina de las obras de Aristóteles y Averroes compilada en el siglo XVI en Venecia. Lo que nos ha llevado a elegir esta obra es, en primer lugar, la escasez de bibliografía en lengua castellana sobre dicho tratado, así como sobre la botánica como disciplina teórica en la Edad Media. En segundo lugar, dada la existencia de múltiples versiones del Liber de plantis, nos hemos decidido por la que aquí presentamos debido a que ya existen traducciones al inglés de la versión latina inicial de Alfred de Sareshel o Alfredo Ánglico, así como por su lugar en el corpus veneciano de los comentarios de Averroes. Asimismo, dado que esta es la última retroversión de la que tenemos constancia, con esta traducción es también nuestra intención contribuir a la historia de la recepción del tratado que nos ocupa en lo que respecta a la terminología en él recogida. A nuestra traducción adjuntamos un léxico botánico, tal y como los nombres de las plantas aparecen en el texto, que esperamos sirva a los investigadores interesados tanto en la Historia de la Filosofía como en la Historia de la Ciencia.

The reception of the translations of Aristotelian and pseudo-Aristotelian works at the University of Paris in the thirteenth century promoted a new understanding of the sciences as specialized fields of knowledge. The huge amount of translations required a new organization of knowledge, which included novel subjects and categories. Among these there is a very special case, namely the pseudo-Aristotelian De plantis, translated from Arabic into Latin and then back into Greek to be re-translated into Latin again. De plantis was included in the new curriculum in Ripoll 109, and constituted the main source for botanical studies until the sixteenth century. Throughout this paper we will explore the reception and impact of De plantis in both the Arabic and the Latin traditions. We aim to show its foundational role in the development of botany as a theoretical discipline within the natural sciences.