Background: Healthcare professionals follow codes of ethics, making them responsible for providing holistic care to all disaster victims. However, this often results in ethical dilemmas due to the need to provide rapid critical care while simultaneously attending to a complex spectrum of patient needs. These dilemmas can cause negative emotions to accumulate over time and impact physiological and psychological health, which can also threaten nurse–patient relationships. Aim: This study aimed to understand the experience of nurses who cared for burn victims (...) of the color-dust explosion and the meaning of ethical relationships between nurse and patient. Research design: A qualitative descriptive study using a phenomenological approach. Participants and research context: Clinical nurses who provided care to the patients of the Formosa color-dust explosion of 2015 were selected by purposive sampling from a medical center in Taiwan. Data were collected using individual in-depth semi-structured interviews. Audiotaped interviews were transcribed and analyzed using Colaizzi’s method. Ethical considerations: This study was approved by the institutional review board of the study hospital. All participants provided written informed consent. Findings Three main themes described the essence of the ethical dilemmas experienced by nurses who cared for the burn-injured patients: the calling must be answered, the calling provoked my feelings, and the calling called out my strengths. Conclusions: Healthcare providers should recognize that nurses believed they had an ethical responsibility to care for color-dust explosion burn victims. Understanding the feelings of nurses during the care of patients and encouraging them to differentiate between the self and the other by fostering patient–nurse relationships based on intersubjectivity could help nurses increase self-care and improve patient caregiving. (shrink)

The main feature of NF/NFU is the notion of stratification, which sets it apart from other set theories. We define stratification and prove constructively that every stratified formula has the (unique) least assignment of types. The basic notion of stratification is concerned only with variables, but we extend it to abstraction terms in order to simplify further development. We reflect on nested abstraction terms, proving that they get the expected types. These extensions enable us to check whether some complex formula (...) is stratified without rewriting it in the basic language. We also introduce natural numbers and a variant of the axiom of infinity, in order to precisely introduce type level ordered pairs, which are crucial in simplifying the definitions in the last part of the article. Using these notions we can easily define the sets of ordinal and cardinal numbers, which we show at the end of the article. The same approach can be readily applied to NF. (shrink)

In this paper, we rigorously prove the existence of type-level ordered pairs in Quine’s New Foundations with atoms, augmented by the axiom of infinity and the axiom of choice (NFU + Inf + AC). The proof uses the cardinal squaring principle; more precisely, its instance for the (infinite) universe (VCSP), which is a theorem of NFU + Inf + AC. Therefore, we have a justification for proposing a new axiomatic extension of NFU, in order to obtain type-level ordered pairs almost (...) from the beginning. This axiomatic extension is NFU + Inf + AC + VCSP, which is equivalent to NFU + Inf + AC, but easier to reason about. (shrink)

In this paper, I criticize John Bigelow's account of number and present my own account that results from the criticism. In doing so, I argue that proper understanding of the nature of number requires a radical departure from the standard conception of language and reality and outline the alternative conception that underlies my account of number. I argue that Bigelow's account of number rests on an incorrect analysis of the plural constructions underlying the talk of number and propound an analysis (...) of numerical sentences, such as "Quine and Goodman are two", that conforms to the natural understanding of the plural constructions. The analysis leads to the account of number according to which natural numbers are properties, i.e., one-place relations: the number two, for example, is the property indicated by "to be two", which, I argue, is a one-place predicate that can combine with plural terms like "Quine and Goodman". (shrink)

This paper introduces a new theory of constant regions, which generalizes that of interstices, in nonstandard models of arithmetic. In particular, we show that two homogeneity notions introduced by Richard Kaye and the author, namely, constantness and pregenericity, are equivalent. This led to some new characterizations of generic cuts in terms of existential closedness.

A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.

The filtration method is often used to prove the finite model property of modal logics. We adapt this technique to the generalized Veltman semantics for interpretability logics. In order to preserve the defining properties of generalized Veltman models, we use bisimulations to define adequate filtrations. We give an alternative proof of the finite model property of interpretability logic with respect to Veltman models, and we prove the finite model property of the systems and with respect to generalized Veltman models.

