LetMbe a countably infinite ω-categorical structure. Consider Aut(M) as a complete metric space by definingd(g, h) = Ω{2−n:g(xn) ≠h(xn) org−1(xn) ≠h−1(xn)} where {xn:n∈ ω} is an enumeration ofMAn automorphism α ∈ Aut(M) is generic if its conjugacy class is comeagre. J. Truss has shown in [11] that if the set P of all finite partial isomorphisms contains a co-final subset P1closed under conjugacy and having the amalgamation property and the joint embedding property then there is a generic automorphism. In (...) the present paper we give a weaker condition of this kind which is equivalent to the existence of generic automorphisms. Really we give more: a characterization of the existence of generic expansions (defined in an appropriate way) of an ω-categorical structure. We also show that Truss' condition guarantees the existence of a countable structure consisting of automorphisms ofMwhich can be considered as an atomic model of some theory naturally associated toM. We do it in a general context of weak models for second-order quantifiers.The author thanks Ludomir Newelski for pointing out a mistake in the first version of Theorem 1.2 and for interesting discussions. Also, the author is grateful to the referee for very helpful remarks. (shrink)

The age of a structure M is the set of all isomorphism types of finite substructures of M. We study ages of generic expansions of ω-stable ω-categorical structures.

The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

Cholak, Goncharov, Khoussainov, and Shore [1] showed that for each k > 0 there is a computably categorical structure whose expansion by a constant has computable dimension k. We show that the same is true with k replaced by ω. Our proof uses a version of Goncharov's method of left and right operations.

We give an example of a simple ω-categorical theory such that for any finite set of parameters the corresponding constant expansion does not satisfy the PAPA. We describe a wide class of homogeneous structures with generic automorphisms and show that some natural reducts of our example belong to this class.

Sir Roderick Murchison's Humboldtian belief in a close linkage between the sciences of geology and physical geography finds its best illustration in his prediction of the three-dimensional structure of Africa in 1852 from explorers' reports, fossil discoveries, and a theory of crustal uplift and fracturing elaborated by the Cambridge mathematician William Hopkins. From this remarkably accurate hypothesis and other theories which he had developed concerning the occurrence of coal and gold, Murchison concluded that exploitable deposits of economic minerals which (...) might justify the foundation of a series of new British colonies could be systematically discovered around the continent's elevated rim. As the simultaneous President of the Royal Geographical Society and Director-General of the British Geological Survey, Murchison subsequently organized the dispatch of numerous scientific exploring expeditions to test his theory and reconnoitre commercial opportunities in Africa. While widening the frontier of British science, he thus schooled the imperial government in the belief that science could serve the drive for national expansion. His views on the physical, biological, and cultural conservatism of Africa also provided scientific justification for Victorian schemes of improvement, and his promotional activities helped set the stage for the British annexations in the continent during its fin de siècle partition by the European powers. (shrink)

A structure which generalizes formulas by including substitution terms is used to represent proofs in classical logic. These structures, called expansion trees, can be most easily understood as describing a tautologous substitution instance of a theorem. They also provide a computationally useful representation of classical proofs as first-class values. As values they are compact and can easily be manipulated and transformed. For example, we present an explicit transformations between expansion tree proofs and cut-free sequential proofs. A theorem (...) prover which represents proofs using expansion trees can use this transformation to present its proofs in more human-readable form. Also a very simple computation on expansion trees can transform them into Craig-style linear reasoning and into interpolants when they exist. We have chosen a sublogic of the Simple Theory of Types for our classical logic because it elegantly represents substitutions at all finite types through the use of the typed -calculus. Since all the proof-theoretic results we shall study depend heavily on properties of substitutions, using this logic has allowed us to strengthen and extend prior results: we are able to prove a strengthen form of the firstorder interpolation theorem as well as provide a correct description of Skolem functions and the Herbrand Universe. The latter are not straightforward generalization of their first-order definitions. (shrink)

