What could Wittgenstein's body of texts contribute to the rapidly growing literature on life's meaning? This book not only examines Wittgenstein's scattered remarks about value and 'sense of life' but also argues that his philosophy and his 'way of seeing' has far reaching implications for the way current strands in the literature (naturalism, supernaturalism, and nihilism) approach the question of life's meaning. Hosseini argues that Wittgenstein's method of doing philosophy would suggest that the focus should be shifted from finding (...) the metaphysical and theoretical conditions of a meaningful life to an anthropological observation of the ways we enquire about life's meaning. Some of the ideas that Hosseini explores and examines are the relation between meaning in life and 'world-picture', the precedence of life over the intentional pursuit of meaning, the absence of doubt in everyday life, the rejection of theoretical dichotomy between the great and ordinary meaning, and the confessional nature of our enquiry into life's meaning. (shrink)

Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non-descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...) We discuss these and similar cases, focusing on two factors which play a role in determining whether and which causal parents of the manipulated variable are affected: Speakers' need for an explanation of the hypothesized state of affairs, and differences in the ‘resilience’ of beliefs that are independent of degrees of certainty. We describe the relevant theoretical notions in some detail and provide experimental evidence that these factors do indeed affect speakers' interpretation of counterfactuals. (shrink)

Sacred values are different from secular values in that they are often associated with violations of the cost-benefit logic of rational choice models. Previous work on sacred values has been largely limited to religious or territorial conflicts deeply embedded in historical contexts. In this work we find that the Iranian nuclear program, a relatively recent development, is treated as sacred by some Iranians, leading to a greater disapproval of deals which involve monetary incentives to end the program. Our results suggest (...) that depending on the prevalence of such values, incentive-focused negotiations may backfire. (shrink)

Rumi’s story of the elephant in the dark room is the story of the reception of Ralph Waldo Emerson. Depending upon where they have touched, which constitutes their vantage points, commentators have come to believe Emerson to be, among others, the “philosopher of Democracy”, the theologian of the American religion of self-reliance, the philosopher of the ordinary, the “friend and aider of those who live in spirit”, a genteel soul “impervious to the evidence of evil”, or a naïve writer whose (...) essays “are already an encumbrance”. Was Emerson somehow all the above—a man for all seasons or a “Professor of Things in... (shrink)

In this paper we prove conservation theorems for theories of classical first-order arithmetic over their intuitionistic version. We also prove generalized conservation results for intuitionistic theories when certain weak forms of the principle of excluded middle are added to them. Members of two families of subsystems of Heyting arithmetic and Buss-Harnik’s theories of intuitionistic bounded arithmetic are the intuitionistic theories we consider. For the first group, we use a method described by Leivant based on the negative translation combined with a (...) variant of Friedman’s translation. For the second group, we use Avigad’s forcing method. (shrink)

Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non‐descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...) We discuss these and similar cases, focusing on two factors which play a role in determining whether and which causal parents of the manipulated variable are affected: Speakers' need for an explanation of the hypothesized state of affairs, and differences in the ‘resilience’ of beliefs that are independent of degrees of certainty. We describe the relevant theoretical notions in some detail and provide experimental evidence that these factors do indeed affect speakers' interpretation of counterfactuals. (shrink)

Russell once said that “Vagueness and precision alike are characteristics which can only belong to a representation, of which language is an example. They have to do with the relation between a representation and that which it represents. Apart from representation, whether cognitive or mechanical, there can be no such thing as vagueness or precision; things are what they are, and there is an end of it” (1923). In other words, expressions like ontological vagueness (and even ontological precision) are category (...) mistakes and therefore make no sense. Half a century later, as the view began to emerge that some vagueness could be intelligibly ascribed to the world, Dummett opined that “It is not apparently absurd to suppose ... that the physical world is in itself such that the most precise description of it that even omniscience would yield might yet involve the use of expressions having some degree of vagueness” (1981). Evans had already questioned the idea of worldly vagueness, arguing that it was inconsistent (1978). A quarter of a century later, however, many papers had been written in defense of the intelligibility and possibility of this once nonsense and then contradictory claim. This chapter is one of them, albeit from a different viewpoint. The aim of this chapter is twofold: firstly, to consider the intelligibility of vague ontology, and secondly, to discuss the most famous argument against vague ontology, i.e., Evans’ argument. To this end, in Sect. 11.2 we present some commonsensical considerations on vague ontology. In Sect. 11.3, we look at some supervaluationist theories and the kind of vague ontology they accommodate before arguing that this kind of ontology is inconsistent with commonsense. Section 11.4 outlines a version of supervaluationism that can accommodate the commonsensical considerations discussed in Sect. 11.2. The outlined view is an ontological variation of Kit Fine’s characterization of vagueness as incompleteness (1975). It will be argued that the view is more effective than other versions of supervaluationism at accommodating commonsensical and metaphysical considerations. In the following section, we consider vague identity. Based on the view outlined in Sect. 11.4, there may be vague identity in some special cases. In Sect. 11.6 we focus on Evans’ argument and argue that it can be blocked in the first step. (shrink)

