This article explores the relationship between the philosophy of the limit of Eugenio Trías and the sufism of Ibn ʿArabī. Firstly, it explains the function of the philosophy of religion in the triasian system and why the andalusian master has a privileged position. Secondly, it presents some essential aspects of the akbarian doctrine obtured by the philosophy of limit, as the declaration of the unity of Being, the path of servanthood, the transit from the sudden passion of love to the (...) spiritual love, the spiritual knighthood and the station of no-station. All of them share a common element: the trascendence of the egoic and the interest on the other as other. Finally, the article defends that Trias obturates the andalusian master doctrine due to the influence of Henry Corbin and mainly to the own limitations of its own philosophical project. The absent Ibn ʿArabī will be its shadow. (shrink)

El presente artículo es un estudio sobre las diferenciaciones (aqsām) del amor, uno de los puntos más importantes del principal escrito que Ibn ʿArabī dedicó a la cuestión amorosa, el capítulo 178 de Las Iluminaciones de La Meca (al-Futūḥāt al-Makkiyya). A través de un juego de oscilación y equilibrio entre perspectivas ontológicas y epistemológicas aparentemente enfrentadas –incomparabilidad/similaridad, oculto/manifiesto, unidad/multiplicidad, espíritu/cuerpo– y un recurrente manejo del lenguaje de las alusiones (išāra), el maestro andalusí distingue entre amor divino (ilāhī), espiritual (rūḥānī), natural (...) (ṭabī‘ī) y elemental (ʿunṣurī). Se ofrece un análisis y comentario del texto akbarí que pretende aclarar la especificidad de cada una de estas nociones, así como su íntima relación con el discurso amoroso del autor. (shrink)

En su gran texto dedicado al amor — el capítulo 178 de _Las Iluminaciones de La Meca_—, Ibn ʿArabī comenta siete cualidades (_ṣ__ifāt_) que, según el Corán, suscitan el amor de Dios hacia los seres humanos. A lo largo de nuestro trabajo analizaremos el comentario akbarí y mostraremos cómo la clave para actualizar dichas cualidades consiste en_ hacer del propio ser un regalo de __amor_. O lo que es lo mismo: realizar un movimiento análogo al de Dios en cuanto que (...) El Omni-Compasivo (_al-Ra__ḥ__mān_), Quien a cada instante, de modo incondicional y sin esperar nada a cambio, asiste amorosamente a todas y cada una de Sus criaturas. (shrink)

Este artículo explora la relación entre la filosofía del límite de Eugenio Trías y el sufismo de Ibn ʿArabī. En primer lugar, pretende explicar la función de la filosofía de la religión en el sistema triasiano y por qué el maestro andalusí ocupa un lugar privilegiado en ella. Segundo, se ocupa de algunos aspectos esenciales de la doctrina akbarí que la filosofía del límite obtura, como la declaración de la unidad del Ser (tawḥīd), la conjugación de lo exotérico y lo (...) esotérico, la superación de la propia creencia, el camino de la servidumbre (ʿubūdiyya), el tránsito de la pasión súbita de amor (hawā) al amor espiritual (ḥubb), la caballería espiritual (futuwwa) y la morada de la no-morada (maqām lā maqām), los cuales comparten un nexo común: el trascendimiento de lo egoico y el interés en el otro en tanto otro. Finalmente, se defenderá que la obturación triasiana se debe tanto al influjo de Henry Corbin, como sobre todo, a las propias limitaciones de su proyecto filosófico, para el que el Ibn ʿArabī ausente constituye una suerte de sombra. (shrink)

Se ofrece una interpretación de la filosofía política de María Zambrano desde el sufismo deIbnʿArabī. Primero, explicaremos tres nociones centrales en la obra del Šayḫ, como la doble fidelidad a la dimensión de la «incomparabilidad» (tanzīh) y de la «similaridad» (tašbīh), la «nueva creación» (ḫalq al-ǧadīd) y el «hombre perfecto» (insān al-kāmil). Después, trataremos algunos de los textos más políticos de Zambrano, como Horizonte del liberalismo(1929), Isla de Puerto Rico (1940), «Martí, camino de su muerte» (1953) y Persona y democracia (...) (1958). Según veremos, el marco ontológico, epistemológico y antropológicodel maestro andalusí permite ahondar en el sentido místico del discurso político zambraniano. (shrink)

