We show that the existential preservation theorem fails for two-variable first-order logic FO2. It is known that for all k ≥ 3, FOk does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO2.

This article examines the philosophical issues that arise when preserving urban geological sites or urban geosites. These are preserved not only because of their geological value but also because of aesthetic, cultural, and economic reasons. To do so, it examines the geosite constituted by Olot and its surroundings, a city in Spain that extends amid four dormant volcanoes. It explores the metaphysical paradox that these geosites have become what they are due to the preservation of destruction: human-caused interventions, mostly (...) extraction of materials and exploitation of the land, are precisely what made these geosites visible as sites worth preserving and determining their metaphysical status. It further explores the preservation criteria and shows how they have determined the status of the geosite. Second, it shows how in such urban geosites the collapse of two diametrically opposed conceptions of time – the geological eon and the lived human time – occurs. Lastly, it discusses aesthetic aspects of such geosites by considering aesthetic experience as a primarily cognitive endeavor and shows how metaphysical, epistemological, and aesthetic issues of preservation of geosites are inextricably linked. (shrink)

In a current clinical trial for Emergency Preservation and Resuscitation, Dr. Samuel Tisherman of the University of Maryland aims to induce therapeutic hypothermia in order to ‘buy time’ for operating on victims of severe exsanguination. While recent publicity has framed this controversial procedure as ‘killing a patient to save his life’, the US Army and Acute Care Research appear to support the study on the grounds that such patients already face low chances of survival. Given that enrollment in the (...) trial must be non-voluntary, the study has received an exemption from federal standards for obtaining informed consent. How exactly, if at all, is non-voluntary enrollment morally justifiable? In this essay, I appeal to the notable work of Hans Jonas in an effort to defend the EPR trial's use of non-voluntary enrollment. It is often thought and, as I show, it may appear that Jonas has called for the end of experimental medical practice. Still, I derive from Jonas a principle of double-effect upon which physicians may be seen as morally permitted to pursue innovations in emergency medicine but only as a byproduct of pursuing therapeutic success. With this position, I argue that the EPR trial can be granted a stronger philosophical justification than simply waiving the requirement of obtaining informed consent. The double-effect justification would obtain, perhaps regardless of the success of such innovative procedures as therapeutic hypothermia. (shrink)

Research indicates the essentiality of dignity as a vital component for quality of life, reconfirming the emphasis on dignity preservation in the international code of nursing ethics. Applying Noblit and Hare’s meta-ethnography, the aim of the study was to develop a theory model by synthesizing 10 qualitative articles from various cultural contexts, exploring nurse and allied healthcare professional perception/practice concerning dignity-preserving dementia care. “Advocating the person’s autonomy and integrity,” which involves “having compassion for the person,” “confirming the person’s worthiness (...) and sense of self,” and “creating a humane and purposeful environment,” was identified as a primary foundation for dignity-preserving dementia care. “Balancing individual choices among persons no longer able to make sound decisions, against the duty of making choices on behalf of the person,” which involves “persuasion” and/or “mild restraint,” was considered a crucial aspect in certain situations. “Sheltering human worth—remembering those who forget” was identified as a comprehensive motive and core value within dignity-preserving dementia care. (shrink)

Bradley offers a quick and convincing argument that no Boolean semantic theory for conditionals can validate a very natural principle concerning the relationship between credences and conditionals. We argue that Bradley’s principle, Preservation, is, in fact, invalid; its appeal arises from the validity of a nearby, but distinct, principle, which we call Local Preservation, and which Boolean semantic theories can non-trivially validate.

In this paper, we aim at explaining the relevance of thought experiments in philosophy and the history of science by describing them as particular instances of two categories of creative thinking: metaphorical reasoning and abductive cognition. As a result of this definition, we will claim that TEs hold an ignorance-preserving trait that is evidenced in both TEs inferential structure and in the process of scenario creation they presuppose. Elaborating this thesis will allow us to explain the wonder that philosophers of (...) science have consistently shown for TEs, as well as the high functionality of TEs in the creative aspects of scientific and philosophical praxis. (shrink)