_Health Education: Critical perspectives_ provides a socio-cultural and critical approach to health education. The book draws together international experts in the fields of health and education who deconstruct contemporary discourses and practices, and re-imagine a health education that both connects with young people and offers a way forward in addressing issues of health and wellbeing. Chapters within specifically link academic work on neoliberalism, healthism, risk and the body to wider discourses of health and health education. They challenge current practices and (...) call for a re-thinking of current health programs in education settings. A unique feature of this book is the analyses of health education from both political and applied levels across a range of international contexts. The book is divided into three sections: the social and political contexts informing health education how individual health issues articulate in education in complex ways alternative ways to think about health and health education pedagogy. The overall theme of the book offers a perspective that the current approach to health education – promoting a fear of ill health, self-surveillance and individual responsibility – can become a form of health fascism, and we need to be cognisant of this potential and its consequences for young people. The book will be of key interest to academics and researchers exploring the political context of health education. (shrink)

Sobre la base de una línea interpretativa propiciada por la misma doctrina de Plotino, este trabajo pretende estudiar el problema que conlleva el fin último del alma humana en vista de su ascenso hacia el Uno-Bien. En varios pasajes de su obra, el filósofo sostiene que, conociendo el propio sí-mismo, se puede tomar contacto con un principio supremo, anterior incluso a la potencia intelectiva, en virtud de cuya visión es dable gozar de un amor sin medida. El remate en la (...) unificación no depende en última instancia del acierto racional, sino de concordar en el mismo centro con aquello de semejante al Uno-Bien que hay en el alma. Estas distinciones abonarían la posibilidad de una unión mística dentro del sistema plotiniano. Sin embargo, desde el punto de vista epistemológico, el estatuto místico es controvertido y plantea una serie dificultades teóricas que es necesario dilucidar. Para el análisis de los tópicos mentados se desarrolla una lectura a la vez hermenéutica y crítica tanto de las fuentes como de la bibliografía erudita. (shrink)

A class of Kripke models is modally definable if there is a set of modal formulas such that the class consists exactly of models on which every formula from that set is globally true. In this paper, a class is also considered definable if there is a set of formulas such that it consists exactly of models in which every formula from that set is satisfiable. The notion of modal definability is then generalized by combining these two. For thus obtained (...) types of modal definability on the level of Kripke models, we give characterization theorems in the usual form, in terms of algebraic closure conditions. As some consequences of these, various preservation results are presented. Also, some characterizations are strengthened by replacing closure under ultraproducts with closure under ultrapowers. (shrink)

This paper starts by investigating Ackermann's interpretation of finite set theory in the natural numbers. We give a formal version of this interpretation from Peano arithmetic (PA) to Zermelo-Fraenkel set theory with the infinity axiom negated (ZF−inf) and provide an inverse interpretation going the other way. In particular, we emphasize the precise axiomatization of our set theory that is required and point out the necessity of the axiom of transitive containment or (equivalently) the axiom scheme of ∈-induction. This clarifies the (...) nature of the equivalence of PA and ZF−inf and corrects some errors in the literature. We also survey the restrictions of the Ackermann interpretation and its inverse to subsystems of PA and ZF−inf, where full induction, replacement, or separation is not assumed. The paper concludes with a discussion on the problems one faces when the totality of exponentiation fails, or when the existence of unordered pairs or power sets is not guaranteed. (shrink)

We can formalize judgments as logical formulas. Judgment aggregation deals with judgments of several agents, which need to be aggregated to a collective judgment. There are several logical formalizations of judgment aggregation. This paper focuses on a modal formalization which nicely expresses classical properties of judgment aggregation rules and famous results of social choice theory, like Arrow’s impossibility theorem. A natural deduction system for modal logic of judgment aggregation is presented in this paper. The system is sound and complete. As (...) an example of derivation, a formal proof of Arrow’s impossibility theorem is given. (shrink)

