Expressiveness and definability in circumscription

We investigate expressiveness and definability issues with respect to minimal models, particularly in the scope of Circumscription. First, we give a proof of the failure of the Löwenheim-Skolem Theorem for Circumscription. Then we show that, if the class of P; Z-minimal models of a first-order sentence is Δ-elementary, then it is elementary. That is, whenever the circumscription of a first-order sentence is equivalent to a first-order theory, then it is equivalent to a finitely axiomatizable one. This means that classes of models of circumscribed theories are either elementary or not Δ-elementary. Finally, using the previous result, we prove that, whenever a relation Pi is defined in the class of P; Z-minimal models of a first-order sentence Φ and whenever such class of P; Z-minimal models is Δ-elementary, then there is an explicit definition ψ for Pi such that the class of P; Z-minimal models of Φ is the class of models of Φ ∧ ψ. In order words, the circumscription of P in Φ with Z varied can be replaced by Φ plus this explicit definition ψ for Pi.

Towards a unified theory of health-disease: II. Holopathogenesis

This article presents a systematic framework for modeling several classes of illness-sickness-disease named as Holopathogenesis. Holopathogenesis is defined as processes of over-determination of diseases and related conditions taken as a whole, comprising selected facets of the complex object Health. First, a conceptual background of Holopathogenesis is presented as a series of significant interfaces (biomolecular-immunological, physiopathological-clinical, epidemiological-ecosocial). Second, propositions derived from Holopathogenesis are introduced in order to allow drawing the disease-illness-sickness complex as a hierarchical network of networks. Third, a formalization of intra- and inter-level correspondences, over-determination processes, effects and links of Holopathogenesis models is proposed. Finally, the Holopathogenesis frame is evaluated as a comprehensive theoretical pathology taken as a preliminary step towards a unified theory of health-disease.

Perioperative thirst: an analysis from the perspective of the Symptom Management Theory

A theoretical study aimed to analyze the existing knowledge in the literature on the perioperative thirst symptom from the perspective of Symptom Management Theory, and supplemented with the experience of the study group and thirst research. Thirst is described as a very intense symptom occurring in the perioperative period, and for this reason it cannot be ignored. The Symptom Management Theory is adequate for understanding the thirst symptom and is a deductive theory, focused on the domains of the Person, Environment and Health / Illness Status, as well as on the dimensions of Experience, Management Strategies and Symptom Outcomes. Using the theory leads us to consider perioperative thirst in its multifactorial aspects, analyzing the interrelation of its domains and dimensions in order to draw attention to this symptom that has been insufficiently valued, recorded and treated in clinical practice.

The trouble with resonance energies: a Hückel theory topic

Resonance energies are shown to be quasithermodynamic in character. Hence, they are generally unsuitable as bases for anticipating kinetic stabilities. Examples are provided, leading to the conclusion that those who intend the word 'aromatic' to mean chemically unreactive, need to carry out full Hückel calculations in order to rank hydrocarbons using the frontier orbital energies.

Remarks on abstract Galois theory

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva (see da Costa, Rodrigues (2007)). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of (set-theoretic) structures.

Conflicting genomes, the demic theory & biodiversity

Organismic-centered Darwinism, in order to use direct phenotypes to measure natural selection's effect, necessitates genome's harmony and uniform coherence plus large population sizes. However, modern gene-centered Darwinism has found new interpretations to data that speak of genomic incoherence and disharmony. As a result of these two conflicting positions a conceptual crisis in Biology has arisen. My position is that the presence of small, even pocket-size, demes is instrumental in generating divergence and phenotypic crisis. Moreover, the presence of parasitic genomes as in acanthocephalan worms, which even manipulate suicidal behavior in their hosts; segregation distorters that change meiosis and Mendelian ratios; selfish genes and selfish whole chromosomes, such as the case of B-chromosomes in grasshoppers; P-elements in Drosophila; driving Y-chromosomes that manipulate sex ratios making males more frequent, as in Hamilton's X-linked drive; male strategists and outlaw genes, are eloquent examples of the presence of real conflicting genomes and of a non-uniform phenotypic coherence and genome harmony. Thus, we are proposing that overall incoherence and disharmony generate disorder but also more biodiversity and creativeness. Finally, if genes can manipulate natural selection, they can multiply mutations or undesirable characteristics and even lethal or detrimental ones, hence the accumulation of genetic loads. Outlaw genes can change what is adaptively convenient even in the direction of the trait that is away from the optimum. The optimum can be "negotiated" among the variants, not only because pleiotropic effects demand it, but also, in some cases, because selfish, outlaw, P-elements or extended phenotypic manipulation require it. With organismic Darwinism the genome in the population and in the individual was thought to act harmoniously without conflicts, and genotypes were thought to march towards greater adaptability. Modern Darwinism has a gene-centered vision in which genes, as natural selection's objects can move in dissonance in the direction which benefits their multiplication. Thus, we have greater opportunities for genomes in permanent conflict.

