The recent in vitro derivation of gamete‐like cells from mouse embryonic stem (mES) cells is a major breakthrough and lays down several challenges, both for the further scientific investigation and for the bioethical and biolegal discourse. We refer here to these cells as gamete‐like (sperm‐like or oocyte‐like, respectively), because at present there is still no evidence that these cells behave fully like bona fide sperm or oocytes, lacking the fundamental proof, i.e. combination with a normally derived gamete of the opposite (...) sex to yield a normal individual. However, the results published so far do show that these cells share some defining features of gametes. We discuss these results in the light of the bioethical and legal questions that are likely to arise would the same process become possible with human embryonic stem (hES) cells. (shrink)

This paper examines one aspect of professional practice for bioethicists: managing conflicts of interest. Drawing from our qualitative study and descriptive analysis of the experiences of conflicts of interest and/or conflicting interests (COI) of 13 Canadian clinical bioethicists (Frolic and Chidwick 2010), this paper examines how bioethicists define their roles, the nature of COIs in their roles, how their COIs relate to conventional definitions of conflicts of interest, and how COIs can be most effectively managed.

Assuming ${2^{{N_0}}}$ = N₁ and ${2^{{N_1}}}$ = N₂, we build a partial order that forces the existence of a well-order of H(ω₂) lightface definable over ⟨H(ω₂), Є⟩ and that preserves cardinal exponentiation and cofinalities.

Many critics of dual-process models have mistaken long lists of descriptive terms in the literature for a full-blown theory of necessarily co-occurring properties. These critiques have distracted attention from the cumulative progress being made in identifying the much smaller set of properties that truly do define Type 1 and Type 2 processing. Our view of the literature is that autonomous processing is the defining feature of Type 1 processing. Even more convincing is the converging evidence that the key feature of (...) Type 2 processing is the ability to sustain the decoupling of secondary representations. The latter is a foundational cognitive requirement for hypothetical thinking. (shrink)

We obtain some new results on the topology of unary definable sets in expansions of densely ordered Abelian groups of burden 2. In the special case in which the structure has dp‐rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle‐third set (Theorem 2.9). If it has burden 2 and both an (...) infinite discrete set D and a dense‐codense set X are definable, then translates of X must witness the Independence Property (Theorem 2.26). In the last section, an explicit example of an ordered Abelian group of burden 2 is given in which both an infinite discrete set and a dense‐codense set are definable. (shrink)

We show that there is a generalized high degree which is a minimal cover of a minimal degree. This is the highest jump class one can reach by finite iterations of minimality. This result also answers an old question by Lerman.

We prove that in the Cohen extension adding ℵ3 generic reals to a model of containing a simplified (ω1, 2)‐morass, gap‐2 morass‐definable η1‐orderings with cardinality ℵ3 are order‐isomorphic. Hence it is consistent that and that morass‐definable η1‐orderings with cardinality of the continuum are order‐isomorphic. We prove that there are ultrapowers of over ω that are gap‐2 morass‐definable. The constructions use a simplified gap‐2 morass, and commutativity with morass‐maps and morass‐embeddings, to extend a transfinite back‐and‐forth construction of order‐type ω1 to an (...) order‐preserving bijection between objects of cardinality ℵ3. (shrink)

This article presents normative information for the Defining Issue Test Version 2 (DIT2) schema scores and most common summary scores based on secondary data from the last 10 years DIT2 database (N = 73740, Mage = 23.11, SD = 7.87, the age range in year = 12–95) maintained by the University of Alabama’s Center for the Study of Ethical Development from 2011 to 2020. More specifically, the study provides (1) norms by education; (2) norms by gender and education; and (3) (...) norms by gender and age for the DIT2. The norms indicate a general but not consistent trend that moral reasoning scores increase by education level. Additionally, the Personal Interest and Maintain Norms scores are higher for males than females for all education levels and age groups while Postconventional, N2, and Type indicator scores are higher for females than males for all education levels and age groups. (shrink)

Let $\mathcal {S}$ be a family of nonempty sets with VC-codensity less than $2$. We prove that, if $\mathcal {S}$ has the $(\omega,2)$ -property (for any infinitely many sets in $\mathcal {S}$, at least two among them intersect), then $\mathcal {S}$ can be partitioned into finitely many subfamilies, each with the finite intersection property. If $\mathcal {S}$ is definable in some first-order structure, then these subfamilies can be chosen definable too.This is a strengthening of the case $q=2$ of the definable (...) $(p,q)$ -conjecture in model theory [9] and the Alon–Kleitman–Matoušek $(p,q)$ -theorem in combinatorics [6]. (shrink)