Background Ethical decision‑making and behavior of nurses are major factors that can affect the quality of nursing care. Moral development of nurses to making better ethical decision-making is an essential element for managing the care process. The main aim of this study was to examine and comparison the effect of training in ethical decision-making through lectures and group discussions on nurses’ moral reasoning, moral distress and moral sensitivity. Methods In this randomized clinical trial study with a pre- and post-test design, (...) 66 nurses with moral reasoning scores lower than the average of the community were randomly assigned into three equal groups (n = 22) including two experimental groups and one control group. Ethical decision-making training to experimental groups was provided through the lectures and group discussions. While, the control group did not receive any training. Data were collected using sociodemographic questionnaire, the nursing dilemma test (NDT), the moral distress scale (MDS) and the moral sensitivity questionnaire (MSQ). Unadjusted and adjusted binary logistic regression analysis was reported using the odds ratio (OR) and 95% confidence intervals. Results Adjusted regression analysis showed that the probability of increasing the nursing principle thinking (NPT) score through discussion training was significantly higher than lecture (OR: 13.078, 95% CI: 3.238–15.954, P = 0.008), as well as lecture (OR: 14.329, 95% CI: 16.171–2.005, P < 0.001) and discussion groups compared to the control group (OR: 18.01, 95% CI: 22.15–5.834, P < 0.001). The possibility of increasing moral sensitivity score through discussion training was significantly higher than lecture (OR: 10.874, 95%CI: 6.043–12.886, P = 0.005) and control group (OR: 13.077, 95%CI: 8.454–16.774, P = 0.002). Moreover, the moral distress score was significantly reduced only in the trained group compared to the control, and no significant difference was observed between the experimental groups; lecture group vs. control group (OR: 0.105, 95% CI: 0.015–0.717, P = 0.021) and discussion group vs. control group (OR: 0.089, 95% CI: 0.015–0.547, P = 0.009). Conclusions The results of this study indicate that ethical decision-making training is effective on empowerment of ethical reasoning. Whereas the group discussion was also effective on increasing the ethical sensitivity, it is recommended the training plan provided in this study to be held as workshop for all nurses in health and treatment centers and placed in curricular plan of nursing students. Registration This randomized clinical trial was registered in Iranian Registry of Clinical Trials under code (IRCT2015122116163N5) in 02/07/2016. (shrink)

In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.

Blum (Philosophical Investigations 46, 2023, 264) argues that Tarski's T‐schema and the thesis of the necessity of identity are mutually inconsistent. It is argued that his argument fails.

Hijab – covering of a Muslim woman's body – is the most visible Islamic mandate. For a century it has been a major site of ideological struggle between traditionalism and modernity, and a yardstick for measuring the emancipation or repression of Muslim women. In recent decades hijab has become an arena where Islamist and secular feminist rhetoric have clashed. For Islamists, hijab represents their distinct identity and their claim to religious authenticity: it as a divine mandate that protects women and (...) defines their place in society. For secular feminists, hijab represents women's oppression: it is a patriarchal mandate that denies women the right to control their bodies and to choose what to wear. The clash has been particularly strident in Iran, where the state has twice intervened with legislation to an extent that no other Muslim country has experienced. Iran, too, has been a prime site for the emergence of `Islamic feminist' discourses that speak of hijab not as a `duty,' but as a `right,' and as a social rather than a religious mandate, and finds juristic arguments to support this position. This article traces the genealogy of this new juristic position from notions of hijab in classical Islamic jurisprudence (fiqh). It documents how jurisprudential positions and notions of hijab in Iran evolved in response to socio-political factors. It concludes by highlighting wider implications of the new juristic position on hijab for establishing common ground between secular feminist and Islamic discourses. (shrink)

