El islamismo y la utilización del "FIQH" con fines políticos: el caso del Líbano actual

El proyecto de investigación que se presenta a continuación se centra en el estudio de los partidos y los movimientos islamistas, sobre todo, desde el ámbito jurídico. Lo que se pretende es una desconstrucción del discurso islamista para la evaluación y el análisis del uso que realiza el islamismo de las fuentes textuales religiosas, así como de la manipulación que hace de las mismas. Para lograr este objetivo, hemos precisado utilizar las mismas fuentes que dichas agrupaciones manejan. Otro de los aspectos a destacar en nuestra investigación es la politización actual que se hace del Islam por parte del islamismo, siendo así parte de una ideología moderna y desconocida a lo largo de la historia islámica. Pensamos que en muchos casos, y sobre todo en relación al islamismo más radical, no existe una comprensión adecuada de la doctrina islámica, por ello cuestionamos que la base ideológica de dichas formaciones tengan un verdadero respaldo jurídico, así como tampoco encontramos una justificación ideológica que legitime sus posiciones y su propia existencia. Ya que las premisas de las que parten son religiosas, pensamos, que es el ámbito científico de las disciplinas religioso-jurídicas el que hay que utilizar para combatir a las formaciones violentas. Es aquí donde nuestra investigación cobra relevancia, debido a la falta de estudios que existen desde esta perspectiva. Nuestro objetivo es deslegitimar la autoridad de dichas agrupaciones, sobre todo de las más radicales, a través de su propio discurso religioso-legal. De aquí se deriva que nos hagamos varias preguntas, ¿existe en el islam un modelo de estado islámico o califal como es representado por los movimientos islamistas radicales?, ¿el corpus de la charía justifica las fetuas de dichos grupos? ¿Utilizan dichos grupos la metodología de la jurisprudencia para derivar normativa legal, y si es así, que precedentes y material usan del hadiz o el Corán? ¿Tienen en cuenta el factor espacio-tiempo en el que fueron reveladas las suras y aleyas coránicas a la hora de entender el texto de manera literal? ¿Por qué la costumbre ha acabado imponiéndose al texto religioso? Estos movimientos hacen mención constante de su existencia en relación a los textos sagrados, pero ¿es qué hacen una relectura diferente a la de otros grupos de su misma comunidad religiosa?...

Más sobre equivalencias lógicas y distancias entre procesos

Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Relaciones entre matutinidad-vespertinidad y estilos de personalidad

El propósito de este estudio es analizar los perfiles diferenciales de personalidad según la tipología circadiana en un grupo de 189 personas, a los que se aplicó la Escala Compuesta de Matutinidad (Smith, Reilly y Midkniff, 1989), traducida y adaptada a la población española por Díaz Ramiro (2000) y el Inventario Millon de Estilos de Personalidad (Millon, 1994), traducido y adaptado a la población española (Millon, 2001). Se han estudiado las relaciones entre la tipología circadiana y los estilos de personalidad, así como los perfiles de personalidad de cada cronotipo. Los resultados indican que las personas matutinas y vespertinas se diferencian principalmente por el estilo cognitivo que utilizan para obtener y transformar la información del entorno. Las personas matutinas prefieren la información concreta que asimilan a esquemas de conocimiento previos, mientras que las personas vespertinas prefieren la información simbólica y ambigua que acomodan con esquemas de conocimiento nuevos y originales. Por último, como estilo de relación interpersonal, las personas vespertinas son más inseguras y menos condescendientes con los demás, mientras que las personas matutinas son más respetuosas con las costumbres y normas sociales.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

La diosa Inanna y Nippur: la Hierogamia y el viaje al inframundo. Una investigación interdisciplinar

Los objetivos que nos proponemos alcanzar con la realización de este trabajo son: 1) Sacar a la luz las principales características geográficas, arqueológicas e históricas que conforman el conjunto global de la ciudad e Nippur (en la baja Mesopotamia) desde sus orígenes prehistóricos hasta tiempos históricos. 2) Desvelar el misterio ritual, cosmológico y cosmogónico del rito de las Nupcias Sagradas en esta ciudad de estudio partiendo desde sus inicios remotos hasta la institucionalización oficial de dicho ácto. 3) Comprender la significación no solo mitológico-religiosa sino interpersonal, psicológica y liberatoria que tiene la diosa Inanna desde su lecho ahistórico por los caminos del Mundo Inferior hasta la Unió Sagrada con el dios mesopotámico Enlil, entrando a formar parte del panteón de dioses de Nippur. Para ello hemos seguido una metodología interdisciplinar utilizando múltiples fuentes: 1) Para el estudio de las características geográficas de la región (urbana y extraurbana) nippuriense nos hemos servido de estudios geológicos, hidrográficos, faunísticos, biológicos, climatológicos y topográficos. 2) Para el estudio arqueológico, de acuerdo a los descubrimientos que se han ido sucediendo a lo largo de los siglos XIX, XX y parte del XXI ,hemos utilizado registros y memorias de excavaciones y material encontrado en el yacimiento de Nippur (tablillas, lugares de habitación, áreas urbanas). De este modo hemos podido constatar e interpretar los elementos que salieron a la luz...

Two Consistent Many-Valued Logics for Paraconsistent Phenomena

In this reviewing paper, we recall the main results of our papers [24, 31] where we introduced two paraconsistent semantics for Pavelka style fuzzy logic. Each logic formula a is associated with a 2 x 2 matrix called evidence matrix. The two semantics are consistent if they are seen from 'outside'; the structure of the set of the evidence matrices M is an MV-algebra and there is nothing paraconsistent there. However, seen from "inside,' that is, in the construction of a single evidence matrix paraconsistency comes in, truth and falsehood are not each others complements and there is also contradiction and lack of information (unknown) involved. Moreover, we discuss the possible applications of the two logics in real-world phenomena.