[español] En primer lugar, el texto ofrece un acercamiento al papel que amor y nostalgia cumplen en la poesía de Emilio Prados, así como a su íntimo nexo con la muerte como aniquilación mística. Como herramienta interpetativa, recurriré a la razón poética de María Zambrano, autora profundamente emparentada, vital y teóricamente, con la poesía pradiana. Este enfoque permitirá una visión de conjunto sobre la obra del poeta español y en segundo lugar, trazar una comparativa con el saudosismo de Teixeira de (...) Pascoaes. Así, indicaré las numerosas coincidencias que existen entre ambos y me detendré en la cuestión de la muerte mística, ámbito más problemático, donde sin embargo, puede apreciarse una comunión de espíritu entre el español y el portugués. ****************** [english] Firstly, the text offers an approach to the function of love and nostalgia in the poetry of Emilio Prados, as much as its intimate connection with death as mystical annihilation. As interpretive tool, I will use the poetic reason of María Zambrano, an author deeply linked, vital and theoretically, with pradian poetry. This focus will provide an overall view of Prado's work and the possibility of a comparison with Teixeira de Pascoaes's saudosism. Thus, I will point same coincidences between them and I will consider the question of mystical death. This sphere, although it is problematic, can show some kind of community of spirit between both. (shrink)

El presente artículo trata la presentación que Henry Corbin hace del sufismo de Ibn ' Arabī. Pretende mostrar cómo el proyecto filosófico del pensador francés (atravesado de protestantismo, heideggerianismo y fenomenología) produce una obturación de la doctrina akbarí, que denota cierta falta de amor o desinterésen la alteridad en tanto alteridad. El itinerario constará de cinco pasos. Primero, nos acercaremos a los años de formación de Corbin. Segundo, presentaremo salgunos puntos esenciales de su obra más célebre, La imaginación creadora en (...) el sufismo de Ibn ‘Arabî. Tercero, se mostrarán aquellos aspectos de la doctrinade Ibn ' Arabī allí obturados. Cuarto, expondremos algunas conclusiones a partir de estas ausencias. Quinto, a modo de epílogo, y ya en el ámbito de la filosofía latinoamericana, ofreceremos una mirada al proyecto de la transmodernidad de Enrique Dussel, desde el paradigma del amor akbarí. (shrink)

Resumen: El texto pretende un acercamiento al carácter amoroso de la escritura de Maria Gabriela Llansol. Explica cómo ésta, igual que la de María Zambrano, lleva la defensa amorosa del devenir de Nietzsche un paso más allá, en tanto nace de un interés por la otredad en sí misma y no de una voluntad de autoafirmación. La ruptura de las nociones convencionales de tiempo, espacio e identidad será una de las vías que utiliza. En ello puede apreciarse cierta similitud con (...) Muḥyī al-Dīn Ibn ʿArabī, de quien aprendió la necesidad de buscar un tiempo propio para el alma, diferente del cuantitativo y cuya doctrina del amor y de la santidad exige un genuino interés en la otredad en tanto otredad. -/- Abstract: The text is an attempt to approach the loving character of the writing of Maria Gabriela Llansol. It explains how her works, similarly to those of María Zambrano, go further than Nietzsche in the affirmation of the becoming: as long as there is not will of self-affirmation, but an authentic interest in alterity. One of the paths she explores is to break the conventional notions of time, space and identity. It is possible to appreciate two coincidences with Muḥyī al-Dīn Ibn ʿArabī. First, Llansol learned from him the need of an own time for the soul, different from quantitative time. Second, Ibn ʿArabī’s doctrine of love and sainthood also implies a genuine interest in otherness as otherness. (shrink)

Political fact-checkers evaluate the truthfulness of politicians’ claims. This paper contributes to an emerging scholarly debate on whether fact-checkers treat political parties differently in a systematic manner depending on their ideology (bias). We first examine the available approaches to analyze bias and then present a new approach in two steps. First, we propose a logistic regression model to analyze the outcomes of fact-checks and calculate how likely each political party will obtain a truth score. We test our model with a (...) sample of fact-checks from Newtral, a major Spanish fact-checker. Our model would signal bias under two assumptions: a) all political parties are on average equally accurate in their statements; b) the verification method gives precise instructions and is implemented systematically. We investigate this second assumption with a series of interviews with Newtral fact-checkers. We show that standard verification protocols are so loosely implemented that fact-checks reflect a set of journalistic decisions, rather than a bias in the statistical sense. We call for a more rigorous definition of verification methods as a pre-requisite for an unbiased assessment of politician’s claims. (shrink)