Quantifier variance entails that ‘there exists’ has a variety of meanings. Determining what makes all these meanings quantifier meanings is a problem associated with this view. A reasonable candidate suggested by Hirsch is the set of formal rules governing quantification. However, the collapse argument presents a notorious objection to the viability of the candidate: there cannot be more than one quantifier obeying the same rules up to logical equivalence. It is proposed that a quantifier variantist who intends to retain Hirsch’s (...) proposed solution can admit a many-sorted language in order to block the collapse argument. Within the many-sorted language, a Kaplanian thesis about the rules governing sorted quantifiers saves quantifier variance from meaning variance. (shrink)

This paper investigates critically the approaches to picturebooks as used in the history of philosophy for children movement. Our concern with picturebooks rests mainly on Morteza Khosronejad's broader criticism that children's literature has been treated instrumentally by early founders of P4C, the consequence of which is abolishing the independent voice of this literature. As such it demands that we scrutinize the position of children's literature in the history of this educational program, as well as other genres and forms, including (...) picturebooks as a highly valued artistic-literary form to educationalists. In our inquiry, we probe, therefore, the transition of approaches to picturebooks concomitantly with the investigation of the transition of approaches to children's literature. This research evinces that some later scholars and practitioners of P4C have departed significantly not only from Lipman's approach to children's literature and picturebooks, but also from his conceptualization of childhood and philosophy for children. Meanwhile, it demonstrates that in spite of P4C scholars' taking effective steps to address children's literature in general and picturebooks in particular, there are some steps for them to take in order to fully recognize this literature as an independent branch of knowledge and picturebooks as artistic-literary unique works. While revealing the limitations and paradoxes that P4C scholars continue to deal with, in this article, we see Khosronejad's earlier idea as a suggestion to overcome the instrumentalization of children's literature and picturebooks in P4C. Fundamental dialogue with children's literature theorists particularly those of picturebooks will open new horizons to the realization of our suggestion. (shrink)

We are living in an era of multiple crises, multiple social resistances, and multiple cosmopolitanisms. The post-Cold War context has generated a plethora of movements, but no single unifying ideology or global political program has yet materialized. The historical confrontation between capital and its alternatives, however, continues to pose new possibilities for social and systemic transformations. Critical analysis of ideological divisions among today’s diverse emancipatory and transformative movements is important in order to understand past and present shortcomings, and many continuing (...) difficulties in imagining crisis-free alternative futures. Inspired by a multiplicity of responses from the Global South and the Global North, and by furthering Delanty’s critical cosmopolitanist approach, this article aims to create a new framework for interpreting ‘transformative visions’ that challenge systems of domination embedded in capitalist social relations. The framework is designed to enable the evaluative analysis of such visions, as well as the exploration of embedded ideological obstacles to dialogue and collaboration among them. (shrink)

Women, Jurisprudence, Islam. By Sedigheh Vasmaghi. Translated by Mr. Ashna and Philip G. Kreyenbroek. Göttinger Orientforschungen III, Reihe: Iranica, Neue Folge, vol. 11. Wiesbaden: Harrassowitz, 2014. Pp. 162. €38.

For meaning normativism to hold, meaning must have a constitutive part which is obligation-producing. I claim in this paper that linguistic communication is such a constitutive part. I try to show this by means of appeal to Davidson’s triangulation thesis. If I am successful, it may fairly be said that “a Davidsonian can rescue the normativity of meaning”.

In aesthetics/philosophy of art, Fichte did not produce works as great as Kant’s Critique of the Power of Judgment or Hegel’s Lectures on Aesthetics. As a result, it was long believed that he had no role to play in the aesthetics of German idealism. Nevertheless, there are a few works in which we can identify the materials for developing an innovative philosophy of art. In this article, it is argued that Fichte takes two fundamental steps in aesthetics: 1) by transferring (...) the weight of the discussion of aesthetics to the philosophy of artistic creation, he makes, as it were, a Copernican revolution in aesthetics and thus transforms the aesthetics of taste into a philosophy of art based on the creative spirit; 2) he raises the status of aesthetics (in fact, the aesthetic sense) to the level of “a (or the) condition for the possibility of philosophy.”. (shrink)