Disabled‐2 (Dab2) is a multimodular scaffold protein with signaling roles in the domains of cell growth, trafficking, differentiation, and homeostasis. Emerging evidences place Dab2 as a novel modulator of cell–cell interaction; however, its mode of action has remained largely elusive. In this review, we highlight the relevance of Dab2 function in cell signaling and development and provide the most recent and comprehensive analysis of Dab2's action as a mediator of homotypical and heterotypical interactions. Accordingly, Dab‐2 controls the extent of platelet (...) aggregation through various motifs within its N‐terminus. Dab2 interacts with the cytosolic tail of the integrin receptor blocking inside‐out signaling, whereas extracellular Dab2 competes with fibrinogen for integrin αIIbβ3 receptor binding and, thus, modulates outside‐in signaling. An additional level of regulation results from Dab2's association with cell surface lipids, an event that defines the extent of cell–cell interactions. As a multifaceted regulator, Dab2 acts as a mediator of endocytosis through its association with the [FY]xNPx[YF] motifs of internalized cell surface receptors, phosphoinositides, and clathrin. Other emerging roles of Dab2 include its participation in developmental mechanisms required for tissue formation and in modulation of immune responses. This review highlights the various novel mechanisms by which Dab2 mediates an array of signaling events with vast physiological consequences. (shrink)

We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier $\sQ_1$ is definable in terms of another quantifier $\sQ_2$, the base logic being monadic second-order logic, reduces to the question if a quantifier $\sQ^{\star}_1$ is definable in $\FO(\sQ^{\star}_2,<,+,\times)$ for certain first-order quantifiers $\sQ^{\star}_1$ and $\sQ^{\star}_2$. We use our characterization to show new definability and non-definability results for second-order generalized quantifiers. In particular, we show that the monadic second-order majority quantifier $\most^1$ (...) is not definable in second-order logic. (shrink)

Using Type‐2 theory of effectivity, we define computability notions on the spaces of Lebesgue‐integrable functions on the real line that are based on two natural approaches to integrability from measure theory. We show that Fourier transform and convolution on these spaces are computable operators with respect to these representations. By means of the orthonormal basis of Hermite functions in L2, we show the existence of a linear complexity bound for the Fourier transform. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, (...) Weinheim). (shrink)

D1.2 (UCω syntax) For any type a ∈ Θ, the set of a-terms, Trma, is defined as follows: b. A ∈ Trma a. BA ∈ Trmb..

The assertion that every definable set has a definable element is equivalent over to the principle, and indeed, we prove, so is the assertion merely that every Π2‐definable set has an ordinal‐definable element. Meanwhile, every model of has a forcing extension satisfying in which every Σ2‐definable set has an ordinal‐definable element. Similar results hold for and and other natural instances of.

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter ( Σ ), of generalized terms for Σ (which is the dual of the Kleisli category for , the monad in Set S determined by the adjunction from Set S to Alg ( Σ ), the category of Σ -algebras), we assign, to a signature morphism d from Σ to Λ , the functor from Ter ( Σ ) to Ter ( Λ ). Once defined the mappings (...) that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat . Next we prove that there is a functor Tr Σ , of realization of generalized terms as term operations, from Alg ( Σ ) × Ter ( Σ ) to Set , that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ , there exists a natural isomorphism θ d from the functor to the functor , both from the category Alg ( Λ ) × Ter ( Σ ) to the category Set , where d * is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat , that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

Introduction The Defining Issues Test (DIT) aimed to measure one’s moral judgment development in terms of moral reasoning. The Neo-Kohlbergian approach, which is an elaboration of Kohlbergian theory, focuses on the continuous development of postconventional moral reasoning, which constitutes the theoretical basis of the DIT. However, very few studies have directly tested the internal structure of the DIT, which would indicate its construct validity. Objectives Using the DIT-2, a later revision of the DIT, we examined whether a bi-factor model or (...) 3-factor CFA model showed a better model fit. The Neo-Kohlbergian theory of moral judgment development, which constitutes the theoretical basis for the DIT-2, proposes that moral judgment development occurs continuously and that it can be better explained with a soft-stage model. Given these assertions, we assumed that the bi-factor model, which considers the Schema-General Moral Judgment (SGMJ), might be more consistent with Neo-Kohlbergian theory. Methods We analyzed a large dataset collected from undergraduate students. We performed confirmatory factor analysis (CFA) via weighted least squares. A 3-factor CFA based on the DIT-2 manual and a bi-factor model were compared for model fit. The three factors in the 3-factor CFA were labeled as moral development schemas in Neo-Kohlbergian theory (i.e., personal interests, maintaining norms, and postconventional schemas). The bi-factor model included the SGMJ in addition to the three factors. Results In general, the bi-factor model showed a better model fit compared with the 3-factor CFA model although both models reported acceptable model fit indices. Conclusion We found that the DIT-2 scale is a valid measure of the internal structure of moral reasoning development using both CFA and bi-factor models. In addition, we conclude that the soft-stage model, posited by the Neo-Kohlbergian approach to moral judgment development, can be better supported with the bi-factor model that was tested in the present study. (shrink)