ḥeleḳ 1. Kolel azharot ṿe-liḳuṭe dinim neḥutsim mi-Shu. ʻa. ṿe-aḥaronim ... -- ḥeleḳ 2. Ka-n.l. be-hosafat harbeh segulot le-yirʼat Shamayim ule-farnasah ... .

The paper studies the nature of understanding in condensed matter physics (CMP), mediated by the successful employment of its models. I first consider two obvious candidates for the criteria of model-based understanding, Van Fraassen's sense of empirical adequacy and Hacking's instrumental utility , and conclude that both are unsatisfactory. Inspired by Hasok Chang's recent proposal to reformulate realism as the pursuit of ontological plausibility in our system of knowledge, we may require the model under consideration to be understood (or intelligible) (...) before claiming model-based understanding. Here the understanding of a model typically consists of the following: figuring out at least one plausible (preferably realistic) physical mechanism for the model, determining the theoretical consequences of the model by mathematically probing it and developing our physical intuitions about the model. I consider the q-state Potts model to illustrate. After having understood a model, we may employ the model to understand its target phenomena in the world. This is done by matching one of the interpretative models of the model with the central features of the phenomena. The matching should be motivated (ideally both theoretically and empirically) in the sense that we have good reason to believe that the central features of the phenomena can be thought of as having more or less the same structure as postulated by the interpretative model. In conclusion, I propose a two-stage account of model-based understanding in CMP: (1) understanding of a model and (2) matching a target phenomenon with a well-motivated interpretative model of the model. Empirical success and instrumental utility both play their roles in the evaluation of how successful the model is, but are not the essential part of model-based understanding. (shrink)

An introduction to the philosophy of ʻAzīz al-Dīn ibn Muḥammad Nasafī, 13th cent. and Muḥammad ibn Ibrāhīm Ṣadr al-Dīn Shīrāzī, d. 1641 about mysticism and politics in Iran.

The current study aimed to investigate the extent to which familial history of reading and math difficulties have an impact on children’s academic outcomes within a 3-year longitudinal study, which evaluated their core reading and math skills after first and second grades, as well as performance on complex academic tasks after second and third grades. At baseline, parents were asked to complete the Adult Reading History Questionnaire and its adaption, Adult Math History Questionnaire, to index familial history of reading and (...) math difficulties, respectively. Preliminary findings established the psychometric properties of the AMHQ, suggesting that it is a reliable and valid scale. Correlation analyses indicated that the ARHQ was negatively associated with children’s reading skills, whereas the AMHQ was negatively related to math outcomes. Path results revealed that the ARHQ predicted children’s performance on complex reading tasks indirectly via their core reading skills, and the AMHQ was linked to complex math outcomes indirectly via core math abilities. The ARHQ was also found to be negatively correlated with measures of children’s math performance, with path findings suggesting that these relations were indirectly explained by differences in their core reading skills. These results suggest that assessing familial risk for academic difficulties may be crucial to understanding comorbid etiological and developmental associations between reading and math differences. (shrink)

This note follows up an earlier paper in which a possibility of defining logical constants within abstract logical frameworks was discussed, by using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality. In the present note, this approach is applied to the discussion on logicality of generalized quantifiers. It is demonstrated that generalized quantifiers are logical constants by this criterion.

A 4-valued framework is proposed to distinguish intuitionistically valid formulas within classical validities.

We prove an existential analogue of the Goldblatt‐Thomason Theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of the Goldblatt‐Thomason Theorem gives general conditions, without the assumption of first‐order definability, but uses non‐standard constructions and algebraic semantics. We present a non‐algebraic proof of this result and we prove an analogous characterization for an alternative notion of modal definability, in which a class is defined by formulas which are satisfiable (...) under any valuation (the so‐called existential validity). Continuing previous work in which model theoretic characterization for this type of definability of elementary classes was proved, we give an analogous general result without the assumption of the first‐order definability. Furthermore, we outline relationships between sets of existentially valid formulas corresponding to several well‐known modal logics. (shrink)

