Emilio Muñoz-Velasco

El artículo analiza las condiciones y el proceso en el que se aprobó en 1986 la Ley de Fomento y Coordinación General de la Investigación Científica y el Desarrollo Tecnológico y las principales aportaciones de la Ley a la construcción de un Sistema Científico- Técnico. Se analizan igualmente los cambios en el propio Sistema Científico-Técnico y en los contextos políticos, económico y sociales que se han producido en los veinte años de vigencia de la Ley, así como las tendencias en los cambios en los marcos regulatorios de la I+D en los países más desarrollados. Finalmente se proponen algunas bases sobre las que construir unos marcos legales y normativos para el futuro desarrollo de la I+D en España.

In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities of the logic with respect to expressivity in order to denote particular positions of the proximity intervals.

Throughout the twentieth and twenty-first centuries, Spain has remained backward as regards the modern scientific policy initiatives developed in Europe and the United States. One of the challenges has been to introduce the ethical perspective in studies of a technological nature within a framework within which a culture of hubris evolved in the scientific and technological domain. In this context, this chapter is structured in two parts. The first develops the theoretical framework, i.e., scientific policy in Europe, with special focus on Spain. Based on the innovations developed by the authors at the School of Mining and Energy, Technical University of Madrid, the second part describes the experimental exercise of an integrative learning process carried out by introducing ethics and transversal skills in Engineering Studies.

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one.

El recorrido desde los años sesenta hasta mediados de los noventa del Sistema Español de Investigación (SEI) pone de relieve los esfuerzos realizados, a partir de individualidades y de ciertas coyunturas políticas, para conseguir un incremento de sus recursos y una consolidación de su relevancia en la agenda política. El análisis que se presenta revela que los esfuerzos de los actores que actuaron en el ámbito de la toma de decisiones y de los instrumentos y agencias que fueron creados en los sesenta y en los ochenta (CAICYT, CICYT, CDTI, FIS) han servido para fomentar los criterios de calidad y competencia en la atribución de recursos y han resultado en un incremento relativo de éstos, pero no han conseguido corregir los niveles endémicos del SEI: escasa incidencia en la vida socio-económica del país, deficitaria conexión entre el mundo científico y académico con el sector empresarial, descoordinación entre los esfuerzos nacionales, sectoriales y regionales. El intento, a finales de los noventa, de relanzar la I+D como prioridad en la esfera política y la reorganización de sus instrumentos constituyen una apuesta interesante, que hay que seguir y evaluar con continuidad y atención, si se pretende que este nuevo paso tenga caracteres más definitivos que los esfuerzos anteriores.

Este artículo presenta los resultados de una encuesta sobre el funcionamiento del sistema de seguridad alimentaria en España, con especial atención al tema de los alimentos transgénicos (a causa del debate social que suscitaron). La encuesta muestra que la valoración que la industria alimentaria española hace del sistema de seguridad alimentaria, tanto a nivel de España como a nivel de la Unión Europea, es ambivalente, especialmente por las dudas sobre la independencia y eficacia en su funcionamiento. Una comparación con datos de otras encuestas revela que la percepción de otros actores, especialmente de los consumidores, es igualmente ambivalente, indicando una importante falta de aceptación entre diferentes actores sociales relevantes para el sistema.

El concepto de gobernanza ha irrumpido con fuerza en la arena política, tanto en el ámbito académico como en el de la gestión diaria. El concepto tiene sus raíces en la ciencia política y de la administración norteamericana, y ha sido importado por Europa al reconocer la necesidad de adoptar nuevas estrategias para la administración de las relaciones entre lo público y lo privado, entre el gobierno y la sociedad. El concepto es complejo tanto en sus fundamentos como en sus instrumentos, y probablemente persigue el servir de puente entre el sistema de protección social y el de pleno liberalismo. La irrupción en el ámbito de la ciencia y la tecnología ha sido promovida por la dinámica política de la Unión Europea. La influencia de la política comunitaria ha facilitado la incorporación del término de modo seguidista, con escasos aportes analíticos y explicativos. En esta aproximación, el concepto parece estar estrechamente relacionado con la visión sistémica y la complejidad de una gestión de la ciencia y la tecnología que debe afrontar diferentes niveles. Es preciso, sin embargo, profundizar en las relaciones entre el concepto de gobernanza y otros conceptos cada vez más esenciales para la gestión democrática de la ciencia y la tecnología, que reclama una sociedad que se mueve de acuerdo con principios relacionados con la «modernización reflexiva»: riesgo, precaución, incertidumbre, sostenibilidad, innovación asociada a la intervención de usuarios y consumidores.