RésuméEn général, la plupart des objections aux écrits d'Henry Thoreau se penchent sur ses provocations « inamicales ». Dans cet article, je propose que nous examinions son style par rapport à la pratique de la parrhésie, c'est-à-dire l'expression de la vérité d'après la tradition socratique de la philosophie. La parrhésie est la pratique consistant à dire la vérité dans le but de prendre conscience de l'importance de changer sa propre vie. La transformation envisagée par Thoreau dépend de l'acquisition d'un savoir-faire (...) à l’égard de la culture des sens, et ce, à travers ce qu'il appelle « l'excursion ». Voilà ce qui constitue sa contribution fondamentale à ladite tradition. (shrink)

Experimental philosophy has been engaged in many fields of philosophy and has tried to challenge philosophy from a new horizon. In this article, I have tried to examine what the role of sciences are in altering people’s intuition about free will. Could science educate people’s philosophical intuitions? If yes, should we still rely on their intuition as a rational instrument for our philosophical questions? Do science plus cultural and social differences effect on folks’ view? In this cross-cultural research, the emphasis (...) is mostly on recent breakthroughs on neuroscience and its impact on people’s perspective to free will. I have asked some questions about free will and determinism from two groups of Iranian and European participants. The results of this study revealed an interesting amount of cross-cultural similarities. The findings showed that people have a relatively independent view to free will and determinism. It seems that manipulating laymen’s opinion by either the idea of scientific determinism or living under pressure and challenging social conditions cannot touch their perspective. I tried to indicate that the techniques of experimental philosophy and the data offered might help us to learn more and more about the psychological processes, in the mind of the folks, that engender philosophical problems. (shrink)

Life, whatsoever it is, is a temporal flux. Everything is doomed to change often apparently beyond our awareness. My body appears totally different now, so does my mind. I have gained new attitudes and new ambitions, and a substantial number of old ones have been discarded. But, I am still the same person in an ongoing manner. Besides, recent neuroscientific and psychological evidence has shown that our conscious perception happens as a series of discrete or bounded instants—it emerges in temporally (...) scattered, gappy, and discrete forms. But, if it is so, how does the brain persevere our self-continuity (or continuity of identity) in this gappy setting? How is it possible that despite moment-to-moment changes in my appearance and mind, I am still feeling that I am that person? How can we tackle with this second by second gap and resurrection in our existence which leads to a foundation of wholeness and continuity of ourself? How is continuity of self (collective set of our connected experiences in the vessel of time) that results in a feeling that one’s life has purpose and meaning preserved? To answer these questions, the problem has been comprehended from a philosophical, psychological, and neuroscientific perspective. I realize that first and foremost fact lies in the temporal nature of identity. Having equipped with these thoughts, in this article, it is hypothesized that according to two principles (the principle of reafference or corollary discharge and the principle of a time theory) self-continuity is maintained. It is supposed that there should be a precise temporal integration mechanism in the CNS with the outside world that provides us this smooth, ungappy flow of theSelf. However, we are often taken for granted the importance of self-continuity, but it can be challenged by life transitions such as entering adulthood, retirement, senility, emigration, and societal changes such as immigration, globalization, and in much unfortunate and extreme cases of mental illnesses such as schizophrenia. (shrink)

IPV is the intuitionistic theory axiomatized by Cook's equational theory PV plus PIND on NP-formulas. Two extensions of IPV were introduced by Buss and by Cook and Urquhart by adding PIND for formulas of the form A ∨ B, respectively ¬¬A, where A is NP and x is not free in B. Cook and Urquhart posed the question of whether these extensions are proper. We show that in each of the two cases the extension is proper unless the polynomial hierarchy (...) collapses. (shrink)

Over the past several years, there has been a significant increase in the number of scientific articles with two or more authors claiming “Equal Co-First Authorship”. This study provides a critical background to ECFA designations, discusses likely causes of its increased use, and explores arguments for and against the practice. Subsequently, it presents the results of a qualitative study that sought the opinion of 19 authors listed among equal first authors of recent publications in leading scientific journals about ECFA designations. (...) Results show that circumstances leading to ECFA designations vary significantly from each other. While the development of policies for these situations would not be easy, participants suggested that the lack of clear and consistent policies regarding the attribution and evaluation of ECFA contributes to tensions amongst ECFA authors and obscures their preferred attributions of credit. (shrink)

