A cidadania no contexto do estado constitucional democrático de direito brasileiro

The citizenship is a fundamental category to the democratic progress and the development and concretization of human rights, in addition to being one of the essential foundations of democratic contextualized in the rule of law of the Federative Republic of Brazil. That’s exactly why the discussion about its concept and content is a paramount requirement to the understanding and interpretation-application-concretization of the Federal Constitution of 1988, as well as its democracy, since there is no democracy without citizenship. That is why the general objective of the research is to determine the characteristics of the citizenship, relating it to the Law, as well as to discuss (critically) its inclusion in the list of fundamental rights and delimitate the scope of protection and the limits of this right, in the context of Brazilian law post-1988 Constitution. The specific objectives are: a) to analyze the concept of citizenship, its extent and scope, contextualizing it historically; b) to examine the evolution of the legal and regulatory treatment of the citizenship in Brazilian constitutions, focusing on the 1988 Constitution; c) assess whether citizenship can be considered a fundamental right; d) to investigate which implications, theoretical and practical, of assignment fundamentality character to the right to citizenship. This research identifies and deconstructs current conceptual confusions, such as the lack of distinction between citizenship and nationality; citizenship and electoral capacity; citizenship and person. It also helps to identify and oppose the generalizations, as well as the excessively abstract associations which tend to purely metaphysical understandings, fluid and empty of any content. The main virtue, however, is the proposed of understanding of the citizenship as a fundamental right and the examination of the relationship between citizenship and human dignity. In this context, citizenship appears as a corollary of human dignity and it goes beyond. This (human dignity) requires equality, non-arbitraries, non-excessive, disproportionate or unreasonable impositions affecting their freedom rights, and, yet, doesn’t affect a minimum core of possibilities of have to a decent life, in conditions of freedom and self-conformation involved in the necessary consideration of the individual as a subject. All of this requires a decision-making process, molded by the citizenship, which reaches the entire development process of possible state interventions, to ensure the person as a subject, the right holder and the objective point of reference of the juridical relations. Thus, the citizenship represents a substantial and beneficial addition to the human dignity, since the emancipated citizen is a person, formally and materially, qualified, to be able to build their own and collectively organized history, to participate effectively in the making processes decision juridical and social

A Eficácia dos direitos fundamentais nos contratos civis e de consumo: uma teoria contratual baseada na colisão dos direitos ou bens constitucionalmente protegidos

The apparent virtuosity that if could wait of the globalization and the neoliberalism has given signals of deterioration in the contractual relations, especially in contracts of mass consumption, generating innumerable offensive situations to the basic rights and the goods constitutionally protected of the contractors. In the world of today, still that it does not reveal any desire, the individual practically is compelled to contract, for force of necessities and customs completely imposed, mainly in face of the essentiality of the services or agreed to goods. Ahead of as much and unexpected changes in the civil liames and of consumption, dictated for the globalization, it comes to surface the reflection if the private law e, more specifically, the civil law, meet prepared adequately to deal with these new parameters of the economy. The present dissertation has the intention to investigate if the globalization and the consequent neoliberalism, in this beginning of third millennium, will imply to revive of the principles and the basics paradigms of the contracts that consolidated and had kept, for more than two centuries, the liberal State. One notices that the study of this phenomenon it gains importance to the measure where if it aggravates the decline of the social State (Welfare State), with the embrittlement and the loss of the autonomy of the state authority, over all in countries of delayed modernity, as it is the case of Brazil, that presents deep deficiencies to give or to promote, with a minimum of quality and efficiency, essential considered public services to the collective and that if they find consecrated in the Federal Constitution, as basic rights or as goods constitutionally protecting, the example of the health, the education, the housing, the security, the providence, the insurance, the protection the maternity, the infancy and of aged and deficient. To the end, the incidence of constant basic rights of the man in the Constitution is concluded that, in the process of interpretation of the right contractual conflicts that have as object rights or goods constitutionally proteges, in the universe of the globalized perhaps economy and of the neoliberalismo, it consists in one of the few ways - unless the only one - that still they remain to over all deal with more adequately the contractual relations, exactly that if considers the presence of clauses generalities in the scope of the legislation infraconstitutional civil and of consumption, front the private detainers of social-economic power. To be able that it matters necessarily in disequilibrium between the parts, whose realignment depends on the effect and the graduation that if it intends to confer to the basic right in game in the private relation. The Constitution, when allowing the entailing of the basic rights in the privates relations, would be assuming contours of a statute basic of all the collective, giving protection to the man against the power, if public or independently private