Has social justice any legitimacy in Kant's theory of right? The empirical conditions of the legal state as a civil union

This paper aims at shedding light on an obscure point in Kant's theory of the state. It discusses whether Kant's rational theory of the state recognises the fact that certain exceptional social situations, such as the extreme poverty of some parts of the population, could request institutional state support in order to guarantee the attainment of a minimum threshold of civil independence. It has three aims: 1) to show that Kant's Doctrine of Right can offer solutions for the complex relation between economics and politics in our present time; 2) to demonstrate the claim that Kant embraces a pragmatic standpoint when he tackles the social concerns of the state, and so to refute the idea that he argues for an abstract conception of politics; and 3) to suggest that a non-paternalistic theory of rights is not necessarily incompatible with the basic tenets of a welfare state.

Exploring the interplay between Framing and Securitization theory: the case of the Arab Spring protests in Bahrain

This article advances the theoretical integration between securitization theory and the framing approach, resulting in a set of criteria hereby called security framing. It seeks to make a twofold contribution: to sharpen the study of the ideational elements that underlie the construction of threats, and to advance towards a greater assessment of the audience's preferences. The case study under examination is the 2011 military intervention of the countries of the Gulf Cooperation Council in Bahrain. The security framing of this case will help illuminate the dynamics at play in one of the most important recent events in Gulf politics.

Swords into ploughshares? China's Soft Power strategy in Southeast Asia and its challenges1

Since the 1990s, alongside China's economic growth, the international community has fostered a general anxiety towards a "China threat." In order to relieve itself from suspicion, China adopted the dual strategies of "harmonious worldview" and "good neighbor policy." The strategies led to the use of soft power in China's foreign policy. China aimed to reduce security concerns implied by the threat theory by supporting an image that caters to international peace and development. This article seeks to explain how China achieves its interests in Southeast Asia through the use of soft power. The authors address the concepts of "harmonious worldview" and "good neighbor policy" and how the twin strategies and soft power have shaped China's foreign policy in recent years. This article aims to provide insights into China's policy options in Southeast Asia in the near future.

Environmental issues and international relations, a new global (dis)order - the role of International Relations in promoting a concerted international system

Is it possible to talk about the rise of a new global (dis)order founded on the challenges posed by environmental issues? Through the review of the state of the art on the subject, this article analyzes the growing importance of the environment, and natural resources in particular, in international relations; and aims to raise awareness among International Relations scholars to the potential positive impact of the development of the discipline in integration with global environmental change studies.

Reshaping European Union development policy: collective choices and the new global order

Abstract The European Union (EU) is one of the world´s leading donors in official development assistance (ODA) to give a strong weight in the relationship with recipient partner countries, in particular with those that are more dependent on it. Besides the material weight of its funding, the EU has retained historical ties and influence in diplomatic, political and economic terms in many of its ODA recipient partner countries (particular in Sub-Saharan Africa). Since the 2000s, the EU development policy has not only undergone major structural changes in its institutional framework but also has started to face a new international aid scenario. This paper explores why a normative-based EU development policy is being challenged by reformed EU institutions and a new global order, and how the EU is attempting to respond to this context in face of the deepest recession since the end of the Second World War.

What does the field of International Relations look like in South America?

Abstract This article provides a comprehensive picture of IR in South America by applying content analysis to 7,857 articles published in 35 journals from six South American countries from 2006 to 2014 in order to discover what the predominant theories, methods and research areas in this field are, how scholars tend to combine them in their research designs, and what the profiles of regional journals are, regarding their epistemological, methodological and subject preferences. The findings reveal a predominantly Positivist and largely Qualitative discipline, resembling North American and European IR.