Structural realists claim that structure is preserved across instances of radical theory change, and that this preservation provides an argument in favor of realism about structure. In this paper, I use the shift from Newtonian gravity to Einstein’s general relativity as a case study for structural preservation, and I demonstrate that two prominent views of structural preservation fail to provide a solid basis for realism about structure. The case study demonstrates that (i) structural realists must be epistemically (...) precise about the concrete structure that is being preserved, and (ii) they must provide a metaphysical account of how structure is preserved through re-interpretation in light of a new theory. Regarding (i), I describe a means of epistemic access to the unobservable that I call “thick detection” of structure, which isolates the structure that will be preserved. Regarding (ii), I argue that thickly detectable structure is preserved across theory change through a process of extracting the old structure from the new structure, much like what has been done with geometrized versions of Newtonian gravity. With these two responses in hand, the structural realist can adequately account for the preservation of structure and can provide a strong argument in favor of structural realism. (shrink)

This paper explores the aesthetic aspects at play in the preservation efforts in the Bosc de Tosca to gain insight into the role of aesthetics in preservation of natural heritage. The preservation of landscapes entails a complex balancing between aesthetics and sustainability, as preservationist decisions based primarily on appearance may be at odds with pressing environmental concerns. If the area to be preserved is a constantly evolving and lived landscape, the interventions enacted on the place may affect (...) the current appearance and the way in which the area is lived now and in the future. By resorting to the issues discussed in intergenerational aesthetics, this paper aims to show how including the potential aesthetic experience and values of future generations may help in making more aesthetically and environmentally sustainable decisions. The paper begins with a description of the Bosc de Tosca and its surroundings, its metaphysical status, and a description of the preservation approaches at play in the area. It then presents the main stakes of intergenerational aesthetics. It ends by discussing specific aspects of the preservation of the Bosc de Tosca area and aesthetic interventions to show the complex relationship between aesthetics and sustainability and how intergenerational aesthetics can contribute to both theory and practice of preservation taking into account environmental concerns. (shrink)

We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes the (...) sentences preserved under sandwiches of Kripke models. We also define several intuitionistic formula hierarchies analogous to the classical formula hierarchies $\forall_n (= \Pi^0_n)$ and $\exists_n (=\Sigma^0_n)$ , and we show how our generalized syntactic preservation theorems specialize to these hierarchies. Each of these theorems implies the corresponding classical theorem in the case where the Kripke models force classical logic. (shrink)

The aim of this paper is to show that a comprehensive account of the role of representations in science should reconsider some neglected theses of the classical philosophy of science proposed in the first decades of the 20th century. More precisely, it is argued that the accounts of Helmholtz and Hertz may be taken as prototypes of representational accounts in which structure preservation plays an essential role. Following Reichenbach, structure-preserving representations provide a useful device for formulating an up-to-date version (...) of a (relativized) Kantian a priori. An essential feature of modern scientific representations is their mathematical character. That is, representations can be conceived as (partially) structure-preserving maps or functions. This observation suggests an interesting but neglected perspective on the history and philosophy of this concept, namely, that structure-preserving representations are closely related to a priori elements of scientific knowledge. Reichenbach’s early theory of a relativized constitutive but non-apodictic a priori component of scientific knowledge provides a further elaboration of Kantian aspects of scientific representation. To cope with the dynamic aspects of the evolution of scientific knowledge, Cassirer proposed a re-interpretation of the concept of representation that conceived of a particular representation as only one phase in a continuous process determined by pragmatic considerations. Pragmatic aspects of representations are further elaborated in the classical account of C.I. Lewis and the more modern of Hasok Chang. (shrink)

This article is a précis of the book, Living well now and in the future: Why sustainability matters. It provides an overview of the book, focusing especially on its conceptualization of the nature and normative dimensions of sustainability. The latter include its formulation of an ethic of sustainability and eudaimonic theory of justice. Some central claims are that the fundamental normative concern of sustainability is the long-term preservation of opportunity to live well, and that the conceptualization of preservation (...) of opportunity should be focused on the satisfaction of basic psychological needs associated with fulfillment of potential. (shrink)

