Recall that a group G has finitely satisfiable generics (fsg) or definable f-generics (dfg) if there is a global type p on G and a small model $M_0$ such that every left translate of p is finitely satisfiable in $M_0$ or definable over $M_0$, respectively. We show that any abelian group definable in a p-adically closed field is an extension of a definably compact fsg definable group by a dfg definable group. We discuss an approach which might prove (...) a similar statement for interpretable abelian groups. In the case where G is an abelian group definable in the standard model $\mathbb {Q}_p$, we show that $G^0 = G^{00}$, and that G is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in $\mathbb {Q}_p$. (shrink)

We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable (...) group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group. (shrink)

We prove quantifier elimination for the field ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ (the completion of the field of Puiseux series over ${\Bbb Q}_{p}$ ) in Macintyre's language together with symbols for functions in a class containing both t-adically and p-adically overconvergent functions. We also show that the theory of ${\Bbb Q}_{p}((t^{{\Bbb Q}}))$ is b-minimal in this language.

In this paper, we consider reducts of p-adically closed fields. We introduce a notion of shadows: sets Mf={∈K2∣|y|=|f|}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${M_f = \{ \in K^2 \mid |y| = |f|\}}$$\end{document}, where f is a semi-algebraic function. Adding symbols for such sets to a reduct of the ring language, we obtain expansions of the semi-affine language where multiplication is nowhere definable, thus giving a negative answer to a question posed by Marker, Peterzil and (...) Pillay. The second main result of this paper is the fact that in p-adic fields, full multiplication becomes definable if we add a rational function to the semi-affine language. (shrink)

Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics ( fsg $\text{fsg}$ ) if and only if G is definably compact. The case M = Q p $M = \mathbb {Q}_p$ was previously proved by Onshuus and Pillay.

The aim of this paper is to develop the theory of groups definable in the p-adic field ${{\mathbb {Q}}_p}$, with “definable f-generics” in the sense of an ambient saturated elementary extension of ${{\mathbb {Q}}_p}$. We call such groups definable f-generic groups.So, by a “definable f-generic” or $dfg$ group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is definable over ${{\mathbb {Q}}_p}$, and (...) the small model will be ${{\mathbb {Q}}_p}$ itself. The notion of a $\mathrm {dfg}$ group is dual, or rather opposite to that of an $\operatorname {\mathrm {fsg}}$ group (group with “finitely satisfiable generics”) and is a useful tool to describe the analogue of torsion-free o-minimal groups in the p-adic context.In the current paper our group will be definable over ${{\mathbb {Q}}_p}$ in an ambient saturated elementary extension $\mathbb {K}$ of ${{\mathbb {Q}}_p}$, so as to make sense of the notions of f-generic type, etc. In this paper we will show that every definable f-generic group definable in ${{\mathbb {Q}}_p}$ is virtually isomorphic to a finite index subgroup of a trigonalizable algebraic group over ${{\mathbb {Q}}_p}$. This is analogous to the o-minimal context, where every connected torsion-free group definable in $\mathbb {R}$ is isomorphic to a trigonalizable algebraic group [5, Lemma 3.4]. We will also show that every open definable f-generic subgroup of a definable f-generic group has finite index, and every f-generic type of a definable f-generic group is almost periodic, which gives a positive answer to the problem raised in [28] of whether f-generic types coincide with almost periodic types in the p-adic case. (shrink)

It is known Hrushovski and Pillay that a group G definable in the field \ of p-adic numbers is definably locally isomorphic to the group \\) of p-adic points of a algebraic group H over \. We observe here that if H is commutative then G is commutative-by-finite. This shows in particular that any one-dimensional group G definable in \ is commutative-by-finite. This result extends to groups definable in p-adically closed fields. We prove our results in the (...) more general context of geometric structures. (shrink)

In [16], Peterzil and Steinhorn proved that if a group G definable in an o-minimal structure is not definably compact, then G contains a definable torsion-free subgroup of dimension 1. We prove here a p-adic analogue of the Peterzil–Steinhorn theorem, in the special case of abelian groups. Let G be an abelian group definable in a p-adically closed field M. If G is not definably compact then there is a definable subgroup H of dimension 1 which is not (...) definably compact. In a future paper we will generalize this to non-abelian G. (shrink)

We study a reduct ${\mathcal{L}_*}$ of the ring language where multiplication is restricted to a neighbourhood of zero. The language is chosen such that for p-adically closed fields K, the ${\mathcal{L}_*}$ -definable subsets of K coincide with the semi-algebraic subsets of K. Hence structures (K, ${\mathcal{L}_*}$ ) can be seen as the p-adic counterpart of the o-minimal structure of semibounded sets. We show that in this language, p-adically closed fields admit cell decomposition, using cells (...) similar to p-adic semi-algebraic cells. From this we can derive quantifier-elimination, and give a characterization of definable functions. In particular, we conclude that multiplication can only be defined on bounded sets, and we consider the existence of definable Skolem functions. (shrink)

