En la configuración de situaciones que propenden por maneras distintas de abordar el aprendizaje y la enseñanza de las matemáticas, los escenarios de investigación están siendo ampliamente reflexionados. En este escrito se muestra la construcción participativa de escenarios de investigación a partir del despliegue de una estrategia enmarcada en la investigación acción participativa con estudiantes de educación media. Esta construcción tiene como objetivo buscar posibilidades para relacionar prácticas matemáticas de aula y prácticas sociales inherentes al mundo de la vida de (...) los estudiantes. Estas reflexiones se realizan a partir de los fundamentos teóricos de la educación matemática crítica (EMC) desarrollada por Skovsmose. (shrink)

1. La filosofia antica-India, Cina, Grecia -- 2. La filosofia tardo-antica e medioevale: ebraismo, cristianesimo, islamismo -- 3.1. La filosofia moderna: umanesimo, Riforma, rivoluzione scientifica (1350-1715) -- 3.2. La filosofia moderna: illuminismo, criticismo, idealismo (1715-1815) -- 4.1. La filosofia contemporanea: scientismi, sroticismi, irrazionalismi -- 4.2. La filosofia contemporanea: filosofie analitiche e continentali.

Un análisis de la situación actual del estado de salud mental de un alto número de la población global basta para dar cuenta de la gravedad del asunto y plantear diversas posibles soluciones. El transhumanismopropone mejorar al ser humano mediante innovación tecnológica. En este trabajo se explica cómo esa innovación pude mejorar el bienestar del ser humano, analizando las consecuencias éticas y sociales de la propuesta del superbienestar y discutiendo también las críticas al transhumanismo por parte de los bioconservadores.

In this paper I firstly examine the contents of Escur. Φ III 11, which includes a medical section, an anthology of texts both sacred and profane, and the epistolar exchange between Gregorius Acindynus and Eirene Choumnos. Secondly I go through Eirene’s intellectual background and the books transcribed under her patronage. Thirdly I explain the role played by this Escurialensis in Eirene’s library and in the anti-Palamite circles. Fourthly, basing on different kinds of arguments, I attribute the copying of ff. 83r-156v (...) to Matthew Blastares. (shrink)

El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)

Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...) pesar de que existen marcadas diferencias en sus respectivos planteamientos metodológicos, hay en las tres líneas de convergencia en lo sustantivo. Concluiremos con una réplica a las objeciones antiutilitaristas y una defensa, siguiendo a John Stuart Mill de la mayor adecuación de esta escuela a la hora de defender la inviolabilidad de ciertos derechos fundamentales. (shrink)

This article compares the political philosophies of Michael Oakeshott and Isaiah Berlin, probably the two most important political philosophers in postwar Britain, who, strangely, had very little to do with one another during their illustrious careers. The article focuses on their respective critiques of rationalism and theories of liberal pluralism, arguing that Oakeshott provides the more consistent and philosophically satisfying account in both instances.

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Una escala de valores se puede definir mediante dos componentes: un conjunto de valores y una relación de orden. Estos dos componentes dan cuenta de algunas opiniones populares sobre las escalas de valores que favorecen una suerte de relativismo axiológico. En esta contribución proponemos una estrategia de reducción que nos permite aceptar dichos componentes sin necesariamente implicar un relativismo axiológico.

Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.

It has often been asserted that burnout is primarily linked to occupational-context factors, and only secondarily to individual-level and non-work factors. We evaluated the validity of this view by examining the links between burnout and an array of 22 work-situated, work-unrelated, dispositional, and intersecting variables. The study involved schoolteachers from three different countries: France, Spain, and Switzerland. Burnout was assessed with the Maslach Burnout Inventory for Educators. Most of our predictors were assessed based on widely used measures. In order to (...) assess sentimental accomplishment and familial accomplishment, we created two self-reported measures, namely, the Sentimental Accomplishment Inventory and the Familial Accomplishment Inventory. The SAI and the FAI both showed strong reliability and high factorial validity. Exploratory structural equation modeling bifactor analysis and Mokken scaling suggested that both instruments could be considered essentially unidimensional. The study results showed that neuroticism, job strain, skill development, security in daily life, and work–non-work conflict were consistently associated with burnout across the three samples. Sample-specific predictors of burnout included sex, age, unreasonable work tasks, weekly working hours, job autonomy, support in work life, sentimental accomplishment, leisure activities, support in personal life, and non-work–work conflict. Relative weight analysis indicated that neuroticism was the best predictor of burnout in each sample. Our findings suggest that burnout’s nomological network may not be primarily job-related. We conclude that the tendency to de-emphasize individual-level and non-work factors in burnout research is unwise. This tendency may constitute a roadblock in the development of effective interventional strategies. The implications of our findings for burnout’s conceptual status are discussed. The neuroticism-burnout link should be further examined in longitudinal studies. (shrink)

ABSTRACTThis paper analyses the discourses produced on their websites by the two organisations that conducted the official ‘leave’ and ‘remain’ campaigns in the Brexit referendum. The analysis, whi...

Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)

En esta contribución proponemos una representación de un fragmento de la silogística estadística de Thompson usando la lógica de términos de Sommers. El resultado es una interpretación terminista de la silogística estadística.

In this paper we propose a tableaux method for the intermediate syllogistic of Peterson and Thompson by using the algebra of Sommers and Englebretsen. The result is an analytic tableaux method capable of modeling inference in basic, relational, and intermediate syllogistic.

Volume 16, Issue 4, September 2019, Page 381-388.