For patients with mental health problems, de-institutionalization has meant a shift from institutional care to living in the community. However, several studies show that problems of stigmatization, loneliness and negative attitudes devalue the dignity and autonomy of these patients. The aim of this study was to gain a deeper understanding of how people with mental health problems experience living in an apartment of their own. The data collection method was focus group interviews. The constant comparative method revealed the main category (...) ‘preserving integrity’. The subcategories were: the need for control over information, similar relationships with both friends and neighbours (symmetrical contact), and ‘My home is my castle’. Participants who lived in a group home had little or no contact with their neighbours. The participants experienced lack of acceptance and loss of autonomy when meeting people. Integrity was a necessary condition in order for them to become equal citizens, experience autonomy and dignity, and have the opportunity to develop social contacts. (shrink)

A classic result of Baumgartner-Harrington-Kleinberg [1] implies that assuming CH a stationary subset of ω1 has a CUB subset in a cardinal-perserving generic extension of V, via a forcing of cardinality ω1. Therefore, assuming that $\omega_2^L$ is countable: { $X \in L \mid X \subseteq \omega_1^L$ and X has a CUB subset in a cardinal -preserving extension of L} is constructible, as it equals the set of constructible subsets of $\omega_1^L$ which in L are stationary. Is there a similar such (...) result for subsets of $\ omega_2^L$ ? Building on work of M. Stanley [9], we show that there is not. We shall also consider a number of related problems, examining the extent to which they are "solvable" in the above sense, as well as defining a notion of reduction between them. (shrink)

It is argued that contraposition is valid for a class of natural language conditionals, if some modifications are allowed to preserve the meaning of the original conditional. In many cases, implicit temporal indices must be considered, making a change in verb tense necessary. A suitable contrapositive for implicative counterfactual conditionals can also usually be found. In some cases, the addition of certain words is necessary to preserve meaning that is present in the original sentence and would be lost or changed (...) in the contrapositive without them. A distinction is made between adding new meaning and adding new words to preserve existing meaning. For concessive conditionals and relevance conditionals, however, no valid contrapositive can be found. They do not belong to the class of contraposable conditionals, which can be independently defined. Difficult cases are also discussed in which the contradictory of the consequent semantically entails the truth of the antecedent. In such cases the content of the antecedent is implicit in the meaning of the consequent. Contraposition becomes possible if what is implicit in the original consequent is made explicit in the contrapositive antecedent. (shrink)

We prove that the property "P doesn't make the old reals Lebesgue null" is preserved under countable support iterations of proper forcings, under the additional assumption that the forcings are nep (a generalization of Suslin proper) in an absolute way. We also give some results for general Suslin ccc ideals.

Environmental protection in times of armed conflicts, irrespective internal or international, is rarely considered as a prioritized concern. Due to the concept of state sovereignty, this is especially problematic when examining interaction of warfare and environmental protection in non-international hostilities. Not only it is challenging to find any exhaustive and explicit legal provisions regulating the matter, but this issue has also been forgotten by international legal scholars. Therefore, in this article the author reviews written and customary norms laid down in (...) documents of various branches of international law, such as international humanitarian law, human rights law, environmental law and international criminal law, which directly or by way of interpretation may favour environmental protection in times of internal armed conflict. This is to be done in order to gather information about the sufficiency of legal framework on preservation of the environment in times of noninternational armed conflicts. After doing this research, a few possible means to improve current legal framework are suggested. The author suggests to impose civil liability, enact new comprehensive document, initiate changes in international criminal law and other. (shrink)

A popular and plausible response against Laudan's “pessimistic induction” has been what I call “preservative realism,” which argues that there have actually been enough elements of scientific knowledge preserved through major theory‐change processes, and that those elements can be accepted realistically. This paper argues against preservative realism, in particular through a critical review of Psillos's argument concerning the case of the caloric theory of heat. Contrary to his argument, the historical record of the caloric theory reveals that beliefs about the (...) properties of material caloric, rejected by subsequent theories, were indeed central to the successes of the caloric theory. Therefore caloric remains a favorable case for Laudan. Further, I argue that even confirmed cases of preservation do not warrant an inference to truth. (shrink)