We generalize two of our previous results on abelian definable groups in p-adically closed fields [12, 13] to the non-abelian case. First, we show that if G is a definable group that is not definably compact, then G has a one-dimensional definable subgroup which is not definably compact. This is a p-adic analogue of the Peterzil–Steinhorn theorem for o-minimal theories [16]. Second, we show that if G is a group definable over the standard model $\mathbb {Q}_p$, then (...) $G^0 = G^{00}$. As an application, definably amenable groups over $\mathbb {Q}_p$ are open subgroups of algebraic groups, up to finite factors. We also prove that $G^0 = G^{00}$ when G is a definable subgroup of a linear algebraic group, over any model. (shrink)

We give an answer to the question as to whether quantifier elimination is possible in some infinite algebraic extensions of Qp (‘infinite p-adic fields’) using a natural language extension. The present paper deals with those infinite p-adic fields which admit only tamely ramified algebraic extensions (so-called tame fields). In the case of tame fields whose residue fields satisfy Kaplansky’s condition of having no extension of p-divisible degree quantifier elimination is possible when the language of valued (...) fields is extended by the power predicates Pn introduced by Macintyre and, for the residue field, further predicates and constants. For tame infinite p-adic fields with algebraically closed residue fields an extension by Pn predicates is sufficient. (shrink)

Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, (...) and get in particular that the complete theory of only depends on m, not on K nor even on p. As an application we obtain a classification of semi‐algebraic sets over countable p‐adically closed fields up to so‐called “pre‐algebraic” homeomorphisms. (shrink)

Abstract.In this paper we show that the theory of fields together with an integrally closed subring, the theory of formally real fields with a real holomorphy ring and the theory of formally \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic fields with a \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $p$\end{document}-adic holomorphy ring have no model companions in the language of fields augmented by a unary predicate for the corresponding (...) ring. (shrink)

Shepherdson [14] showed that for a discrete ordered ring I, I is a model of IOpen iff I is an integer part of a real closed ordered field. In this paper, we consider integer parts satisfying PA. We show that if a real closed ordered field R has an integer part I that is a nonstandard model of PA (or even IΣ₄), then R must be recursively saturated. In particular, the real closure of I, RC (I), is recursively (...) saturated. We also show that if R is a countable recursively saturated real closed ordered field, then there is an integer part I such that R = RC(I) and I is a nonstandard model of PA. (shrink)

In [12], P. Scowcroft and L. van den Dries proved a cell decomposition theorem for p-adically closed fields. We work here with the notion of P-minimal fields defined by D. Haskell and D. Macpherson in [6]. We prove that a P-minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [8].

Let us call an integer part of an ordered field any subring such that every element of the field lies at distance less than 1 from a unique element of the ring. We show that every real closed field has an integer part.

What is it for a sentence to have a certain meaning? This is the question that the distinguished analytic philosopher William P. Alston addresses in this major contribution to the philosophy of language. His answer focuses on the given sentence's potential to play the role that its speaker had in mind, what he terms the usability of the sentence to perform the illocutionary act intended by its speaker. Alston defines an illocutionary act as an act of saying something with a (...) certain "content." He develops his account of what it is to perform such acts in terms of taking responsibility, in uttering a sentence, for the existence of certain conditions. In requesting someone to open a window, for example, the speaker takes responsibility for its being the case that the window is closed and that the speaker has an interest in its being opened. In Illocutionary Acts and Sentence Meaning, Alston expands upon this concept, creating a framework of five categories of illocutionary act and going on to argue that sentence meaning is fundamentally a matter of illocutionary act potential; that is, for a sentence to have a particular meaning is for it to be usable to perform illocutionary acts of a certain type. In providing detailed and explicit patterns of analysis for the whole range of illocutionary acts, Alston makes a unique contribution to the field of philosophy of language—one that is likely to generate debate for years to come. (shrink)

A convention with regard to geometry, accepting nonholonomic aether motion and coordinate-dependent units, is always valid as an alternative to Einstein's convention. Choosing flat spacetime, Newtonian gravitation is extended, step by step, until equations closely analogous to those of Einstein's theory are obtained. The first step, demanded by considerations of inertia, is the introduction of a vector potential. Treating the electromagnetic and gravitational fields as real and imaginary components of a complex field (gravitational mass being treated as imaginary charge), (...) the Maxwell stress-momentum-energy tensor for the complex field is then used as the source for both fields. The spherically symmetric solution of these unified field equations describes the electron. Third, effects arising from motion of aether fluid with respect to the artificial reference systems of flat spacetime are included. On the grounds that attraction between likes and repulsion between likes are, a priori, equally possible, it is suggested that gravitational and electromagnetic phenomena should enjoy equal status. This can be achieved on the scale of an infinite cosmos by introducing a hierarchy of isolated systems, each of which is a universe when viewed internally and an elementary particle when viewed externally. A universe (defined by the Hubble radius), an electron, and a neutrino are three consecutive isolated systems of the hierarchy. Implied is the existence of antiuniverses where gravitational mass has opposite sign and antimatter predominates. Remarkable relationships between physical constants emerge. (shrink)