We show that under the assumption of the existence of the canonical inner model with one Woodin cardinal$M_1$, there is a model of$\mathsf {ZFC}$in which$\mbox {NS}_{\omega _{1}}$is$\aleph _2$-saturated and${\Delta }_{1}$-definable with$\omega _1$as a parameter which answers a question of S. D. Friedman and L. Wu. We also show that starting from an arbitrary universe with a Woodin cardinal, there is a model with$\mbox {NS}_{\omega _{1}}$saturated and${\Delta }_{1}$-definable with a ladder system$\vec {C}$and a full Suslin treeTas parameters. Both results rely on (...) a new coding technique whose presentation is the main goal of this article. (shrink)

Zaionc, M., λ-Definability on free algebras, Annals of Pure and Applied Logic 51 279-300. A λ-language over a simple type structure is considered. There is a natural isomorphism which identifies free algebras with nonempty second-order types. If A is a free algebra determined by the signature SA = [α1,...,αn], then by a type τA we mean τ1,...,τn→0 where τi=0αi→0. It can be seen that closed terms of the type τA reflex constructions in the algebra A. Therefore any term of (...) the type n→τA defines some n-ary mapping in algebra A. The problem is to characterize λ-definable mappings in any free algebra. It is proved that the set of λ-definable operations is the minimal set that contains constant functions and projections and is closed under composition and limited recursion. This result is a generalization of the result of Schwichtenberg and Statman which characterize the λ-definable functions over the natural number type →, i.e algebra [1, 0], as well as of the result of Zaionc for λ-definable word operations over type n→, i.e algebra [1,...,1,0], and of the results about λ-definable tree operations , i.e in algebra [2, 0]. Some of the examples in Section 5 are based on a publication of Zaionc. (shrink)

We prove that there exists no sentence F of the language of rings with an extra binary predicat I2 satisfying the following property: for every definable set X ⊆ ℂ2, X is connected if and only if ⊧ F, where I2 is interpreted by X. We conjecture that the same result holds for closed subset of ℂ2. We prove some results motivated by this conjecture.

The aim of this paper is twofold. Firstly, I give a brief account of the history of the debate on the problem of defining disposition concepts from its beginning in the late 1920s until today. This account is divided into four parts, corresponding with 2, 3, 4 and 5 of the paper, each of which deals with a major period of the debate. Section 2 reports up to the mid-1950s. Section 3 deals with important contributions to the discussion between 1955 (...) and 1958. However, the progress made around that time was far ahead of the logical theory and techniques which were needed for foundational reasons and for a better understanding of the basic notions. Some logical techniques appropriate for that aim were developed in the late 1960s and early 1970s. Though not uncontroversial, those logical techniques resulted in improvements of the insights gained in the mid-1950s; I shall report on those logical techniques and their application to the problem of defining disposition concepts in Section 4. In the early 1990s, however, the whole tradition of defining disposition concepts in terms of conditionals has been challenged by some strong counter-examples which are treated in Section 5. Finally, the second of the aims of this paper is explored in Section 6, in which I sketch very briefly the current stage of the debate by discussing and evaluating the most recent approaches to the subject. (shrink)

We prove that every countable relation on the enumeration degrees, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document}, is uniformly definable from parameters in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document}. Consequently, the first order theory of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} ${\frak E}$\end{document} is recursively isomorphic to the second order theory of arithmetic. By an effective version of coding lemma, we show that the first order (...) theory of the enumeration degrees of the \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\Sigma^0_2$\end{document} sets is not decidable. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$, the monad in Set S determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, (...) to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ d from the functor $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