This paper provides a historical reevaluation of the originality and implications of Avempace's critique of Aristotle's causal explanation of the motion of projectiles. It also offers a serious revision of the place which has usually been assigned to Avempace in the history of science. The views regarding projectiles defended in Avempace's Arabic commentary are in sharp opposition to the anti-Aristotelian Avempace that was known in the Medieval West through Averroes. Avempace's commentary reveals only a moderate critic of Aristotle, a critic (...) who did not, in any case, break with the master, and who, therefore, did not even go as far as Philoponus in creating a new and more profound theory of projectile motion. (shrink)

Los chamorros asocian la colonización hispana con la reducción desorbitada de la población de las islas Marianas. La fuerza de esta idea en su imaginario ha conducido a diversos científicos a cuantificar este decrecimiento (Underwood, Hezel, Shell, Carano, Driver, etc.). Sin embargo, este ejercicio matemático no se puede resolver con exactitud porque las fuentes históricas que constituyen la referencia de estos cálculos presentan una desviación de gran magnitud como consecuencia de su instrumentalización política.

In Scotus the person is treated in an intelectual atmosphere in which has already been enhanced a considerable effort intelectual in views to an understanding and clarification of what is the person. The author of this work on Scotus, professor emeritus of Antonianum of Rome, intends to make understand the originality of the grief escotista on the person. For it, it is about creating the place in which makes sense speak of person, as Escoto. This place is not other but (...) that in the one that the ontological language is overcome. The person, indeed, indicates and she says something that surpasses and she is added the intellectual constituted individual or the individual of rational nature. In consequence, Prof. Manzano pursues and it indicates the roads from Scotus to this original reality that is the one of being person. These roads are, in short, the road toward the person’s understanding like «an absolute event that happens», the road of the person’s understanding like «absolute independence» and the road of the person’s understanding like «incommunicable existence». At the end, the author treats the scotish dialectic on the question of if the person is carácter of being something positive real, although not ontological, or she is merely somethig relational. In this lasta case, it will be abolut a «relationship» extremely original and diverse of the nature of the relationship as predicament. (shrink)

This paper presents the Futurium platform used by Digital Futures, a foresight project launched by the European Commission's Directorate General for Communications Networks, Content and Technology (DG CONNECT). Futurium was initially developed with the primary purpose of hosting and curating visions and policy ideas generated by Digital Futures (Digital Futures was launched in July 2011 by DG CONNECT's Director General Robert Madelin following a prior DG CONNECT exercise called Digital Science.). However, it has turned into a platform on which to (...) experiment with new policymaking models based on scientific evidence and stakeholder participation, referred to in this paper as ‘Policy Making 3.0’. The platform hosts an online foresight toolkit to facilitate the joint creation of ideas to help design future policies. It leverages the potential of social networks, open data, semantic and knowledge mining technologies as well as participatory brainstorming techniques to engage stakeholders and harness their views and creativity to better inform policies that matter to them. The Futurium distinguishes between different variables, reflecting the emotional vs. rational mindsets of the participants, and offers the possibility to frame the engagement and co-creation process into multiple phases of a workflow. Futurium was developed to support Digital Futures, but its open architecture makes it easily adaptable to any policymaking/decision-making context where thinking ahead, participation, scientific evidence and agility are needed. Futurium is an early prototype implementation of the Policy Making 3.0 model, which is a long-term vision requiring further investigation and experimentation. The Futurium production website can be seen here: ec.europa.eu/digital-agenda/futurium. (shrink)

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)

El término transmedia acuñado por Jenkins (2003) hace referencia a aquellos relatos que expanden sus historias a través de diferentes canales de distribución. Esta manera de construir relatos narrativos se vuelve sumamente interesante y natural para la generación Alfa y Zeta. Ante este escenario, la asignatura universitaria Creation of transmedia stories se presenta como una oportunidad para que los estudiantes exploren las posibilidades del transmedia y lo apliquen de manera específica a un producto cultural. En este artículo se analizará un (...) caso de estudio aplicado en el aula. (shrink)

En Gracián «ser persona» implica la modulación «ingeniosa» del «genio» natural del hombre en el mundo que le ha tocado vivir. Gracián entiende la subjetividad desde su necesaria y constitutiva remisión al mundo, pues es en éste donde el hombre se constituye como persona. Esto es lo que nos muestra Gracián a través de la correcta articulación que prescribe en su obra entre el genio del hombre y el ingenio. En este artículo pretendemos analizar las nociones de genio, ingenio y (...) persona mostrando cómo ésta última es el resultado de la correcta articulación entre genio e ingenio, al tiempo que mostraremos cómo el concepto graciano de «ser persona» supone una concepción de la subjetividad alejada de la pureza y la absolutez que le concede la modernidad tradicionalmente entendida. (shrink)

La conocida obra Muʿǧam al-buldān (Diccionario de los países), terminada por el geógrafo y erudito Yāqūt al-Rūmī al-Ḥamawī (m. 626/1229) un año antes de su muerte, ofrece una valiosa información sobre los múltiples topónimos recogidos por este autor. Dicha información no se limita solo a los aspectos geográficos, sino también a los literarios y biográficos, y ha sido abordada en trabajos relacionados con al-Andalus. Mi propósito en el presente artículo es realizar una primera aproximación a la imagen que Yāqūt proyecta (...) del Mágreb a través de algunos ejemplos concretos, realizando un breve recorrido de las fuentes que empleó, entre las cuales destacó especialmente el geógrafo andalusí Abū ʿUbayd al-Bakrī (m. 487/1094), muy citado en toda la obra. (shrink)