In this article, we explore how deep brain stimulation (DBS) devices designed to “close the loop”—to automatically adjust stimulation levels based on computational algorithms—may risk taking the individual agent “out of the loop” of control in areas where (at least apparent) conscious control is a hallmark of our agency. This is of particular concern in the area of psychiatric disorders, where closed-loop DBS is attracting increasing attention as a therapy. Using a relational model of identity and agency, we consider whether (...) DBS designed for psychiatric regulation may require special attention to agency. To do this, we draw on philosophical work on relational identity and agency, connecting it with reports from people using first-generation DBS devices for depression and obsessive-compulsive disorder. We suggest a way to extend a notion of relational agency to encompass neural devices. (shrink)

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and manage a (...) series of overlapping, simplified, relational representations that map out features of the world. Succeeding at building and maintaining models requires the kind of active knowledge generation traditionally associated only with deliberative reasoning. (shrink)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (shrink)

Awe has traditionally been considered a religious or spiritual emotion, yet scientists often report that awe motivates them to answer questions about the natural world, and to do so in naturalistic terms. Indeed, awe may be closely related to scientific discovery and theoretical advance. Awe is typically triggered by something vast (either literally or metaphorically) and initiates processes of accommodation, in which existing mental schemas are revised to make sense of the awe‐inspiring stimuli. This process of accommodation is essential for (...) the kind of belief revision that characterizes scientific reasoning and theory change. Across six studies, we find that the tendency to experience awe is positively associated with scientific thinking, and that this association is not shared by other positive emotions. Specifically, we show that the disposition to experience awe predicts a more accurate understanding of how science works, rejection of creationism, and rejection of unwarranted teleological explanations more broadly. (shrink)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

By presenting a case study based on the argumentative analysis of news in the press, this article introduces and discusses strategic manoeuvring with contextual frames. Drawing on the linguistic notion of frame, I introduce the concept of contextual frame to refer to the news context, that is, the background against which a certain event is presented as a piece of news. I argue that newspapers and journalists make use of contextual frames in the apparently neutral genre of news reporting to (...) propose specific interpretations of the facts at issue, which become the basis for explicit comments and editorials. To show how this works, I investigate in detail a case of newspaper coverage of a complex episode using the pragma-dialectical notion of strategic manoeuvring and the Argumentum Model of Topics to analyse argument schemes. I show that, in the use of contextual frames, there is a prominent relation between presentational devices and topical potential; contextual frames provide the implicit material premises which are at the basis of argumentations through which newspapers interpret and comment on the news. (shrink)

When entering an environment, animals – including humans – tend to consult their memories to determine what they know about the place. This information is useful to determine: is this place safe? And what happens next? In this chapter, we argue on both empirical and conceptual grounds that memory is largely organized by space. Spatial relations determine what is recalled and which experiences are combined in generalizations. Time does not play an analogous role. We show that space and time in (...) memory are thus deeply asymmetrical. We conclude with a consequence of our view: spatial organization entails a basic form of abstraction in a way temporal organization does not, and so the spatial organization of memory reveals that memory involves generalization from the very beginning. (shrink)

Every day nurses are required to make ethical decisions in the course of caring for their patients. Ethics in Nursing Practice provides the background necessary to understand ethical decision making and its implications for patient care. The authors focus on the individual nurse’s responsibilities, as well as considering the wider issues affecting patients, colleagues and society as a whole. This third edition is fully updated, and takes into account recent changes in ICN position statements, WHO documents, as well as addressing (...) current issues in healthcare, such as providing for the health and care needs of refugees and asylum seekers, bioethics and the enforcement of nursing codes. (shrink)

We examined how children’s strategy choices in solving complex subtraction problems are related to grade and to variations in problem complexity. In two studies, third- and fifth-grade children (N≈160 each study) solved multi-digit subtraction problems (e.g., 34 - 18) and described their solution strategies. In the first experiment, strategy selection was investigated by means of a free-choice paradigm, whereas in the second study a discrete-choice approach was implemented. In both experiments, analyses of strategy repertoire indicated that third-grade children were more (...) likely to report less-efficient strategies (i.e., counting) and relied more on the right-to-left solution algorithm compared to fifth-grade children who more often used efficient memory-based retrieval and conceptually-based left-to-right (i.e., decomposition) strategies. Nevertheless, all strategies were reported or selected by both older and younger children and strategy use varied with problem complexity and presentation format for both age groups. These results supported the overlapping waves model of strategy development and provide detailed information about patterns of strategy choice on complex subtraction problems. (shrink)

