This article sets out a global analysis of the weaknesses, threats, strengths and opportunities that define the current situation of nursing in Europe. The nursing profession in Europe is suffering from a crisis of self‐efficacy with the syndrome of burnout being one of its consequences. Other weaknesses include shortage of staff, job insecurity, devalued nursing image in society and the lack of recognition of emotional and psychological dimensions of care. The threats to this profession are linked to the lack of (...) prestige and social recognition and to the current economic crisis in Europe. The European economic crisis favours staff shortages and increased European migration flow. The strength of the group lies in the art of caring, which is its defining feature. Primary Care Nursing and Hospital Liaison Nursing demonstrate the great professional adaptability in meeting the needs of the ever‐changing society. The European Higher Education Area and the strengthening of the specialties provide opportunities for the nursing profession. Both represent an important progress towards solid professionalism that will give nursing greater visibility. Moreover, nursing must implement strategies to disseminate its activity and emerge from anonymity. Nursing must show society the image it wants to project. (shrink)

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)

Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some inferences that may be considered irrelevant (e.g. ex falso, verum ad, and petitio principii). By following an Aristotelian or syllogistic notion of relevance, in this contribution we adapt a tableaux method for Term (...) Functor Logic in order to avoid irrelevance and we offer some sort of intuitive semantics in terms of traditional inferential situations (e.g. propter quid, quia, non causa ut causa, and non sequitur). (shrink)

En la España del siglo que agoniza se han dado tres generaciones de mujeres bien definidas: las madres de la posguerra, sacrificadas y abnegadas, que dejaron, en muchos casos, su profesión por el matrimonio, que entendían como un deber sagrado; mi generación, que es la puente e incomprendida por todos: padres, hermanos, compañeros y amigos, y hasta por la generación actual difícilmente puede entender cómo era la vida de las mujeres hace apenas cuarenta años, y la juventud de nuestros días, (...) resuelta y decidida a compatibilizar su profesión, como primera condición, con el matrimonio. Si, además se tiene en cuenta la pobre consideración social que la música ha tenido hasta hace bien poco tiempo, es fácil imaginar lo difícil que resultaba esta profesión para las mujer de la España reciente. (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)

It has often been asserted that burnout is primarily linked to occupational-context factors, and only secondarily to individual-level (e.g., personality) and non-work (or general) factors. We evaluated the validity of this view by examining the links between burnout and an array of 22 work-situated (effort-reward imbalance, unreasonable work tasks, unnecessary work tasks, weekly working hours, job autonomy, skill development, performance feedback, and support in work life), work-unrelated (sentimental accomplishment, familial accomplishment, number of child[ren], leisure activities, residential satisfaction, environmental quality, security (...) in daily life, and support in personal life), dispositional (neuroticism, sex, age, and physical condition), and intersecting (work–non-work conflict and non-work–work conflict) variables. The study involved schoolteachers from three different countries: France (N= 4,395), Spain (N= 611), and Switzerland (N= 514). Burnout was assessed with the Maslach Burnout Inventory for Educators. Most of our predictors were assessed based on widely used measures (e.g., neuroticism was assessed with the NEO-Five Factor Inventory). In order to assess sentimental accomplishment and familial accomplishment, we created two self-reported measures, namely, the Sentimental Accomplishment Inventory (SAI; 9 items) and the Familial Accomplishment Inventory (FAI; 9 items). 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)

La tecnología se ha constituido como el gran tótem de nuestra era. Inmediatez, comodidad, automatización, todo el universo que rodea a la palabra "tecnología" remite a la esencia de un progreso. Andoni Alonso e Iñaki Arzoz buscan, a contrapelo de su tiempo y con gran agudeza, descralizar ese discurso apologético de las revoluciones tecnológicas. Su libro es el objeto de esta reseña.