Dynamic topological logic combines topological and temporal modalities to express asymptotic properties of dynamic systems on topological spaces. A dynamic topological model is a triple 〈X ,f , V 〉, where X is a topological space, f : X → X a continuous function and V a truth valuation assigning subsets of X to propositional variables. Valid formulas are those that are true in every model, independently of X or f. A natural problem that arises is to identify the logics (...) obtained on familiar spaces, such as . It [9] it was shown that any satisfiable formula could be satisfied in some for n large enough, but the question of how the logic varies with n remained open.In this paper we prove that any fragment of DTL that is complete for locally finite Kripke frames is complete for . This includes DTL○; it also includes some larger fragments, such as DTL1, where “henceforth” may not appear in the scope of a topological operator. We show that satisfiability of any formula of our language in a locally finite Kripke frame implies satisfiability in by constructing continuous, open maps from the plane into arbitrary locally finite Kripke frames, which give us a type of bisimulation. We also show that the results cannot be extended to arbitrary formulas of DTL by exhibiting a formula which is valid in but not in arbitrary topological spaces. (shrink)

We show that given a finite, transitive and reflexive Kripke model 〈 W , ≼, ⟦ ⋅ ⟧ 〉 and $${w \in W}$$ , the property of being simulated by w (i.e., lying on the image of a literalpreserving relation satisfying the ‘forth’ condition of bisimulation) is modally undefinable within the class of S4 Kripke models. Note the contrast to the fact that lying in the image of w under a bi simulation is definable in the standard modal language even (...) over the class of K4 models, a fairly standard result for which we also provide a proof. We then propose a minor extension of the language adding a sequent operator $${\natural}$$ (‘tangle’) which can be interpreted over Kripke models as well as over topological spaces. Over finite Kripke models it indicates the existence of clusters satisfying a specified set of formulas, very similar to an operator introduced by Dawar and Otto. In the extended language $${{\sf L}^+ = {\sf L}^{\square\natural}}$$ , being simulated by a point on a finite transitive Kripke model becomes definable, both over the class of (arbitrary) Kripke models and over the class of topological S4 models. As a consequence of this we obtain the result that any class of finite, transitive models over finitely many propositional variables which is closed under simulability is also definable in L + , as well as Boolean combinations of these classes. From this it follows that the μ -calculus interpreted over any such class of models is decidable. (shrink)

A growing number of recreational races are being held in different locations, drawing many local and visiting runners. This study examined the relationships between quality, value, satisfaction, and loyalty among runners in a recreational race and examines potential differences in relationships between these constructs based on the runners’ experience. The participants were 985 runners with a mean age of 40.74±9.41years. Validated, reliable ad hoc instruments were used. A multi-group analysis was performed to ascertain the existence of relationships between the constructs (...) and differences in the relationships between the different study groups. The results show that quality is a direct antecedent of value and satisfaction. Value is directly related to satisfaction and indirectly related to loyalty. Satisfaction is related to the loyalty of participants in the race. Differences in the relationship between satisfaction and loyalty were dependent upon the runners’ experience. Loyalty to a race depends primarily on satisfaction and is modified by the runners’ experience. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be of (...) some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

In this work, we shall study structural abduction and how ways of searching for solutions to the corresponding abductive problems could be modeled. Specifically, we shall define modal semantic tableaux for normal modal systems and study its applications to structural abduction. This method even makes structural abduction clearer and, as it shall be seen, when a radical change of logic is epistemologically required, the corresponding tableau will have pertinent information to suggest it.

Dynamic Topological Logic (DFH) is a multimodal system for reasoning about dynamical systems. It is defined semantically and, as such, most of the work done in the field has been model-theoretic. In particular, the problem of finding a complete axiomatization for the full language of DFH over the class of all dynamical systems has proven to be quite elusive. Here we propose to enrich the language to include a polyadic topological modality, originally introduced by Dawar and Otto in a different (...) context. We then provide a sound axiomatization for DFH over this extended language, and prove that it is complete. The polyadic modality is used in an essential way in our proof. (shrink)

