We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property.

The commons have emerged as a key notion and underlying experience of many efforts around the world to promote justice and democracy. A central question for political theories of the commons is whether the visions of social order and regimes of political economy they propose are complementary or opposed to public goods that are backed up by governmental coordination and compulsion. This essay argues that the post-Marxist view, which posits an inherent opposition between the commons as a sphere of inappropriable (...) usage and statist public infrastructure, is mistaken, because justice and democracy are not necessarily furthered by the institution of inappropriability. I articulate an alternative pluralist view based on James Tully’s work, which discloses the dynamic interplay between public and common modes of provision and enjoyment, and their civil and civic orientations respectively. Finally, the essay points to the Janus-faced character of the commons and stresses the co-constitutive role of public goods and social services for just and orderly social life while remaining attentive to the dialectic of empowerment and tutelage that marks provision by government. (shrink)

Braiding together strands of literary, phenomenological and art historical reflection, Modernism and Phenomenology explores the ways in which modernist writers and artists return us to wonder before the world. Taking such wonder as the motive for phenomenology itself, and challenging extant views of modernism that uphold a mind-world opposition rooted in Cartesian thought, the book considers the work of modernists who, far from presenting perfect, finished models for life and the self, embrace raw and semi-chaotic experience. Close readings of works (...) by Paul Cézanne, Gertrude Stein, Franz Kafka, Gerard Manley Hopkins, Wallace Stevens, Paul Klee, and Virginia Woolf explore how modernist texts and artworks display a deep-rooted openness to the world that turns us into "perpetual beginners." Pushing back against ideas of modernism as fragmentation or groundlessness, Mildenberg argues that this openness is less a sign of powerlessness and deferred meaning than of the very provisionality of experience. (shrink)

This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.

The topic of critical thinking has engaged philosophers, psychologists and educators for well over one hundred years. Amid polarized political attacks on the teaching of controversial issues, however, education in critical thinking appears to be nearing a new low, not only in the United States, but also in other countries being torn by partisan politics. This article reviews the ebb and flow of critical thinking efforts, suggests explanations for their discouraging results, and proposes a way forward that treats critical thinking (...) as an integrative process advanced by Mary Parker Follet, and more recently espoused by Bruno Latour and Donna Haraway. In the exploratory spirit of John Dewey and Alfred North Whitehead, I am introducing this essay, not with analysis or theory, but with a narrative of educational events in all their richness of context. These events describe how middle school students addressed the question of whether wolves should be removed from the endangered species list in the Northern Rocky Mountains of the United States. In the course of this discussion, I wish to demonstrate that thinking critically requires moving beyond winning, losing, or compromising to resolution of conflict, and furthermore, understanding that even stable resolutions must be revisited as events change. (shrink)

Gertrude Stein may be regarded as one of the most innovative and obscure modernist writers. At the core of Tender Buttons (1914), her most experimental work, lies a dialectical tension between meaning and non-meaning, order and disorder, the opacity of which some of the earliest critical studies of Stein described as both “an eloquent mistake” and “the ravings of a lunatic,” resisting interpretation. In this paper, I show that phenomenology offers an appropriate tool for opening up the much-discussed dialectic of (...) this work. By “bracketing” the hard facts of our object-world, Stein enacts an epoché of sorts, allowing us to “see fine substances strangely” before the conventional structures of objectivity and factuality take over. (shrink)

Following A.N. Whitehead’s rhythm of education, the author provides a guide for parents and educators on raising children to thrive in times of tempestuous change. Each chapter presents exemplary educational events rich in context, and then draws on seminal research to ground her recommendations in a robust theoretical foundation.

THE PURPOSE OF THE PRESENT EXPOSITION is to put forward an interpretation of Locke's and Hooker's conception of the finding of the law. The topics which will be examined are the knowledge and content of the different types of law and, above all, the standard of the good law. That Locke and Hooker used the same language, to a large extent, in treating the concept of law can be seen immediately in a comparison of Locke's Essays on the Law of (...) Nature, Two Treatises on Government, and Essay on Human Understanding with the first book of Hooker's Laws of Ecclesiastical Polity. This similarity facilitated Locke's recourse to Hooker's texts when he wanted to strengthen some of the arguments of the Second Treatise. But is the use of similar language not deceptive in the present case? Do terms used in 1690 intend the same meaning as they did when used in 1660? After nearly four decades of conflicting interpretations of Locke's political and philosophical texts, one can hardly expect to offer a new answer. This analysis will explore the similarity within the framework of a traditional, natural law interpretation of Locke. We shall find that, in Hooker's Laws and Locke's Two Treatises, we are faced with the same pattern of exposition concerning natural law and its source. Following this path of inquiry represents a decision to put aside, for the time being, the influential but highly problematic suggestion that Locke wished to deceive his readers in the exposition of some of the most central parts of his political theory. (shrink)