Bounded PAC substructures of models of stable theory T are generalizations of bounded PAC fields and bounded PAC beautiful pairs generalize Poizat's beautiful pairs. Both notions were introduced in the authors Ph.D. thesis. In this paper, we prove that under the assumption that the PAC property is first order for T, the theory of any bounded PAC structure is simple. Moreover, if the PAC property is first order for T and T does not have the finite cover property, then (...) the theory of any bounded PAC beautiful pair is simple. We, also, give a characterization of dividing in both cases. (shrink)

This paper explores the gray area of questionable research practices (QRPs) between responsible conduct of research and severe research misconduct in the form of fabrication, falsification, and plagiarism (Steneck in SEE 12(1): 53–57, 2006). Up until now, we have had very little knowledge of disciplinary similarities and differences in QRPs. The paper is the first systematic account of variances and similarities. It reports on the findings of a comprehensive study comprising 22 focus groups on practices and perceptions of QRPs across (...) main areas of research. The paper supports the relevance of the idea of epistemic cultures (Knorr Cetina in: Epistemic cultures: how the sciences make knowledge, Harvard University Press, Cambridge, 1999), also when it comes to QRPs. It shows which QRPs researchers from different areas of research (humanities, social sciences, medical sciences, natural sciences, and technical sciences) report as the most severe and prevalent within their fields. Furthermore, it shows where in the research process these self-reported QRPs can be found. This is done by using a five-phase analytical model of the research process (idea generation, research design, data collection, data analysis, scientific publication and reporting). The paper shows that QRPs are closely connected to the distinct research practices within the different areas of research. Many QRPs can therefore only be found within one area of research, and QRPs that cut across main areas often cover relatively different practices. In a few cases, QRPs in one area are considered good research practice in another. (shrink)

Autobiographical memory and the self are closely linked. AM retrieval in depression is characterized by a lack of specificity, suggesting an impairment of episodic AM. Autonoetic consciousness and self-perspective, which are critical to episodic AM, have never been addressed in depression. Twenty-one depressed inpatients and 21 matched controls were given an episodic AM task designed to assess positive and negative memories regarding specificity, autonoetic consciousness , and self-perspective . For specificity, “remember”, and “field” responses, ANOVAs revealed a main group effect (...) and a group × valence interaction. Between groups, patients showed lower scores than controls for positive memories. Within groups, patients showed greater scores for negative memories, and controls showed greater scores for positive memories. There is a global episodic AM impairment of positive memories in depression regarding specificity, autonoetic consciousness, and self-perspective. Our results suggest new cognitive interventions to improve the self-relevance of positive memories in depression. (shrink)

BackgroundTriggered by a series of controversies and diversifying expectations of editorial practices, several innovative peer review procedures and supporting technologies have been proposed. However, adoption of these new initiatives seems slow. This raises questions about the wider conditions for peer review change and about the considerations that inform decisions to innovate. We set out to study the structure of commercial publishers’ editorial process, to reveal how the benefits of peer review innovations are understood, and to describe the considerations that inform (...) the implementation of innovations.MethodsWe carried out field visits to the editorial office of two large academic publishers housing the editorial staff of several hundreds of journals, to study their editorial process, and interviewed editors not affiliated with large publishers. Field notes were transcribed and analysed using coding software.ResultsAt the publishers we analysed, the decision-making structure seems to show both clear patterns of hierarchy and layering of the different editorial practices. While information about new initiatives circulates widely, their implementation depends on assessment of stakeholder’s wishes, impact on reputation, efficiency and implementation costs, with final decisions left to managers at the top of the internal hierarchy. Main tensions arise between commercial and substantial arguments. The editorial process is closely connected to commercial practices of creating business value, and the very specific terms in which business value is understood, such as reputation considerations and the urge to increase efficiency. Journals independent of large commercial publishers tend to have less hierarchically structured processes, report more flexibility to implement innovations, and to a greater extent decouple commercial and editorial perspectives.ConclusionOur study demonstrates that peer review innovations are partly to be understood in light of commercial considerations related to reputation, efficiency and implementations costs. These arguments extend beyond previously studied topics in publishing economics, including publishers’ choice for business or publication models and reach into the very heart of the editorial and peer review process. (shrink)

