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.

El subjuntivo es lógico : una actividad de concienciación.

Resumen tomado de la publicación

Convergencia y sistematizaci??n de sem??nticas formales en la ense??anza de la l??gica elemental y avanzada

Se realiza un an??lisis y adaptaci??n al proceso de convergencia europea de las sem??nticas formales en la ense??anza de la l??gica elemental y avanzada. Se constituye un equipo permanente de trabajo docente de car??cter interuniversitario entre las Universidades de Le??n y Salamanca, y se mantiene una colaboraci??n con los investigadores, alumnos de doctorado y la Asociaci??n Software Libre Le??n, asociada a Hispalinux. Se crea una versi??n mejorada del programa de verificaci??n de matrices l??gicas matriguity (Matriguity II) con la posibilidad de incluir constantes. Se dise??an e implementan las herramientas de c??digo y las herramientas internas del programa inform??tico Hydroyanic (HCN), aplicaci??n utilizada para la ense??anza de la l??gica cl??sica de primer orden. Se dise??an y se ponen en funcionamiento recursos telem??ticos consistentes en p??ginas Web de acceso libre. Finalmente se elaboran materiales textuales para la implementaci??n docente de la sem??ntica estrat??gica, as?? como sem??nticas relacionadas de car??cter modal, para el uso de los alumnos y del profesorado.

La noci??n de modo verbal en alumnos de secundaria obligatoria : concepciones y obst??culos

Resumen basado en el de la publicaci??n

Preliminary Remarks on Old Spanish Auxiliares: haber, ser and estar

En aquest article s'intenta aportar una visió descriptiva del funcionament d'haber, ser i estar en construccions 'perifràstiques' del castellà medieval. Quant a les perífrasis 'AUX+ infinitiu', s'observa que no s'ajusten a una anàlisi del tipus 'SV que selecciona un SV'. D'altra banda, s'aporta evidència que afavoreix una visió de la derivació dels futurs i condicionals analítics on el verb [-finit] s'excorpora de l'auxiliar funcional per traslladar-se a CO. Finalment, s'estableix que les construccions 'haber/ser/estar+participi' poden ser analitzades com a verbs lèxics que subcategoritzen una oració reduïda el predicat de la qual és el participi. Això permet relacionar l'avantposició de participi amb la dels SA i la dels arguments interns. Els aspectes bàsics d'aquest canvi sintàctic que duu del castellà medieval i preclàssic a l'espanyol actual són: (a) la categoria lèxica SV dels verbs en qüestió es reanalitza com una categoria funcional SAsp i aquests verbs esdevenen auxiliars; (b) hi ha un canvi de subcabgorització, ja que aquests verbs deixen de subcategoritzar una oració reduïda per passar a subcategoritzar un SVmàx, i (c) la pèrdua de la projecció màxima SCONC1 comporta la desparició dels efectes de la llei Tobler-Mussafia, de la possibilitat d'avantposar el participi i també de la concordança de participi en els perfets compostos.

Mesoclitic Romance futures and conditionals vs participle preposing

(INFINITIVE + CLITIC + AUX) is an evidential configuration in Old Spanish and Old Catalan, whereas (PARTICIPLE + CLITIC + AUX) is an instance of weak or unmarked focus fronting. The evidentiality of mesoclitic structures can be put forward on the bases of three main arguments: a) mesoclisis is not compulsory (i.e., whenever you have a clitic, you can either have mesoclisis or proclisis/enclisis); b) mesoclitic futures and conditionals are attested in interrogative sentences (with wh- elements); and c) they are not found in derived adverbial clauses (which is what you expect if they have an evidential value, since they bring about intervention effects corresponding to the derivational account of conditional and temporal sentences, for example - see Haegeman 2007 and ff.), and are related to high modal expressions (thus interfering with MoodPIrrealis)

Prediction of postprandial blood glucose under intra-patient variability and uncertainty and its use in the design of insulin dosing strategies for type 1 diabetic patients

In this thesis I propose a novel method to estimate the dose and injection-to-meal time for low-risk intensive insulin therapy. This dosage-aid system uses an optimization algorithm to determine the insulin dose and injection-to-meal time that minimizes the risk of postprandial hyper- and hypoglycaemia in type 1 diabetic patients. To this end, the algorithm applies a methodology that quantifies the risk of experiencing different grades of hypo- or hyperglycaemia in the postprandial state induced by insulin therapy according to an individual patient’s parameters. This methodology is based on modal interval analysis (MIA). Applying MIA, the postprandial glucose level is predicted with consideration of intra-patient variability and other sources of uncertainty. A worst-case approach is then used to calculate the risk index. In this way, a safer prediction of possible hyper- and hypoglycaemic episodes induced by the insulin therapy tested can be calculated in terms of these uncertainties.

Improvements in the ray tracing of implicit surfaces based on interval arithmetic

Las superfícies implícitas son útiles en muchas áreasde los gráficos por ordenador. Una de sus principales ventajas es que pueden ser fácilmente usadas como primitivas para modelado. Aun asi, no son muy usadas porque su visualización toma bastante tiempo. Cuando se necesita una visualización precisa, la mejor opción es usar trazado de rayos. Sin embargo, pequeñas partes de las superficies desaparecen durante la visualización. Esto ocurre por la truncación que se presenta en la representación en punto flotante de los ordenadores; algunos bits se puerden durante las operaciones matemáticas en los algoritmos de intersección. En este tesis se presentan algoritmos para solucionar esos problemas. La investigación se basa en el uso del Análisis Intervalar Modal el cual incluye herramientas para resolver problemas con incertidumbe cuantificada. En esta tesis se proporcionan los fundamentos matemáticos necesarios para el desarrollo de estos algoritmos.