Due to several socio-political factors, to many psychiatrists only a strictly objective definition of mental disorder, free of value components, seems really acceptable. In this paper, I will explore a variant of such an objectivist approach to defining metal disorder, natural function objectivism. Proponents of this approach make recourse to the notion of natural function in order to reach a value-free definition of mental disorder. The exploration of Christopher Boorse's 'biostatistical' account of natural function (1) will be followed an investigation (...) of the 'hybrid naturalism' approach to natural functions by Jerome Wakefield (2). In the third part, I will explore two proposals that call into question the whole attempt to define mental disorder (3). I will conclude that while 'natural function objectivism' accounts fail to provide the backdrop for a reliable definition of mental disorder, there is no compelling reason to conclude that a definition cannot be achieved. (shrink)

There are many important methodological decisions that need to be made when examining emotional reactivity in psychopathology. In the present study, we examined the effects of two such decisions in an investigation of emotional reactivity in depression: (1) which (if any) comparison condition to employ; and (2) how to define change. Depressed (N = 69) and control (N = 37) participants viewed emotion-inducing film clips while subjective and facial responses were measured. Emotional reactivity was defined using no comparison condition (i.e., (...) raw scores), baseline comparison condition (i.e., no stimulus presented), and neutral comparison condition (i.e., neutral stimulus presented). Change in emotional reactivity was assessed using four analytic approaches: difference scores, percentage change, residualised change, and ANCOVA. Results differed among the three comparison conditions and among several of the analytic approaches. Overall, our investigation suggests that choosing a comparison condition and the definition of change can significantly influence the presence of group differences in emotional reactivity. Recommendations for studies of emotional reactivity in psychopathology are discussed. (shrink)

To support healthcare professionals in dealing with ethically difficult situations, Clinical Ethics Support (CES) services like Moral Case Deliberation (MCD) are increasingly implemented. To assess the impact of CES, it is important to evaluate outcomes. Despite general claims about outcomes from MCD experts and some qualitative research, there exists no conceptual analysis of outcomes yet. Therefore, the aim of this study was to systematically define and categorize MCD outcomes. An additional aim was to compare these outcomes with the outcomes in (...) the Euro-MCD Instrument from 2014, to further validate this Instrument. The concept mapping method was used and involves qualitative and quantitative steps including brainstorming, individual structuring, computation of concept maps (by principal component analysis and cluster analysis), group interpretation and utilization. In total, 12 experienced MCD participants from a variety of professional backgrounds participated in two sessions. The focus group brainstorm resulted in a list of 85 possible MCD outcomes, of which a point map and concept maps were constructed. After a thorough discussion of each cluster, final consensus was reached on the names and position of 8 clusters of MCD outcomes: 1) Organisation and Policy; 2) Team development; 3) Personal development focused on the Other Person; 4) Personal development as Professional, focused on Skills; 5) Personal development as Professional, focused on Knowledge; 6) Personal development as an Individual; 7) Perception and Connection; and 8) Concrete action. This study explored and categorized MCD outcomes in a concept mapping focus group. When comparing the results with the Euro-MCD Instrument, our study confirms that outcomes of MCD can be categorized in clusters referring to the organisational level, team development, personal development (both as an individual and a professional) and the concrete case-level. In developing CES evaluation tools, it is important to be explicit if an outcome refers to the individual or the team, to knowledge or skills, to the organisation or the specific case. The findings will be used in the further validation of the Euro-MCD Instrument. The current study further contributes to the field of evaluating CES in general and defining outcomes of MCD in particular. (shrink)

