920 resultados para satisfiability modulo theories


Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper examines, both descriptively and analytically, Marx's arguments for the falling rate of profit from the Hodgskin section of Theories of Surplus Value, The General Law section of the recently published Volume 33 of the Collected Works and Chapter 3 of Volume III of Capital. The conclusions are as follows: First, Marx realised that his main attempt to give an intrinsic explanation of the falling rate of profit, which occurred in the General Law section, had failed; but he still hoped that he would be able to demonstrate it in the future. Second, the Hodgskin and General Law sections contain a number of subsidiary explanations, mostly related to resource scarcity, some of which are correct. Third, Part III of volume III does not contain a demonstration of the falling rate of profit, but a description of the role of the falling rate of profit in capitalist development. Forth, it also contains suppressed references to resource scarcity. And finally, in Chapter 3 of Volume III, Marx says that it is resource scarcity that causes the fall in the rate of profit described in Part III of the same volume. The key to all these conclusions in the careful analysis of the General Law section.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Marxs conclusions about the falling rate of profit have been analysed exhaustively. Usually this has been done by building models which broadly conform to Marxs views and then showing that his conclusions are either correct or, more frequently, that they can not be sustained. By contrast, this paper examines, both descriptively and analytically, Marxs arguments from the Hodgskin section of Theories of Surplus Value, the General Law section of the recently published Volume 33 of the Collected Works and Chapter 3 of Volume III of Capital. It also gives a new interpretation of Part III of this last work. The main conclusions are first, that Marx had an intrinsic explanation of the falling rate of profit but was unable to give it a satisfactory demonstration and second, that he had a number of subsidiary explanations of which the most important was resource scarcity. The paper closes with an assessment of the pedigree of various currents of Marxian thought on this issue.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Marxs conclusions about the falling rate of profit have been analysed exhaustively. Usually this has been done by building models which broadly conform to Marxs views and then showing that his conclusions are either correct or, more frequently, that they can not be sustained. By contrast, this paper examines, both descriptively and analytically, Marxs arguments from the Hodgskin section of Theories of Surplus Value, the General Law section of the recently published Volume 33 of the Collected Works and Chapter 3 of Volume III of Capital. It also gives a new interpretation of Part III of this last work. The main conclusions are first, that Marx had an intrinsic explanation of the falling rate of profit but was unable to give it a satisfactory demonstration and second, that he had a number of subsidiary explanations of which the most important was resource scarcity. The paper closes with an assessment of the pedigree of various currents of Marxian thought on this issue.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The main motivation for exploring the relationship between globalization and Europeanization is the understanding of the importance of exogenous factors for policy change at the domestic level. Can we distinguish the impact of Europeanization to that of globalization? What is the relationship between globalization and Europeanization and what can we learn about the impact of the two phenomena upon political institutions, public policies, identities and values of EU member-states? Can we distinguish the traces of globalization to those of Europeanization upon the domestic level? The paper draws upon International Relations and International Political Economy theories of globalization as well as upon the Europeanization literature. Both phenomena are multi-dimensional and in order to assess their impact and their relationship three dimensions are explored: political institutions, public policies and values and identities. It is concluded that the two phenomena are interwoven and that there is no antithetical relationship between them. Their core is similar, based on the values of neo-liberalism, representative democracy and open market economy.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The experience of the European Union is the most significant and far-reaching among all attempts at regional integration. It is, therefore, the most likely to provide some lessons for those world regions that are just beginning this complex process. In turn, the Common Market of the South (MERCOSUR) and the Andean Community (CAN) are among the regional integration projects that have reached the greatest level of formal accomplishment after the EU. MERCOSUR is a customs union that aspires to become a common market, while avowing the commitment to advance towards political integration. For its part, CAN is a customs union that has already developed supranational institutions such as a Commission, a Parliament and a Court of Justice. In both cases, however, words have progressively tended to wander far from deeds. One reason underlying this phenomenon may be a misunderstanding of the European experience with integration. In this article, we discuss the theories that have been developed to account for integration in Europe and may prove useful to understand integration elsewhere and put forward a set of lessons that could be drawn from the European experience. Subsequently, we introduce a description of the experience of integration in South America and reflect (critically) on how the theories and lessons drawn from the EU could be applied to this region –and beyond.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The appeal to ideas as causal variables and/or constitutive features of political processes increasingly characterises political analysis. Yet, perhaps because of the pace of this ideational intrusion, too often ideas have simply been grafted onto pre-existing explanatory theories at precisely the point at which they seem to get into difficulties, with little or no consideration either of the status of such ideational variables or of the character or consistency of the resulting theoretical hybrid. This is particularly problematic for ideas are far from innocent variables – and can rarely, if ever, be incorporated seamlessly within existing explanatory and/or constitutive theories without ontological and epistemological consequence. We contend that this tendency along with the limitations of the prevailing Humean conception of causality, and associated epistemological polemic between causal and constitutive logics, continue to plague almost all of the literature that strives to accord an explanatory role to ideas. In trying to move beyond the current vogue for epistemological polemic, we argue that the incommensurability thesis between causal and constitutive logics is only credible in the context of a narrow, Humean, conception of causation. If we reject this in favour of a more inclusive (and ontologically realist) understanding then it is perfectly possible to chart the causal significance of constitutive processes and reconstrue the explanatory role of ideas as causally constitutive.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this article we investigate the reforms of human resource management in the European Commission and the OECD by analyzing comparatively to what extent both organizations have adjusted their respective structures towards the ideal type of the so-called New Public Management (NPM). The empirical findings show that reforms towards NPM are more pronounced in the Commission than in the OECD. These findings are surprising for two reasons: First, it seems rather paradoxical that the OECD as central promoter of NPM at the international level lags behind the global trend when it comes to reforming its own structures. Second, this result is in contradiction with theoretical expectations, as they can be derived from theories of institutional isomorphism. To nevertheless account for the surprising results, it is necessary to modify and complement existing theories especially with regard to the scope conditions of their causal mechanisms.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The productive characteristics of migrating individuals, emigrant selection, affect welfare. The empirical estimation of the degree of selection suffers from a lack of complete and nationally representative data. This paper uses a new and better dataset to address both issues: the ENET (Mexican Labor Survey), which identifies emigrants right before they leave and allows a direct comparison to non-migrants. This dataset presents a relevant dichotomy: it shows on average negative selection for Mexican emigrants to the United States for the period 2000-2004 together with positive selection in Mexican emigration out of rural Mexico to the United States in the same period. Three theories that could explain this dichotomy are tested. Whereas higher skill prices in Mexico than in the US are enough to explain negative selection in urban Mexico, its combination with network effects and wealth constraints is required to account for positive selection in rural Mexico.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A growing literature integrates theories of debt management into models of optimal fiscal policy. One promising theory argues that the composition of government debt should be chosen so that fluctuations in the market value of debt offset changes in expected future deficits. This complete market approach to debt management is valid even when the government only issues non-contingent bonds. A number of authors conclude from this approach that governments should issue long term debt and invest in short term assets. We argue that the conclusions of this approach are too fragile to serve as a basis for policy recommendations. This is because bonds at different maturities have highly correlated returns, causing the determination of the optimal portfolio to be ill-conditioned. To make this point concrete we examine the implications of this approach to debt management in various models, both analytically and using numerical methods calibrated to the US economy. We find the complete market approach recommends asset positions which are huge multiples of GDP. Introducing persistent shocks or capital accumulation only worsens this problem. Increasing the volatility of interest rates through habits partly reduces the size of these simulations we find no presumption that governments should issue long term debt ? policy recommendations can be easily reversed through small perturbations in the specification of shocks or small variations in the maturity of bonds issued. We further extend the literature by removing the assumption that governments every period costlessly repurchase all outstanding debt. This exacerbates the size of the required positions, worsens their volatility and in some cases produces instability in debt holdings. We conclude that it is very difficult to insulate fiscal policy from shocks by using the complete markets approach to debt management. Given the limited variability of the yield curve using maturities is a poor way to substitute for state contingent debt. The result is the positions recommended by this approach conflict with a number of features that we believe are important in making bond markets incomplete e.g allowing for transaction costs, liquidity effects, etc.. Until these features are all fully incorporated we remain in search of a theory of debt management capable of providing robust policy insights.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Investigación elaborada a partir de una estancia en la Columbia Law School of New York, Estados Unidos, entre los meses de septiembre y noviembre del 2006. El Derecho comunitario europeo y español regulan la reparación de los daños causados por el uso o la proximidad de un producto defectuoso mediante gracias al impulso ideológico ejercido por la jurisprudencia norteamericana. El principio de responsabilidad objetiva rector de la directiva europea es fruto de un transfondo operado en los Estados Unidos en los años sesenta, coincidiendo con la revolución tecnològica y el inicio de la producción y del consumo masivos. Tales fenómenos suscitaron la búsqueda de mecanismos jurídicos aptos para canalizar la reparación de los daños inherentes a las actividades industriales tecnológicamente avanzadas. Su principal efecto fue la preocupación por una más justa distribución social de los llamados “costes del progreso”, preocupación que, jurídicamente, desembocó en la solución de la responsabilidad aun sin culpa del fabricante por los daños derivados de su producción industrial. El mérito de tal solución corresponde a determinados teóricos norteamericanos de la responsabilidad empresarial, quienes, inspirándose en ideas formuladas a inicios del siglo XX por los especialistas en Derecho laboral, concluyeron que es la empresa productora quien está en mejor situación de soportar el coste del accidente industrial: al imponerse al fabricante una responsabildad desvinculada de su eventual culpa en la causación del accidente, repercutirá en el precio de sus productos el coste del seguro de responsabilidad civil que se verá abocado a contratar para hacer frente a su responsabilidad objetiva o por riesgo, de manera que el coste de los accidentes acabará siendo soportado por el público consumidor al pagar el sobreprecio de los productos que adquiere. Las repercusiones de tal construcción han sido tanto normativas como judiciales.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The first main result of the paper is a criterion for a partially commutative group G to be a domain. It allows us to reduce the study of algebraic sets over G to the study of irreducible algebraic sets, and reduce the elementary theory of G (of a coordinate group over G) to the elementary theories of the direct factors of G (to the elementary theory of coordinate groups of irreducible algebraic sets). Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group H. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of H has quantifier elimination and that arbitrary first-order formulas lift from H to H * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Samples of volcanic rocks from Alboran Island, the Alboran Sea floor and from the Gourougou volcanic centre in northern Morocco have been analyzed for major and trace elements and Sr-Nd isotopes to test current theories on the tectonic geodynamic evolution of the Alboran Sea. The Alboran Island samples are low-K tholeiitic basaltic andesites whose depleted contents of HFS elements (similar to0.5xN-MORB), especially Nb (similar to0.2xN-MORB), show marked geochemical parallels with volcanics from immature intra-oceanic arcs and back-arc basins. Several of the submarine samples have similar compositions, one showing low-Ca boninite affinity. Nd-143/Nd-144 ratios fall in the same range as many island-arc and back-arc basin samples, whereas Sr-87/Sr-86 ratios (on leached samples) are somewhat more radiogenic. Our data point to active subduction taking place beneath the Alboran region in Miocene times, and imply the presence of an associated back-arc spreading centre. Our sea floor suite includes a few more evolved dacite and rhyolite samples with (Sr-87/Sr-86)(0) up to 0.717 that probably represent varying degrees of crustal melting. The shoshonite and high-K basaltic andesite lavas from Gourougou have comparable normalized incompatible-element enrichment diagrams and Ce/Y ratios to shoshonitic volcanics from oceanic island arcs, though they have less pronounced Nb deficits. They are much less LIL- and LREE-enriched than continental arc analogues and post-collisional shoshonites from Tibet. The magmas probably originated by melting in subcontinental lithospheric mantle that had experienced negligible subduction input. Sr-Nd isotope compositions point to significant crustal contamination which appears to account for the small Nb anomalies. The unmistakable supra-subduction zone (SSZ) signature shown by our Alboran basalts and basaltic andesite samples refutes geodynamic models that attribute all Neogene volcanism in the Alboran domain to decompression melting of upwelling asthenosphere arising from convective thinning of over-thickened lithosphere. Our data support recent models in which subsidence is caused by westward rollback of an eastward-dipping subduction zone beneath the westemmost Mediterranean. Moreover, severance of the lithosphere at the edges of the rolling-back slab provides opportunities for locally melting lithospheric mantle, providing a possible explanation for the shoshonitic volcanism seen in northern Morocco and more sporadically in SE Spain. (C) 2004 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present thesis is a contribution to the debate on the applicability of mathematics; it examines the interplay between mathematics and the world, using historical case studies. The first part of the thesis consists of four small case studies. In chapter 1, I criticize "ante rem structuralism", proposed by Stewart Shapiro, by showing that his so-called "finite cardinal structures" are in conflict with mathematical practice. In chapter 2, I discuss Leonhard Euler's solution to the Königsberg bridges problem. I propose interpreting Euler's solution both as an explanation within mathematics and as a scientific explanation. I put the insights from the historical case to work against recent philosophical accounts of the Königsberg case. In chapter 3, I analyze the predator-prey model, proposed by Lotka and Volterra. I extract some interesting philosophical lessons from Volterra's original account of the model, such as: Volterra's remarks on mathematical methodology; the relation between mathematics and idealization in the construction of the model; some relevant details in the derivation of the Third Law, and; notions of intervention that are motivated by one of Volterra's main mathematical tools, phase spaces. In chapter 4, I discuss scientific and mathematical attempts to explain the structure of the bee's honeycomb. In the first part, I discuss a candidate explanation, based on the mathematical Honeycomb Conjecture, presented in Lyon and Colyvan (2008). I argue that this explanation is not scientifically adequate. In the second part, I discuss other mathematical, physical and biological studies that could contribute to an explanation of the bee's honeycomb. The upshot is that most of the relevant mathematics is not yet sufficiently understood, and there is also an ongoing debate as to the biological details of the construction of the bee's honeycomb. The second part of the thesis is a bigger case study from physics: the genesis of GR. Chapter 5 is a short introduction to the history, physics and mathematics that is relevant to the genesis of general relativity (GR). Chapter 6 discusses the historical question as to what Marcel Grossmann contributed to the genesis of GR. I will examine the so-called "Entwurf" paper, an important joint publication by Einstein and Grossmann, containing the first tensorial formulation of GR. By comparing Grossmann's part with the mathematical theories he used, we can gain a better understanding of what is involved in the first steps of assimilating a mathematical theory to a physical question. In chapter 7, I introduce, and discuss, a recent account of the applicability of mathematics to the world, the Inferential Conception (IC), proposed by Bueno and Colyvan (2011). I give a short exposition of the IC, offer some critical remarks on the account, discuss potential philosophical objections, and I propose some extensions of the IC. In chapter 8, I put the Inferential Conception (IC) to work in the historical case study: the genesis of GR. I analyze three historical episodes, using the conceptual apparatus provided by the IC. In episode one, I investigate how the starting point of the application process, the "assumed structure", is chosen. Then I analyze two small application cycles that led to revisions of the initial assumed structure. In episode two, I examine how the application of "new" mathematics - the application of the Absolute Differential Calculus (ADC) to gravitational theory - meshes with the IC. In episode three, I take a closer look at two of Einstein's failed attempts to find a suitable differential operator for the field equations, and apply the conceptual tools provided by the IC so as to better understand why he erroneously rejected both the Ricci tensor and the November tensor in the Zurich Notebook.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The hypothesis that extravagant ornaments signal parasite resistance has received support in several species for ornamented males but more rarely for ornamented females. However, recent theories have proposed that females should often be under sexual selection, and therefore females may signal the heritable capacity to resist parasites. We investigated this hypothesis in the socially monogamous barn owl, Tyto alba, in which females exhibit on average more and larger black spots on the plumage than males, and in which males were suggested to choose a mate with respect to female plumage spottiness. We hypothesized that the proportion of the plumage surface covered by black spots signals parasite resistance. In line with this hypothesis, we found that the ectoparasitic fly, Carnus hemapterus, was less abundant on young raised by more heavily spotted females and those flies were less fecund. In an experiment, where entire clutches were cross-fostered between nests, we found that the fecundity of the flies collected on nestlings was negatively correlated with the genetic mother's plumage spottiness. These results suggest that the ability to resist parasites covaries with the extent of female plumage spottiness. Among females collected dead along roads, those with a lot of black spots had a small bursa of Fabricius. Given that parasites bigger the development of this immune organ, this observation further suggests that more spotted females are usually less parasitized. The same analyses performed on male plumage spottiness all provided non-significant results. To our knowledge, this study is the first one showing that a heritable secondary sexual characteristics displayed by females reflects parasite resistance.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper, we study formal deformations of Poisson structures, especially for three families of Poisson varieties in dimensions two and three. For these families of Poisson structures, using an explicit basis of the second Poisson cohomology space, we solve the deformation equations at each step and obtain a large family of formal deformations for each Poisson structure which we consider. With the help of an explicit formula, we show that this family contains, modulo equivalence, all possible formal eformations. We show moreover that, when the Poisson structure is generic, all members of the family are non-equivalent.