Plausible principles on truth seem to yield contradictory conclusions about paradoxical sentences such as the Strengthened Liar. Those who take the contextualist approach, such as Parsons and Burge, attempt to justify the seemingly contradictory conclusions by arguing that the natural reasoning that leads to them involves some kind of contextual shift that makes them compatible. This paper argues that one cannot take this approach to give a proper treatment of infinite descending chains of semantic attributions. It also examines a related (...) approach taken by Gaifman and argues that it has the same problem. (shrink)

In an earlier paper the first author initiated the study of generic cuts of a model of Peano arithmetic relative to a notion of an indicator in the model. This paper extends that work. We generalise the idea of an indicator to a related neighbourhood system; this allows the theory to be extended to one that includes the case of elementary cuts. Most results transfer to this more general context, and in particular we obtain the idea of a generic cut (...) relative to a neighbourhood system, which is studied in more detail. The main new result on generic cuts presented here is a description of truth in the structure , where I is a generic cut of a model M of Peano arithmetic. The special case of elementary generic cuts provides a partial answer to a question of Kossak [R. Kossak, Four problems concerning recursively saturated models of arithmetic, Notre Dame Journal of Formal Logic 36 519–530]. (shrink)

This dissertation is intended to provide a formalism for those generics that trigger nonmonotonic inferences. The formalism is to reflect intentionality and exception-tolerating features of generics, and has an emphasis on the axiomatization of generic reasoning that encodes nonmonotonicity. ;A modal conditional approach is taken to formalize the nonmonotonic reasoning in general at the level of object language. A serial of logic systems---MN, NID, NCUM, N STCUM---are constructed in an increasing strength of the characterized nonmonotonic inference relation. In these systems, (...) two binary modal operators ⩾ and > are introduced in their syntax, and a ⊛ function lifted from the traditional * function is deployed in their semantics. These systems are shown to be sound and complete with respect to certain classes of frames defined in the semantics. They are decidable as well. The nonmonotonic inference is argued to be a ternary relation "[phi], Gamma |∼ alpha", and is defined in the system NSTCUM. Many widely discussed nonmonotonic inference patterns such as Defeasible Modus Ponens, Defeasible Transitivity, the Penguin Principle etc. are justified. The specificity rule is proved to be a theorem of the system N STCUM. The impact of negated defaults on an inference is also investigated and accounted for. ;A canonical form to read off generics is proposed: All generic sentences with subject-predicate structure can be re-written into their canonical form S . If S is a plural noun phrase, it can be further refined to be . Normal objects are selected based on the "meaning" of the subject and predicate terms. The second parameter provides an aspect with respect to which certain objects of a kind are considered normal. Due to such a way to select normal objects, the drowning problem is solved. ;The inference behaviors of generics are axiomatized in the system G, which is a quantificational extension of the system NSTCUM. It is proved to be sound and complete with respect to the class of L⩾,G -frames. Those benchmark examples of generic inferences are examined in the system G. (shrink)

A phenomenon is that which appears. In his phenomenology, Jean-Luc Marion shows how a phenomenon that appears in and out of itself evades the metaphysical demand of grounding. Classical philosophy has acknowledged phenomena only in so far as they can be sanctioned by the concepts of the intellect. This holds good also of Husserl’s constitutive ego. Now, Marion distinguishes between such intuitively “poor phenomena” and the “saturated phenomena” that exceed the intentional consciousness; they are given not by the consciousness but (...) to the consciousness in an excess of intuition. This “gift of appearance” is Marion’s main concern, in the visible in general, and in painting in particular. But whereas idols only reflect our own desire to see and to be seen, icons surprise us by the gaze the saint directs on us. A picture is the scene of a possible revelation; and the revelation is nothing but the phenomenon taken in its fullest meaning: intuitive saturation at its maximum. A crucial question, nonetheless, remains: What is the relation between revelation as a phenomenological possibility, and Revelation as a theological dogma of the utmost importance? (shrink)