This recent addition to the Studies in Logic series is a systematic treatise on the set-theoretic, or semantic, approach to mathematical logic and axiomatic method. The basic notions for the discussion are those of different kinds of languages, their realizations, and the models of a formula. The book begins with a preliminary "chapter 0," giving some general theorems about classes of functions defined by finite schemas. These results are directly applicable to the language of truth-functional propositional logic, and such application (...) is accomplished in detail in chapter 1, in which interpolation, finiteness and compactness theorems are proved for propositional calculus. Chapters 2 and 3 deal with the predicate calculus without and with identity, respectively. More advanced topics dealt with in subsequent chapters include elimination of quantifiers. Certain algebraic structures such as real closed fields and some Boolean rings are given in the form of axiomatic systems in which every formula is equivalent to a quantifier-free formula. This leads to completeness. Also covered are type theory and alternate methods for developing predicate logic, the theory of definability, and the theory of principal models and infinite formulas. Appendices deal with some additional matters of philosophic interest, including a detailed discussion of set-theoretic vs. combinatorial foundations of mathematics. The book lacks an index and a bibliography, but these are not serious defects. This is a highly rewarding work.—H. P. K. (shrink)

Roboethics is the recent offshoot of computer ethics that pays special attention to the alterations that need to be made to computer ethics when we give the computer mobility and a means to interact directly in the human environment. The closely related field of machine morality explores how ethical systems and behaviors may be programmed into social robotics applications. As robots move from the factory floor into our homes and work lives, they stand to change key aspects of the way (...) our lives are lived. In order to be successful, these machines must be programmed with the ability to navigate the human life world without committing ethical faux pas or moral outrage. Thus, the roboethicist is tasked not only with critiquing the attempts of robots engineers to achieve the integration of these machines into our life world, but also, and more importantly, with suggesting means of achieving better results than what is presently on offer. (shrink)

This monograph is designed to provide an introduction to the principal areas of tense logic. Many of the developments in this ever-growing field have been intentionally excluded to fulfill this aim. Length also dictated a choice between the alternative notations of A. N. Prior and Nicholas Rescher - two pioneers of the subject. I choose Prior's because of the syntactical parallels with the language it symbolizes and its close ties with other branches of logi cal theory, especially modal logic. The (...) first chapter presents a wider view of the material than later chapters. Several lines of development are consequently not followed through the remainder of the book, most notably metric systems. Although it is import ant to recognize that the unadorned Prior-symbolism can be enriched in vari ous ways it is an advanced subject as to how to actually carry off these enrichments. Readers desiring more information are referred to the appropri ate literature. Specialists will notice that only the first of several quantifi cational versions of tense logic is proven complete in the final chapter. Again constraints of space are partly to blame. The proof for the 'star' systems is wildly complex and at the time of this writing is not yet ready for publi cation. (shrink)

This work, which first appeared in 1936, offers in addition to an historical treatment displaying Cassirer's characteristic insight, an analysis of quantum mechanics largely unaffected by subsequent development in the field. The author argues, on the basis of epistemological considerations, that quantum mechanics necessitates no major revisions in our basic understanding of causality. The new laws simply refer to "definite collectives" rather than things or events and are no less determinate than the old. In the final part the author stresses (...) the independence of causality and continuity in nature and closes by sensibly warning the reader against attempting to establish ethical freedom within the gaps of physical law. Henry Margenau has expanded the bibliography and added a helpful preface which, in part, reports Cassirer's thoughts up to 1945.--R. P. (shrink)

Natural law ethics centres on the idea that ethical norms derive from human nature. The field has seen a remarkable revival since the millennium, with new work in Aristotelian metaphysics complementing innovative applied work in bioethics, economics and political theory. Starting with three chapters on the history of natural law ethics, this volume moves on to various twentieth-century theoretical innovations in the tradition, and then to natural law as embedded in the three Abrahamic faiths. It closes with sections on applied (...) natural law ethics and the challenges and prospects for natural law ethics in the twenty-first century. Uniquely interdisciplinary and written without technical jargon, the book will be of great interest to students and researchers in philosophy, theology, political theory and economics. They will find this the go-to resource for cutting-edge thinking in natural law ethics. (shrink)

The revival of civilizational analysis is closely linked to a broader cultural turn in the human sciences. Comparative civilizational approaches accept the primacy of culture, but at the same time, they strive to avoid the cultural determinism familiar from twentieth-century sociology, especially from the Parsonian version of functionalism. To situate this twofold strategy within contemporary cultural sociology, it seems useful to link up with the distinction between a strong and a weak program for the sociological analysis of culture, proposed by (...) Jeffrey Alexander and Philip Smith. The strong program, also described as cultural sociology, stresses the constitutive role of culture in all domains and across the field of social life; the weak program, more precisely the sociology of culture, treats culture as a variable factor among others, and in some important respects subordinate to others. From this point of view, civilizational analysis is, first and foremost, a particularly ambitious version of the strong program: its emphasis on different cultural articulations of the world, as well as on the large-scale and long-term social-historical formations crystallizing around such articulations, adds new dimensions to the autonomy of culture. It also reinforces the hermeneutical stance of cultural sociology and cautions against the acceptance of mainstream explanatory models. On the other hand, the civilizational perspective highlights the variety of interconnections between culture and other components of the social world, and thus takes into account some of the themes favoured by the weak program. (shrink)

