We study the decidability problem for metric and layered temporal logics. The logics we consider are suitable to model time granularity in various contexts, and they allow one to build granular temporal models by referring to the "natural scale" in any component of the model and by properly constraining the interactions between differently-grained components. A monadic second-order language combining operators such as temporal contextualization and projection, together with the usual displacement operator of metric temporal logics, is considered, and the theory (...) of finitely-layered metric temporal structures is shown to be decidable. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

In this paper we explore the connections between the monadic second-order theory of one successor (MSO[<] for short) and the theories of ?-layered structures for time granularity. We first prove that the decision problem for MSO[<] and that for a suitable first-order theory of the upward unbounded layered structure are inter-reducible. Then, we show that a similar result holds for suitable chain variants of the MSO theory of the totally unbounded layered structure (this allows us to solve some decision problems (...) about theories of time granularity left open by Franceschet et al. [FRA 06]). (shrink)

Foreword to the Special issue on Interval Temporal Logics and Duration Calculi.

In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...) such a translation to work with specific cases of extended modal logics. (shrink)

In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...) such a translation to work with specific cases of extended modal logics. (shrink)

(English:) This contribution attempts a first non-normative approach to the problem of the classic, its definition and its meaning in an age of globalization. It reviews a series of common representations of the classic (and other analogous or contrary terms), stressing the programmatic-ideological aspect that generally characterizes them. Classic, actually, tends to be a foundational category, and therefore rests on delimitations that determine its exclusiveness as opposed to something else. This paper, in particular, criticizes the last boundary of the exclusivity (...) of the classic, that is, its normative opposition to fashion and actuality. On the contrary, it is argued that there is a substantial link between classic, actuality and fashion. On the basis of this connection, two deflationary definitions of the classic are proposed: the first regards it as part of the broader process of construction of historical identity by concrete individuals. The second, on the other hand, conceives it as a product of art, and, therefore, of a formative process of abilities, skills, taste, by which the classic becomes the object of technical, aesthetic and teleological judgments. -/- (Spanish:) En esta contribución se intenta una primera aproximación no normativa al problema del clásico, su definición y su significado en una era de globalización. Se revisa una serie de representaciones comunes sobre lo clásico (y otros términos análogos o contrarios), se destaca el aspecto programático-ideológico que por lo general las caracteriza. Clásico, en efecto, tiende a ser una categoría fundacional, por lo cual se apoya en delimitaciones que determinan su exclusividad por oposición a otra cosa. En este trabajo, en particular, se critica la última frontera de la exclusividad de lo clásico, es decir, su oposición normativa a la moda y la actualidad. Por el contrario, se argumenta que existe un vínculo sustancial entre el clásico, la actualidad y la moda. A partir de esta conexión, se proponen dos definiciones deflacionarias del clásico: la primera lo considera parte del proceso más amplio de construcción de la identidad histórica por parte de individuos concretos. El segundo, en cambio, lo concibe como un producto del arte, y, por tanto, de un proceso de formación de competencias, habilidades, gusto, por el cual el clásico se convierte en objeto de juicios técnicos, estéticos y teleológicos. (shrink)

In a recent paper, Conway and Kochen proposed what is now known as the “Free Will theorem” which, among other things, should prove the impossibility of combining GRW models with special relativity, i.e., of formulating relativistically invariant models of spontaneous wavefunction collapse. Since their argument basically amounts to a non-locality proof for any theory aiming at reproducing quantum correlations, and since it was clear since very a long time that any relativistic collapse model must be non-local in some way, we (...) discuss why the theorem of Conway and Kochen does not affect the program of formulating relativistic GRW models. (shrink)

The standard view in social science and philosophy is that lying does not require the liar’s assertion to be false, only that the liar believes it to be false. We conducted three experiments to test whether lying requires falsity. Overall, the results suggest that it does. We discuss some implications for social scientists working on social judgments, research on lie detection, and public moral discourse.

