¿En qué momento la palabra “crisis” se convirtió en un lugar común para interpretar el presente? ¿De qué vocabularios filosóficos disponemos y/o necesitamos crear para pensar el presente? En este artículo, mi objetivo consiste en plantear un diálogo entre el feminismo posthumano de Rosi Braidotti y la práctica teórica de la descolonización de Silvia Rivera Cusicanqui para elaborar una lectura afirmativa del presente a partir de la visión que estas pensadoras proponen sobre el tiempo, problemática común en la obra de (...) ambas autoras. Se trata de dos prespectivas contemporáneas de pensamiento y práctica política densas e imaginativas que, hasta el momento, no han sido puestas en relación. Establecer y desarrollar los términos conceptuales en que esta conversación puede ser relevante para el análisis crítico de nuestra contemporaneidad y para configurar una comprensión creativa de la temporalidad constituirá el principal aporte de este trabajo. Para abordar esta temática, en primer lugar, atenderé al análisis de la experiencia contemporánea del tiempo como la vivencia de una “crisis sin fin” y me preguntaré, con Myriam Revault, acerca de la capacidad explicativa del término “crisis” para dar cuenta del presente. En segundo lugar, expondré el estudio llevado a cabo por Braidotti sobre la experiencia temporal en el capitalismo actual y discutiré su noción de “sincronización”. Por último, explicaré las fuentes y repercusiones de la multiplicidad y heterogeneidad de los tiempos según la epistemología ch’ixi de Rivera Cusicanqui. (shrink)

¿Cuántas imágenes hacen un poema? ¿Cuántas palabras se necesitan para construir un pensamiento? Vemos palabras de la misma manera que vemos árboles y casas, pero no vemos el bosque ni la ciudad como no vemos el poema y el pensamiento; lo verdaderamente esencial de ambos permanece oculto a nuestra simple y cotidiana mirada. El ojo y el oído se han acostumbrado a ver y a oír, es natural, es lo que se espera de dos órganos que están hechos para cumplir (...) esta misión. Pero ni vemos ni oímos más allá de los límites creados por la rutina de nuestra cotidianidad, hemos fijado a la superficie el paisaje y todo cuanto lo contiene: colores, olores, sonidos y texturas; vemos sin ver, oímos sin oír, olemos sin oler, tocamos sin sentir; esto es, sin diferenciar. Sin duda, establecer la diferencia, en cada acontecimiento particular, nos permitiría ir más allá de lo que simplemente se pone frente a nosotros; estamos tentados a nombrar esta diferencia como profundidad, pero mucho me temo que la profundidad también es una trampa, se trataría más bien de saber moverse entre ambas; sería algo así como dejarse sorprender por lo nuevo que hay en lo mismo, por lo imperceptible e invisible que existe en lo real y visible de la cotidianidad. (shrink)

Es paradójico cómo la vida suele entenderse de manera menos equivocada desde la ficción, la realidad en sí y por sí se convierte en una trampa donde la razón que la justifica termina por dibujarle sus propios barrotes. Tal vez lo que sucede es que la razón no tiene tan completamente asegurada una razón, de la misma manera que la locura no está ausente de razón y de sentido; es evidente que siempre hallaremos una razón en la locura y una (...) locura en cada razón. Exacerbar la razón o la locura nos pondrá siempre en el ojo del huracán, nos hará visibles ante los demás, nos personalizará, es decir, descubrirá en cada uno de nosotros a un personaje. (shrink)

Ficción y mito son algo más que lenguajes o formas narrativas, son estructuras arquitectónicas a través de las que se fija el pensamiento y su forma manifiesta de aparecer en la cotidianidad; este texto pretende rastrear la fundación de América Latina a través de la literatura en su forma de ficción y mito.

¿Estamos los seres humanos predeterminado o somos creadores de nuestro propio destino? La respuesta puede ser inmediata, algo parecido al texto de Erich Fromm que nos sirvió de epigrafe, o demorarse un poco en algunas consideraciones históricas que nos permitan hacer el recorrido de aquello que hemos pensado a lo largo de una historia en la cual no nos conformamos con simplemente ser o existir, sino que buscamos razones que expliquen esos modos de ser y de existir, intentando claridad sobre (...) nuestro ethos. (shrink)

El presente número de la Revista Escritos recoge algunos artículos cuyos resultados fueron presentados en el II Congreso Iberoamericano de Bioética e Investigación, llevado a cabo por la Universidad Pontificia Bolivariana en convenio con la Corporación Universitaria Lasallista, entre el 17 y 19 de agosto de 2016. Así mismo, se incluyen algunas de las ponencias leídas por los invitados centrales del evento.

The following dialogue is a product of the accessibility and attention of the master Raul Fornet-Betancourt (virtues that are rarely found at this level and height of thought which the philosophy of Fornet-Betancourt enjoys internationally) for students who like my self, are initiating the ac..

In this paper I will examine Vandana Shiva’s ecofeminist thought with two goals: on the one hand, I will argue that her ecofeminism defines a vitalist materialist approach of feminine roots, since Shiva concedes an epistemological value to the practices and knowledge historically originated from the sustainability tasks that women have carried out. On the other hand and as a consequence, I will defend that she presents a political proposal, which entails a suggestive and radical redefinition of the traditional concept (...) of politics. Finally, I will try to show that the ability of attributing political meaning to experiences and actions of specific women allows for a change in perspective that Shiva accomplishes in an extremely fruitful double movement: the recognition of the existing and the affirmation of politics as present. (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)

La astucia de separar la esfera pública de la privada, hurtando a esta última todo valor, empaña los orígenes de las teorías políticas más importantes de la actualidad, como es el caso de la teoría liberal de la justicia de Rawls, que presupone elementos no discutidos en el foro. La teoría feminista ha interrogado y desplazado la frontera entre estos dos mundos. Consecuencia de lo anterior es que, de manera sibilina, se produce una sistemática apropiación de la fuerza emocional y (...) afectiva y de las capacidades de cuidado de las mujeres, principales cuidadoras, con consecuencias negativas para ellas y para la cohesión social. La familia absorbe, a menudo, sin compensación, las acciones de las mujeres como constructoras de identidades, curadoras gratuitas de heridas de otros y alimentadoras de egos ajenos. Pero el amplio espectro de trabajos que deben desenvolverse para asegurar el relevo generacional y el funcionamiento social, algunos de ellos arduos pero invisibles, es responsabilidad colectiva. (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)

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)

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.

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.

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)

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.

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)

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)