This article examines Elisabeth of Bohemia's account of the emotions. I argue that Elisabeth's objections against Descartes' ethics, which is often characterized as ‘Neo-Stoic’, show striking similarities to the arguments that the ancient Peripatetics made against classical Stoic approaches. Like the Peripatetics, she challenges the feasibility as well as the desirability of Descartes' ethical injunctions regarding emotional control. In particular, Elisabeth joins the Peripatetics in holding that certain external goods are essential for happiness and that the emotions are necessary for (...) motivating, guiding and correcting action. In aligning Elisabeth's thinking about the emotions with the Aristotelian tradition, I depart from various other interpretations, especially from those who see her position as a precursor of later feminist accounts, or as embodying a distinctively female perspective. (shrink)

Although medicolegal challenges to the use of neurologic criteria to declare death in the USA have been well-described, the management of court cases in the United Kingdom about objections to the use of neurologic criteria to declare death has not been explored in the bioethics or medical literature. This article (1) reviews conceptual, medical and legal differences between death by neurologic criteria (DNC) in the United Kingdom and the rest of the world to contextualize medicolegal challenges to DNC; (2) summarizes (...) highly publicized legal cases related to DNC in the United Kingdom, including the nuanced 2022 case of Archie Battersbee, who was transiently considered dead by neurologic criteria, but ultimately determined to be in a vegetative state/unresponsive-wakeful state; and (3) provides an overview of ethical issues raised by medicolegal challenges to DNC in the United Kingdom and a comparison to the management of these challenges in the USA. (shrink)

This article explores the dynamics of the discourse and practice of corporate social responsibility (CSR) in France to illustrate the interplay between endogenous and exogenous factors in the development of CSR in a country. It shows how the cultural, socioeconomic, and legal traditions influence the way ideas are raised, the kinds of questions considered relevant, and the sorts of solutions conceived as desirable and possible. Furthermore, the article traces how expectations and practices evolve as a result of various social and (...) economic factors within a country, and increasingly, as a result of global influences such as the international academic discourse, the international practices of multinational companies, nongovernmental organizations and trade unions, and initiatives of supranational organizations. The article closes with reflections about what can be learned from the French experience with CSR and how to stimulate such cross-border learning. (shrink)

Whereas evidence-based medicine (EBM) encourages the translation of medical research into decision-making through clinical practice guidelines (CPGs), patient-centred care (PCC) aims to integrate patient values through shared decision-making. In order to successfully integrate EBM and PCC, I propose a method of orienting physician decision-making to overcome the different obligations set out by a formally-rational EBM and substantively-rational ethics of care. I engage with Weber’s concepts “the ethic of responsibility” andverstehenas a new model of clinical reasoning that reformulates the relationship between (...) medical knowledge and social values, while demonstrating the relevance of the classical sociological cannon to contemporary medical humanities. (shrink)

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryski.

Recently, there have been a number of lawsuits in the United States in which families objected to performance of apnoea testing for determination of brain death. The courts reached conflicting determinations in these cases. We discuss the medicolegal complications associated with apnoea testing that are highlighted by these cases and our position that the decision to perform apnoea testing should be made by clinicians, not families, judges, or juries.

Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof be replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic (the so-called Rosser logic of Gauspari-Solovay, 1979) so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in (...) particular I0+EXP. The method is adapted to obtain a similar completeness result for the Rosser logic. (shrink)