A relation between two secrets, known in the literature as nondeducibility , was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call independence . This paper proposes a formal logical system for the independence relation, proves the completeness of the system with respect to a semantics of secrets, and shows that all axioms of the system are logically independent.

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

A gunman intends to shoot and kill Victim. He shoots and misses his target, but the gunshot startles a group of water buffalo, causing them to trample the victim to death. The gunman brings about the intended effect, Victim’s death, but in a “deviant” way rather than the one planned. This paper argues that such causal structures, deviant causal chains, pose serious problems for several key legal concepts. -/- I show that deviant causal chains pose problems for the legal distinction (...) between attempts and completed crimes, and also for the distinction between attempts and mere preparations. I then suggest that cases of deviant causation undermine notions of legal liability for completed crimes in terms of actus reus and mens rea, and argue that natural accounts of negligence misclassify some cases involving deviant causal chains. After diagnosing several conceptual vulnerabilities in the law revealed by deviant causal chains, I show that natural strategies for shoring up legal theories in the face of these examples are unpromising. (shrink)

For a computable structure \, if there is a computable infinitary Scott sentence, then the complexity of this sentence gives an upper bound for the complexity of the index set \\). If we can also show that \\) is m-complete at that level, then there is a correspondence between the complexity of the index set and the complexity of a Scott sentence for the structure. There are results that suggest that these complexities will always match. However, it was shown in (...) Knight and McCoy that there is a structure ) for which the index set is m-complete \, though there is no computable \ Scott sentence. In the present paper, we give an example of a particular equivalence structure for which the index set is m-complete \ but for which there is no computable \ Scott sentence. There is, however, a computable \ pseudo-Scott sentence for the structure, that is, a sentence that acts as a Scott sentence if we only consider computable structures. (shrink)

Ideal for advanced students across Philosophy, Women’s Studies, Anthropology, Sociology and more, this book focuses on emerging trends in feminist phenomenology. It covers foundational feminist issues in phenomenology, feminist phenomenological methods, and applied phenomenological work on the body, politics, ethics, and performance theory.

This article investigates the emotional undercurrents of Tove Jansson’s Moominvalley in November. I argue that one of the main characters of Jansson’s book is the autumn forest that surrounds the abandoned Moomin house. The decomposing forest is not just an emblem of the inner lives of the guests that gather in the house but is an active character itself: an ambiguous life form that creeps in the house and must be expelled from its living core. I further demonstrate that the (...) emotion of disgust has a crucial role in Jansson’s narrative, and that an adequate analysis of the intentional content of disgust allows us to see what is at issue in the relations between the characters. In my reading, the main insight of Tove Jansson’s last Moomin book is not about loss or sorrow but is about the human capacity to begin anew by composing novel wholes from scraps. (shrink)

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.

Drucilla Cornell's Legacies of Dignity: Between Women and Generations proposes a feminist ethics of self-representation that asks what exclusions are necessary to autobiography's constructions of identity. Focusing on the ways in which alterity, particularly linked with figures of the mother, are silenced, it advances a mourning that is transformational. I question Cornell's use of a Kantian concept of dignity and suggest that Irigaray's engagement with Levinas offers another way of conceptualizing the problematic.

BackgroundPeople say it is hard to stay truly positive in Lebanon. Studies showed that 63% of Lebanese young adults are highly dissatisfied with their country. In fact, young adults are the most vulnerable population to stressors in Lebanon since their future is at stake and it is their time to shape their lives in a country that cripples them. This study aimed to assess factors associated with positivity among a sample of Lebanese university students despite the various stressors they are (...) facing on top of the economic collapse and the COVID-19 pandemic.MethodsThis cross-sectional study was conducted between November and December 2021. A total of 333 participants was recruited through convenience sampling and snowball technique through several areas in Lebanon’s governorates. A linear regression taking the positivity score as the dependent variable was adopted and all variables that showed a correlation > │0.24│ in absolute value were entered in the final model as independent.ResultsA linear regression taking the positivity score as the dependent variable showed that more positive experiences in life, more flourishing, living in rural area compared to urban, and female gender were significantly associated with more positivity.ConclusionThis study demonstrated that the youth’s positivity is strongly affected by age, gender, residency, and the country they live in that will both directly and indirectly shape their life experiences and their ability to flourish and prosper. Along with all the efforts done to help during this collapse and alleviate the stress that young adults are enduring, follow-up studies are still needed to determine accurate coping techniques that pushes these young adults to think positively in a country where negativity reigns and all else fails. (shrink)