In this article, we discuss ethical issues related to using and disclosing artificial intelligence (AI) tools, such as ChatGPT and other systems based on large language models (LLMs), to write or edit scholarly manuscripts. Some journals, such as Science, have banned the use of LLMs because of the ethical problems they raise concerning responsible authorship. We argue that this is not a reasonable response to the moral conundrums created by the use of LLMs because bans are unenforceable and would encourage (...) undisclosed use of LLMs. Furthermore, LLMs can be useful in writing, reviewing and editing text, and promote equity in science. Others have argued that LLMs should be mentioned in the acknowledgments since they do not meet all the authorship criteria. We argue that naming LLMs as authors or mentioning them in the acknowledgments are both inappropriate forms of recognition because LLMs do not have free will and therefore cannot be held morally or legally responsible for what they do. Tools in general, and software in particular, are usually cited in-text, followed by being mentioned in the references. We provide suggestions to improve APA Style for referencing ChatGPT to specifically indicate the contributor who used LLMs (because interactions are stored on personal user accounts), the used version and model (because the same version could use different language models and generate dissimilar responses, e.g., ChatGPT May 12 Version GPT3.5 or GPT4), and the time of usage (because LLMs evolve fast and generate dissimilar responses over time). We recommend that researchers who use LLMs: (1) disclose their use in the introduction or methods section to transparently describe details such as used prompts and note which parts of the text are affected, (2) use in-text citations and references (to recognize their used applications and improve findability and indexing), and (3) record and submit their relevant interactions with LLMs as supplementary material or appendices. (shrink)

Aristotle and Spinoza, two influential philosophers in the history of philosophy, and the subject of their philosophy is Johar. is, by comparing the properties of essence from his point of view, the root of many differences in the great part of Western philosophy is catching up. It is worth noting that these two philosophers have similarities with the definition of essence They also have; But they differ a lot about its features and examples. Study of Aristotle's opinions in The two (...) books Organon and Metaphysics, and the explanation of Spinoza's attitude in the book of Ethics, is the first step of this article. Of course, a look at the substance in the custom and idiom of Ibn Nasina and his innovations can be a help for a better understanding. The essence is from the point of view of pilgrims. The criterion of the researcher for evaluation is the degree of compatibility of the essence definition with another It is the parts of the philosophical system. With the conducted studies, the result is that Spinoza's definition is stable It is more logical and has provided a more coherent system. (shrink)

For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H (...) by different methods. We provide more examples of theories not in the range of ℋ. We show PA-normality of once-branching Kripke models of HA + MP, where it is not known whether the same holds if MP is dropped. (shrink)