A definition is given for formulae $A_1,\ldots,A_n$ in some theory $T$ which is formalized in a propositional calculus $S$ to be (in)dependent with respect to $S$. It is shown that, for intuitionistic propositional logic $\mathbf{IPC}$, dependency (with respect to $\mathbf{IPC}$ itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for $\mathbf{IPC}$. A reasonably simple infinite sequence of $\mathbf{IPC}$-formulae $F_n(p, q)$ is given such that $\mathbf{IPC}$-formulae $A$ and $B$ are dependent if and only if at least (...) on the $F_n(A, B)$ is provable. (shrink)

The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R – are improved and the relationship between R and R – is clarified.

This collective book analyzes seriality as a major phenomenon increasingly connecting audiovisual narratives (cinematic films and television series) in the 20th and 21st centuries. The book historicizes and contextualizes the notion of seriality, combining narratological, aesthetic, industrial, philosophical, and political perspectives, showing how seriality as a paradigm informs media convergence and resides at the core of cinema and television history. By associating theoretical considerations and close readings of specific works, as well as diachronic and synchronic approaches, this volume offers a (...) complex panorama of issues related to seriality including audience engagement, intertextuality and transmediality, cultural legitimacy, authorship, and medium specificity in remakes, adaptations, sequels, and reboots. Written by a team of international scholars, this book highlights a diversity of methodologies that will be of interest to scholars and doctoral students across disciplinary areas such as media studies, film studies, literature, aesthetics, and cultural studies. It will also interest students attending classes on serial audiovisual narratives and will appeal to fans of the series it addresses, such as Fargo, Twin Peaks, The Hunger Games, Bates Motel, and Sherlock. (shrink)

The intent of the Uniform Determination of Death Act (UDDA) was to facilitate a consistent legal standard for death and align the law with medical practice throughout the United States subsequent t...

Although death by neurologic criteria is legally recognized throughout the United States, state laws and clinical practice vary concerning three key issues: the medical standards used to determine death by neurologic criteria, management of family objections before determination of death by neurologic criteria, and management of religious objections to declaration of death by neurologic criteria. The American Academy of Neurology and other medical stakeholder organizations involved in the determination of death by neurologic criteria have undertaken concerted action to address variation (...) in clinical practice in order to ensure the integrity of brain death determination. To complement this effort, state policymakers must revise legislation on the use of neurologic criteria to declare death. We review the legal history and current laws regarding neurologic criteria to declare death and offer proposed revisions to the Uniform Determination of Death Act and the rationale for these recommendations. (shrink)

For better or worse, places matter to us. Especially the familiar places we call home—the ones that embody our personal and cultural histories, give our lives a sense of stability, and support the routines of everyday life. Global Climate Change (GCC) poses an existential threat to these places, engendering nonmaterial losses that threaten subjective well-being and overall mental health. Unfortunately, these nonmaterial losses are often overlooked or underappreciated. My aim in this article is to counter this tendency and explore the (...) relationship between people and place in a way that sheds light on the nonmaterial threat of GCC. I approach this task from the lens of everyday aesthetics. While finding adequate compensation for these nonmaterial losses is unlikely, I suggest that sensitivity to the aesthetic texture of everyday life can provide a source of aesthetic consolation that can make the challenges of GCC easier to manage. (shrink)

Since the 90’s, neurolaw is on the rise. At the heart of heated debates lies the recurrent theme of a neuro-revolution of criminal responsibility. However, caution should be observed: the alleged foundations of criminal responsibility (amongst which free will) are often inaccurate and the relative imperviousness of its real foundations to scientific facts often underestimated. Neuroscientific findings may impact on social institutions, but only insofar as they also engage in a political justification of the changes being called for, convince populations, (...) and take into consideration the ensuing consequences. Moreover, the many limits of neuroscientific tools call for increased vigilance when, if ever, using neuroscientific evidence in a courtroom. In this article, we aim at setting the basis for future sound debates on the contribution of neuroscience to criminal law, and in particular to the assessment of criminal responsibility. As such, we provide analytical tools to grasp the political and normative nature of criminal responsibility and review the current or projected use of neuroscience in the law, all the while bearing in mind the highly-publicized question: can neuroscience revolutionize criminal responsibility? Answering this question implicitly requires answering a second question: should neuroscience revolutionize the institution of criminal responsibility? Answering both, in turn, requires drawing the line between science and normativity, revolution and dialogue, fantasies and legitimate hopes. (shrink)

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR.

Future prize-winning writer Chava Rosenfarb was seventeen years old when she was incarcerated in the Łódź ghetto. In 1972, she published The Tree of Life [Der boym fun lebn] (1972), a fictional chronicle of that experience of the Holocaust. In this three-volume epic novel, Rosenfarb narrates and interlaces the fates of ten Jewish families from pre-war Poland in 1939 to the liquidation of the ghetto in 1944. The "Tree of Life" is revealed to be the name given by the "ghettoniks" (...) to an iconic cherry tree that stands in the shared backyard of a group of apartment complexes inhabited by many of the protagonists in the ghetto. Far from being an anecdotal presence, the cherry tree becomes the center of Rosenfarb's reflections on the impacts of the environment on one's physical and mental health. In this article, The Tree of Life is analyzed from an ecocritical perspective to examine the interconnections between genocidal intent and environmental precariousness. The first part considers the perpetration angle of the Łódź ghetto establishment as a Nazi tool of ecological violence through its excessive economic program of forced labour and its structural health determinants leading to epidemics. We will then investigate the characters' attempts to reconnect to nature through tangible acts of agency (the development of small gardens to grow one's own food) and symbolism (the cherry tree evoking the freedom of the outside world). The purpose of this article is to explore the links between genocide and ecocide within the framework of literary memory, while appreciating the relevance of Chava Rosenfarb's representations of the Holocaust to our era of renewed ecological awareness. (shrink)

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.