The mathematical and physical aspects of the conformal symmetry of space-time and of physical laws are analyzed. In particular, the group classification of conformally flat space-times, the conformal compactifications of space-time, and the problem of imbedding of the flat space-time in global four-dimensional curved spaces with non-trivial topological and geometrical structure are discussed in detail. The wave equations on the compactified space-times are analyzed also, and the set of their elementary solutions constructed. Finally, the implications of global compactified space-times for (...) cosmology are discussed. It is argued that the recent discovery of periodic structure of matter distribution on large distances strongly suggests that the global cosmological space-time should be close. Next we analyze the inflation scalar field in the inflationary model of universe evolution considered on the spatially compact Robertson-Walker space-time. It is shown that the energy distribution in this model is periodic and the periods and density decrease with increasing distance, in striking agreement with experimental data. Our model of the universe also provides a definite predictions for the energy distribution, polar and azimuthal, considered as a function of angles θ and φ. These predictions should be tested with the new astronomical data. (shrink)

Vladimir Aleksandrovich Smirnov was born on March 2, 1931. He graduated from Moscow State University in 1954. From 1957 till 1961 he was a lecturer in philosophy and logic at the Tomsk University. Since 1961 his scientific activity continued in Moscow at the Institute of Philosophy of Academy of Sciences of the USSR. From 1970 and till the last days of his life V. A. Smirnov was lecturer and then Professor at the Chair of Logic at Moscow State University. V. (...) A. Smirnov played an important role at the Institute of Philosophy of Russian Academy of Sciences being the Head of Department of Epistemology, Logic and Philosophy of Science and Technology, and the Head of Section of Logic. Last years he was the leader of the Centre of Logical Investigations of Russsian Academy of Sciences. In 1990-91 he founded a new non-goverment Institute of Logic, Cognitive Sciences and Development of Personality for performing research, teaching, editorial and organization activity in the field of humanities. At the Department of Philosophy of Moscow State University and at the Institute of Philosophy V. A. Smirnov and his close colleagues have founded a Russian logical school which brought up many talented researchers who work at several scientific centres in various countries. (shrink)

ART and, in particular, IVF and ICSI, are essentially a laboratory experiment, but which, due to its specificity, goes beyond the disciplinary boundaries, explicitly acquiring an ethical-axiological dimension in the interaction zone of the members of a particular community involved in child-bearing. At the same time, it is noted that the activity and choice of a way to solve problems with childbirth has a characteristic severity, due to the traditions and level of civil and social maturity of a country, due, (...) among other things, to the level and achievements of technical equipment in this industry of knowledge and practice. According to foreign studies, about half of all subfertile people in developed countries are trying to overcome their infertility with the help of medicine, and research data indicate that the proportion of such individuals is growing. The most difficult problems of reproduction are associated with low quality of oocytes or low ovarian reserve ; aspermia and deep teratozoospermia, can not give hope to a couple to have genetically related offspring. However, donor programs create additional opportunities for social motherhood / paternity. Donation of oocytes is found in ART programs at least 3 times more often than donation of spermatozoa. At the moment, donation of gametes and embryos raises a number of ethical, legal, medical and socio-psychological issues that require competent support from experts of a wide range of specialists, as well as competent, non-commercial, primarily due to the interaction between donors and recipients. The analysis of possible modifications of family and kinship ties is based on the idea of transforming social relations, in which assisted reproductive technologies play a fundamental role, building a system of “new kinship and new family.” By entering into the intimate process of the birth of life and acting as a regulator of the composition of participants in this process through the stimulation of responsibility to present and future relatives, reproductive technologies affect the initial moral requirements in the community, redefining universal values based on the specific situation. Scenarios of childbearing through ART with the involvement of additional participants are possible in the context of the legal field, but legally fixed anonymity of the donor leaves many unresolved issues related to the problems of hereditary diseases, genetic abnormalities and epigenetic changes; in addition, there is a problem associated with the possibility of unintentional incest, as well as the difficulties of the child’s self-identification and the closeness of his genealogy. Solutions to these issues are postponed until later, thereby initiating future dramatic situations, ethical conflicts and dilemmas with a poorly predictable positive outcome. (shrink)

Radial motion of a small point mass in the gravitational field of a large point mass is investigated for the law of gravitationR 44 =0. When geodesic equations are expressed in terms of components of acceleration, it is found that the normally “attractive force” of gravitation gradually weakens as the large mass is approached, and becomes “repulsive” inside a critical nonsingular radius close to the origin of coordinates. A particle requires an infinite time to reach the origin, regardless of its (...) initial distance. Gravitational collapse, or at least violent collapse, is thus precluded. (shrink)