In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke (...) model deciding Δ0-formulas it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM. We also show that, for each n ≥ 1, iΦn does not prove ℋ(IΠn's are Burr's fragments of HA. (shrink)

There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds Aα and Bα of them, Aα is a subset of Bα and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of (...) A. We characterize theories that are preserved under taking submodels and also those that are preserved under taking extensions as universal and existential theories, respectively. We also study the notion elementary submodel defined in the same style and give some results concerning this notion. In particular, we prove that the relation between each two corresponding worlds of finite Kripke models A ≤ B is elementary extension (in the classical sense) (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

In this paper we naturally define when a theory has bounded quantifier elimination, or is bounded model complete. We give several equivalent conditions for a theory to have each of these properties. These results provide simple proofs for some known results in the model theory of the bounded arithmetic theories like CPV and PV1. We use the mentioned results to obtain some independence results in the context of intuitionistic bounded arithmetic. We show that, if the intuitionistic theory of polynomial induction (...) on strict $\Pi_2^{b}$ formulas proves decidability of $\Sigma_1^b$ formulas, then P=NP. We also prove that, if the mentioned intuitionistic theory proves ${\rm LMIN}(\Sigma_{1}^{b})$ , then P=NP. (shrink)

Retractions solicited by authors following the discovery of an unintentional error—what we henceforth call a “self-retraction”—are a new phenomenon of growing importance, about which very little is known. Here we present results of a small qualitative study aimed at gaining preliminary insights about circumstances, motivations and beliefs that accompanied the experience of a self-retraction. We identified retraction notes that unambiguously reported an honest error and that had been published between the years 2010 and 2015. We limited our sample to retractions (...) with at least one co-author based in the Netherlands, Belgium, United Kingdom, Germany or a Scandinavian country, and we invited these authors to a semi-structured interview. Fourteen authors accepted our invitation. Contrary to our initial assumptions, most of our interviewees had not originally intended to retract their paper. They had contacted the journal to request a correction and the decision to retract had been made by journal editors. All interviewees reported that having to retract their own publication made them concerned for their scientific reputation and career, often causing considerable stress and anxiety. Interviewees also encountered difficulties in communicating with the journal and recalled other procedural issues that had unnecessarily slowed down the process of self-retraction. Intriguingly, however, all interviewees reported how, contrary to their own expectations, the self-retraction had brought no damage to their reputation and in some cases had actually improved it. We also examined the ethical motivations that interviewees ascribed, retrospectively, to their actions and found that such motivations included a combination of moral and prudential considerations. These preliminary results suggest that scientists would welcome innovations to facilitate the process of self-retraction. (shrink)

The path of religious pluralism starts with the fact that our world contains a number of religious faiths having different ideas of the nature of divinity as the main and fundamental principle of religions and therefore, different and various dogmas, rites, and rituals.Despite the claim that the idea of religious pluralism is a product of modern philosophical schools, specifically new epistemological principles, I have attempted to demonstrate that what I have called "pluralistic religion," as a part of a necessary and (...) substantial distinction that has to be drawn between this hypothesis and John Hick's classic theory of "religious pluralism," is strongly rooted in the principle of "ultimate truth and uniqueness of .. (shrink)

Background: Patient safety, which is a patient’s right, can be threatened by nursing errors. Furthermore, nurses’ feeling of “being a wrongdoer” in response to nursing errors can influence the quality of care they deliver. Research objectives: To explore the meaning of Iranian nurses’ experience of “being a wrongdoer.” Research design: A phenomenological approach was used to explore nurses’ lived experiences. Nurses were recruited purposively to take part in semistructured interviews, and the data collected from these interviews were analyzed using Van (...) Manen’s thematic analysis. Participants and research context: Eight nurses working in three private or governmental hospitals in Tehran, Iran. Ethical consideration: The research design was approved in each participating hospital, and all interviews were carried out at a predetermined time in a private place. Findings: Five themes were extracted from the data: “wandering in unpleasant feelings” (with two subthemes: “unpleasant physical feelings” and “unpleasant emotions”), “wandering in the conscience court” (with three subthemes: “being the accused,” “being the victim,” and “being the judge”), “being arrested in time,” “time for change” (with three subthemes: “promoting accountability,” “promoting learning,” and “strengthening supportive relationships”), and “spiritual exercise.” Discussion: Some of our results are supported by the model of self-reconciliation and the recovery trajectory of “second victims” theory. Conclusion: The meaning of “being a wrongdoer” has positive and negative aspects. Feelings of wandering provide nurses the opportunity to reflect on and re-embrace the professional and moral responsibility of nursing. Nursing managers can convert their “defeats” into a prelude to learning, increase their accountability, and improve the quality of nursing care. (shrink)

We construct ω-framed Kripke models of i∀1 and iΠ1 non of whose worlds satisfies ∀x∃y(x=2y∨x=2y+1) and ∀x,y∃zExp(x, y, z) respectively. This will enable us to show that i∀1 does not prove ¬¬∀x∃y(x=2y∨x=2y+1) and iΠ1 does not prove ¬¬∀x, y∃zExp(x, y, z). Therefore, i∀1⊬¬¬lop and iΠ1⊬¬¬iΣ1. We also prove that HA⊬lΣ1 and present some remarks about iΠ2.

It is shown that the feasibly constructive arithmetic theory IPV does not prove LMIN, unless the polynomial hierarchy CPV-provably collapses. It is proved that PV plus LMIN intuitionistically proves PIND. It is observed that PV + PIND does not intuitionistically prove NPB, a scheme which states that the extended Frege systems are not polynomially bounded.

This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two-node PA-normal Kripke structure which does not force iΣ2. We prove i∀1 ⊬ i∃1, i∃1 ⊬ i∀1, iΠ2 ⊬ iΣ2 and iΣ2 ⊬ (...) iΠ2. We use Smorynski's operation Σ′ to show HA ⊬ lΠ1. (shrink)

Le problème de l’inaction des intellectuels est un thème récurrent dans les écrits de Ralph Waldo Emerson. Les commentateurs ont accordé beaucoup d’attention à «l’intellectuel américain», mais moins à ses remarques concernant l’«intellectuel pâle». Dans cet article, je me concentre sur ce dernier point, en montrant qu’une compréhension de la manière dont évoluent les idées d’Emerson sur ce qui compte pour l’action permettrait non seulement d’approfondir notre compréhension de sa philosophie ainsi que son orientation vers la conduite de la vie, (...) mais aussi d’expliquer pourquoi, selon Emerson, il ne semble pas y avoir de réconciliation possible entre «la théorie et la pratique de la vie». (shrink)