Goodstein’s theorem states that certain sequences based on exponential notation for the natural numbers are always finite. The result is independent of Peano arithmetic and is a prototypical example of a proof of termination by transfinite induction. A variant based instead on the Ackermann function has more recently been proposed by Arai, Fernández-Duque, Wainer, and Weiermann, and instead is independent of the more powerful theory ATR0. However, this result is contingent on rather elaborate normal forms for natural numbers based (...) on a “sandwiching” procedure. This leaves open both the question of whether the sandwiching procedure can be eliminated while retaining the full strength of the Ackermannian Goodstein principle, and whether other normal forms can lead to nontermination. In this article we settle these questions by showing that any Goodstein process based on the Ackermann function is terminating, and indeed the sandwiching procedure gives rise to Goodstein principles of maximal length. We thus obtain an equivalent principle which does not involve normal forms at all and immediately implies all Ackermannian Goodstein principles that have been considered. Our techniques provide a new approach to termination proofs, where terms in a sequence do not necessarily decrease in complexity, but instead are majorized by some “master” process, already known to be terminating. (shrink)

Dynamic Topological Logic ( ) is a modal logic which combines spatial and temporal modalities for reasoning about dynamic topological systems , which are pairs consisting of a topological space X and a continuous function f : X → X . The function f is seen as a change in one unit of time; within one can model the long-term behavior of such systems as f is iterated. One class of dynamic topological systems where the long-term behavior of f is (...) particularly interesting is that of minimal systems ; these are dynamic topological systems which admit no proper, closed, f -invariant subsystems. In such systems the orbit of every point is dense, which within translates into a non-trivial interaction between spatial and temporal modalities. This interaction, however, turns out to make the logic simpler, and while s in general tend to be undecidable, interpreted over minimal systems we obtain decidability, although not in primitive recursive time; this is the main result that we prove in this paper. We also show that interpreted over minimal systems is incomplete for interpretations on relational Kripke frames and hence does not have the finite model property; however it does have a finite non-deterministic quasimodel property. Finally, we give a set of formulas of which characterizes the class of minimal systems within the class of dynamic topological systems, although we do not offer a full axiomatization for the logic. (shrink)

Cardiology is characterized by its state-of-the-art biomedical technology and the predominance of Evidence-Based Medicine. This predominance makes it difficult for healthcare professionals to deal with the ethical dilemmas that emerge in this subspecialty. This paper is a first endeavor to empirically investigate the axiological foundations of the healthcare professionals in a cardiology hospital. Our pilot study selected, as the target population, cardiology personnel not only because of their difficult ethical deliberations but also because of the stringent conditions in which they (...) have to make them. Therefore, there is an urgent need to reconsider clinical ethics and Value-Based Medicine. This study proposes a qualitative analysis of the values and the virtues of healthcare professionals in a cardiology hospital in order to establish how the former impact upon the medical and ethical decisions made by the latter. (shrink)

Goodstein’s principle is arguably the first purely number-theoretic statement known to be independent of Peano arithmetic. It involves sequences of natural numbers which at first appear to diverge, but eventually decrease to zero. These sequences are defined relative to a notation system based on exponentiation for the natural numbers. In this article, we provide a self-contained and modern analysis of Goodstein’s principle, obtaining some variations and improvements. We explore notions of optimality for notation systems and apply them to the classical (...) Goodstein process and to a weaker variant based on multiplication rather than exponentiation. In particular, we introduce the notion of base-change maximality, and show how it leads to far-reaching extensions of Goodstein’s result. We moreover show that by varying the initial base of the Goodstein process, one readily obtains independence results for each of the fragments $\mathsf {I}\Sigma _n$ of Peano arithmetic. (shrink)

Given the pervasiveness of AI systems and their potential negative effects on people’s lives (especially among already marginalised groups), it becomes imperative to comprehend what goes on when an AI system generates a result, and based on what reasons, it is achieved. There are consistent technical efforts for making systems more “explainable” by reducing their opaqueness and increasing their interpretability and explainability. In this paper, we explore an alternative non-technical approach towards explainability that complement existing ones. Leaving aside technical, statistical, (...) or data-related issues, we focus on the very conceptual underpinnings of the design decisions made by developers and other stakeholders during the lifecycle of a machine learning project. For instance, the design and development of an app to track snoring to detect possible health risks presuppose some picture or another of “health”, which is a key notion that conceptually underpins the project. We take it as a premise that these key concepts are necessarily present during design and development, albeit perhaps tacitly. We argue that by providing “justificatory explanations” about how the team understands the relevant key concepts behind its design decisions, interested parties could gain valuable insights and make better sense of the workings and outcomes of systems. Using the concept of “health”, we illustrate how a particular understanding of it might influence decisions during the design and development stages of a machine learning project, and how making this explicit by incorporating it into ex-post explanations might increase the explanatory and justificatory power of these explanations. We posit that a greater conceptual awareness of the key concepts that underpin design and development decisions may be beneficial to any attempt to develop explainability methods. We recommend that “justificatory explanations” are provided as technical documentation. These are declarative statements that contain at its simplest: (1) a high-level account of the understanding of the relevant key concepts a team possess related to a project’s main domain, (2) how these understandings drive decision-making during the life-cycle stages, and (3) it gives reasons (which could be implicit in the account) that the person or persons doing the explanation consider to have plausible justificatory power for the decisions that were made during the project. (shrink)