In order to reduce the dimensionality of parameter space and enhance out-of-sample forecasting performance, this research compares regularization techniques with Autometrics in time-series modeling. We mainly focus on comparing weighted lag adaptive LASSO with Autometrics, but as a benchmark, we estimate other popular regularization methods LASSO, AdaLASSO, SCAD, and MCP. For analytical comparison, we implement Monte Carlo simulation and assess the performance of these techniques in terms of out-of-sample Root Mean Square Error, Gauge, and Potency. The comparison is assessed with (...) varying autocorrelation coefficients and sample sizes. The simulation experiment indicates that, compared to Autometrics and other regularization approaches, the WLAdaLASSO outperforms the others in covariate selection and forecasting, especially when there is a greater linear dependency between predictors. In contrast, the computational efficiency of Autometrics decreases with a strong linear dependency between predictors. However, under the large sample and weak linear dependency between predictors, the Autometrics potency ⟶ 1 and gauge ⟶ α. In contrast, LASSO, AdaLASSO, SCAD, and MCP select more covariates and possess higher RMSE than Autometrics and WLAdaLASSO. To compare the considered techniques, we made the Generalized Unidentified Model for covariate selection and out-of-sample forecasting for the trade balance of Pakistan. We train the model on 1985–2015 observations and 2016–2020 observations as test data for the out-of-sample forecast. (shrink)

Within recent years, we have witnessed an alarming increase in so-called school-shootings, where one or more students enter their school and purposely start shooting other students or staff. Earlier, the phenomenon was primarily American, but lately school-shootings have also been seen in Canada, Europe, and Australia. School-shootings have become an increasing problem and the phenomenon calls for more thorough investigation. In this article, we analyse the actions of teachers, more specifically the ones where teachers give their lives to save students. (...) This unselfish act is analysed in the light of Jacques Derrida’s ethical discussions around ‘the gift of death’, and is displayed as an absolute responsibility. Moreover, the sacrificial actions displayed by teachers are viewed as acts of primitive leadership, which take us back to the romanticism and heroism of leadership. Unlike the everyday management of organisations, crises call for extraordinary leadership; for sacrifice and responsibility. (shrink)

In Atlas Shrugged, the observations of the character Francisco d'Anconia are used to illustrate the connection between Objectivism, morality, and economics. In response, the author demonstrates how today's socioeconomic movements not only are inconsistent with d'Anconia's view but will likely lead to further large-scale economic and moral crises, unless an economic system is established that will protect the individual's right to worthwhile production, income, and ownership.

Sara Alonso Gomez présente le début de sa traduction du livre de Sianne Ngai sur les catégories esthétiques. Trois nouvelles catégories semblent nécessaires à côté du sublime et du beau, pour rendre compte de la manière dont les expériences privées façonnent les discours esthétiques : le mignon qui renvoie à Adorno et à la consommation, le zinzin qui renvoie à Nietzsche et à la production, l’intéressant qui renvoie à Frédéric Schlegel et à la circulation.

The thesis offers a reconstruction of Plotinus' reading of the Theaetetus, and it presents an account of his epistemology that rests on that reading. It aims to show that Plotinus reads the Theaetetus as containing two anti-sceptical arguments. The first argument is an answer to radical scepticism, namely, to the thesis that nothing is apprehensible and judgement must be suspended on all matters. The second argument is an answer to a more moderate form of scepticism, which does not endorse a (...) universal suspension of judgement, but maintains nonetheless that scientific knowledge is unattainable. (shrink)

In a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the system is demonstrated by showing the derivability of the axiomatization of dstit from Belnap et al. (Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford, 2001). And while the influence of the latter book on the study of logics (...) of agency cannot be overstated, we note that this is not the only axiomatization of that modality available. In fact, an earlier (and arguably purer) one was offered in Xu (J Philosophical Logic 27(5):505–552, 1998). In this article we fill this lacuna by proving that this alternative axiomatization is likewise readily derivable in the system of Negri and Pavlović (Studia Logica 1–35, 2020). (shrink)

This paper examines interpersonally sensitive exchanges in two calls for information to the call centre of a public transport company. In order to provide relevant information and facilitate sequence progressivity, the agents need to go through specific steps. Although this is typical of institutional settings, customers may not necessarily be aware of them. The excerpts examined in this paper show how the customers’ lack of knowledge of the institutional steps the agents have to go through to attend to their requests (...) and customers’ claims to product knowledge, coupled with the agents’ labour intensive work at the call centre, provide fertile ground for the agents’ verbal outbursts which are oriented to as interpersonally sensitive by the customers in so far as they are interpreted as inappropriate and potentially impolite. The analysis draws on the notion of face and incorporates a variety of concepts from pragmatics and Conversation Analysis. (shrink)