Let T be a strongly minimal theory with quantifier elimination. We show that the class of existentially closed models of T{“σ is an automorphism”} is an elementary class if and only if T has the definable multiplicity property, as long as T is a finite cover of a strongly minimal theory which does have the definable multiplicity property. We obtain cleaner results working with several automorphisms, and prove: the class of existentially closed models of T{“σi is an automorphism”: i=1,2} is (...) an elementary class if and only if T has the definable multiplicity property. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 27.1 (2003) 151-163 [Access article in PDF] Defining "Poetry" Robert B. Pierce SINCE TERMS ARE THE TOOLS of literary study, it is important to keep these tools in good condition, above all by having clear and functional meanings for them. Notoriously, many critical arguments about texts are in fact differences about terminology, and many confused arguments are built on vague or arbitrarily used terms. Few have (...) been the subject of more critical worrying and infighting than "poetry," 1 and few are more disparately defined. Definitions that are fuzzy or tendentious confuse many a discussion of poetry, and in particular they often narrow our response to the rich variety of the texts in front of us by silently imposing a view of what poetry ought to be. I would like to suggest that a Wittgensteinian approach to meaning can cut through a lot of the difficulty that surrounds the term. The refined understanding of the term "poetry" will result in a certain demystification, but it will dissipate only a false mystery based on confusion, not the real mystery of depth and richness that poetry can offer.What does it mean to approach this issue as a Wittgensteinian? The main principle is that the meaning of a term is its use, the way people deploy it in their speaking and writing, the work that it does. 2 A word does not have an essential core of meaning of which the various social uses are approximations; rather those social uses are the meaning. Thus meaning is a social phenomenon, and the way to determine it is to [End Page 151] look outward at how people use a term, not inward for some presumed mental essence that the term designates. Meaning is conventionally divided into reference and sense. What the term "poetry" refers to is a group of publicly visible things in the social world that we call poems, but there is no distillation in the mind that is the essence of poetry, the sense of the term. Of course we have a sense of the term that controls its range of reference. That sense is made up of our bases for calling one thing poetry and not another: the qualities that incline us to see a text as a poem. Wittgenstein would call these defining qualities criteria. The crucial fact is that they are determined by social processes and so are available to public inspection, not hidden away to be discovered only by introspection.Another observation about what it is to assign meaning to a term is important here. If someone asserts that "poetry" means X, he or she can appropriately be asserting that in fact the offered definition describes how people use the term, or else he or she can be suggesting how the term should or will be used in a specific discourse, that is, offering a definition proposal or stipulative definition. In the latter case the proposer needs to show the utility of the change from ordinary speech for his or her purposes. That is of course what literary critics do when they specify meanings for a term like "tragedy" or "irony" that are different from common usage. It is not that Wayne Booth's way of talking about irony uses the real meaning (both his and the ordinary senses are perfectly real since both are socially used), but that his is more useful for literary criticism than the general usage because it is more precise and nuanced. 3Thus it would make sense to begin defining "poetry" by looking at how people use the term and in particular how it is used in literary discourse. However, though I will pay some attention to what critics actually say and write, I would like primarily to offer certain proposals for refining our use of the term so as to avoid confusion and vagueness. It is not that this investigation will be approaching the real meaning of "poetry," which I have suggested is an imaginary goal, but that it will propose a use of the term constituting a vehicle for talking and writing about poetry that... (shrink)

If natural kinds were defined on the basis of fixed and immutable essences, then – with the end of essentialism in life sciences – their end, at least for those kinds confined to the living realm, would ensue as well (1-2). If appropriately revised and adapted, however, natural kinds may still play an important theoretical role, not only for the sake of philosophical speculation, but also in accomodating scientific practices and in providing an adequate rendering of human reasoning. The proposal (...) outlined in this paper moves from the historical and disjunctive solutions of Millikan and Boyd, but it departs from them in that it offers a conventionalist interpretation of natural kinds. The bulk of the theory is presented through the case study of the distinction between sexes and genders (3). A few remarks on how to further the proposal are offered in the final section (4). (shrink)

We prove that in a continuous ℵ₀-stable theory every type-definable group is definable. The two main ingredients in the proof are: 1. Results concerning Morley ranks (i.e., Cantor-Bendixson ranks) from [Ben08], allowing us to prove the theorem in case the metric is invariant under the group action; and 2. Results concerning the existence of translation-invariant definable metrics on type-definable groups and the extension of partial definable metrics to total ones.

The author assures readers that Chris Matthew Sciabarra has met all Aristotelian requirements in full, providing not one but two definitions of “dialectics,” which, as the art of context-keeping, is indeed an essential part of Ayn Rand's philosophical method. He shows how Sciabarra's definitional process compares quite favorably in terms of timeliness, transparency, and benevolence to that of Rand and other Objectivists, and notes that Sciabarra's overriding concern, notwithstanding his obvious great respect for Rand's substantive philosophical achievements, has been to (...) identify and clarify the methods she and other thinkers have used to profound benefit. (shrink)

The aim of the article is to provide a clear and thorough conceptual analysis of the main candidates for a definition of climate and climate change. Five desiderata on a definition of climate are presented: it should be empirically applicable; it should correctly classify different climates; it should not depend on our knowledge; it should be applicable to the past, present, and future; and it should be mathematically well-defined. Then five definitions are discussed: climate as distribution over time for constant (...) external conditions; climate as distribution over time when the external conditions vary as in reality; climate as distribution over time relative to regimes of varying external conditions; climate as the ensemble distribution for constant external conditions; and climate as the ensemble distribution when the external conditions vary as in reality. The third definition is novel and is introduced as a response to problems with existing definitions. The conclusion is that most definitions encounter serious problems and that the third definition is most promising. 1 Introduction2 Climate Variables and a Simple Climate Model3 Desiderata on a Definition of Climate4 Climate as Distribution over Time4.1 Definition 1: Distribution over time for constant external conditions4.2 Definition 2: Distribution over time when the external conditions vary as in reality4.3 Definition 3: Distribution over time for regimes of varying external conditions4.4 Infinite versions5 Climate as Ensemble Distribution5.1 Definition 4: Ensemble distribution for constant external conditions5.2 Definition 5: Ensemble distribution when the external conditions vary as in reality5.3 Infinite versions6 ConclusionAppendix. (shrink)

