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)

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)

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)

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)

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)

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)

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)

In Gramsci and Languages Alessandro Carlucci explores the origins and significance of Antonio Gramsci's interest in language, showing in particular how his experience of linguistic and cultural diversity contributed to the shaping of his intellectual and political profile.

_Riassunto_: Questo lavoro intende offrire una prospettiva sulla filosofia della mente implicita nell’opera di Pierre Bourdieu. Propongo di organizzare e analizzare le questioni psicologiche che si dipanano nella teoria della pratica di Bourdieu su due diversi piani descrittivi della sfera del mentale: quello ontologico e quello architettonico. Nella prima parte del lavoro chiarirò il concetto di habitus sulla base della sua costituzione schematica. Poi, definito l’habitus come “super-schema psicosociale”, esplorerò il suo funzionamento incarnato alla luce della teoria cognitiva della metafora. (...) Nella seconda parte del lavoro, intendo chiarire l’architettura del mentale che emerge dalla relazione che Bourdieu teorizza tra conoscenza pratica e conoscenza riflessiva. Qui, vorrei prima sottolineare come Bourdieu faccia uso di un’architettura duale della mente, segnata da una particolare doppia-opacità riflessiva, per sostenere poi che le affermazioni metacognitive di Bourdieu ben si adattano agli approcci contemporanei della parità sé-altro della conoscenza di sé. Infine sosterrò come il funzionamento inconscio dell’habitus sia coerente con una visione cognitiva dell’inconscio. _Parole chiave_: La filosofia della mente di Bourdieu; Habitus; Schema; Dualità della mente; Parità Sé-Altro; Inconscio cognitivo _The ontology and architecture of the mind in Pierre Bourdieu’s theory of practice_ _Abstract_: This article provides an outline of Bourdieu’s hidden philosophy of mind. I propose to organize and analyse the psychological themes that flow trough Bourdieu’s theory of practice using two different levels of description of the mental, the ontological and architectonic. In the first part of the article, I clarify the concept of habitus on the ground of its schematical constitution. Conceptualising habitus as a “psychosocial super-schema”, I explore its embodied functioning in the light of cognitive metaphor theory. In the second part, I clarify the architecture of the mental as it emerges from the relationship Bourdieu theorizes between practical and reflexive knowledge. Here, I first stress that Bourdieu employs a dual architecture of mind marked by a peculiar reflexive double-opacity, and then I argue that Bourdieu’s metacognitive claims fit the contemporary self-other parity accounts of self-knowledge. Finally, I claim that the unconscious functioning of habitus is consistent with a cognitivist theory of the unconscious. _Keywords_: Bourdieu’s Philosophy of Mind; Habitus; Schema; Duality of Mind; Self-Other Parity; Cognitive Unconscious. (shrink)

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)

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)

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)

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)

BackgroundThe aim of this study was to explore the construct validity and diagnostic properties of the Reading the Mind in the Eyes Test in non-demented patients with amyotrophic lateral sclerosis.MaterialsA total of 61 consecutive patients and 50 healthy controls were administered the 36-item RMET. Additionally, patients underwent a comprehensive assessment of social cognition via the Story-Based Empathy Task, which encompasses three subtests targeting Causal Inference, Emotion Attribution, and Intention Attribution, as well as global cognitive [the Edinburgh Cognitive and Behavioral ALS (...) Screen ] and behavioral screening [the Frontal Behavioral Inventory ; the Dimensional Apathy Scale ; the Beck Depression Inventory ; and the State and Trait Anxiety Inventory-Y]. The construct validity of the RMET was tested by regressing it within a stepwise model that encompassed as predictors the abovementioned cognitive and behavioral measures, covarying for demographic and motor confounders. Receiver-operating characteristics analyses allowed exploring intrinsic and post-test properties of the RMET both in discriminating patients from HCs and in identifying patients with a defective SET-EA performance.ResultsThe RMET was solely predicted by the SET-EA and SET-IA. RMET scores showed high accuracy both in discriminating patients from HCs and in identifying patients with a defective SET-EA score, with adequate-to-optimal both intrinsic and post-test properties.DiscussionThe RMET is a convergently and divergently valid measure of affective social cognition in non-demented ALS patients, also featuring optimal intrinsic and post-test diagnostic properties in both case-control and case-finding scenarios. (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)