Laspro et al. (2024) have articulated a number of important considerations in order for the first-in-human whole-eye transplant (WET) to be an ethically acceptable endeavor. These authors have clea...

Ideologies, worldviews, or simply personal theories, often acquire a distorted and pathological character, and become a factor of alienation rather than an epistemic resource and an aid for personal existence. This paper attempts to better define the limits and characteristics of this experience, which we call distorted intellectual beliefs, or general conceptual beliefs (GB), while trying to highlight both its sometimes dramatic background and its personal and social consequences, which are no less potentially deleterious. We believe that such experiences should (...) not be confused tout court with a broader and more complex phenomenon, such as extremism and politico-religious radicalism, but are a specific typology of that broader and multifaceted fact that is self-deception. We hypothesize that the self-deception implicit in experiences of intellectual distortion produces a cognitive dissonance of which the subject is normally, though with varying intensity, aware (or may become aware through honest introspection). The phenomenon occurs in two extreme forms: one is normal (sporadic), the other is exceptional (systematic). The passage from one to the other is a complex process of escalation and de-escalation, on which multiple external and internal variables act. In its ascending path, it essentially coincides with a process of psychological polarization and cognitive "de-pluralization", while its descending phase marks a return to reality and a "re-pluralization", where the subject returns to being what he basically is, namely, an active and tireless meaning seeker. In the central part of the chapter, similarities and differences between processes of deradicalization and phenomena of religious deconversion are analyzed, with reference, among others, to the case of the Austro-Hungarian writer Arthur Koestler. -/- An abridged version of this text has been delivered for the Workshop "Explaining Extreme Belief and Extreme Behavior", September 15-16, 2022, Vrije Universiteit Amsterdam. I am grateful to David Konstan (NYU) for reading and commenting on a first version of this chapter and to Rik Peels (VUA) for his comments and questions during the Workshop. I would also like to thank my bachelor's and master's students at UDG, who discussed these topics at length with during semester 2022-B. (shrink)

Ideologies, worldviews, or simply personal theories, often acquire a distorted and pathological character, and become a factor of alienation rather than an epistemic resource and an aid for personal existence. This paper attempts to better define the limits and characteristics of this experience, which we call distorted intellectual beliefs, or general conceptual beliefs (GB), while trying to highlight both its sometimes dramatic background and its personal and social consequences, which are no less potentially deleterious. We believe that such experiences should (...) not be confused tout court with a broader and more complex phenomenon, such as extremism and politico-religious radicalism, but are a specific typology of that broader and multifaceted fact that is self-deception. We hypothesize that the self-deception implicit in experiences of intellectual distortion produces a cognitive dissonance of which the subject is normally, though with varying intensity, aware (or may become aware through honest introspection). The phenomenon occurs in two forms: one is normal (sporadic), the other is exceptional (systematic). The passage from one to the other is a complex process of escalation and de-escalation, on which multiple external and internal variables act. In its ascending path, it essentially coincides with a process of psychological polarization and cognitive "de-pluralization", while its descending phase marks a return to reality and a "re-pluralization", where the subject returns to being what he basically is, namely, an active and tireless meaning seeker. In the central part of the chapter, similarities and differences between processes of deradicalization and phenomena of religious deconversion are analyzed, with reference, among others, to the case of the Austro-Hungarian writer Arthur Koestler. -/- An abridged version of this text has been delivered for the Workshop "Explaining Extreme Belief and Extreme Behavior", September 15-16, 2022, Vrije Universiteit Amsterdam. I am grateful to David Konstan (NYU) for reading and commenting on a first version of this chapter and to Rik Peels (VUA) for his comments and questions during the Workshop. I would also like to thank my bachelor's and master's students at UDG, who discussed these topics at length with during semester 2022-B. (shrink)

In view of the arguments put forward by Clifton and Monton [this volume], we reconsider the alleged conflict of dynamical reduction models with the enumeration principle. We prove that our original analysis of such a problem is correct, that the GRW model does not meet any difficulty and that the reasoning of the above authors is inappropriate since it does not take into account the correct interpretation of the dynamical reduction theories.

Naturaleza y clasificación de los derechos humanos - Un intento de definición - La libertad como hilo conductor para la clasificación de los derechos - Nuevas clases de derechos - Tradiciones políticas: liberalismo, socialismo y democracia - Tradición liberal y derechos humanos - La tradición socialista - La tradición demócrata. Modelos de fundamentación. El paradigma iusnaturalista - Utilitarismo y derechos humanos - El modelo kantiano - El historicismo.

Researchers have debated whether there is a relationship between a statement’s truth-value and whether it counts as a lie. One view is that a statement being objectively false is essential to whether it counts as a lie; the opposing view is that a statement’s objective truth-value is inessential to whether it counts as a lie. We report five behavioral experiments that use a novel range of behavioral measures to address this issue. In each case, we found evidence of a relationship. (...) A statement’s truth-value affects how quickly people judge whether it is a lie. When people consider the matter carefully and are told that they might need to justify their answer, they are more likely to categorize a statement as a lie when it is false than when it is true. When given options that inhibit perspective-taking, people tend to not categorize deceptively motivated statements as lies when they are true, even though they still categorize them as lies when they are false. Categorizing a speaker as “lying” leads people to strongly infer that the speaker’s statement is false. People are more likely to spontaneously categorize a statement as a lie when it is false than when it is true. We discuss four different interpretations of relevant findings to date. At present, the best supported interpretation might be that the ordinary lying concept is a prototype concept, with falsity being a centrally important element of the prototypical lie. (shrink)

In view of the arguments put forward by Clifton and Monton [this volume], we reconsider the alleged conflict of dynamical reduction models with the enumeration principle. We prove that our original analysis of such a problem is correct, that the GRW model does not meet any difficulty and that the reasoning of the above authors is inappropriate since it does not take into account the correct interpretation of the dynamical reduction theories.

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

This volume commemorates the scientific contributions of Detlef Dürr (1951–2021) to foundational questions of physics. It presents new contributions from his former students, collaborators, and colleagues about their current research on topics inspired or influenced by Dürr. These topics are drawn from physics, mathematics, and philosophy of nature, and concern interpretations of quantum theory, new developments of Bohmian mechanics, the role of typicality, quantum physics in relativistic space-time, classical and quantum electrodynamics, and statistical mechanics. The volume thus also gives a (...) snapshot of present research in the foundations of physics. (shrink)

A standard view in social science and philosophy is that a lie is a dishonest assertion: to lie is to assert something that you think is false in order to deceive your audience. We report four behavioral experiments designed to evaluate some aspects of this view. Participants read short scenarios and judged several features of interest, including whether an agent lied. We found evidence that ordinary lie attributions can be influenced by aspects of audience uptake, are based on judging that (...) the agent made an assertion (assertion attributions), and, at least in some contexts, are not based on attributions of deceptive intent. The finding on assertion attributions is predicted by the standard view, but the finding on intent attributions is not. These results help to further clarify the ordinary concept of lying and shed light on the psychological processes involved in ordinary lie attributions and related judgments. (shrink)

Limited health literacy is a pervasive and independent risk factor for poor health outcomes. Despite decades of reports exhibiting that the healthcare system is overly complex, unneeded complexity remains commonplace and endangers the lives of patients, especially those with limited health literacy. In this article, we define health literacy and describe the empirical evidence associating health literacy and poor health outcomes. We recast the issue of poor health literacy from within the ethical perspective of the least well-off and argue that (...) poor health outcomes deriving from limited health literacy ought to be understood as a fundamental injustice of the healthcare system. We offer three proposals that attempt to rectify this injustice, including: universal precautions that presume limited health literacy for all healthcare users; expanded use of technology supported communication; and clinical incentives that account for limited health literacy. (shrink)

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic (...) versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)