The American Policy Sciences, Complexity and the Crisis of Government: On the Social Embeddedness of Concept Formation in the Social Sciences. By analyzing debates about social “complexity” in the American policy sciences and in intellectual discourse of the 1970s, this article draws attention to the social embeddedness of concept formation and theory building in the social sciences. In the 1970s, a new concept of social “complexity” emerged in the social sciences, when scholars transferred and adapted elements of complexity theory from (...) mathematics, computer science, cybernetics, and general systems theory to refine social theory. The article analyzes the context and conditions in which this transfer occurred. It shows that the scholarly debates about social complexity were entwined with broader public-political discourses, dealing in particular with the challenges of government and public policy in the advanced Western democracies. The discourse on complexity among social scientists had additional layers of meaning: even in academic discourse, “complexity” was also used as a buzzword and as a metaphor. (shrink)

Rare diseases, defined as having a prevalence inferior to 1/2000, are poorly understood scientifically and medically. Appropriate diagnoses and treatments are scarce, adding to the burden of living with chronic medical conditions. The moral significance of rare disease experiences is often overlooked in qualitative studies conducted with adults living with rare diseases. The concept of morally problematic situations arising from pragmatist ethics shows promise in understanding these experiences. The objectives of this study were to (1) acquire an in-depth understanding of (...) morally problematic situations experienced by adults living with rare diseases in the province of Québec and (2) to develop an integrative model of the concept of morally problematic situations. To this end, an online survey targeting this population was developed through a participatory action research project. Respondents provided 90 long testimonies on the most important morally problematic situations they faced, often in healthcare settings. An integrative model was developed based on various qualitative analyses of these testimonies and relevant literature. The integrative model showcases that morally problematic situations have causes (i.e., contextual and relational factors, personal factors, jeopardized valuations), have affective repercussions (i.e., emotions and feelings, internal tensions), prompt action (i.e., through empowerment strategies leading to the evolution of situations), and elicit outcomes (i.e., factual consequences, residual emotions and feelings, positive or negative resolutions). In sum, this study advances understanding of the moral experiences of adults living with rare diseases while proposing a comprehensive conceptual tool to guide future empirical bioethics research on moral experiences. (shrink)

This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.

'Subjetividade e Literatura' tem como ponto de partida o movimento historiográfico do final do século XX. Reúne 16 estudos - e pesquisadores de diferentes áreas do conhecimento - que procuram fundir literatura e história, ou contos e psicanálise, ou ainda arte e romance, objetivando estabelecer uma forma de compreender a realidade culturalmente construída. Esta obra trata da subjetividade, mas também trata de livros, de como eles descrevem - ou interpretam - o que as pessoas percebem e sentem.

Differences between men and women in the performance of tests designed to measure spatial abilities are explained by evolutionary psychologists in terms of adaptive design. The Hunter-Gatherer Theory of Spatial Ability suggests that the adoption of a hunter-gatherer lifestyle (assuming a sexual division of labor) created differential selective pressure on the development of spatial skills in men and women and, therefore, cognitive differences between the sexes. Here, we examine a basic spatial skill—wayfinding (the ability to plan routes and navigate a (...) landscape)—in men and women in a natural, real-world setting as a means of testing the proposition that sex-based differences in spatial ability exist outside of the laboratory. Our results indicate that when physical differences are accounted for, men and women with equivalent experience perform equally well at complex navigation tasks in a real-world setting. We conclude that experience, gendered patterns of activity, and self-assessment are contributing factors in producing previously reported differences in spatial ability. (shrink)

In 1968, the definition of death in the United States was expanded to include not just death by cardiopulmonary criteria, but also death by neurologic criteria. We explore the way the definition has been modified by the medical and legal communities over the past 50 years and address the medical, legal and ethical controversies associated with the definition at present, with a particular highlight on the Supreme Court of Nevada Case of Aden Hailu.

It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R –. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts oneself to usual proof predicates.

Standard unary modal logic and binary modal logic, i.e. modal logic with one binary operator, are shown to be definitional extensions of one another when an additional axiom |$U$| is added to the basic axiomatization of the binary side. This is a strengthening of our previous results. It follows that all unary modal logics extending Classical Modal Logic, in other words all unary modal logics with a neighborhood semantics, can equivalently be seen as binary modal logics. This in particular applies (...) to standard modal logics, which can be given simple natural axiomatizations in binary form. We illustrate this in the logic K. We call such logics binary expansions of the unary modal logics. There are many more such binary expansions than the ones given by the axiom |$U$|⁠. We initiate an investigation of the properties of these expansions and in particular of the maximal binary expansions of a logic. Our results directly imply that all sub- and superintuitionistic logics with a standard modal companion also have binary modal companions. The latter also applies to the weak subintuitionistic logic WF of our previous papers. This logic doesn’t seem to have a unary modal companion. (shrink)

In Ovid, Heroides 10.79ff. Ariadne starts to consider various dangers which to her mind threaten her life as that of any deserted woman . She lists some of these dangers in the following catalogue.