La aplicación de una analogía como ser vivo e inteligente a la política científica ha permitido identificar lo que he llamado “crisis” de esa política, como resultado de un proceso de envejecimiento –hace más de sesenta años que se inició la política científica moderna– en el que han intervenido una serie de patologías que han sido diagnosticadas a través de una serie de revisiones críticas emprendidas por el autor dentro del marco de un programa sobre “filosofía de la política científica”. A través del recurso a metáforas médicas y clínicas he podido construir una historia clínica en la que se describen las patologías y sus diagnósticos, asociadas simbólicamente a trastornos mentales y sensoriales. Entre ellos cabe mencionar procesos de amnesia, del que es un ejemplo la disociación entre lenguaje y acción motora (discurso y acción); la deficiente comprensión de conceptos en el trinomio básico I+D+innovación y de las relaciones entre ellos; frecuentes errores de percepción (visión y audición) respecto al sentido y uso de los indicadores habituales; el tránsito, dependiente de circunstancias ajenas al propio objeto de la política de ciencia y tecnología, desde la euforia a la depresión (trastorno bipolar) y las consiguientes pérdidas de sentido de la realidad. De acuerdo con la aproximación metafórica aplicada, se proponen terapias para superar la “crisis” a las que se les aplica la analogía de las nuevas terapias regenerativas, orientadas a la corrección de procesos degenerativos. Entre ellas se incluye la incorporación (trasplante) en la marchita política científica de viejos conceptos como los de “gobernanza” y “espacios” que pueden actuar, de nuevo simbólicamente, como elementos troncales (pluripotentes) para que sirvan como regeneradores de una gestión política habitualmente apoyada en aproximaciones burocráticas y académicas esencialmente simples y tradicionales.

En un contexto de profundos cambios sociales, económicos y políticos, la investigación científica y técnica ha evolucionado en sus reglas e instituciones para transitar desde una dinámica de autonomía a otra en la que intervienen un mayor número de actores. Este tránsito ha conducido a nuevos conceptos como el de modo 2 de producción de conocimiento o modelos como el tecnocientífico. De acuerdo con este cambio contextual, las cuestiones éticas han cambiado desde aproximaciones internas (intraética o deontología) a orientaciones holísticas (interéticas ). Surgen así nuevos retos éticos relacionados con la producción de conocimiento y su gestión para los que se propone una actuación ética basada en la responsabilidad que se proyecta sobre todos los actores, desde los que dirigen y ejecutan la investigación en el laboratorio, hasta los que intervienen en los procesos de evaluación de los resultados y en los de transferencia de conocimiento. La referencia al caso de las ciencias de la vida, sirve como ejemplo de esta nueva situación de responsabilidad social con dimensiones éticas de gran alcance para la gestión del conocimiento. Situación que reclama las aplicaciones de importantes relaciones éticas (interéticas ).

A partir de las reflexiones filosóficas sobre la política científica, se ha constatado la existencia de una crisis en esa política que se trata de superar con el recurso a nuevos conceptos como “espacios” y “gobernanza”. La aplicación de esta línea de análisis al caso español nos ha llevado a intentar caracterizar los espacios de conocimientos en términos estructurales y funcionales. El espacio del desarrollo tecnológico, identificado como un espacio en que es fundamental la gestión de los conocimientos, ofrece un buen modelo en el caso español para explorar esta dirección. La utilización de una metodología histórica-analítica ha permitido identificar procesos de modernización en el espacio del desarrollo tecnológico en España, aunque los resultados no han sido totalmente satisfactorios. La posible relevancia de las improntas culturales en estos éxitos/fracasos relativos nos lleva a proponer la necesidad de acomodar políticas e instrumentos revolucionarios, en los que el gobierno debe tomar la iniciativa para orientar las estrategias temáticas y organizativas (véase García Arroyo y colaboradores, Arbor, vol. CLXXXIII, n.º 727, pp. 637-654, 2007).

The global environmental change shows a great complexity in its data and consequences what poses problems for its  understanding and for evaluating its undergoing risks. Sustainable development and sustainability are concepts associated to the environmental global change which present limitations on both the semantic point of view and the  operational and appraisal issues. The exploration of the potential links between the scientific spheres and the  sustainability concept points out to complex and mixed relationships. In any way, the understood effects indicate the preeminence of climate as factor and its subsequent incidence on food, health, energy and environment. The analytical  approach to the logics of knowledge reveals the relevance of feeding and health ecology. Lines or scientific research are proposed on a personal basis for addressing the following objectives: knowledge progress, risks evaluation, and improvement of energy supplies and uses and environmental conditions. It is recommended that ethical principles and conducts should be applied in all the global environmental change related  processes: scientific, political, entrepreneurial, social and media information

This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to one carrying a dssi. We prove that the set theory BIST+Coll is sound and complete relative to forcing interpretations in toposes with natural numbers object . Furthermore, in the case that the structural system of inclusions is superdirected, the full Separation schema is modelled. We show that all cocomplete and realizability toposes can be endowed with such superdirected systems of inclusions.A large part of the paper is devoted to an alternative notion of category-theoretic model for BIST, which, following the general approach of Joyal and Moerdijkʼs Algebraic Set Theory, axiomatizes the structure possessed by categories of classes compatible with BIST. We prove soundness and completeness results for BIST relative to the class-category semantics. Furthermore, BIST+Coll is complete relative to the restricted collection of categories of classes given by categories of ideals over elementary toposes with nno and dssi. It is via this result that the completeness of the original forcing interpretation is obtained, since the internal logic of categories of ideals coincides with the forcing interpretation

Qualitative description of movements can be very important for representation and reasoning about dynamic systems which are complex in structure or whenever numerical data are incomplete or inaccessible. For this reason, we present a hybrid approach based on the combination of qualitative reasoning, quantitative data and logical methods. In this article, we introduce a new propositional dynamic logic QM for representation and reasoning with relative movements of objects. In this way, we can infer additional information about movements by using axioms and the logic apparatus. We present a sound and complete deduction system in dual tableaux style for the logic QM. The system can be used for verification of validity of formulas of the logic in question.