Philosophical Analysis in the Twentieth Century by Scott Soames reminds me of nothing so much as Lectures on Literature by Vladimir Nabokov. Both are works that arose immediately out of the needs of undergraduate teaching, yet each manages to say much of significance to knowledgeable professionals. Each indirectly provides an outline of the history of its field, through a presentation of selected major works, taken in chronological order and including items that are generally recognized as marking decisive turning points. Yet (...) neither Soames’s work nor Nabokov’s is a history in any conventional sense, both being immediately disqualified from that category by the general absence of coverage of minor and middling works and writers. The emphasis is pedagogical rather than historiographical: the emphasis is on introducing the student to the field through very close examination of the limited number of key texts selected for inclusion. The author’s distinctive personality is also apparent in both works. Each writer has a favorite theme he repeatedly sounds: for Soames, the danger of conflating the analytic, the a priori, and the necessary; for Nabokov, the philistinism of expecting an uplifting “message” from works of literary art. Each also includes some quirky, individual selections: The Right and the Good, The Strange Case of Dr. Jekyll and Mr. Hyde. Few others would have taken R. L. Stevenson to be up there with Dickens, Flaubert, and Proust, or W. D. Ross with Russell, Wittgenstein, and Quine. Each also sets aside for separate treatment elsewhere a major body of work one might have expected to be covered. Nabokov reserves Russian literature for a companion volume, while Soames gives only slight coverage to what he describes as “work in logic, the foundations of logic, and the application of logical techniques to the study of language” — a category that in practice turns out to include the bulk of the relevant material (by such writers as Frege, Carnap, and Tarski) that published originally in German without simultaneous English translation.. (shrink)

Purpose. The signification of the theoretical grounds for the conceptual reconstruction of the dichotomy "spirit-body" in the field of postmodern notions in philosophy and culture, the identification of the location of the given dichotomy in the processes of the transition of philosophy from being classical to the postclassical one, simultaneously, culture – to the cultural forms of postmodernity. Theoretical basis. The changing systems of post paradigm relations, radically transforming human life in the postmodern world, represent the obvious transformations of the (...) fundamental conceptual schemes. For postmodern philosophers, the dichotomy "spirit-body" does not mean better interpretation of separate substances any more, but the development of the relationship between mental and physical properties. Feminist philosophers assert that the "spirit-body" opposition occupies the special place among classical dichotomies, as it acquires the key meaning in the patriarchal concepts of masculinity and femininity. In the post modernity, the body and corporality become dominant themes not only in the philosophy and "high" culture, but also in mass culture; at the same time, the emphasis on their common narratives and intertexts testifies to the fundamental transformations that reflect the "condition" of postmodernity. Originality of this research lies in the expose of the specific transformation features of the dichotomy "spirit-body" as a philosophic opposition closely connected with postmodernism and realized in the practices of mass culture. This research is reflectedof the idea of the absoluteness and invariabilityof this duality as thebasicdichotomy of the classical philosophy in its correlation with cultural logic of the postmodernity at the end of the 20 – the beginning of the 21st centuries. Conclusions. With the reinterpretation of the "spirit-body" dichotomy, the body is theorized as a cognitive agent with desires independent of the mind. In postmodernism, the body is the source of charm, and aversion and destruction, and restoration. At the same time, with the growth of the visualization factor and the change in the status of "high" culture, the "turn" in the status of mass culture is created: today both the former and the letter have many common discourses, narratives and intertexts. (shrink)

Purpose. The research is aimed at finding out the grounds, forms and essence of the correlation between the projects of information philosophy and transhumanism from the point of view of the problematics of philosophical anthropology. Attention is focused on the status of the knowing subject and the transformations of the forms of its activity within the specified correlation. Theoretical basis. Insufficient thinking on the issue of the functioning of traditional cognitive models, in particular Kant’s transcendental questioning, which formed the basis (...) of modern rationality and classical science, in the new sociocultural reality led the authors to problematize the forms and essence of interaction and operating with knowledge and communication in the information sphere of human existence and communication. A comparative consideration of the worldviews in the information philosophy and transhumanism projects, made on the basis of a study of current scientific literature, provided an opportunity to assume the probability of implicit elimination of the problems of philosophical anthropology from the horizon of meanings of modern science through the blurring of essentially anthropological analytics. Originality. The article proves the ambivalent nature of the correlation between the projects of philosophy and transhumanism information that are externally close on the subject and problematics, and for the first time in the domestic literature, they have been compared. The content of the powerful potential of information philosophy for the development of philosophical anthropology approaches to the phenomena of the human world determined by the technological nature of civilization and the powerful sociocultural issues of modernity have been clarified. The threats of the dehumanization of the problem field in the modern science and spheres of applied digital technologies associated with transhumanism, interpreted as an ideology, are underlined. Conclusions. The analysis of theoretical positions relevant for the philosophy of information and transhumanism resulted in a number of conclusions, central among which is the statement of the "blurring" situation, the hidden elimination in the content of problematics of philosophical anthropology and its humanistic pathos within the limits of modern forms of correlation and existence in the scientific discourse of the philosophemes and ideologemes in the information philosophy and transhumanism. Epistemological phenomena of "cognitive closure" and a man as a "blind spot" in the thinking on the science and technology development, primarily communication, indicate the relevance of a full comprehensive consideration of the problems of philosophical anthropology in projects of the information philosophy and transhumanism. (shrink)