Something could be round even if it were the only thing in the universe, unaccompanied by anything distinct from itself. Jaegwon Kim once suggested that we define an intrinsic property as one that can belong to something unaccompanied. Wrong: unaccompaniment itself is not intrinsic, yet it can belong to something unaccompanied. But there is a better Kim-style definition. Say that P is independent of accompaniment iff four different cases are possible: something accompanied may have P or lack P, something unaccompanied (...) may have P or lack P. P is basic intrinsic iff (1) P and not-P are nondisjunctive and contingent, and (2) P is independent of accompaniment. Two things (actual or possible) are duplicates iff they have exactly the same basic intrinsic properties. P is intrinsic iff no two duplicates differ with respect to P. (shrink)

The basic concept of Type-2 Theory of Effectivity to define computability on topological spaces or limit spaces are representations, i. e. surjection functions from the Baire space onto X. Representations having the topological property of admissibility are known to provide a reasonable computability theory. In this article, we investigate several additional properties of representations which guarantee that such representations induce a reasonable Type-2 Complexity Theory on the represented spaces. For each of these properties, we give a nice characterization of the (...) class of spaces that are equipped with a representation having the respective property. (shrink)

Let K be an infinite Galois extension of the rationals such that every finite subextension has odd degree over the rationals and its prime ideals dividing 2 are unramified. We show that its ring of integers is first-order definable in K. As an application we prove that equation image together with all its Galois subextensions are undecidable, where Δ is the set of all the prime integers which are congruent to −1 modulo 4.

The purpose of this communication is to announce some recent results on the computably enumerable sets. There are two disjoint sets of results; the first involves invariant classes and the second involves automorphisms of the computably enumerable sets. What these results have in common is that the guts of the proofs of these theorems uses a new form of definable coding for the computably enumerable sets.We will work in the structure of the computably enumerable sets. The language is just inclusion, (...) ⊆. This structure is called ε.All sets will be computably enumerable non-computable sets and all degrees will be computably enumerable and non-computable, unless otherwise noted. Our notation and definitions are standard and follow Soare [1987]; however we will warm up with some definitions and notation issues so the reader need not consult Soare [1987]. Some historical remarks follow in Section 2.1 and throughout Section 3.We will also consider the quotient structure ε modulo the ideal of finite sets, ε*. ε* is a definable quotient structure of ε since “Χ is finite” is definable in ε; “Χ is finite” iff all subsets of Χ are computable. We use A* to denote the equivalent class of A under the ideal of finite sets. (shrink)

David DeGrazia1 offers, to my mind, a decisive response to the bioconservative suggestion that moral bioenhancement threatens human freedom or undermines its value. In this brief commentary, I take issue with DeGrazia's way of defining MB. A different concept of MB exposes a danger missed by his analysis.Two ways to define MBDeGrazia presents MB as a form of enhancement directed at moral capacities. There are, in the philosophical literature, two broad approaches to defining human enhancement. Simplifying somewhat, one account identifies (...) enhancement with improvement. DeGrazia joins other advocates of MB in preferring this type of account, defining a human enhancement as ‘any deliberate intervention that aims to improve an existing capacity, select for a desired capacity, or create a new capacity in a human being.’1An alternative approach relativises enhancement to human norms.2 ,3 In this view, improvements up to levels of functioning properly considered normal for humans are therapy, not enhancement. Improvements beyond those levels are enhancements. The injection of synthetic erythropoietin by someone suffering from anaemia is therapy. When healthy Tour de France competitors inject EPO, it is enhancement.We can minimise philosophical disputes about word meanings by endorsing a conceptual pluralism that acknowledges the need for more than one concept of human enhancement to address the hugely varied ways in which technology may alter humans. In the debate about biomedical moral improvements there would be enhancement as improvement and enhancement beyond human norms.DeGrazia effectively deploys the concept of enhancement as improvement to …. (shrink)