La universidad vive inmersa en un proceso de cambio impulsado por la creación del Espacio Europeo de Educación Superior. El objetivo principal de este proceso es hacer que la Universidad contribuya a hacer de Europa el Espacio Económico más competitivo del mundo. Se quiere hacer de la Universidad un pilar de la Europa del Conocimiento. Y la Sociedad del Conocimiento se interpreta fundamentalmente en clave económica mercantilista. En la sociedad postindustrial, la principal fuente de ventaja e..

Este libro es un compendio de diversos artículos del ámbito de la Lógica que cubren un amplio abanico de temas ofreciendo una panorámica sobre esta disciplina. Encontraremos artículos sobre aspectos históricos y sobe el desarrollo de la lógica en la filosofía, la informática y las matemáticas actuales; otros sobre cuestiones de metalógica, y otros sobre diferentes tipos de lógicas: intuicionista, híbridas e intensionales, y sus lenguajes, semánticas y aplicaciones. El resultado en su conjunto es, además, una reflexión sobre el papel (...) de la Lógica en el pasado, presente y futuro de la ciencia y el pensamiento. Pero este libro quiere ser, sobre todo, un homenaje a una de las lógicas más reconocidas de España, María Manzano, que con su actividad académica ha contribuido de forma fundamental al desarrollo del área de Lógica y Filosofía de la Ciencia en España, a la vez que es apreciada en la gran comunidad internacional de lógicos. Con la excusa de su jubilación como catedrática de la Universidad de Salamanca, veintitrés autores que han compartido con ella aventuras en el mundo de la Lógica se han reunido para contarle (y contarnos) algunas de esas apasionantes aventuras. (shrink)

Nos complace presentar este número especial de la Revista Las Torres de Lucca, dedicado íntegramente a la investigación sobre injusticia epistémica. El proyecto de esta publicación se gestó entre 2017 y 2018, en conversaciones entre Cristina Bernabéu e Isabel Gamero; a las que luego se sumaron Alba Moreno y Llanos Navarro. Los directores de Las Torres de Lucca, Diego Fernández Peychaux y Juan Antonio Fernández Manzano, aceptaron la propuesta con interés. Estamos muy agradecidas a ambos por ello, así como (...) por el acompañamiento que nos han hecho durante todo el proceso, desde la publicación de la convocatoria hasta la conclusión del número que ahora presentamos. La motivación que subyace a este trabajo es el interés en la noción de injusticia epistémica, en la que encontramos una poderosa herramienta para visibilizar qué voces tienen más presencia en los distintos contextos sociales situados en los que participamos y qué prácticas habría que aplicar para lograr una distribución más justa de capacidades, tan básicas y cruciales, como las de dar testimonio y comunicar las propias experiencias. El debate sobre injusticia epistémica ha crecido significativamente a raíz de la publicación del libro de Miranda Fricker Epistemic Injustice. Desde entonces, la discusión se ha desarrollado sobre todo en el contexto de la epistemología social feminista y antirracista, aunque ha tenido otras ramificaciones. Este número en particular reúne una serie de trabajos que aplican la noción de injusticia epistémica, tal y como fue propuesta por Fricker, a ámbitos diversos de discusión, que incluyen el análisis jurídico, el análisis del discurso y la estrategia políticos o el desarrollo de formas de resistencia epistémica, y que abordan problemas como la atribución errónea de género ─conocida como misgendering por su voz inglesa─ y el fenómeno del silenciamiento. Nos satisface comprobar que el debate es tan rico en sus ramificaciones y aplicaciones, así como haber podido reunir una muestra de esta riqueza. (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)

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first (...) case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

Model theory is the branch of mathematical logic looking at the relationship between mathematical structures and logic languages. These formal languages are free from the ambiguities of natural languages, and are becoming increasingly important in areas such as computing, philosophy and linguistics. This book provides a clear introduction to the subject for both mathematicians and the non-specialists now needing to learn some model theory.

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)

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)

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)