Our previous study has shown impaired blood oxygen level-dependent /functional magnetic resonance imaging activation of the visual attention network in strabismic amblyopia. However, there has been no comparison of resting state fMRI activation and functional connectivity in brain regions of interest along the visual attention network including visual cortex, intraparietal sulcus, and frontal eye fields during closed eye resting across the SA, or anisometropic amblyopes groups. Hence, we compared, gray matter volume, amplitude of low frequency fluctuations, regional homogeneity, (...) and FC in the left and right hemisphere ROIs of the visual attention network in SA, AA, and healthy controls. Correlation analyses of corrected visual acuity of amblyopic eye and MRI results were also performed and showed that the LogMAR cVA of the amblyopic eye positively correlated with right zALFF and zReHo FEF of SA and right IPS of AA only. GMV of both left and right hemisphere V1 areas was significantly greater but ALFF was significantly lower for SA compared to AA and HC groups. zALFF and zReHo analyses in the AA and SA groups indicated significantly higher activation than that in the HC group in the right FEF and IPS but lower than that in the HC group in the left FEF, and only the SA group showed lower activation in both V1 areas than the HC group. FC values of the right FEF–left V1, right FEF–right V1, and right FEF–right IPS pathways in the SA and AA groups were also significantly higher than those in the HC group whereas all other FC values were non-significant. Thus, this study indicates that even during resting-state the visual attention network function is impaired in SA and AA participants with only right hemisphere FEF showing significant activation in SA and IPS in AA suggesting that the slower saccade activation times characteristic of amblyopic eyes lead to the dominant eye controlling activation of the visual attention network. (shrink)

They have watched, as insiders, the first fumbling attempts to transplant kidneys, then hearts, then live‐donated lobes of liver and lung. Now the two sociologists most closely identified with organ transplantation have concluded that they must leave the field.

Artificial Life has two goals. One attempts to describe fundamental qualities of living systems through agent based computer models. And the second studies whether or not we can artificially create living things in computational mediums that can be realized either, virtually in software, or through biotechnology. The study of ALife has recently branched into two further subdivisions, one is “dry” ALife, which is the study of living systems “in silico” through the use of computer simulations, and the other is “wet” (...) ALife that uses biological material to realize what has only been simulated on computers, effectively wet ALife uses biological material as a kind of computer. This is challenging to the field of computer ethics as it points towards a future in which computer and bioethics might have shared concerns. The emerging studies into wet ALife are likely to provide strong empirical evidence for ALife’s most challenging hypothesis: that life is a certain set of computable functions that can be duplicated in any medium. I believe this will propel ALife into the midst of the mother of all cultural battles that has been gathering around the emergence of biotechnology. Philosophers need to pay close attention to this debate and can serve a vital role in clarifying and resolving the dispute. But even if ALife is merely a computer modeling technique that sheds light on living systems, it still has a number of significant ethical implications such as its use in the modeling of moral and ethical systems, as well as in the creation of artificial moral agents. (shrink)

Tom Andersen’s reflecting team process, which allowed families to witness and respond to the talk of professionals during therapy sessions, has been described as revolutionary in the field of family therapy. Reflecting teams are prominent in a number of family therapy approaches, more recently in narrative and dialogical therapies. This way of working is considered more a philosophy than a technique, and has been received positively by both therapists and service users. This paper describes how dialogical therapists conceptualise the reflective (...) process, how they work to engage families in reflective dialogues and how this supports change. We conducted semi-structured, reflective interviews with 12 dialogical therapists with between 2 and 20 years of experience. Interpretative Phenomenological analysis of transcribed interviews identified varying conceptualisations of the reflecting process and descriptions of therapist actions that support reflective talk among network members. We adopted a dialogical approach to interpretation of this data. In this sense, we did not aim to condense accounts into consensus but instead to describe variations and new ways of understanding dialogical reflecting team practices. Four themes were identified: Lived experience as expertise; Listening to the self and hearing others; Relational responsiveness and fostering connection; and Opening space for something new. We applied these themes to psychotherapy process literature both within family therapy literature and more broadly to understand more about how reflecting teams promote helpful and healing conversations in practice. (shrink)