We are currently witnessing the emergence of new forms of collective identities and a redefinition of the old ones through networked digital interactions, and these can be explicitly measured and analyzed. We distinguish between three major trends on the development of the concept of identity in the social realm: (1) an essentialist sense (based on conditions and properties shared by members of a group), (2) a representational or ideational sense (based on the application of categories by oneself or others), and (...) (3) a relational and interactional sense (based on interaction processes between actors and their environments). The interactional approach aligns with current empirical and methodological progress in social network analysis. Moreover, it has been argued that, within the network society, the notion of collective identity (Melucci, 1995) in the political field must be rethought as technologically mediated and interactive. We suggest that collective identities should be understood as recurrent, cohesive, and coordinated communicative interaction networks. We here propose that such identities can be depicted by: (a) mapping and filtering a relevant interaction network, (b) delimiting a set of communities, (c) determining the strongly connected component(s) of such communities (the core identity) in a directed graph, and (d) defining the identity audiences and sources within the community. This technical graph–theoretical characterization is explained and justified in... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 36.2 (2003) 103-108 [Access article in PDF] Defining, Using, and Challenging the Rhetorical Tradition Alisse Theodore Portnoy "What counts as 'the tradition'?" was the question that provoked this series of essays. Several of us attended a retreat sponsored by the Rhetoric Society of America, and we had dutifully split into smaller groups in an attempt to define or mark rhetoric as a discipline. Patricia Bizzell and (...) Bruce Herzberg had recently published the second edition of their The Rhetorical Tradition, and Michael Leff wanted to know what criteria Bizzell and Herzberg used as they revised the tradition. Bizzell was part of the group and responded. Jacqueline Jones Royster also responded to the opening question as the terrain shifted from defining to using and—quite naturally for everyone in the room—challenging the tradition. Maurice Charland soon entered into this Burkean parlor, despite his refusal to call rhetoric a discipline.One product of this ongoing conversation was a panel at the 2002 RSA biennial conference, from which the essays in this special issue of Philosophy & Rhetoric emerged. In their essays, Bizzell (English), Charland (Communication Studies), Leff (Communication Studies), and Royster (English) agree on several key points, the most basic of which are not only the existence but also the dynamic nature of a rhetorical tradition. The essayists agree that contemporary users of the tradition have agency in its constitution, and that texts by "performers" as well as by rhetorical theorists have a place in the tradition. But all of the essays have different starting points and offer us myriad ways to think about the rhetorical tradition.Patricia Bizzell writes with a unique perspective, having, as she says, edited the tradition—twice. In "Editing the Rhetorical Tradition," Bizzell takes stock and quickly accounts for us her sense of the "traditional tradition," or the tradition's blue chip stocks, and then offers tips on high risk and growth stocks. Playing with the stock market metaphor, Bizzell imagines [End Page 103] as high-risk stocks the texts or authors who have been marginal players, figures for whom presence is assured but reputation is not. Their reputations fluctuate depending on the ways "they can be made to serve the cultural preferences of those in power." Also contributing to what Bizzell calls "new traditions" are "thinkers who were practically unknown to traditional historians of rhetoric, sometimes because we did not have the methodological and pedagogical approaches necessary to construe their texts as rhetoric and sometimes because their work itself was hidden from scholarly view, fragmented, or lost." Bizzell outlines three ways these "growth stocks" enter into the tradition as she acknowledges the "whole new set of [scholarly] priorities" these texts often require.But just the novelty of these texts can pose challenges. Bizzell uses an exchange that occurred during the question period of the RSA session to suggest that texts might appear more abstract and philosophical, and therefore (mistakenly) more complex and valuable, simply "because we have the benefit of generations of scholarship and pedagogy assisting us to read these texts as rhetorical theory." Bizzell also argues that a metacritical awareness of the constraints upon language use makes a text theoretical even as it seems primarily "performative." In other words, more than a few "new tradition" texts count as contributing to rhetorical theory because they advocate non-traditional rhetorical practices or non-traditional access to conventional rhetorical spaces in the performance of the text.Bizzell reports the increased inclusion of these "growth stocks," the "thinkers who were practically unknown," even as she admits that reviewers for the second edition of The Rhetorical Tradition asked for more, not less, of the traditional tradition. And so as she concludes Bizzell refuses to see the composition of the tradition as a matter of contention or animosity. Rather, according to Bizzell, the tradition shifts "as our needs and interests change," based on choices "aris[ing] out of complex cultural factors relating to gender, race, social class, national identity, and more."Since anthologies like The Rhetorical Tradition play such a large part in the evolution of the rhetorical tradition, Bizzell claims some... (shrink)