A subset A $\subseteq$ M of a totally ordered structure M is said to be convex, if for any a, b $\in A: [a . A complete theory of first order is weakly o-minimal (M. Dickmann [D]) if any model M is totally ordered by some $\emptyset$ -definable formula and any subset of M which is definable with parameters from M is a finite union of convex sets. We prove here that for any model M of a weakly o-minimal (...) theory T, any expansion M + of M by a family of unary predicates has a weakly o-minimal theory iff the set of all realizations of each predicate is a union of a finite number of convex sets (Theorem 63), that solves the Problem of Cherlin-Macpherson-Marker-Steinhorn [MMS] for the class of weakly o-minimal theories. (shrink)

A. H. Louie's More Than Life Itself is an exploratory journey in relational biology, a study of life in terms of the organization of entailment relations in living systems. This book represents a synergy of the mathematical theories of categories, lattices, and modelling, and the result is a synthetic biology that provides a characterization of life. Biology extends physics. Life is not a specialization of mechanism, but an expansive generalization of it. Organisms and machines share some common features, but organisms (...) are not machines. Life is defined by a relational closure that places it beyond the reach of physicochemical and mechanistic dogma, outside the reductionistic universe, and into the realm of impredicativity. Function dictates structure. Complexity brings forth living beings. (shrink)

Let be a model of a theory T. Depending on wether is decidable or recursive, and on whether T is strongly minimal or -minimal, we find conditions on which guarantee that every infinite independent subset of is not recursively enumerable. For each of the same four cases we also find conditions on which guarantee that every infinite independent subset of has Turing degree 0'. More generally, let be a recursive -structure, R a relation symbol not in , ψ a (...) recursive infiniatary Π2 sentence in the language {R}, and let 0<α<ωCK1. We discuss conditions under which we can construct a recursive -structure such that ,Rψ for every Δ0α relation R on. (shrink)

Early in the COVID-19 pandemic there was widespread concern that healthcare systems would be overwhelmed, and specifically, that there would be insufficient critical care capacity in terms of beds, ventilators or staff to care for patients. In the UK, this was avoided by a threefold approach involving widespread, rapid expansion of critical care capacity, reduction of healthcare demand from non-COVID-19 sources by temporarily pausing much of normal healthcare delivery, and by governmental and societal responses that reduced demand through national (...) lockdown. Despite high-level documents designed to help manage limited critical care capacity, none provided sufficient operational direction to enable use at the bedside in situations requiring triage. We present and describe the development of a structured process for fair allocation of critical care resources in the setting of insufficient capacity. The document combines a wide variety of factors known to impact on outcome from critical illness, integrated with broad-based clinical judgement to enable structured, explicit, transparent decision-making founded on robust ethical principles. It aims to improve communication and allocate resources fairly, while avoiding triage decisions based on a single disease, comorbidity, patient age or degree of frailty. It is designed to support and document decision-making. The document has not been needed to date, nor adopted as hospital policy. However, as the pandemic evolves, the resumption of necessary non-COVID-19 healthcare and economic activity mean capacity issues and the potential need for triage may yet return. The document is presented as a starting point for stakeholder feedback and discussion. (shrink)

We develop a combinatorial model to study the evolution of graphs underlying proofs during the process of cut elimination. Proofs are two-dimensional objects and differences in the behavior of their cut elimination can often be accounted for by differences in their two-dimensional structure. Our purpose is to determine geometrical conditions on the graphs of proofs to explain the expansion of the size of proofs after cut elimination. We will be concerned with exponential expansion and we give upper (...) and lower bounds which depend on the geometry of the graphs. The lower bound is computed passing through the notion of universal covering for directed graphs. In this paper we present ground material for the study of cut elimination and structure of proofs in purely combinatorial terms. We develop a theory of duplication for directed graphs and derive results on graphs of proofs as corollaries. (shrink)

The spectrum of a relation on a computable structure is the set of Turing degrees of the image of R under all isomorphisms between and any other computable structure . The relation is intrinsically computably enumerable if its image under all such isomorphisms is c.e. We prove that any computable partially ordered set is isomorphic to the spectrum of an intrinsically c.e. relation on a computable structure. Moreover, the isomorphism can be constructed in such a way that (...) the image of the minimum element of the partially ordered set is computable. This solves the spectrum problem. The theorem and modifications of its proof produce computably categorical structures whose expansions by finite number of constants are not computably categorical and, indeed, ones whose expansions can have any finite number of computable isomorphism types. They also provide examples of computably categorical structures that remain computably categorical under expansions by constants but have no Scott family. (shrink)

In this note I construct a proper o-minimal expansion of the ordered additive group of rationals.

Although the individual mandate was upheld and the Commerce Clause may have been cabined, the decision to strike down a significant element of the “Medicaid expansion” may prove to be the most significant aspect of the Supreme Court’s decision in NFIB v. Sebelius. Under the Affordable Care Act (ACA), States were required to extend Medicaid coverage to all individuals under the age of 65 with incomes below 133 percent of the poverty line, a new “essential health benefits” package was (...) required for all new Medicaid recipients, and the increased costs due to the expansion would be entirely covered by the Federal government through 2016, with the Federal payment gradually decreasing to a minimum of 90 percent of the total cost from the expanded coverage. The element found to be unconstitutional was §1396c of the ACA, which permitted the withdrawal of all Federal Medicaid funds from those States that did not comply with the ACA’s requirements for Medicaid expansion. The effect on access to health care may be significant: roughly half of those expected to gain coverage under the ACA were going to gain it through the Medicaid expansion; it is unclear how many States will choose to opt into that expansion in the absence of §1396c.1 Additionally, the argument offered by the Court to strike down that provision might be used to attack other federal programs—concerning transportation, social services, environmental protection, and others—that have a similar structure. This paper will demonstrate that the argument rests on a theoretical mistake concerning the relationships between coercion, compulsion, and political accountability and that, further, this mistake is not one legally forced upon the Court. (shrink)

The presence of asymmetry in the human cerebral hemispheres is detectable at both the macroscopic and microscopic scales. The horizontal expansion of cortical surface during development (within individual brains), and across evolutionary time (between species), is largely due to the proliferation and spacing of the microscopic vertical columns of cells that form the cortex. In the asymmetric planum temporale (PT), minicolumn width asymmetry is associated with surface area asymmetry. Although the human minicolumn asymmetry is not large, it is estimated (...) to account for a surface area asymmetry of approximately 9% of the region’s size. Critically, this asymmetry of minicolumns is absent in the equivalent areas of the brains of other apes. The left-hemisphere dominance for processing speech is thought to depend, partly, on a bias for higher resolution processing across widely spaced minicolumns with less overlapping dendritic fields, whereas dense minicolumn spacing in the right hemisphere is associated with more overlapping, lower resolution, holistic processing. This concept refines the simple notion that a larger brain area is associated with dominance for a function and offers an alternative explanation associated with “processing type.” This account is mechanistic in the sense that it offers a mechanism whereby asymmetrical components of structure are related to specific functional biases yielding testable predictions, rather than the generalization that “bigger is better” for any given function. Face processing provides a test case – it is the opposite of language, being dominant in the right hemisphere. Consistent with the bias for holistic, configural processing of faces, the minicolumns in the right-hemisphere fusiform gyrus are thinner than in the left hemisphere, which is associated with featural processing. Again, this asymmetry is not found in chimpanzees. The difference between hemispheres may also be seen in terms of processing speed, facilitated by asymmetric myelination of white matter tracts ( Anderson et al., 1999 found that axons of the left posterior superior temporal lobe were more thickly myelinated). By cross-referencing the differences between the active fields of the two hemispheres, via tracts such as the corpus callosum, the relationship of local features to global features may be encoded. The emergent hierarchy of features within features is a recursive structure that may functionally contribute to generativity – the ability to perceive and express layers of structure and their relations to each other. The inference is that recursive generativity, an essential component of language, reflects an interaction between processing biases that may be traceable in the microstructure of the cerebral cortex. Minicolumn organization in the PT and the prefrontal cortex has been found to correlate with cognitive scores in humans. Altered minicolumn organization is also observed in neuropsychiatric disorders including autism and schizophrenia. Indeed, altered interhemispheric connections correlated with minicolumn asymmetry in schizophrenia may relate to language-processing anomalies that occur in the disorder. Schizophrenia is associated with over-interpretation of word meaning at the semantic level and over-interpretation of relevance at the level of pragmatic competence, whereas autism is associated with overly literal interpretation of word meaning and under-interpretation of social relevance at the pragmatic level. Both appear to emerge from a disruption of the ability to interpret layers of meaning and their relations to each other. This may be a consequence of disequilibrium in the processing of local and global features related to disorganization of minicolumnar units of processing. (shrink)

Induced by intake of the psychedelic substances LSD, psilocybin, DMT and mescaline, psychedelic experiences have been extensively described by subjects as entailing a most unusual increase in the scope and quality of their consciousness. Accordingly, psychedelic experiences have been widely characterised as an “expansion of consciousness.” This article poses the following question, as yet unaddressed in contemporary philosophy and the tradition of phenomenology: to what exactly does “expansion of consciousness” refer as a general characterisation of psychedelic experiences, and (...) what role might attention play therein? On the basis of Aron Gurwitsch’s phenomenology of attention, the following thesis is presented: (a) “expansion of consciousness” refers to a particular restructuration of consciousness in psychedelic experiences. (b) This occurs by means of certain extreme transformations in direction, scope, mode and degree of attention. In order to explicate this thesis, the characteristic features of psychedelic experiences that pertain to expansion of consciousness and attention are first systematically identified from a survey of subject reports. Second, it is demonstrated that the few previous attempts to understand expansion of consciousness in terms of attention as a filter/reducing-valve, spotlight or zoom-lens each fail to explain how consciousness is structured in psychedelic experiences. Third, it is argued that psychedelic expansion of consciousness is a general restructuration of consciousness by means of extreme attentional transformations. In conclusion, brief consideration is given to the question of whether psychedelic expansion of consciousness can have epistemic and ethical value for life. (shrink)

Let P be the ω-orbit of a point under a unary function definable in an o-minimal expansion ℜ of a densely ordered group. If P is monotonically cofinal in the group, and the compositional iterates of the function are cofinal at +\infty in the unary functions definable in ℜ, then the expansion (ℜ, P) has a number of good properties, in particular, every unary set definable in any elementarily equivalent structure is a disjoint union of open intervals (...) and finitely many discrete sets. (shrink)

An o-minimal structure is any relational structure in any relational type in the first order predicate calculus with equality, where one symbol is reserved to be a dense linear ordering without endpoints, satisfying the following condition: that every first order definable subset of the domain is a finite union of intervals whose endpoints are in the domain or are ±•. First order definability always allows any parameters, unless explicitly indicated otherwise.

The sphere of international tourism for the period 2000–2018 has been explored and analyzed in the article. The dynamics of the world tourist flows development and income from international tourism are considered, the determinants of development are derived, the regional structure of the world market of tourist services is given. The development of the tourism industry in the world is analyzed by indicators: the number of tourist arrivals, tourism revenues at current prices, total contribution of tourism to GDP. The (...) main tourist regions are analyzed in the context of the study, they are compared both in terms of the number of tourist visits, and a list of the TOP 10 countries by volume of foreign exchange earnings from tourism in recent years. It is concluded that in recent years, there is a continuing upward trend in demand for emerging markets, with old markets such as the European market, partially losing its popularity. In the process of research, it is determined that in the conditions of development of the world economy, expansion of volumes of international trade, improvement of means of transport, communication, increase of internationalization and globalization of the world economy the demand for tourist services increases. One of the peculiarities of the development of the international tourist services market is the globalization of the market, which has reached all sectors of the tourism industry. It is concluded that nowadays international tourism is an important area of international economic activity, a complex sphere that significantly affects both the structure and the situation in the world economy as well as the economies of most individual countries and regions of the world. Tourism development has a stimulating effect on such sectors of the economy as transport, communications, trade, construction, agriculture, production of consumer goods, and іt is one of the most promising areas of structural restructuring of the economy, confirming the amount of foreign exchange earnings from tourism in the world in general and in individual countries. It is the increasing demand for tourism services and the volume of foreign exchange earnings from tourism in the world makes the topic relevant for further research. (shrink)

Let ℜ be an o-minimal expansion of (ℝ, <+) and (φk)k∈ℕ be a sequence of positive real numbers such that limk→+∞f(φk)/φk+1=0 for every f:ℝ→ ℝ definable in ℜ. (Such sequences always exist under some reasonable extra assumptions on ℜ, in particular, if ℜ is exponentially bounded or if the language is countable.) Then (ℜ, (S)) is d-minimal, where S ranges over all subsets of cartesian powers of the range of φ.

It is conventional to distinguish between an old liberalism, with a robust conception of private property and a limited role for government in the economy, and a new liberalism that permits government to override individual property rights in the pursuit of the general welfare. The New Deal is often taken to mark the dividing line between these two forms of liberal governance. But when we focus on property rights through the magnifying lens of Takings Clause jurisprudence, we find that the (...) movement away from strong property rights begins not with the New Deal but in the late 19th century, at what is normally taken to be the peak of constitutionally protected private property. The much-criticized decision in Kelo v. New London (2005) represents, not a break with past doctrine, but rather its logical consequence. Protecting individual property-holders against expansive state powers of eminent domain runs into a structural conundrum: while categorical restraints on state power limit government's ability to promote important public purposes, an explicitly purposive approach renders all limits on government power (including individual rights) vulnerable to an aggregative calculus. The most plausible response is a two-tier approach: respect for legally established categories in ordinary circumstances, regardless of their aggregate consequences, and consequentialism in circumstances of emergency, when the lives or basic wellbeing of citizens are at stake. Judged against this template, the consequentialism guiding modern takings clause jurisprudence in ordinary, non-emergency circumstances is hard to justify. (shrink)

The phenomenon and implications of stigma have been recognized across many contexts and in relation to many discrete issues or conditions. The notion of spatial stigma has been developed within stigma literature, although the importance and relevance of spatial stigma for rural places and rural people have been largely neglected. This is the case even within fields of inquiry like public and rural health, which are expansively tasked with addressing the socio-structural drivers of health inequalities. In this paper, we argue (...) that developing a better understanding of rural place stigma is critical for addressing contemporary patterns of spatial injustice and health inequalities affecting rural communities globally. Drawing on international literature and examples from the reported experiences of rurally living Australians and news and other media, we present an analysis highlighting the power in rural place stigma. In doing so, we build a case for the relevance and importance of interrogating rural place stigma, especially in the fields of public and rural health, for changing the conditions within—and the broader positioning of—the rural in the public and political landscapes. (shrink)

The expansion of research on deep brain stimulation (DBS) and adaptive DBS (aDBS) raises important neuroethics and policy questions related to data sharing. However, there has been little empirical research on the perspectives of experts developing these technologies. We conducted semi-structured, open-ended interviews with aDBS researchers regarding their data sharing practices and their perspectives on ethical and policy issues related to sharing. Researchers expressed support for and a commitment to sharing, with most saying that they were either sharing their (...) data or would share in the future and that doing so was important for advancing the field. However, those who are sharing reported a variety of sharing partners, suggesting heterogeneity in sharing practices and lack of the broad sharing that would reflect principles of open science. Researchers described several concerns and barriers related to sharing, including privacy and confidentiality, the usability of shared data by others, ownership and control of data (including potential commercialization), and limited resources for sharing. They also suggested potential solutions to these challenges, including additional safeguards to address privacy issues, standardization and transparency in analysis to address issues of data usability, professional norms and heightened cooperation to address issues of ownership and control, and streamlining of data transmission to address resource limitations. Researchers also offered a range of views on the sensitivity of neural activity data (NAD) and data related to mental health in the context of sharing. These findings are an important input to deliberations by researchers, policymakers, neuroethicists, and other stakeholders as they navigate ethics and policy questions related to aDBS research. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, (...) our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

Ethical sourcing and socially responsible purchasing is increasingly on the business agenda, but developing and implementing policy and practice across a global network of suppliers is challenging. The purpose of this paper is to expand theory on the nature of linkages between firms in a social network, specifically postulating how ties between organizations can be configured to facilitate development, diffusion, and adoption of sustainability initiatives. The theory development provides a lens with which to view the influence of a firm’s structural (...) embeddedness in its organizational social network on developing, diffusing and adopting sustainability initiatives. The focus is on brokers who in various structural alignments help bridge the focal firm’s sustainability initiatives with distant or disconnected stakeholders the focal firm is trying to reach. The brokers help the focal firm engage these stakeholders by sharing knowledge and information regarding sustainability initiatives and by incorporating localized needs into the development of the initiatives to facilitate better diffusion and adoption. The theoretical contribution of this manuscript is a novel perspective on sustainability in organizational networks. This perspective allows for greater explanatory power regarding how organizations can achieve sustainable outcomes that meet a broad base of stakeholder needs and better facilitate sustainability initiatives across a diverse and expansive network. (shrink)

Phenomenon of transdisciplinarity was put into the fore of analysis rather recently. In the article an attempt is made to find out whether it is possible to attribute this phenomenon not only to a science of the 21st century, or we have here the case where some scientific realities come to the attention of researchers with certain delay and has its value for the culture in general? It is possible to judge even the emergence of a kind of cognitive revolution (...) affecting both science culture. We need to find out what is meant by a transdisciplinarity, and how it differs from the inter- or multiransdisciplinarity. In the study the method of historical reconstruction, combining elements of presentism and antiqurism, was implemented. This method allows us to interpret historical events in the context of a specific level of knowledge, and at the same time to evaluate them in terms of modern ideas related to transdisciplinarity, inter- and multidisciplinarity. System-structural method, focused on an integrated analysis of the dynamics of development of cognitive processes in culture was implied as well, and the method of comparative analysis, which is aimed at comparing different but conceptually similar processes in various areas of conceptual art practice. It is in the framework of paradigm adopted a tacit agreement among scientists about the validity and effectiveness of research methods and techniques of inquiry. Within the paradigm, which presupposes certain fundamental principles, goals, and certain values shared by the scientific community, the novel sprouts of radical ideas once emerge. The scientific revolution here means a radical revision of the admissibility of accepted and proven methods, goals and values that are common to the members of the scientific community. Typically, new theories and concepts proposed and already mastered new scientific community, which is gradually replacing its representatives on the key command altitudes. The kernel of scientific community in fact is a style of thinking that is emerged in the context of a particular discipline, and then experience expansion in the form of discursive practices at a wide space of science and culture due to the novel cognitive schemes open the way to synthesize various research domains into a certain integrity. There is no question of the scientific revolution in the sense of Kuhn, since any significant goals and values of the scientific communities are not affected. Nevertheless, in some sense cognitive revolution taking place, the revolution of transdisciplinary type. The adoption of a new style of scientific thinking often gives rise to new types of objects and directions of cognitive activity, a new type of explanation that require new types of research proposals and cultural activities. Thus, the main idea of this article is that along with the Kuhn type scientific revolutions, transdisciplinary type scientific revolutions are conceivable, and even transdisciplinary cognitive types. This revolutions manifests in a change in style of reasoning, and it results in the expansion of this style to wide space of science and culture through the cognitive schemes and techniques, which enables to synthesize research and art activity in some integrity. Adoption of a new way of reasoning and the transition to new discursive practices generates new types of research facilities, new mechanisms of explanation, new cultural blueprints and instruments. Cognitive activity, based on a new style of thinking, involves multidisciplinarity, formation of new scientific and cultural institutions, and, therefore, causes a noticeable social change. Based on an analysis of interdisciplinary, multidisciplinary and transdisciplinary processes in modern science and culture the authors claim that it is namely transdisciplinarity would determine the face of science and culture in the medium term, and will form the basis for the convergence of science, technology, art, and consciousness studies in general. (shrink)

Over the course of the past 15 years, there has been a vast sea change in American psychoanalysis. It takes the form of a broad movement away from classical psychoanalytic theorizing grounded in Freud's drive theory toward models of mind and development grounded in object relations concepts. In clinical practice, there has been a corresponding movement away from the classical principles of neutrality, abstinence and anonymity toward an interactive vision of the analytic situation that places the analytic relationship, with its (...) powerful, reciprocal affective currents, in the foreground. These developments have been evident in virtually all schools of psychoanalysis in America, from the most traditional to the most radical. Collected together for the first time, this three volume set brings together this ongoing project for a new audience. _Relational Psychoanalysis: The Emergence of a Tradition_ - Each paper in Volume 1 is accompanied by an introduction, in which the editors place it in its historical context, and a new afterward, in which the author suggests subsequent developments in his or her thinking. This book is an invaluable resource for any clinical practitioner, teacher or student of psychoanalysis interested in exploring the exciting developments of recent years. _Relational Psychoanalysis: Innovation and Expansion_ - Volume 2 brings together key papers of the recent past that exemplify the continuing growth and refinement of the relational sensibility. In selecting these papers, editors Lewis Aron and Adrienne Harris have stressed the shared relational dimension of different psychoanalytic traditions, and they have used such commonalities to structure the best recent contributions to the literature. The topics covered in Volume 2 reflect both the evolution of psychoanalysis and the unique pathways that leading relational writers have been pursuing and in some cases establishing. _Relational Psychoanalysis: New Voices_ - Volume 3 is a forum for new relational voices and new idioms of relational discourse. Established writers, Muriel Dimen, Sue Grand, and Ruth Stein among them, utilize aspects of their own subjectivity to illuminate heretofore neglected dimensions of cultural experience, of trauma, and of clinical stalemate. A host of new voices applies relational thinking to aspects of race, class, and politics as they emerge in the clinical situation. (shrink)

Big cities and growing industrial areas bring high risk of different kinds of pollutions which would implicate to the quality of life of the society. Discovering and monitoring of polluted areas using autonomous mobile robots is nowadays a frequently considered solution concerning both environmental and human safety problems. Being part of a distributed control system, such robots can help to improve the efficiency of the existing conventional pollution prevention systems. On the other hand, during the last decade, wireless sensor networks (...) have provoked the interest of specialists from different areas by imposing a large number of theoretical and practical challenges related to their implementation. This paper attempts to deal with both issues by presenting a possible way for building robotized WSNs that can be suitable for solving different environmental monitoring tasks. The goal is to transform the WSN into an adaptive sensor system with intelligent behavior that can be used to discover and track spots or areas where given monitored environmental parameters violate defined thresholds. The inclusion of robotized agents into the WSN structure can provide additional flexibility with respect to the installation of the network sensors and allow reliable information gathering and transfer. The proposed algorithmic methods have been tested on a pre-built laboratory prototype of a robotized WSN. The robotized agents have been built using iRobot Create mobile platforms that are additionally equipped with a single-chip computers Gumstix Verdex pro TM XL6P with various expansion modules. (shrink)

In the U.S.A., advocates of academic freedom—the ability to pursue research unencumbered by government controls—have long found sparring partners in government officials who regulate technology trade. From concern over classified research in the 1950s, to the expansion of export controls to cover trade in information in the 1970s, to current debates over emerging technologies and global innovation, the academic community and the government have each sought opportunities to demarcate the sphere of their respective authority and autonomy and assert themselves (...) in that sphere. In this paper, we explore these opportunities, showing how the Social Contract for Science set the terms for the debate, and how the controversy turned to the proper interpretation of this compact. In particular, we analyze how the 1985 presidential directive excluding fundamental research from export controls created a boundary object that successfully demarcated science and the state, but only for a Cold War world that would soon come to an end. Significant changes have occurred since then in the governance structures of science and in the technical and political environment within which both universities and the state sit. Even though there have been significant and persistent calls for reassessing the Cold War demarcation, a new institutionalization of how to balance the concerns of national security and academic freedom is still only in its nascent stages. We explore the value of moving from a boundary object to a boundary organization, as represented in a proposed new governance body, the Science and Security Commission. (shrink)

There is no doubt that soybean is the most important crop for Argentina, with a planted surface that rose 11,000,000 hectares and a production of around 35,000,000 metric tons. During the 1990s, there was a significant agriculture transformation in the country, motorize by the adoption of transgenic crops (soy-bean, maize, and cotton) under the no-tillage system. The expansion of this model has been spread not only in the Pampas but also in very rich areas with high biodiversity, opening a (...) new agricultural border to important eco-regions like the Yungas, Great Chaco, and the Mesopotamian Forest. Transgenic cropping is a powerful technology. This produced relevant transformations over the environment and society where it is allowed. Migration, concentration of agribusiness, and loss of food sovereignty are some of the social results. Landscape transformation in the rural sector is evident, and the appearance of tolerance weeds to glyphosate is a reality. Nutrient depletion, soil-structure degradation, potential desertification, and loss of species are other consequences on the environmental level. (shrink)

An important amount of research effort in psychology and neuroscience over the past decades has focused on the problem of social cognition. This problem is understood as how we figure out other minds, relying only on indirect manifestations of other people's intentional states, which are assumed to be hidden, private and internal. Research on this question has mostly investigated how individual cognitive mechanisms achieve this task. A shift in the internalist assumptions regarding intentional states has expanded the research focus with (...) hypotheses that explore the role of interactive phenomena and interpersonal histories and their implications for understanding individual cognitive processes. This interactive expansion of the conceptual and methodological toolkit for investigating social cognition, we now propose, can be followed by an expansion into wider and deeply-related research questions, beyond (but including) that of social cognition narrowly construed. Our social lives are populated by different kinds of cognitive and affective phenomena that are related to but not exhausted by the question of how we figure out other minds. These phenomena include acting and perceiving together, verbal and non-verbal engagement, experiences of (dis- )connection, management of relations in a group, joint meaning-making, intimacy, trust, conflict, negotiation, asymmetric relations, material mediation of social interaction, collective action, contextual engagement with socio-cultural norms, structures and roles, etc. These phenomena are often characterized by a strong participation by the cognitive agent in contrast with the spectatorial stance typical of social cognition research. We use the broader notion of embodied intersubjectivity to refer to this wider set of phenomena. This Research Topic aims to investigate relations between these different issues, to help lay strong foundations for a science of intersubjectivity - the social mind writ large. To contribute to this goal, we encouraged contributions in psychology, neuroscience, psychopathology, philosophy, and cognitive science that address this wider scope of intersubjectivity by extending the range of explanatory factors from purely individual to interactive, from observational to participatory"--Provided by publisher. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 39.1 (2001) 142-143 [Access article in PDF] Wright, John P. and Paul Potter, editors. Psyche and Soma: Physicians and Metaphysicians on the Mind-Body Problem from Antiquity to Enlightenment. New York: Oxford University Press, 2000. Pp. xii + 298. Cloth, $72.00. The mind-body problem has a long history that begins well before Descartes made it extreme by presenting mind as unextended active thinking and (...) matter as unthinking passive extension. This absolute division was motivated in some part by the desire to present the soul as an entity that can survive the death of the body. This is difficult to maintain if the soul is merely the form or the vital force motivating a human body. But the advance of physiology has led more and more to the conclusion that the functions often attributed to the soul are actually carried out by the brain. Thinking may be as natural (and perhaps as determined) a function of the body as is digestion. And if digestion does not survive the death of the body, maybe thinking does not either.This collection of studies provides a detailed introduction to both medical and metaphysical views and theories concerning the relation of mind to body. In particular, the first article by Beate Gundert on Hippocratic Medicine sets the stage by showing that "mind and body in the Hippocratic writings, while distinguished empirically by being related to different types of phenomena, are both ultimately accounted for by the same explanatory model: Human nature (physis), which embraces the totality of bodily structures, physiological processes, and psychic events" (35). T. M. Robinson shows that Plato admits of no solution as to how mind and body interact, and Philip J. van der Eijk argues that "to detach the essence of man completely from his physical make-up would run counter to Aristotle's biological approach to man as a natural living being, the ultimate implication of his view on the divinity of nous is that the fullest realization of what it is to be a human being is to go beyond the limits of corporeality and mortality, and to become, if only temporarily, a god" (77). Heinrich von Staden covers Epicurus, Herophilus, Erasistratus, the Stoics, and Galen, concluding that "The discovery of the nerves entailed the first significant erosion of the vast territory ruled by the soul in Platonic and Aristotelian philosophy, an erosion accompanied by an expansion of the rule of 'nature,' visible not only in medicine, but also in philosophy" (116). Theo K. Heckel discusses Saint Paul's insistence upon the whole person, and Gareth Matthews shows that, prior to Descartes, Augustine presents "a radically new argument for mind-body dualism... an internalist argument... that proceeds from what, allegedly, the mind can know concerning itself to the conclusion that the mind is incorporeal" (145). Emily Michael discusses Pomponazzi's view that we know the immortality of the soul only by faith and the scholastic attempts to show that the soul is a substantial form. Guillaume Lamy, for example, criticized Descartes for having a soul only of thinking, whereas the soul must be of life. Steven Voss shows how at the end of his life, Descartes did discuss in detail how thinking affects the body, particularly in the management of health and the curing of disease. But Descartes does not solve the problem of how this interaction takes place. Thomas Lennon discusses the views of Bayle on Leibniz's monadic forces and Locke's fideism. And Francois Duchesneu continues the discussion of Stahl and Leibniz, to [End Page 142] conclude that "Leibniz attempts to discover the formal foundation of the organism, which he locates in the capacity of perception-appetition proper to the dominant monad" (235).John P. Wright gives an exposition of a very important distinction between Cartesian dualism and the functional dualism that came to dominate medical thought, that is, the question of how the brain and vital organs interact. Roselyn Rey carries this discussion on to the development of theories... (shrink)

There is societal consensus that cancer clinical trial participation is unjust because some sociodemographic groups have been systematically underrepresented. Despite this, neither a definition nor an ethical explication for the justice norm of equity has been clearly articulated in this setting, leading to confusion over its application and goals. Herein we define equity as acknowledging sociodemographic circumstances and apportioning resource and opportunity allocation to eliminate disparities in outcomes, and we explore the issues and tensions this norm generates through practical examples. (...) We assess how equality-based enrollment structures in clinical cancer research have perpetuated historical disparities and what equity-based alternatives are necessary to achieve representativeness and an expansive conception of participatory justice in clinical cancer research. This framework addresses the breadth from normative to applied by defining the justice norm of equity and translating it into practical strategies for addressing participation disparities in clinical cancer research. (shrink)

The joint effort by the U.S. government and the political elite of Puerto Rico to industrialize the island created increased demand for female labor and a decline in the number of jobs traditionally held by men. The authors examine whether women's labor force participation in the formal sector responds to improving opportunities for women, declining opportunities for men, or the household's changing opportunity structures. Specifically, they examine a woman's return to work after the birth of her first child as the (...) initial point of conflict between productive and reproductive work. The data used in these analyses are from the 1982 Puerto Rican Fertility and Family Planning Assessment, an islandwide, representative sample of never-married and ever-married women between the ages of fifteen and forty-nine. The authors estimate a series of nested logistic regression models to evaluate the influence of occupational expansion or contraction on the timing of return to work after the first birth. Their findings offer selective support for the idea that women's lives are affected primarily by the occurrence of growing labor demand for women's labor. (shrink)

Let R be an o-minimal expansion of an ordered group R has no poles, R cannot define a real closed field with domain R and order R is eventually linear and every R -definable set is a finite union of cones. As a corollary we get that Th has quantifier elimination and universal axiomatization in the language with symbols for the ordered group operations, bounded R -definable sets and a symbol for each definable endomorphism of the group.

We investigate expansions of the ordered field of real numbers equipped with a family of real power functions. We show in particular that the theory of the ordered field of real numbers augmented by all restricted analytic functions and all real power functions admits elimination of quantifiers and has a universal axiomatization. We derive that every function of one variable definable in this structure, not ultimately identically 0, is asymptotic at + ∞ to a real function of the form (...) x cxr, c ≠ 0; in particular, this structure is polynomially bounded. Furthermore, given any definable function f:U → with U open in n, if α ε U and f is infinitely differentiable at α, then f is real analytic in a neighborhood of α. (shrink)

Let TP be the theory obtained by adding a generic predicate to an o-minimal theory T. We prove that if T admits elimination of imaginaries, then TP also admits elimination of imaginaries.

The culmination of a lifetime’s preoccupation with crucial human concerns too often curiously marginalized by the history of philosophy, The Expansion of Metaphysics sheds new light on freedom and the will by making the phenomenon of novelty philosophically intelligible. The a priori synthesis of Kant is joined to Judeo-Christian themes (the kenosis of Christ in the incarnation and the tzimtzum of God in the creation) in order to develop a doctrine of “superabundance” (freedom and love) and “singularity” (with the (...) Work of Art and the Child as paradigms). Space and time are reanalyzed as structural forms of human existence as Vető guides the reader into the depths and heights of reality, climaxing in a metaphysics of good and evil. (shrink)

Intuitionistic epistemic logic by Artemov and Protopopescu (Rev Symb Log 9:266–298, 2016) accepts the axiom “if A, then A is known” (written $$A \supset K A$$ ) in terms of the Brouwer–Heyting–Kolmogorov interpretation. There are two variants of intuitionistic epistemic logic: one with the axiom “ $$KA \supset \lnot \lnot A$$ ” and one without it. The former is called $$\textbf{IEL}$$, and the latter is called $$\textbf{IEL}^{-}$$. The aim of this paper is to study first-order expansions (with equality and function (...) symbols) of these two intuitionistic epistemic logics. We define Hilbert systems with additional axioms called geometric axioms and sequent calculi with the corresponding rules to geometric axioms and prove that they are sound and complete for the intended semantics. We also prove the cut-elimination theorems for both sequent calculi. As a consequence, the disjunction property and existence property are established for the sequent calculi without geometric implications. Finally, we establish that our sequent calculi can also be formulated with admissible structural rules (i.e., in terms of a G3-style sequent calculus). (shrink)

Lexical alignment, a communication phenomenon where conversational partners adapt their word choices to become more similar, plays an important role in the development of language and social communication skills. While this has been studied extensively in the conversations of preschool‐aged children and their parents in Western, Educated, Industrialized, Rich, and Democratic (WEIRD) communities, research in other pediatric populations is sparse. This study makes significant expansions on the existing literature by focusing on alignment in naturalistic conversations of school‐aged children from a (...) non‐WEIRD population across multiple conversational tasks and with different types of adult partners. Typically developing children aged 5 to 8 years (n = 45) engaged in four semi‐structured conversations that differed by task (problem‐solving vs. play‐based) and by partner (parent vs. university student), resulting in a corpus of 180 conversations. Lexical alignment scores were calculated and compared to sham conversations, representing alignment occurring at the level of chance. Both children and adults coordinated their conversational utterances by re‐using or aligning each other's word choices. This alignment behavior persisted across conversational tasks and partners, although the degree of alignment was moderated by the conversational context. These findings suggest that lexical alignment is a robust phenomenon in conversations between school‐age children and adults. Furthermore, this study extends lexical alignment findings to a non‐WEIRD culture, suggesting that alignment may be a coordination strategy employed by adults and children across diverse linguistic and cultural backgrounds. (shrink)

As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname (...) {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

We consider structures of the form (Z;+,C), where C is an additive cyclic order on (Z;+). We show that such structures are dp-minimal and in this way produce a continuum-size family of dp-minimal expansions of (Z;+) such that no two members of the family define the same subsets of Z.

The “erasing race” effect is the reduction of the salience of “race” as an alliance cue when recalling coalition membership, once more accurate information about coalition structure is presented. We conducted a random-effects model meta-analysis of this effect using five United States studies (containing nine independent effect sizes). The effect was found (ρ = 0.137, K = 9, 95% CI = 0.085 to 0.188). However, no decline effect or moderation effects were found (a “decline effect” in this context would (...) be a decrease in the effect size over time). Furthermore, we found little evidence of publication bias. Synthetically correcting the effect size for bias stemming from the use of an older method for calculating error base rates reduced the magnitude of the effect, but the it remained significant. Taken together, these findings indicate that the “erasing race” effect generalizes quite well across experimental contexts and would, therefore, appear to be quite robust. We reinterpret the theoretical basis for these effects in line with Brunswikian evolutionary-developmental theory and present a series of predictions to guide future research in this area. (shrink)

We study groups definable in tame expansions of ω-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and interpretable in these expansions. As our main example, by characterizing independence in the pair, where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show that the pair satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in in terms of algebraic groups in (...) K and interpretable groups in G. Furthermore, we compute the Morley rank and the U-rank in and both ranks agree. (shrink)

Journal of Mathematical Logic, Ahead of Print. Given a structure [math] and a stably embedded [math]-definable set [math], we prove tameness preservation results when enriching the induced structure on [math] by some further structure [math]. In particular, we show that if [math] and [math] are stable (respectively, superstable, [math]-stable), then so is the theory [math] of the enrichment of [math] by [math]. Assuming simplicity of [math], elimination of hyperimaginaries and a further condition on [math] related to the (...) behavior of algebraic closure, we also show that simplicity and NSOP1 pass from [math] to [math]. We then prove several applications for tame expansions of weakly minimal structures and, in particular, the group of integers. For example, we construct the first known examples of strictly stable expansions of [math]. More generally, we show that any stable (respectively, superstable, simple, NIP, NTP2, NSOP1) countable graph can be defined in a stable (respectively, superstable, simple, NIP, NTP2, NSOP1) expansion of [math] by some unary predicate [math]. (shrink)

An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \mathop{\boldsymbol {\bigwedge }}\limits p = q$. For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show that the AE-subclasses of $\mathcal {Q}$ correspond to certain natural expansions of L, which we call algebraic expansions. These turn out to be a special case of the expansions by implicit connectives studied by X. Caicedo. We proceed to characterize all the AE-subclasses of (...) abelian $\ell $ -groups and perfect MV-algebras, thus fully describing the algebraic expansions of their associated logics. (shrink)