This article is the lead piece in a special report that presents the results of a bioethical investigation into chimeric research, which involves the insertion of human cells into nonhuman animals and nonhuman animal embryos, including into their brains. Rapid scientific developments in this field may advance knowledge and could lead to new therapies for humans. They also reveal the conceptual, ethical, and procedural limitations of existing ethics guidance for human‐nonhuman chimeric research. Led by bioethics researchers working closely with an (...) interdisciplinary work group, the investigation focused on generating conceptual clarity and identifying improvements to governance approaches, with the goal of helping scholars, funders, scientists, institutional leaders, and oversight bodies (embryonic stem cell research oversight [ESCRO] committees and institutional animal care and use committees [IACUCs]) deliver principled and trustworthy oversight of this area of science. The article, which focuses on human‐nonhuman animal chimeric research that is stem cell based, identifies key ethical issues in and offers ten recommendations regarding the ethics and oversight of this research. Turning from bioethics’ previous focus on human‐centered questions about the ethics of “humanization” and this research's potential impact on concepts like human dignity, this article emphasizes the importance of nonhuman animal welfare concerns in chimeric research and argues for less‐siloed governance and oversight and more‐comprehensive public communication. (shrink)

This collection of philosophical studies is dedicated to Prof. Buytendijk on the occasion of his retiring from the chair of philosophy at the University of Utrecht. The importance of the publication far surpasses the mere fact of honouring an outstanding scholar. For Buytendijk has indeed been one of the most active pioneers in the working out of a new approach to problems in the field of psychology and has been, together with other collaborators, instrumental in elaborating a new ’style’ as (...) it were in psychology. The sub-title of the present work speaks about ’psychologie humaine’. This adjective does not so much qualify the object of these contributions as their general spirit. As a reaction against the experimental psychology widely practised and taught at the beginning of the century, a psychology whose method was modelled very closely on that of the physical sciences, a new conception of psychology was developed. The central idea was this: nothing of real interest can be said and no real contribution to progress in the field of psychology can be made, as long as the primary and proper purpose and function of psychology as a science is forgotten, namely the understanding of man. Buytendijk was one of the first to stress how very important it is for psychology not to overlook this absolutely basic idea. One of the central notions, therefore, in his work is the notion of “encounter”. This notion emphasizes the fact that the psychologist has not only to measure and to describe a certain object, but must also of necessity endeavour to meet or ’encounter’ man himself, that is, a subject that acts in a purposeful way. And precisely in this Buytendijk’s work can be seen to belong to the so-called ’phenomenological’ school. (shrink)

Computational visual perception, also known as computer vision, is a field of artificial intelligence that enables computers to process digital images and videos in a similar way as biological vision does. It involves methods to be developed to replicate the capabilities of biological vision. The computer vision’s goal is to surpass the capabilities of biological vision in extracting useful information from visual data. The massive data generated today is one of the driving factors for the tremendous growth of computer vision. (...) This survey incorporates an overview of existing applications of deep learning in computational visual perception. The survey explores various deep learning techniques adapted to solve computer vision problems using deep convolutional neural networks and deep generative adversarial networks. The pitfalls of deep learning and their solutions are briefly discussed. The solutions discussed were dropout and augmentation. The results show that there is a significant improvement in the accuracy using dropout and data augmentation. Deep convolutional neural networks’ applications, namely, image classification, localization and detection, document analysis, and speech recognition, are discussed in detail. In-depth analysis of deep generative adversarial network applications, namely, image-to-image translation, image denoising, face aging, and facial attribute editing, is done. The deep generative adversarial network is unsupervised learning, but adding a certain number of labels in practical applications can improve its generating ability. However, it is challenging to acquire many data labels, but a small number of data labels can be acquired. Therefore, combining semisupervised learning and generative adversarial networks is one of the future directions. This article surveys the recent developments in this direction and provides a critical review of the related significant aspects, investigates the current opportunities and future challenges in all the emerging domains, and discusses the current opportunities in many emerging fields such as handwriting recognition, semantic mapping, webcam-based eye trackers, lumen center detection, query-by-string word, intermittently closed and open lakes and lagoons, and landslides. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)

In this article we present a p-adic valued probabilistic logic equation image which is a complete and decidable extension of classical propositional logic. The key feature of equation image lies in ability to formally express boundaries of probability values of classical formulas in the field equation image of p-adic numbers via classical connectives and modal-like operators of the form Kr, ρ. Namely, equation image is designed in such a way that the elementary probability sentences Kr, ρα actually do have their (...) intended meaning—the probability of propositional formula α is in the equation image-ball with the center r and the radius ρ. Due to modal nature of the operators Kr, ρ, it was natural to use the probability Kripke like models as equation image-structures, provided that probability functions range over equation image instead of equation image or equation image. (shrink)