In this paper I argue in favour of a new definition of presentism that I call ‘existence presentism’ (EP). Typically, presentism is defined as the thesis that ‘only present objects exist’, or ‘nothing exists that is non-present’.1 I assume these statements to be equivalent. I call these statements of presentism ‘conventional presentism’ (CP). First, in §2, I rehearse arguments due to Ulrich Meyer that purport to show that presentism is not adequately defined as CP. In §§2.1–2.4 I show that considerations (...) of the sort raised by Meyer infect attempts to define presentism, due to Thomas Crisp, Tom Stoneham, and Theodore Sider. Thus the first half of the paper is constituted by a negative project that looks to show how extant definitions of presentism fail. In the second half of the paper, I continue in the negative theme in §3, before laying out EP and demonstrating that it solves the problems faced by CP and offering explanations of how to make sense of certain key notions that lie at the heart of EP. I conclude that EP is preferable to CP. (shrink)

A generic extension L[x]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf{L}[x]}$$\end{document} by a real x is defined, in which the E0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{E}_0}$$\end{document}-class of x is a lightface Π21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\it \Pi}^1_2}$$\end{document} set containing no ordinal-definable reals.

In a series of recent publications, orofacial researchers have debated the question of how ‘bruxism’ should be defined for the purposes of accurate diagnosis and reliable clinical research. Following the principles of realism-based ontology, we performed an analysis of the arguments involved. This revealed that the disagreements rested primarily on inconsistent use of terms, so that issues of ontology were thus obfuscated by shortfalls in terminology. In this paper, we demonstrate how bruxism terminology can be improved by paying attention to (...) the relationships between (1) particulars and types, and (2) continuants and occurrents. (shrink)

The paper develops some of the conclusions, reached in Floridi (2007), concerning the future developments of Information and Communication Technologies (ICTs) and their impact on our lives. The two main theses supported in that article were that, as the information society develops, the threshold between online and offline is becoming increasingly blurred, and that once there won't be any significant difference, we shall gradually re-conceptualise ourselves not as cyborgs but rather as inforgs, i.e. socially connected, informational organisms. In this paper, (...) I look at the development of the so-called Semantic Web and Web 2.0 from this perspective and try to forecast their future. Regarding the Semantic Web, I argue that it is a clear and well-defined project, which, despite some authoritative views to the contrary, is not a promising reality and will probably fail in the same way AI has failed in the past. Regarding Web 2.0, I argue that, although it is a rather ill-defined project, which lacks a clear explanation of its nature and scope, it does have the potentiality of becoming a success (and indeed it is already, as part of the new phenomenon of Cloud Computing) because it leverages the only semantic engines available so far in nature, us. I conclude by suggesting what other changes might be expected in the future of our digital environment. (shrink)

We combine two techniques of set theory relating to minimal degrees of constructibility. Jensen constructed a minimal real which is additionally a Π 1 2 singleton. Groszek built an initial segment of order type 1 + α * , for any ordinal α. This paper shows how to force a Π 1 2 singleton such that the c-degrees beneath it, all represented by reals, are of type 1 + α * , for many ordinals α. We also examine the (...) class='Hi'>definability α needs to be so represented by a real. (shrink)

Objectives The study uses a qualitative empirical method to define Health Research for Development. This project explores the perspectives of stakeholders in an international health research partnership operating in Ghana and Tanzania. Methods We conducted 52 key informant interviews with major stakeholders in an international multicenter partnership between GlaxoSmithKline and the global health nonprofit organisation PATH and its Malaria Vaccine Initiative program,. The respondents included teams from four clinical research centres and various collaborating partners. This paper analyses responses to the (...) question: What is Health Research for Development? Results Based on the stakeholders’ experience the respondents offered many ways of defining Health Research for Development. The responses fell into four broad themes: i) Equitable Partnerships; ii) System Sustainability; iii) Addressing Local Health Targets, and iv) Regional Commitment to Benefit Sharing. Conclusion Through defining Health Research for Development six key learning points were generated from the four result themes: 1) Ensure there is local research leadership working with the collaborative partnership, and local healthcare system, to align the project agenda and activities with local research and health priorities; 2) Know the country-specific context - map the social, health, legislative and political setting; 3) Define an explicit development component and plan of action in a research project; 4) Address the barriers and opportunities to sustain system capacity. 5) Support decentralised health system decision-making to facilitate the translation pathway; 6) Govern, monitor and evaluate the development components of health research partnerships. Overall, equity and unity between partners are required to deliver health research for development. (shrink)