In the context of [Formula: see text], we analyze a version of Hindman’s finite unions theorem on infinite sets, which normally requires the Axiom of Choice to be proved. We establish the implication relations between this statement and various classical weak choice principles, thus precisely locating the strength of the statement as a weak form of the [Formula: see text].

Dynamic Topological Logic () is a combination of , under its topological interpretation, and the temporal logic interpreted over the natural numbers. is used to reason about properties of dynamical systems based on topological spaces. Semantics are given by dynamic topological models, which are tuples , where is a topological space, f a function on X and V a truth valuation assigning subsets of X to propositional variables. Our main result is that the set of valid formulas of over spaces (...) with continuous functions is recursively enumerable. We show this by defining alternative semantics for . Under standard semantics, is not complete for Kripke frames. However, we introduce the notion of a non-deterministic quasimodel, where the function f is replaced by a binary relation g assigning to each world multiple temporal successors. We place restrictions on the successors so that the logic remains unchanged; under these alternative semantics, becomes Kripke-complete. We then apply model-search techniques to enumerate the set of all valid formulas. (shrink)

We introduce the logics GLP Λ, a generalization of Japaridze’s polymodal provability logic GLP ω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLP ω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLP Λ and the decidability of GLP Λ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment (...) of GLP Λ. (shrink)

For any ordinal $\Lambda$, we can define a polymodal logic $\mathsf{GLP}_\Lambda$, with a modality $[\xi]$ for each $\xi < \Lambda$. These represent provability predicates of increasing strength. Although $\mathsf{GLP}_\Lambda$ has no Kripke models, Ignatiev showed that indeed one can construct a Kripke model of the variable-free fragment with natural number modalities, denoted $\mathsf{GLP}^0_\omega$. Later, Icard defined a topological model for $\mathsf{GLP}^0_\omega$ which is very closely related to Ignatiev's. In this paper we show how to extend these constructions for arbitrary $\Lambda$. (...) More generally, for each $\Theta,\Lambda$ we build a Kripke model $\mathfrak I^\Theta_\Lambda$ and a topological model $\mathfrak T^\Theta_\Lambda$, and show that $\mathsf{GLP}^0_\Lambda$ is sound for both of these structures, as well as complete, provided $\Theta$ is large enough. (shrink)

A union ultrafilter is an ultrafilter over the finite subsets of ω that has a base of sets of the form ${\text{FU}}\left$, where X is an infinite pairwise disjoint family and ${\text{FU}} = \left\{ {\bigcup {F|F} \in [X]^{ < \omega } \setminus \{ \emptyset \} } \right\}$. The existence of these ultrafilters is not provable from the $ZFC$ axioms, but is known to follow from the assumption that ${\text{cov}}\left = \mathfrak{c}$. In this article we obtain various models of $ZFC$ that (...) satisfy the existence of union ultrafilters while at the same time ${\text{cov}}\left = \mathfrak{c}$. (shrink)

We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.

Ordinal functions may be iterated transfinitely in a natural way by taking pointwise limits at limit stages. However, this has disadvantages, especially when working in the class of normal functions, as pointwise limits do not preserve normality. To this end we present an alternative method to assign to each normal function f a family of normal functions Hyp[f]=〈fξ〉ξ∈OnHyp[f]=〈fξ〉ξ∈On, called its hyperation, in such a way that f0=idf0=id, f1=ff1=f and fα+β=fα∘fβfα+β=fα∘fβ for all α, β.Hyperations are a refinement of the Veblen hierarchy (...) of f. Moreover, if f is normal and has a well-behaved left-inverse g called a left adjoint, then g can be assigned a cohyperationcoH[g]=〈gξ〉ξ∈OncoH[g]=〈gξ〉ξ∈On, which is a family of initial functions such that gξgξ is a left adjoint to fξfξ for all ξ. (shrink)