BackgroundWhile fertility preservation is recommended practice for paediatric oncology patients, it is increasingly being considered for transgender children and young people in paediatric care. This raises ethical issues for clinicians, particularly around consent and shared decision-making in this new area of healthcare.MethodsA systematic review of normative literature was conducted across four databases in June 2020 to capture ethical considerations related to fertility counselling and preservation in paediatric transgender healthcare. The text of included publications was analysed inductively, guided by (...) the Qualitative Analysis Guide of Leuven.ResultsTwenty-four publications were identified for inclusion. Four key ethical considerations emerged from this literature: access to fertility preservation, conscientious objection, decision-making capacity of children and young people, and shared decision-making.ConclusionIn the identified literature, there is consensus that transgender children and young people should not be refused access to fertility preservation services solely due to their gender identity, and that clinicians with conscientious objections to fertility preservation for this group have an obligation to refer on to willing providers. Factors that create ethical complexity in this area of paediatric care include the child’s age, mental health, and parents’ views. (shrink)

It is proved consistent that there be a proper σ-ideal ℑ on ω 1 and an ℵ 1 -preserving poset P such that $\mathbb{P} \Vdash$ the σ-ideal generated by ℑ̌ is not proper.

A truth-preservation fallacy is using the concept of truth-preservation where some other concept is needed. For example, in certain contexts saying that consequences can be deduced from premises using truth-preserving deduction rules is a fallacy if it suggests that all truth-preserving rules are consequence-preserving. The arithmetic additive-associativity rule that yields 6 = (3 + (2 + 1)) from 6 = ((3 + 2) + 1) is truth-preserving but not consequence-preserving. As noted in James Gasser’s dissertation, Leibniz has been (...) criticized for using that rule in attempting to show that arithmetic equations are consequences of definitions. -/- A system of deductions is truth-preserving if each of its deductions having true premises has a true conclusion—and consequence-preserving if, for any given set of sentences, each deduction having premises that are consequences of that set has a conclusion that is a consequence of that set. Consequence-preserving amounts to: in each of its deductions the conclusion is a consequence of the premises. The same definitions apply to deduction rules considered as systems of deductions. Every consequence-preserving system is truth-preserving. It is not as well-known that the converse fails: not every truth-preserving system is consequence-preserving. Likewise for rules: not every truth-preserving rule is consequence-preserving. There are many famous examples. In ordinary first-order Peano-Arithmetic, the induction rule yields the conclusion ‘every number x is such that: x is zero or x is a successor’—which is not a consequence of the null set—from two tautological premises, which are consequences of the null set, of course. The arithmetic induction rule is truth-preserving but not consequence-preserving. Truth-preserving rules that are not consequence-preserving are non-logical or extra-logical rules. Such rules are unacceptable to persons espousing traditional truth-and-consequence conceptions of demonstration: a demonstration shows its conclusion is true by showing that its conclusion is a consequence of premises already known to be true. The 1965 Preface in Benson Mates (1972, vii) contains the first occurrence of truth-preservation fallacies in the book. (shrink)

Some patients who have been diagnosed as “dead by neurologic criteria” continue to exhibit certain brain functions, most commonly, neuroendocrine functions. This preservation of neurologic function after the diagnosis of “brain death” or “brainstem death” is an ongoing source of controversy and concern in the medical, bioethics, and legal literatures. Most obviously, if some brain function persists, then it is not the case that all functions of the entire brain have ceased and hence, declaring such a patient to be (...) “dead” would be a false positive, in any nation with so-called “whole brain death” laws. Furthermore, and perhaps more concerning, the preservation of any brain function necessarily entails the preservation of some amount of brain perfusion, thereby raising the concern as to whether additional areas of neural tissue may remain viable, including areas in the brainstem. These and other considerations cast significant doubt on the reliability of diagnosing either “brain death” or “brainstem death.”. (shrink)

