Continuidad y equilibrio: una investigación sobre la distinción entre la lógica formal y la lógica trascendental de Kant en el periodo berlinés (1789-1794) de la trayectoria filosófica de Salomon Maimon

El filósofo Salomon Maimon desarrolló entre 1789 y 1794 un sistema que debía explicar el conocimiento de los objetos basado en las implicaciones más importantes de la premisa nuclear de la Crítica de la razón pura kantiana: que es el objeto el que ha de regirse por la representación y no a la inversa. Maimon no solo presentó este sistema disgregado en textos sucesivos, sino que lo fue depurando y enriqueciendo a medida que lo ponía a prueba en diversas disputas intelectuales e incrementaba, a través de sus lecturas, lecciones e investigaciones, su conocimiento general sobre la ciencia y la filosofía de su tiempo. La presente tesis doctoral se propone narrar ese desarrollo y componer los fragmentos de ese sistema disperso para facilitar su enjuiciamiento crítico. A tal efecto, formula una hipótesis interpretativa que sirve como hilo conductor para un análisis detallado de una secuencia de los textos más importantes de este periodo de su producción literaria. Esta es la que postula un vínculo estrecho entre el problema de la deducción trascendental y la distinción entre la lógica formal y la lógica trascendental. La comprobación paulatina de esta hipótesis permite describir una parte de los cimientos del sistema de Maimon, exponer sus exigencias y aspiraciones y concluir que su propuesta teórica mejoró sensiblemente tal y como vio la luz en sus obras cumbre de 1794. Asimismo, los resultados subrayan la conmovedora lealtad de este filósofo para con los ideales más elevados de la ciencia moderna y el pensamiento crítico que antepuso tenazmente a todo sistema, teoría o razonamiento particular, incluidos los suyos.Programa de Doctorado en Humanidades por la Universidad Carlos III de MadridPresidente: Félix Duque Pajuelo.- Secretaria: Alba María Jiménez Rodríguez.- Vocal: Óscar Cubo Ugart

Salomon Maimon's revision of the kantian table of categories

En un libro de lógica de 1794, Salomon Maimon presentó una nueva tabla de categorías que debía sustituir la que Kant incluyó en su Crítica de la razón pura. Sostengo que esto es la última fase en la evolución de algunos aspectos fundamentales de su postura epistemológica. A partir de una comprensión general de su teoría, voy trazando el desarrollo de su pensamiento sobre las categorías desde su primera obra en alemán, la Filosofía trascendental de 1789, hasta su mencionada Lógica. Lo divido en cuatro partes. En las dos primeras, describo la posición de Maimon como solidaria con el paradigma kantiano según el cual las categorías dependen de las formas lógicas del juicio. En la tercera, explico la inversión de este paradigma que Maimon acomete en su comentario a las Categorías de Aristóteles. En la última parte, expongo que la nueva tabla de categorías refleja una mejora general de su teoría del conocimiento. Por último, exhorto a ampliar la comprensión de alguna noción clave de su filosofía para propiciar una lectura más productiva.In a 1794 book on logic, Salomon Maimon presented a new table of categories that was meant to replace Kant's as discussed in his Critique of Pure Reason. I see it as the last stage of an evolution of Maimon's view on the subject. In light of a general understanding of Maimon's epistemological stance, I trace this particular development of his thought from his earliest German work, the Transcendental Philosophy (1789), to his aforementioned Logic and divide it into four sections. In the first two, I portray Maimon's position as conforming to the Kantian paradigm according to which the categories depend on the logical forms of judgment. In the third one, I explain Maimon's inversion of such paradigm in his commentary to Aristotle's Categories. In the last section, I find Maimon's last version of the table of categories to be an expression of the overall improvement of his theory of knowledge. Finally, I argue for a broader understanding of several key notions of his philosophical system which, in my opinion, could be of assistance in the task of fruitfully interpreting his work

CAIN-21: Automatic adaptation decisions and extensibility in an MPEG-21 adaptation engine