Classifying image analysis techniques from their output

In this paper we discuss some main image processing techniques in order to propose a classification based upon the output these methods provide. Because despite a particular image analysis technique can be supervised or unsupervised, and can allow or not the existence of fuzzy information at some stage, each technique has been usually designed to focus on a specific objective, and their outputs are in fact different according to each objective. Thus, they are in fact different methods. But due to the essential relationship between them they are quite often confused. In particular, this paper pursues a clarification of the differences between image segmentation and edge detection, among other image processing techniques.

Finding the set of k-additive dominating measures viewed as a flow problem

n this paper we deal with the problem of obtaining the set of k-additive measures dominating a fuzzy measure. This problem extends the problem of deriving the set of probabilities dominating a fuzzy measure, an important problem appearing in Decision Making and Game Theory. The solution proposed in the paper follows the line developed by Chateauneuf and Jaffray for dominating probabilities and continued by Miranda et al. for dominating k-additive belief functions. Here, we address the general case transforming the problem into a similar one such that the involved set functions have non-negative Möbius transform; this simplifies the problem and allows a result similar to the one developed for belief functions. Although the set obtained is very large, we show that the conditions cannot be sharpened. On the other hand, we also show that it is possible to define a more restrictive subset, providing a more natural extension of the result for probabilities, such that it is possible to derive any k-additive dominating measure from it.

Análisis de terminación para una plataforma de verificación de programas

De entre una serie de métodos estudiados acerca de la terminación de algoritmos, tales como Size-Change Termination o Isabelle, elegimos el método de RANK como instrumento para desarrollar nuestro propio programa de detección de terminación sobre el lenguaje de la IR. Esta decisión se basa en el coste polinómico de este método (frente a costes en PSPACE como el Size-Change Termination)y la posibilidad de obtener una herramienta asociada al mismo que además nos da la posibilidad de conocer un tiempo de ejecución aproximado. La herramienta asociada a RANK es compleja y va de la mano de una segunda herramienta (ASPIC). Hemos estudiado varios ejemplos, tales como el Mergesort o el Quicksort, para explicar la utilización de estas dos herramientas y a su vez ponernos en situación de los diferentes problemas que nos podemos encontrar a la hora de estudiar un programa. Partiendo del proceso que hemos usado para construir los automátas de los ejemplos anteriores, hemos diseñado e implementado en Java un algoritmo para transformar programas en el lenguaje de la IR al formato de entrada de RANK. Los resultados han sido satisfactorios, puesto que con los autómatas generados somos capaces de detectar de forma automatizada la terminación de, entre otros, los algoritmos recursivos antes mencionados.

Software de comunicación para personas con parálisis cerebral

El objetivo de este Trabajo de Fin de Grado es la creación de un software para la comunicación de personas con discapacidad exclusivamente motriz, incluyendo el habla, pero sin tener afectada la cognición; concretamente va dirigido a un niño que padece una parálisis cerebral. Dicho software se ha desarrollado en dos programas separados. El primero es un software de seguimiento de pupila basado en la tecnología de EyeTracking, para lo que se usa un ratón de mirada proporcionado por un programa ya existente. La aportación en este apartado ha sido crear una interfaz, como capa superior, mediante botones que ejecutan las acciones correspondientes a seleccionar el método de comunicación y las opciones correspondientes a cada método que ofrece el sistema. Nuestro niño, Moisés, sufre disponía, lo que implica fluctuación ene el tono muscular, unas veces hipertónico y otras hipotónico en distintas partes de su cuerpo, afectándole a la sujeción de la cabeza. Por ese motivo se ha desarrollado un segundo programa que funciona con ratón y teclado, al cual se le ha añadido un pulsador. Incluye un menú para seleccionar distintas formas de comunicación. Las opciones de este menú se le ofrecen al usuario de forma secuencial ya que solo podrá comunicarse con el sistemas mediante clicks de ratón o pulsaciones de teclado. En España la empresa Vía Libre de la fundación ONCE vende materiales ortopédicos y de comunicación, todos con licencia de uso, como el usado por Stephen Hawking, no asequibles a familias que ya tienen gastos en sillas, adaptadores, y material ortopédico. Este segundo programa ha sido probado y modificado según las principales necesidades de comunicación de Moisés, es de código abierto y puede ser descargable desde https://sourceforge.net/p/clickspeak/

Parentesco y estrategias de reproducción social

Más de dos décadas de investigación antropológica han permitido reunir un abundante material sobre la familia y las relaciones de parentesco en España. En el presente artículo, se intenta hacer el balance de la cuestión poniendo especial énfasis en la doble necesidad de reconstruir las condiciones históricas. tanto internas como externas, que subyacen el surgimiento, perpetuación o desaparición de las prácticas culturales, y de restituir la complejidad analizando el juego entre dichas condiciones, las normas y los usos sociales efectivamente analizados. A partir de esta premisa, y desde el marco específico que ofrece la comparación intercultural (y, si cabe, inter-histórica), se procura clarificar (y, en su caro, replantear) discusiones relacionadas con los tipos de familia y los sistemas de herencia, la residencia y el grupo doméstico, el matrimonio y el celibato, etc. Asimismo se precisan las relaciones entre el parentesco y los demás niveles de la realidad social, el económico en particular, destacando la forma variable en la que interactúan y la medida en la que la dimensión simbólica de las primeras constituye la principal garantía para su instrumentalización oportuna en otros marcos.