The present study aims to apply a program based on Hellison’s Teaching Personal and Social Responsibility Model (TPSR), traditionally used in Physical Education, to other educational subjects and examine the assessment of the teachers who carried it out during the 2018-2019 school year. The program was applied over eight months of one academic year and during at least 60% of the weekly class hours. Initially, 586 students participated, 429 being experimental subjects with 30 teachers, of whom 16 participated in the (...) interviews carried out, all of them being Secondary Education teachers. We used qualitative methodology through content analysis carried out with ATLAS.ti 7.1.3. The instruments used to collect information were semi-structured recorded group interviews. The conclusion is that the Personal and Social Responsibility Model can be applied to all subjects in the curriculum and is adaptable to any content and type of student body. As a basis for future research, we suggest the application of the model by all teachers involved in the same school year and the participation of students’ families. (shrink)

El presente trabajo analiza el concepto de ciudadanía y algunas de sus implicaciones en el marco de las democracias occidentales actuales. Partiendo de la premisa de que ser ciudadano supone una determinada relación con un Estado, se revisan algunas de las fundamentaciones clásicas del concepto y se concluye que lo relevante es la variedad de derechos sustantivos que el Estado reconoce a sus sujetos políticos. La esencia de ser ciudadano se desvela revisando el repertorio de derechos a los que su (...) estatuto jurídico permite acceder. Se reflexiona desde ese punto de partida sobre el momento actual, advirtiendo que la pérdida de peso político de los Estados merma derechos ciudadanos y provoca la desafección hacia la política tradicional creando nuevas formas de participación política, cuyos riesgos y virtualidades son destacados. Finalmente, se señala la necesidad de generar estructuras de poder en las que los ciudadanos tengan la posibilidad de ejercer sus derechos políticos y cómo dicha pretensión está ligada al ideal del ciudadano cosmopolita y a instituciones internacionales que den cabida a la diversidad cultural. Se concluye apuntando el papel decisivo que juega la reflexión ética en el reconocimiento de valores mínimos que permitan alcanzar acuerdos que se traduzcan en derechos universalizables. (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)

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.

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.

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)

In this contribution we suggest two simple contentions: i) that Saint Anselm’s ontological argument, as presented in the Proslogion, only makes sense if embedded in an ordered and bounded ontology; and ii) that an interpretation of the main premise of the argument, within such ontology, produces a dilemma that demands a new revision of the argument.

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.

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)

In this paper we ask ourselves whether Szabolcsi’s numerical term logic is a fuzzy logic. Our answer is in the affirmative. In order to justify such a claim, we first expound some preliminaries that help us understand why the inclusion of fuzzy quantifiers is a sufficient condition for fuzziness. Then we present Szabolcsi’s logic, which includes said quantifiers.

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.

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)

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)

Malware is a sophisticated, malicious, and sometimes unidentifiable application on the network. The classifying network traffic method using machine learning shows to perform well in detecting malware. In the literature, it is reported that this good performance can depend on a reduced set of network features. This study presents an empirical evaluation of two statistical methods of reduction and selection of features in an Android network traffic dataset using six supervised algorithms: Naïve Bayes, support vector machine, multilayer perceptron neural network, (...) decision tree, random forest, and K-nearest neighbors. The principal component analysis and logistic regression methods with p value were applied to select the most representative features related to the time properties of flows and features of bidirectional packets. The selected features were used to train the algorithms using binary and multiclass classification. For performance evaluation and comparison metrics, precision, recall, F-measure, accuracy, and area under the curve were used. The empirical results show that random forest obtains an average accuracy of 96% and an AUC-ROC of 0.98 in binary classification. For the case of multiclass classification, again random forest achieves an average accuracy of 87% and an AUC-ROC over 95%, exhibiting better performance than the other machine learning algorithms. In both experiments, the 13 most representative features of a mixed set of flow time properties and bidirectional network packets selected by LR were used. In the case of the other five classifiers, their results in terms of precision, recall, and accuracy, are competitive with those obtained in related works, which used a greater number of input features. Therefore, it is empirically evidenced that the proposed method for the selection of features, based on statistical techniques of reduction and extraction of attributes, allows improving the identification performance of malware traffic, discriminating it from the benign traffic of Android applications. (shrink)