This paper presents the progress and final state of CAIN-21, an extensible and metadata driven multimedia adaptation in the MPEG-21 framework. CAIN-21 facilitates the integration of pluggable multimedia adaptation tools, automatically chooses the chain of adaptations to perform and manages its execution. To drive the adaptation, it uses the description tools and implied ontology established by MPEG-21. The paper not only describes the evolution and latest version of CAIN-21, but also identifies limitations and ambiguities in the description capabilities of MPEG-21. Therefore, it proposes some extensions to the MPEG-21 description schema for removing these problems. Finally, the pros and cons of CAIN-21 with respect to other multimedia adaptation engines are discussed

Executable Structural Operational Semantics in Maude

This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where transitions become rewrites and inference rules become conditional rewrite rules with rewrites in the conditions, as made possible by the new features in Maude 2.0. We validate this technique using it in several case studies: a functional language Fpl (evaluation and computation semantics, including an abstract machine), imperative languages WhileL (evaluation and computation semantics) and GuardL with nondeterminism (computation semantics), Kahn’s functional language Mini-ML (evaluation or natural semantics), Milner’s CCS (with strong and weak transitions), and Full LOTOS (including ACT ONE data type specifications). In addition, on top of CCS we develop an implementation of the Hennessy-Milner modal logic for describing local capabilities of processes, and for LOTOS we build an entire tool where Full LOTOS specifications can be entered and executed (without user knowledge of the underlying implementation of the semantics). We also compare this method based on transitions as rewrites with another one based on transitions as judgements

Evaluation and ITC in Primary Education: Using plickers to evaluate musical skills

La evaluación de capacidades y competencias del alumnado en las enseñanzas artísticas puede convertirse en un proceso complicado al que hay que dedicar demasiado tiempo, sin embargo, este paso es necesario y obligatorio. Por otro lado, la introducción de las TIC en los procesos de enseñanza‐aprendizaje ha dado lugar a una nueva perspectiva educativa en la que la evaluación también se ha visto beneficiada. Así, herramientas con Edmodo, Socrative, Kahoot, Plickers, EDPuzzle o Google Forms, entre otras, han supuesto una magnífica solución para evaluar a los alumnos de una manera diferente, rápida, cómoda y sencilla. En nuestro caso, centraremos la atención en Plickers, aplicación muy sencilla e intuitiva que nos proporciona las herramientas necesarias para evaluar, a tiempo real, las competencias y habilidades musicales de los alumnos desde una perspectiva distinta y motivadoraThe evaluation of skills and competences of students in arts education can become a complicated process in which spending too much time, however, it is necessary and compulsory. On the other hand, the introduction of ICT in the teaching‐learning processes has led to a new educational perspective in which the evaluation has also benefited. Tools like Edmodo, Socrative, Kahoot, Plickers, EDPuzzle or Google Forms, among others, have brought a great solution to assess students in a different way, fast, convenient and simple. In our case, we will focus on Plickers, very simple and intuitive application that provides us the tools to evaluate, in real time, musical skills of students from a different and motivating perspectiv

Alternating bit protocol as an example of compositional system specification

We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components and specify interfaces. This paper must be considered a companion to some of our previous ones

Políticas transnacionales sobre aprendizaje móvil y educación: una selección de textos relevantes

El uso de las TIC en entornos educativos ha originado nuevas metodologías de enseñanza-aprendizaje. Una de ellas es el denominado «mobile learning» o aprendizaje móvil. Este trabajo profundiza en este concepto, recoge las directrices marcadas por tres de los organismos internacionales más representativos en política educativa (la UNESCO, la Unión Europea y el NMC) y se propone dar a conocer los planteamientos actuales sobre la implementación de aprendizaje móvil en los procesos de enseñanza-aprendizaje. Para ello, se ha utilizado el análisis de información como método de trabajo, en el que la descripción e interpretación de las ideas obtenidas se ha configurado como eje principal de la investigación. Por último, se presentan las conclusiones derivadas de este proceso de búsqueda, análisis y selección de textos en las que se pone de manifiesto el gran potencial de estas nuevas pedagogías