Should we preserve nature or revolt in order to protect “the living” (“le vivant”)? At first sight, this invites a comparison between two ways and means of protecting nature. However, this article will defend the thesis that these two methods of protecting nature do not rest upon the same conception of our position, as human beings, towards the living. Indeed, in the end, we find an underlying opposition between nature, conceived as savage or as radical alterity (often inspired by the (...) culturally loaded notion of wilderness, as found in the politics of preservation of vulnerable natural spaces) and the notion of “the living.” I intend to use the concept of the living in order to emphasize “ordinary nature” and our strong connection with all other living things. This reflection will enable me to defend the connection between the fight for environmental justice (namely revolt or resistance movements on the part of the poorest populations defending their living environment and their resources against an unequal production system) and the struggle for the protection of vulnerable living spaces and species. (shrink)

The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence is less true than a sentence is presented.

We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering unification, that is, the property that for every two unifiers there is a unifier more general then both of them. Contrary to that, often adding new operations to algebras results in changing the unification type. To prove the results we apply the theorems of [9] on direct products of l-algebras and filtering unification. We consider (...) examples of frontal Heyting algebras, in particular Heyting algebras with the successor, γ and G operations as well as expansions of some commutative integral residuated lattices with successor operations. (shrink)

In the USA, one child in 285 children is diagnosed with cancer every year, but thanks to improvements in medicine, the survival rate has reached 80%. However, cancer treatments, such as chemotherapy and radiation, are likely to affect their fertility later in life, limiting their ability to conceive. To reduce this risk, ovarian tissue cryopreservation is a surgical procedure that allows the ovarian tissue to be retrieved and cryopreserved in order to be reimplanted back into the abdomen and restore ovarian (...) function in children who become infertile due to gonadotoxic treatments. A case study published in 2014 offered recommendations to help assess whether such a procedure should be offered to female patients who have not yet entered puberty. This paper will investigate whether, in light of more recent and updated literature, their recommendations may need to be revised. (shrink)

We prove that various classical tree forcings—for instance Sacks forcing, Mathias forcing, Laver forcing, Miller forcing and Silver forcing—preserve the statement that every real has a sharp and hence analytic determinacy. We then lift this result via methods of inner model theory to obtain level-by-level preservation of projective determinacy (PD). Assuming PD, we further prove that projective generic absoluteness holds and no new equivalence classes are added to thin projective transitive relations by these forcings.

Basic emotions such as happiness, sadness, and anger are universal, regardless of the human species, and are governed by specific brain regions. A recent report revealed that mentalizing, which is the ability to estimate other individuals’ emotional states via facial expressions, can be preserved with the help of awake surgery. However, it is still questionable whether we can maintain the ability to understand others’ emotions by preserving the positive mapping sites of intraoperative assessment. Here, we demonstrated the cortical regions related (...) to basic emotions via awake surgery for patients with frontal glioma and investigated the usefulness of functional mapping in preserving basic emotion. Of the 56 consecutive patients with right cerebral hemispheric glioma who underwent awake surgery at our hospital, intraoperative assessment of basic emotion could be successfully performed in 22 patients with frontal glioma and were included in our study. During surgery, positive responses were found in 18 points in 12 patients. Of these, 15 points from 11 patients were found at the cortical level, mainly the premotor and posterior part of the prefrontal cortices. Then, we focused on cortical 15 positive mappings with 40 stimulations and investigated the types of emotions that showed errors by every stimulation. There was no specific rule for the region-emotional type, which was beyond our expectations. In the postoperative acute phase, the test score of basic emotion declined in nine patients, and of these, it decreased under the cut-off value in three patients. Although the total score declined significantly just after surgery, it recovered within 3 months postoperatively. Our study revealed that through direct electrical stimulation, the premotor and posterior parts of the prefrontal cortices are related to various kinds of basic emotion, but not a single one. When the region with a positive mapping site is preserved during operation, basic emotion function might be maintained although it declines transiently after surgery. (shrink)

It is argued that the preservation of truth by an inference relation is of little interest when premiss sets are contradictory. The notion of a level of coherence is introduced and the utility of modal logics in the semantic representation of sets of higher coherence levels is noted. It is shown that this representative role cannot be transferred to first order logic via frame theory since the modal formulae expressing coherence level restrictions are not first order definable. Finally, an (...) inference relation, calledyielding, is introduced which is intermediate between the coherence preservingforcing relation introduced elsewhere by the authors and the coherence destroying, inference relation of classical logic. (shrink)