Provability logics are modal or polymodal systems designed for modeling the behavior of Gödel’s provability predicate and its natural extensions. If Λ is any ordinal, the Gödel-Löb calculus GLPΛ contains one modality [λ] for each λ < Λ, representing provability predicates of increasing strength. GLPω has no non-trivial Kripke frames, but it is sound and complete for its topological semantics, as was shown by Icard for the variable-free fragment and more recently by Beklemishev and Gabelaia for the full logic. In (...) this paper we generalize Beklemishev and Gabelaia’s result to GLPΛ for countable Λ. We also introduce provability ambiances, which are topological models where valuations of formulas are restricted. With this we show completeness of GLPΛ for the class of provability ambiances based on Icard polytopologies. (shrink)

The paper presents a new logic for reasoning about the formation of beliefs through perception or through inference in non-omniscient resource-bounded agents. The logic distinguishes the concept of explicit belief from the concept of background knowledge. This distinction is reflected in its formal semantics and axiomatics: we use a non-standard semantics putting together a neighborhood semantics for explicit beliefs and relational semantics for background knowledge, and we have specific axioms in the logic highlighting the relationship between the two concepts. Mental (...) operations of perceptive type and inferential type, having effects on epistemic states of agents, are primitives in the object language of the logic. At the semantic level, they are modelled as special kinds of model-update operations, in the style of dynamic epistemic logic. Results about axiomatization, decidability and complexity for the logic are given in the paper. (shrink)

The study investigated the influence of resilience and dispositional optimism on, first, emotional distress and, second, the intention to self-isolate, experienced by people with a lower and higher illness risk, during the lockdown imposed in Spain during the first COVID-19 wave. These effects were investigated against the background of the Health Belief Model. A convenience sample of N = 325 participants completed an online survey including an ad-hoc questionnaire measuring the HBM core factors: Perceived health threat, and perceived quarantine benefits (...) and costs. Self-efficacy and perceived social pressure were also measured. Based on reviews regarding pandemic outbreaks, quarantine benefits were conceptualized as the perceived effectiveness and solidary contribution of self-isolating in line with the quarantine protocols. Quarantine “psychosocial” costs were conceptualized as a composite of perceived boredom, loneliness, and economic concerns. Findings revealed an asymmetrical pattern of results so that people at higher risk were more distressed by the perceived severity of getting infected whereas people at lower risk were more distressed by the psychosocial costs. Moreover, resilience and optimism were more “protective” against distress within the lower and higher risk groups, respectively. In addition, quarantine benefits and self-efficacy promoted the intention to self-isolate within both groups. However, optimism hindered such intention. This finding is discussed in the light of links between dispositional optimism and optimistic bias; the underestimation of experiencing negative events, which can relax the perceived health risk. Based on these findings, communication campaigns should prioritize information about the effectiveness of the implemented preventive behaviors rather than the costs of not implementing them, and be cautionary in encouraging excessive optimism. (shrink)

The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.

The European Union’s Artificial Intelligence Act (AI Act) is a groundbreaking regulatory framework that integrates technical concepts and terminology from the rapidly evolving ecosystems of AI research and innovation into the legal domain. Precise definitions accessible to both AI experts and lawyers are crucial for the legislation to be effective. This paper provides an interdisciplinary analysis of the concepts of AI system, general purpose AI system, foundation model and generative AI across the different versions of the legal text (Commission proposal, (...) Parliament position and Council General Approach) before the final political agreement. The goal is to help bridge the understanding of these key terms between the technical and legal communities and contribute to a proper implementation of the AI Act. We provide an analysis of the concept of AI system considering its scientific foundation and the crucial role that it plays in the regulation, which requires a sound definition both from legal and technical standpoints. We connect the outcomes of this discussion with the analysis of the concept of general purpose AI system and its evolution during the negotiations. We also address the distinct conceptual meanings of AI system vs AI model and explore the technical nuances of the term foundation model. We conclude that rooting the definition of foundation model to its general purpose capabilities following standardised evaluation methodologies appears to be most appropriate approach. Lastly, we tackle the concept of generative AI, arguing that definitions of AI system that include “content” as one of the system’s outputs already captures it, and concluding that not all generative AI is based on foundation models. (shrink)