A intervenção estatal no domínio econômico privado através da nova lei de recuperação de empresas e falências (lei 11.101/05)

Analysis of the elements of the Constitutional Order of the letter 1988 politics, with emphasis in the principles of this, a study on the intervention of the State in the private initiative by means of the Law of Recovery of Companies and Bankruptcies (law 11.101/05). New enterprise vision is admitted, over all in the interdependence between economic and social factors. Study on the globalization and the interdependence of economic and legal sciences in the construction of a legal optics in the search for the economic and social development, with the recognition of the interference of the Economy in the Right and its uneven importance. Still, we delineate the state intervention in the economic scope, of company and in the judicial recovery, as well as the consequences of such intervention in the involved credits in the judicial recovery and patrimony of the debtor in recovery. For such task, the elements of the Judicial Recovery, its principles and adequacy of these to the related ones in the chapter had been analyzed that turns on the national economic Order, describing the formal procedure for concession of the benefit of the Judicial Recovery and the principles in existing them. The forms of intervention of the State in the private economy were not disrespected, relating its direct and indirect performance as half of preservation of interests writings in the constitutional scope as public interest and preservation of the National economic Order. The regulating agencies as of direct state intervention were half not disrespected of the study for the relevance of the subject. It is revised national bibliography with incursions in French, Portuguese and North American comparative jurisprudence. One contributes in the aspect of the paper of the Judiciary Power in the protection of the companies in crisis and the social and economic impacts, over all in relation to the rights of the worked ones, credit and enterprise

Liberdade de expressão artística: concepções filosóficas, fundamentalidade constitucional e política da pluralidade

The right to artistic expression, freedom granted in the western democratic constitutionalism, is a fundamental right that cyclically, compared to other cohesive rights of expression, has been forgotten and put in an irrelevant juridical-dogmatic position. The first reason for this behaviour that disesteems artistic freedom is the valorisation of rationalism and scientificism in the modern society, subordinating academic researches to utilitarianism, relegating the purpose of feelings and spirituality on men s elocution, therefore, we investigate, guided by philosophy, the attribution of art on human formation, due to its capacity in harmonising reason and emotion. After that, we affirm the fundamental right to artistic expression s autonomy in the 1988 valid constitutional order, after a comparative explanation of freedom in the Fundamental Laws of United States, Portugal, Spain and Germany; and the construction historic-constitutional of the same right in the Brazilian Constitutions. In this desiderate, the theoric mark chosen is the Liberal Theory of the fundamental rights, guiding the exam through jusfundamental dimensions: juridical-subjective and juridical-objective. Whilst the first, classical function of resistance, delimitates the protection area of the artistic expression right from its specific content, titularity and its constitutional and subconstitutional limits, the other one establishes it as cultural good of the Social Order, defining to the State its rendering duties of protection, formation and cultural promotion. We do not admit artistic communication, granted without legal reserve, to be transposed of restrictions that belong to other fundamental rights and, when its exercise collides with another fundamental right or juridical-constitutional good, the justification to a possible state intervention that tangentiates its protection area goes, necessarily, through the perquisition of the artist s animus, the used method, the many viable interpretations and, at last, the correct application of the proportionality criteria. The cultural public politics analysis, nevertheless, observes the pluralism principle of democratic substratum, developer of the cultural dialogue and opposed to patterns determined by the mass cultural industry. All powers are attached, on the scope of its typical attributions, to materialise public politics that have the cultural artistic good as its aim, due to the constant rule contained in §1, art. 5º of the Federal Constitution. However, the access and the incentive laws to culture must be constantly supervised by the constitutional parameter of fundamental right to equality

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs