In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.

Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the modal logic (...) used for the fix point construction then we come to the Marek Schwarz and Truszczyński framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. (shrink)

In the present article, we investigated the relation between socio-demographic variables and personality factors with religious fundamentalism. Our data were collected from a sample of 125 Italian Catholic participants. Correlation analyses showed a significant association between RF and the openness domain of personality, including both facet scales. We also found a significant association between RF and conscientiousness. Regarding socio-demographic variables, we found significant correlations between RF and years of education, church attendance, belief, and age, while there was no significant correlation (...) between RF and gender. Path analysis showed that the effects on RF of socio-demographic factors are stronger than those of personality factors. (shrink)

Many recent events have contributed to the resurgence of the historically cyclical debate over euthanasia. Now, the focus rests on physician-assisted suicide. Many landmark events regarding physician-assisted suicide have occurred within the last year alone. For example, Derek Humphry's Final Exit recently became a best seller, giving people the detailed knowledge of how to “self-deliver” In The New England Journalbf Medicine, Dr. Timothy Quill shared his touching experience of assisting his patient “Diane” after she chose to decline treatment options for (...) leu- kemia. Dr. Jack Kevorkian made use of his highly publicized “death machine” to help Janet Adkins and subsequently, several other women, end their lives. (shrink)

The present study had two goals: to test the validity of Planned Happenstance Career Inventory in the Italian context and to explore the relations between PHC skills and vocational identity processes within a sample of 472 undergraduate students attending university in the southern of Italy. Moreover, we examined relations between the PHCI and measures of vocational identity processes. With regard to the first goal, results show that for the Italian version of the instrument was confirmed the multifactor structure of the (...) original version. The multi-group analyses showed that invariance between genders is supported. Convergent validity and divergent validity of the measure were reported. Concerning the second goal, the skills of planned happenstance show different associations with Vocational Identity Dimensions. As hypothesized, the exploration and commitment dimensions of vocational identity status are positive related to Planned Happenstance Skills. These findings suggest implications for career guidance and counseling. (shrink)

A U-shaped curve in a cognitive-developmental trajectory refers to a three-step process: good performance followed by bad performance followed by good performance once again. U-shaped curves have been observed in a wide variety of cognitive-developmental and learning contexts. U-shaped learning seems to contradict the idea that learning is a monotonic, cumulative process and thus constitutes a challenge for competing theories of cognitive development and learning. U-shaped behavior in language learning (in particular in learning English past tense) has become a central (...) topic in the Cognitive Science debate about learning models. Antagonist models (e.g., connectionism versus nativism) are often judged on their ability of modeling or accounting for U-shaped behavior. The prior literature is mostly occupied with explaining how U-shaped behavior occurs. Instead, we are interested in the necessity of this kind of apparently inefficient strategy. We present and discuss a body of results in the abstract mathematical setting of (extensions of) Gold-style computational learning theory addressing a mathematically precise version of the following question: Are there learning tasks that require U-shaped behavior? All notions considered are learning in the limit from positive data. We present results about the necessity of U-shaped learning in classical models of learning as well as in models with bounds on the memory of the learner. The pattern emerges that, for parameterized, cognitively relevant learning criteria, beyond very few initial parameter values, U-shapes are necessary for full learning power! We discuss the possible relevance of the above results for the Cognitive Science debate about learning models as well as directions for future research. (shrink)

When the Canonical Ramsey’s Theorem by Erdős and Rado is applied to regressive functions, one obtains the Regressive Ramsey’s Theorem by Kanamori and McAloon. Taylor proved a “canonical” version of Hindman’s Theorem, analogous to the Canonical Ramsey’s Theorem. We introduce the restriction of Taylor’s Canonical Hindman’s Theorem to a subclass of the regressive functions, the $$\lambda $$ λ -regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman’s Theorem and (...) of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that the well-ordering-preservation principle for base-$$\omega $$ ω exponentiation is reducible to this same principle by a uniform computable reduction. (shrink)

Hirst investigated a natural restriction of Hindman’s Finite Sums Theorem—called Hilbert’s Theorem—and proved it equivalent over \ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman’s Theorem provably much weaker than Hindman’s Theorem itself. We here introduce another natural restriction of Hindman’s Theorem—which we name the Adjacent Hindman’s Theorem with apartness—and prove it to be provable from Ramsey’s Theorem for pairs and strictly stronger than Hirst’s Hilbert’s Theorem. The lower bound (...) is obtained by a direct combinatorial implication from the Adjacent Hindman’s Theorem with apartness to the Increasing Polarized Ramsey’s Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman’s Theorem homogeneity is required only for finite sums of adjacent elements. (shrink)

A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and relations, broadly construed. In the past decade, spatial logics have attracted much attention in response to developments in such diverse fields as Artificial Intelligence, Database Theory, Physics, and Philosophy. The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic. The book comprises a general introduction, followed by fourteen chapters by invited authors. Each (...) chapter provides a self-contained overview of its topic, describing the principal results obtained to date, explaining the methods used to obtain them, and listing the most important open problems. Jointly, these contributions constitute a comprehensive survey of this rapidly expanding subject. (shrink)

Research is ongoing concerning the medical risks and benefits of routine neonatal male circumcision. Interpretation of the data, however, is controversial. Circumcision presents a number of challenges in obtaining informed consent because of a variety of interesting issues. It is a nonemergent, elective procedure that allows for evaluation and discussion over time. In this respect, observation of the informed consent process for circumcision is relevant to other medical decisions, such as advance directives, discussed between primary care providers and patients. Obtaining (...) informed consent for circumcision has its constraints. The process generally occurs over a brief hospital stay. There have been recent changes in the official position regarding the procedure by professional medical societies, and it raises considerable psychologic issues for the provider and may Impact the way in which Information is provided. (shrink)

ABSTRACT In 1991 the Dutch government released the results of the first national investigation into the nature and extent of decisions concerning end of life including euthanasia. A significant finding was that most cases of euthanasia were not reported. This prompted us to ask what effect, if any, not reporting caused. More specifically, we asked whether reporting has a positive or negative impact on the experiences of friends or relatives of patients who have received euthanasia. In cases of euthanasia, complications (...) of both process and experience can deter from a minimally complicated death. These difficulties arise when either the family or physician does not perceive the freedom to disclose euthanasia openly. On the basis of interviews with family members and patients, we illustrate that they generally benefit from reporting. Our premise is that reporting fosters open discussion of euthanasia. We further suggest physicians and society benefit from a milieu of openness initiated by reporting cases of euthanasia. (shrink)

We define a direct translation from finite rooted trees to finite natural functions which shows that the Worm Principle introduced by Lev Beklemishev is equivalent to a very slight variant of the well-known Kirby-Paris' Hydra Game. We further show that the elements in a reduction sequence of the Worm Principle determine a bad sequence in the well-quasi-ordering of finite sequences of natural numbers with respect to Friedman's gapembeddability. A characterization of gap-embeddability in terms of provability logic due to Lev Beklemishev (...) is also presented. (shrink)

This paper presents an interpretation of the 1945 forbidden film Scarlet Street in a way so as to touch the problem of gender in film noir. Firstly, I give an ac-count of film noir, agreeing with Robert Pippin’s argument concerning film genres. Then, I claim that time and repetition, irony and hierarchy, art and per-spective constitute the core subjects explored in Scarlet Street. Furthermore, I try to connect all the subjects into a single one. My point is to show how (...) art, perspective, time, repetition, irony and hierarchy are articulated in the main character’s gender identity. Finally, I suggest there is a deep connection be-tween the movie’s character constitution and Cavell’s understanding of gender and agency.Keywords: Film. Gender. Psychoanalysis. Cavell. Freud. (shrink)

Following the COVID-19 pandemic, many countries worldwide have put lockdowns in place to prevent the virus from spreading. Evidence shows that lockdown measures can affect mental health; it is, therefore, important to identify the psychological characteristics making individuals more vulnerable. The present study aimed, first, to identify, through a cluster analysis, the psychological attributes that characterize individuals with similar psychological responses to the COVID-19 home confinement; second, to investigate whether different psychological characteristics, such as personality traits, alexithymia, and resilience, specifically (...) influence anxiety, stress, and depression, depending on the scope of the confinement. We analyzed data from 393 participants who completed an online survey on their experiences during two different phases of the Italian lockdown, characterized by more or less strict measures of confinement. Two clusters were identified which included participants reporting a better and worse emotional response to the lockdown, respectively. Individuals in the −ER group showed lower emotional stability, resilience, and higher alexithymia. Moreover, even if lifting part of the restrictions decreased psychological distress among all participants, a reduction in perceived stress was observed only among individuals with high resilience. Finally, personality traits, alexithymia, and resilience differently affected depression, anxiety, and stress. Our results suggest that different psychological interventions should be planned depending on the context: mental health professionals should focus on enhancing the individuals’ coping strategies to alleviate stress in emergencies, while long-term intervention aiming at alleviating anxiety and depressive symptoms should focus on alexithymic tendencies and personality constructs. (shrink)

We investigate the major mathematical theories of space from a modal standpoint: topology, affine geometry, metric geometry, and vector algebra. This allows us to see new fine-structure in spatial patterns which suggests analogies across these mathematical theories in terms of modal, temporal, and conditional logics. Throughout the modal walk through space, expressive power is analyzed in terms of language design, bisimulations, and correspondence phenomena. The result is both unification across the areas visited, and the uncovering of interesting new questions.

We investigate a new paradigm in the context of learning in the limit, namely, learning correction grammars for classes of computably enumerable (c.e.) languages. Knowing a language may feature a representation of it in terms of two grammars. The second grammar is used to make corrections to the first grammar. Such a pair of grammars can be seen as a single description of (or grammar for) the language. We call such grammars correction grammars. Correction grammars capture the observable fact that (...) people do correct their linguistic utterances during their usual linguistic activities. We show that learning correction grammars for classes of c.e. languages in the TxtEx-model (i.e., converging to a single correct correction grammar in the limit) is sometimes more powerful than learning ordinary grammars even in the TxtBe-model (where the learner is allowed to converge to infinitely many syntactically distinct but correct conjectures in the limit). For each n ≥ 0, there is a similar learning advantage, again in learning correction grammars for classes of c.e. languages, but where we compare learning correction grammars that make n + 1 corrections to those that make n corrections. The concept of a correction grammar can be extended into the constructive transfinite, using the idea of counting-down from notations for transfinite constructive ordinals. This transfinite extension can also be conceptualized as being about learning Ershov-descriptions for c.e. languages. For u a notation in Kleene's general system $(O,\, < _o )$ of ordinal notations for constructive ordinals, we introduce the concept of an u-correction grammar, where u is used to bound the number of corrections that the grammar is allowed to make. We prove a general hierarchy result: if u and v are notations for constructive ordinals such that $u\, < _o \,v$ , then there are classes of c.e. languages that can be TxtEx-learned by conjecturing v-correction grammars but not by conjecturing u-correction grammars. Surprisingly, we show that— above "ω-many" corrections—it is not possible to strengthen the hierarchy: TxtEx-learning u-correction grammars of classes of c.e. languages, where u is a notation in O for any ordinal, can be simulated by TxtBe-learning ω-correction grammars, where ω is any notation for the smallest infinite ordinal ω. (shrink)

This paper explores the use of video news releases (VNRs) without source disclosure from legal and ethical perspectives. In light of current regulatory debates regarding VNRs, the paper first examines whether journalists' use of corporate VNRs without source disclosure violates FCC regulations. It then questions the ethics of using such VNRs by examining the current code of ethics for both the public relations practitioners creating VNRs and the news organizations airing them. The paper uses the ethical construct of transparency to (...) further examine the ethics of VNR production and exhibition without source disclosure. It finds that regardless of whether the use of VNRs without source disclosure violates current sponsorship rules, the use of such VNRs not only violates codes of ethics but also transparency, which includes values such as accountability, credibility, trust, respect, truth and honesty, reason, freedom, dignity, and duty. (shrink)

The human brain does not use more energy than the smaller brains of animals of comparable corporal weight. Uniquely, human functions localized largely in parts of the human brain that show greatest size increase over other animals may be mediated primarily by nonsynaptic neurotransmission, with reduced energy cost per kilogram of brain. This may affect the energetic constraints on evolution.