BackgroundThe present study aimed at assessing the diagnostic properties of the Montreal Cognitive Assessment in non-demented ALS patients and at exploring the MoCA administrability according to motor-functional status.MaterialsN = 348 patients were administered the MoCA and Edinburgh Cognitive and Behavioural ALS Screen. Administrability rates and prevalence of defective MoCA scores were compared across King’s and Milano-Torino clinical stages. Regression models were run to test whether the non-administrability of the MoCA and a defective score on it were predicted, net of the (...) ECAS-Total, by disease duration, ALS Functional Rating Scale-Revised and progression rate, computed as /disease duration. Intrinsic and post-test diagnostics were tested against a below-cut-off ECAS-total score.ResultsThe 79.9% of patients successfully underwent the MoCA, whose administrability rates decreased with advanced clinical stages, at variance with its defective score prevalence. The probability of the FAB not being administrable was predicted only by lower ALSFRS-R-bulbar and-upper-limb scores; no motor features, but the ECAS-Total, predicted a defective MoCA performance. The MoCA showed high accuracy and good intrinsic and post-test properties—being slightly more specific than sensitive.DiscussionIn non-demented ALS patients, the MoCA is featured by optimal diagnostics as a screener for cognitive impairment, especially for ruling-out its occurrence, as long as patients are in the early stages of the disease and have sufficiently spared bulbar and upper-limb functions. (shrink)

BackgroundThis study aimed at standardizing and providing preliminary evidence on the clinical usability of the Italian telephone-based Verbal Fluency Battery, which includes phonemic, semantic and alternate verbal fluency tasks.MethodsThree-hundred and thirty-five Italian healthy participants and 27 individuals with neurodegenerative or cerebrovascular diseases were administered the t-VFB. Switch number and cluster size were computed via latent semantic analyses. HPs underwent the telephone-based Mental State Examination and Backward Digit Span. Construct validity, factorial structure, internal consistency, test-retest and inter-rater reliability and equivalence with (...) the in-person Verbal Fluency tasks were assessed. Norms were derived via Equivalent Scores. Diagnostic accuracy against clinical populations was assessed.ResultsThe majority of t-VFB scores correlated among each other and with the BDS, but not with the MMSE. Switch number correlated with t-PVF, t-SVF, t-AVF scores, whilst cluster size with the t-SVF and t-AVF scores only. The t-VFB was underpinned by a mono-component structure and was internally consistent. Test-retest and inter-rater reliability were optimal. Each t-VFB test was statistically equivalent to its in-person version. Education predicted all t-VFB scores, whereas age t-SVF and t-AVF scores and sex only some t-SVF scores. Diagnostic accuracy against clinical samples was optimal.DiscussionThe t-VFB is a valid, reliable and normed telephone-based assessment tool for language and executive functioning, equivalent to the in-person version; results show promising evidence of its diagnostic accuracy in neurological populations. (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)

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.

In several previous papers we have argued for a global and non-entropic approach to the problem of the arrow of time, according to which the “arrow” is only a metaphorical way of expressing the geometrical time-asymmetry of the universe. We have also shown that, under definite conditions, this global time-asymmetry can be transferred to local contexts as an energy flow that points to the same temporal direction all over the spacetime. The aim of this paper is to complete the global (...) and non-entropic program by showing that our approach is able to account for irreversible local phenomena, which have been traditionally considered as the physical origin of the arrow of time. (shrink)

Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...) in the logical representation of space and investigate current trends. In doing so, we do not only consider classical logic, but we indulge ourselves with modal logics. These present themselves naturally by providing simple axiomatizations of different geometries, topologies, space-time causality, and vector spaces. (shrink)

Musical Perceptions is a much-needed text that introduces students of both music and psychology to the study of music perception and cognition. Because the book aims to foster a closer interaction between research in the science and the art of music, both psychologists and musicians contribute chapters on a wide range of topics, including the philosophy of music; research in musical performance; perception of melody, tonality, and rhythm; pedagogical issues; language and music; and neural networks. With their unique ability to (...) introduce musical and psychological concepts to first-time students in the area, Rita Aiello and John Sloboda have edited a volume that will be popular with undergraduate and graduate students taking courses in the perception, psychology, and aesthetics of music. They have prefaced each chapter with an introduction to the chapter's research. This book will also be useful to cognitive and physiological psychologists and music theorists interested in music perception. (shrink)