In order to prove the validity of logical rules, one has to assume these rules in the metalogic. However, rule-circular ‘justifications’ are demonstrably without epistemic value. Is a non-circular justification of a logical system possible? This question attains particular importance in view of lasting controversies about classical versus non-classical logics. In this paper the question is answered positively, based on meaning-preserving translations between logical systems. It is demonstrated that major systems of non-classical logic, including multi-valued, paraconsistent, intuitionistic and quantum logics, (...) can be translated into classical logic by introducing additional intensional operators into the language. Based on this result it is argued that classical logic is representationally optimal. In sec. 6 it is investigated whether non-classical logics can be likewise representationally optimal. The answer is predominantly negative but partially positive. Nevertheless the situation is not symmetric, because classical logic has important ceteris paribus advantages as a unifying metalogic. (shrink)

We prove some preservation theorems concerning inductive and model-complete theories in the framework of semi-classical logic introduced in [1].

We present an exposition of Section VI.1 and most of Section VI.2 from Shelah’s book Proper and Improper Forcing. These sections offer proofs of the preservation under countable support iteration of proper forcing of various properties, including proofs that ωω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\omega^\omega}$$\end{document} -bounding, the Sacks property, the Laver property, and the P-point property are preserved by countable support iteration of proper forcing.

The aim of this article was to obtain an understanding of what is experienced as human dignity by nurses in surgical practice. In order to obtain experiences from practice, the critical incident technique was chosen. A total of 11 nurses from surgical practice wrote 49 stories about positive and negative incidents. The text was analysed using hermeneutical text interpretation. The findings revealed patient dignity in terms of preserved dignity, that is, healthcare professionals paid attention to the patient. Nurses experienced preserved (...) dignity when healthcare professionals allowed the patient to tell their story, allowed themselves to get close to the patient and in turn received the patient’s trust. Violated dignity included circumstances when the nurses were forced to see what they did not want to see. Nurses experienced violated dignity when healthcare professionals behaved rudely towards the patient, acted as if he or she was invisible or humiliated the patient at the end of life. (shrink)

Perspective taking has been proposed to be impaired in persons with autism spectrum disorder, especially when implicit processing is required. In narrative texts, language perception and interpretation is fundamentally guided by taking the perspective of a narrator. We studied perspective taking in the linguistic domain of so-called Free Indirect Discourse, during which certain text segments have to be interpreted as the thoughts or utterances of a protagonist without explicitly being marked as thought or speech representations of that protagonist. Crucially, the (...) correct interpretation of text segments as FID depends on the ability to detect which of the protagonists “stands out” against the others and is therefore identifiable as implicit thinker or speaker. This so-called “prominence” status of a protagonist is based on linguistic properties, in other words, the perspective is “hidden” and has to be inferred from the text material. In order to test whether this implicit perspective taking ability that is required for the interpretation of FID is preserved in persons with ASD, we presented short texts with three sentences to adults with and without ASD. In the last sentence, the perspective was switched either to the more or the less prominent of two protagonists. Participants were asked to rate the texts regarding their naturalness. Both diagnostic groups rated sentences with FID anchored to the less prominent protagonist as less natural than sentences with FID anchored to the more prominent protagonist. Our results that the high-level perspective taking ability in written language that is required for the interpretation of FID is well preserved in persons with ASD supports the conclusion that language skills are highly elaborated in ASD so that even the challenging attribution of utterances to protagonists is possible if they are only implicitly given. We discuss the implications in the context of claims of impaired perspective taking in ASD as well as with regard to the underlying processing of FID. (shrink)

The last decade has seen impressive and intriguing advances in the exploration of vestiges of consciousness in patients with disorders of consciousness . Consciousness is an extremely complex area of research so it is difficult to provide unequivocal interpretations of these new findings from DOC-studies. This review therefore provides a conceptual analysis of a series of key studies in this area of research. The main upshot is that different studies of preserved consciousness in DOC are best seen as targeting different (...) aspects of consciousness rather than a unitary property of being conscious. These different aspects of consciousness thus seem to dissociate and fractionate in DOC. This provides a deeper understanding of the nature and structure of consciousness in general, and it provides suggestions for future research in DOC and the science of consciousness. Further methodological, conceptual, and ethical issues are discussed. (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)

We define and study a new restricted consistency notion RCon ∗ for bounded arithmetic theories T 2 j . It is the strongest ∀ Π 1 b -statement over S 2 1 provable in T 2 j , similar to Con in Krajíček and Pudlák, 29) or RCon in Krajı́ček and Takeuti 107). The advantage of our notion over the others is that RCon ∗ can directly be used to construct models of T 2 j . We apply this by (...) proving preservation theorems for theories of bounded arithmetic of the following well-known kind: The ∀ Π 1 b -separation of bounded arithmetic theories S 2 i from T 2 j is equivalent to the existence of a model of S 2 i which does not have a Δ 0 b -elementary extension to a model of T 2 j . More specific, let M ⊨ Ω 1 nst denote that there is a nonstandard element c in M such that the function n ↦ 2 log c is total in M . Let BLΣ 1 b be the bounded collection schema for Σ 1 b -formulas. We obtain the following preservation results: the ∀ Π 1 b -separation of S 2 i from T 2 j is equivalent to the existence of 1. a model of S 2 i +Ω 1 nst which is 1 b -closed w.r.t. T 2 j , 2. a countable model of S 2 i + BLΣ 1 b without weak end extensions to models of T 2 j. (shrink)

The revisionary approach to semantic paradox is commonly thought to have a somewhat uncomfortable corollary, viz. that, on pain of triviality, we cannot affirm that all valid arguments preserve truth (Beall2007, Beall2009, Field2008, Field2009). We show that the standard arguments for this conclusion all break down once (i) the structural rule of contraction is restricted and (ii) how the premises can be aggregated---so that they can be said to jointly entail a given conclusion---is appropriately understood. In addition, we briefly rehearse (...) some reasons for restricting structural contraction. (shrink)

This paper concerns product constructions within the continuous-logic framework of Ben Yaacov, Berenstein, Henson, and Usvyatsov. Continuous-logic analogues are presented for the direct product, direct sum, and almost everywhere direct product analyzed in the work of Feferman and Vaught. These constructions are shown to possess a number of preservation properties analogous to those enjoyed by their classical counterparts in ordinary first-order logic: for example, each product preserves elementary equivalence in an appropriate sense; and if for \(i\in \mathbb {N}\) \(\mathcal (...) {M}_i\) is a metric structure and the sentence \(\theta \) is true in \(\prod _{i=0}^k\mathcal {M}_i\) for every \(k\in \mathbb {N}\), then \(\theta \) is true in \(\prod _{i\in \mathbb {N}}\mathcal {M}_i\). (shrink)

The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...) We investigate to what extent structural properties of the given atomic relation are preserved through the extension to the full language. While closure under the Cut rule narrowly construed is not in general thus preserved, two properties jointly amounting to closure under the ordinary structural rules, including Cut, are. -/- Attention is then narrowed down to the special case of a standard first-order language, where a similar result is obtained also for closure under substitution of terms for individual parameters. Taken together, the three preservation results imply the familiar cut-elimination theorem for pure first-order intuitionistic sequent calculus. -/- In the interest of conceptual economy, all deducibility relations are specified purely inductively, rather than in terms of the existence of formal proofs of any kind. (shrink)

Given advances in the science of fertility preservation and the link between fertility choices and wellbeing, it is time to reframe our ethical thinking around fertility preservation procedures for children and young people with cancer. The current framing of fertility preservation as a possible offer may no longer be universally appropriate. There is an increasingly pressing need to discuss the ethics of failing to preserve fertility, particularly for patient groups for whom established techniques exist. I argue that (...) the starting point for deliberating about a particular patient should be a rebuttable presumption that fertility preservation ought to be attempted. Consideration of the harms applicable to that specific patient may then override this presumption. I outline the benefits of attempting fertility preservation; these justify a presumption in favour of the treatment. I then discuss the potential harms associated with fertility preservation procedures, which may justify failing to attempt fertility preservation in an individual patient's particular case. Moving from a framework of offer to one of rebuttable presumption in favour of fertility preservation would have significant implications for medical practice, healthcare organizations and the state. (shrink)