Reformismo social em John R. Commons

This research aims to discuss aspects of the thought of John R. Commons regarding their engagement with the reform of capitalism. He focuses on his interpretation of the socioeconomic context of American capitalism, which led him to distance himself from the Marxist revolutionary praxis and the authoritarian reformism offered by the variant of European fascism. Based on extensive literature review, the research rebuild through a historical and theoretical context, his thinking and show the evolution of his ideas throughout his life. Recreating the terms in which Commons defended his reformist project, called him reasonable capitalism.

O papel do relações públicas na cultura da convergência

In the globalized world of capitalism, the organizations need to reinvent themselves in order to conquer the attention of the consumers. The offer of similar products is huge and it is necessary to innovate so the consumer will pick yours. The storytelling comes as an auxiliary tool for this difficult task. The transmedia is a tool that will put the products in many different media platforms. The convergence culture exists to make the experience with the brand become closer. Sometimes the consumer dictates the rules; in other moments the producers take this function for themselves; nowadays, this relation occurs in terms of the intense interactivity with the consumer. Concerning the Public Relations professional, among the questions that remain, we can city: where does the professional of Public Relations fit itself inside this complex context? Which would be its functions amid this whirlpool of information in the convergence culture era? These are the questions that are going to guide this paper

Letteratura parascolastica e nazionalismo nella Prima Repubblica

In the early decades of Brazilian Republic, didactic literature played an important role in contributing to the «spirit of national integration», as José Veríssimo recommended. But, in addition to fighting the «parochialism» of different regions of the vast country, didactic literary works intended to combat the «foreign threat» represented by uncontrolled immigration and the economic and military imperialism. Brief analysis of Contos Pátrios (1894) and A Pátria Brasileira (1909), written by Olavo Bilac and Coelho Neto, and Porque Me Ufano do Meu País (1901), by earl of Afonso Celso, aims to reveal some of the resources used by the authors to elicit the feeling of brotherhood, solidarity and collective bond among Brazilian children, driving away threats that hung over the country. It also indicates that the interpretation of the national past, from which came the heroes, martyrs and leaders to be worshiped and imitated by children, radically opposed the monarchist Afonso Celso and the republicans Bilac and Coelho Neto.

O ensino de física no estado de São Paulo: os cadernos do professor e do aluno no discurso oficial e nas representações dos professores

Pós-graduação em Educação para a Ciência - FC

A configuração de forças na constituição histórica do trabalho como estratégia de cuidado em saúde mental: problematizações foucaultianas

Investigated in this paper, as contributions to Foucault's genealogy of knowledge, the historical constitution of the joint activities between Work and Care in Mental Health (called Therapeutic Workshops, among other names) in their different purposes and dimensions that contributed to the production care of patients with psychological distress at different times. History is here understood as a multiplicity (and nonlinearity) of time series and various blending and shuffleforming speeches as truths. In conjunction we have discussed, we conclude that the work as a therapeutic modality in nursing homes, there emerged in the world of psychiatry, but of capitalism. Associated with measures of occupation "empty minds" of misfits, later earned the position of an instrument of discipline and social regulation. With the Psychiatric Reform, activities Work in Mental Health have been re-invented as spaces enablers of access to citizenship and contractuality social network users.

O desejo e a indústria cultural no processo de subjetivação: diálogo sobre o corpo na educação física escolar

We analyzed the Cultural Industry and impositions for manners of production of capitalism in subjectivity, exposing the subject to alienated fragility. Because, the consumption doesn't just refer to the contemplation of images for subjects, but also about identification that subjects can have about images. The contemporary society is composed in individualist adoration by self, demanding pledge and self-control to reach the wanted body and idealized spread by media, disseminating idea of corporal pattern. So, we understood that the school physical education, being the field of knowledge of cultural corporal, has as function, also, to act as intercessor in relationship with media, above all when worked with pertinent subjects to corporeality contributing so that student, through exercise of critic, transform the society. Therefore, the educators need to extrapolate hesitation front media and make critical use of formative and informative possibilities, on consumption and impact on the body.

As disputas territoriais na formação do assentamento Canudos, em Goiás

Pós-graduação em Geografia - FCT

Modelos organizacionais e a modernidade radicalizada periférica

Pós-graduação em Ciências Sociais - FCLAR

Profissionalização docente e subordinação do trabalho educativo à lógica flexível da produção capitalista

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Gramsci, o capital supranacional e o novo teorema da política

Gramsci é um autor da atualidade, teórico da mundialização do capitalismo, mas ainda desconhecido, mesmo no campo do marxismo, entre as suas tendências dominantes. Pensar a globalização, o século XXI, a nova conjuntura política nos quadros da contemporaneidade é um desafio intelectual da maior relevância que tem, em Gramsci – certamente para surpresa de uns e negação de outros –, uma de suas fontes mais estimulantes e reveladoras. É fascinante desvendar em seus escritos teses indispensáveis para refletirmos alguns dos principais temas do momento em horizontes mundiais.

Profissionalização docente e subordinação do trabalho educativo à lógica flexível da produção capitalista

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

O Recuo Brutalista

Em conformidade com a dúvida de seu título, o difundido livro The New Brutalism: Ethic or Aesthetic? de Reyner Banham não é possível explicar o Brutalismo como manifestação artística coesa, dotada de consistência e reprodutibilidade formal. A citação de arquitetos famosos, porém divergentes, parece associar e comparar obras ásperas com a pretensão de reerguer uma arquitetura moderna considerada ascética, monótona e insuficiente e gera um teoricismo da aparência crua e do moralismo dos objetos. Discurso que oculta, ou desvia a atenção do retorno artístico à sublimidade e construção artesanal. O Brutalismo é aceito como evolução natural dos estágios modernos anteriores e sanciona artefatos toscos, pesados e inacabados como se fossem filiados ao processo moderno desinfestado. Esconde contradições e disfarça seu rompimento com o moderno para prolongar a expressão Movimento moderno. Mas o objeto claro, econômico e preciso é repudiado pelo consumidor e, por ser pouco representativo, o artista faz sua maquiagem com episódios contrastantes e monumentais na informalidade das cidades espontâneas. No entanto, parece possível suspender a noção positiva e corretiva do Brutalismo para entendê-lo como um recuo artístico vulgarizador que despreza aperfeiçoamento e afronta a atitude moderna com banalização conceptiva, exagero, figuralidade, musculação estrutural, grandeza tectônica, rudimento e rudeza. Assim, moralismo, retorno rústico e originalidade desqualificam a expressão International Style entendida como a culminação da arquitetura moderna do pós-guerra, ao depreciá-la como decadente, como produto imobiliário, comercial e corporativo a serviço do capital. Essa interpretação desvela uma crítica anti-industrial, portanto antimodernista e diversa da pós-modernidade, porém contestadora e realista para fornecer imagens à cultura e aos insensíveis à estrutura da forma moderna. Diverso da pós-modernidade pela dependência ao moderno e ausência de apelo popular. Tornada insignificante a configuração oportuna do artefato, o arquiteto tenta reter sua notabilidade artística, ou o prestígio que parece enfraquecer na aparência símile da especificação de catálogo, no rigor modular. Indispõe-se e repudia componentes, Standards e acabamentos impessoais da indústria da construção para insistir em autoria e inspiração, mas repete cacoetes estilísticos de época e o inexplicável uso intensivo de concreto bruto e aparente para sentir-se engajado e atualizado. Porém, é necessário distinguir obras de aparência severa concebidas pela atitude moderna mais autêntica das de concreto aparente em tipos ou configurações aberrantes. Para avançar na discussão do Brutalismo propõe-se entender este fenômeno com a substituição do juízo estético moderno de sentido visual postulado por Immanuel Kant (1724-1804) por um sentimento estético fácil e relacionado com a sensação da empatia, com a Einfühlung de Robert Vischer (1847-1933). Na época da cultura de massas, admite-se o rebaixamento das exigências no artefato e a adaptação brutalista com a transfiguração dos processos de arquitetura moderna. Assim, a forma é substituída pela figura ou pelo resumo material; a estrutura formal subjacente pelo ritmo e exposição da estrutura física; o reconhecimento visual pelo entusiasmo psicológico ou pelo impulso dionisíaco; a concepção substituída pelo partido, ou, ainda, pelo conceito; a sistematização e a ordem pela moldagem e a organização; a abstração e síntese pela originalidade e essencialidade, o sentido construtivo pela honestidade material; a identidade das partes pela fundição ou pela unicidade objetal e a residência pela cabana primitiva.

User interaction widgets for interactive theorem proving

Matita (that means pencil in Italian) is a new interactive theorem prover under development at the University of Bologna. When compared with state-of-the-art proof assistants, Matita presents both traditional and innovative aspects. The underlying calculus of the system, namely the Calculus of (Co)Inductive Constructions (CIC for short), is well-known and is used as the basis of another mainstream proof assistant—Coq—with which Matita is to some extent compatible. In the same spirit of several other systems, proof authoring is conducted by the user as a goal directed proof search, using a script for storing textual commands for the system. In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. The interaction paradigm offered to the user is based on the script management technique at the basis of the popularity of the Proof General generic interface for interactive theorem provers: while editing a script the user can move forth the execution point to deliver commands to the system, or back to retract (or “undo”) past commands. Matita has been developed from scratch in the past 8 years by several members of the Helm research group, this thesis author is one of such members. Matita is now a full-fledged proof assistant with a library of about 1.000 concepts. Several innovative solutions spun-off from this development effort. This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a major contributor. Joint work with other members of the research group is pointed out where needed. The main topics discussed in this thesis are briefly summarized below. Disambiguation. Most activities connected with interactive proving require the user to input mathematical formulae. Being mathematical notation ambiguous, parsing formulae typeset as mathematicians like to write down on paper is a challenging task; a challenge neglected by several theorem provers which usually prefer to fix an unambiguous input syntax. Exploiting features of the underlying calculus, Matita offers an efficient disambiguation engine which permit to type formulae in the familiar mathematical notation. Step-by-step tacticals. Tacticals are higher-order constructs used in proof scripts to combine tactics together. With tacticals scripts can be made shorter, readable, and more resilient to changes. Unfortunately they are de facto incompatible with state-of-the-art user interfaces based on script management. Such interfaces indeed do not permit to position the execution point inside complex tacticals, thus introducing a trade-off between the usefulness of structuring scripts and a tedious big step execution behavior during script replaying. In Matita we break this trade-off with tinycals: an alternative to a subset of LCF tacticals which can be evaluated in a more fine-grained manner. Extensible yet meaningful notation. Proof assistant users often face the need of creating new mathematical notation in order to ease the use of new concepts. The framework used in Matita for dealing with extensible notation both accounts for high quality bidimensional rendering of formulae (with the expressivity of MathMLPresentation) and provides meaningful notation, where presentational fragments are kept synchronized with semantic representation of terms. Using our approach interoperability with other systems can be achieved at the content level, and direct manipulation of formulae acting on their rendered forms is possible too. Publish/subscribe hints. Automation plays an important role in interactive proving as users like to delegate tedious proving sub-tasks to decision procedures or external reasoners. Exploiting the Web-friendliness of Matita we experimented with a broker and a network of web services (called tutors) which can try independently to complete open sub-goals of a proof, currently being authored in Matita. The user receives hints from the tutors on how to complete sub-goals and can interactively or automatically apply them to the current proof. Another innovative aspect of Matita, only marginally touched by this thesis, is the embedded content-based search engine Whelp which is exploited to various ends, from automatic theorem proving to avoiding duplicate work for the user. We also discuss the (potential) reusability in other systems of the widgets presented in this thesis and how we envisage the evolution of user interfaces for interactive theorem provers in the Web 2.0 era.

La "responsabilità sociale" dell'imprenditore negli ambienti cattolici lombardi dagli anni Trenta alla Ricostruzione

My research focuses on the mentality of catholic entrepreneurs and managers in Italy between the 1930's and the 1950's. The main source of my study is the archive of an organization called Unione Cristiana Imprenditori Dirigenti [Christian Entrepreneurs and Managers Association], which was founded in Milan in 1945 with the pedagogic intent to foster higher moral standards and social responsibility in the milieux of catholic entrepreneurs, in the spirit of the Social Doctrine of the Church. This experience was set in the social and political context of the Italian post-war years, but it was also rooted in the debate – started during the 1930s - on the rise of a new catholic leadership in society.

A new insight in stress recovery tecniques and hessian reconstruction methods

Stress recovery techniques have been an active research topic in the last few years since, in 1987, Zienkiewicz and Zhu proposed a procedure called Superconvergent Patch Recovery (SPR). This procedure is a last-squares fit of stresses at super-convergent points over patches of elements and it leads to enhanced stress fields that can be used for evaluating finite element discretization errors. In subsequent years, numerous improved forms of this procedure have been proposed attempting to add equilibrium constraints to improve its performances. Later, another superconvergent technique, called Recovery by Equilibrium in Patches (REP), has been proposed. In this case the idea is to impose equilibrium in a weak form over patches and solve the resultant equations by a last-square scheme. In recent years another procedure, based on minimization of complementary energy, called Recovery by Compatibility in Patches (RCP) has been proposed in. This procedure, in many ways, can be seen as the dual form of REP as it substantially imposes compatibility in a weak form among a set of self-equilibrated stress fields. In this thesis a new insight in RCP is presented and the procedure is improved aiming at obtaining convergent second order derivatives of the stress resultants. In order to achieve this result, two different strategies and their combination have been tested. The first one is to consider larger patches in the spirit of what proposed in [4] and the second one is to perform a second recovery on the recovered stresses. Some numerical tests in plane stress conditions are presented, showing the effectiveness of these procedures. Afterwards, a new recovery technique called Last Square Displacements (LSD) is introduced. This new procedure is based on last square interpolation of nodal displacements resulting from the finite element solution. In fact, it has been observed that the major part of the error affecting stress resultants is introduced when shape functions are derived in order to obtain strains components from displacements. This procedure shows to be ultraconvergent and is extremely cost effective, as it needs in input only nodal displacements directly coming from finite element solution, avoiding any other post-processing in order to obtain stress resultants using the traditional method. Numerical tests in plane stress conditions are than presented showing that the procedure is ultraconvergent and leads to convergent first and second order derivatives of stress resultants. In the end, transverse stress profiles reconstruction using First-order Shear Deformation Theory for laminated plates and three dimensional equilibrium equations is presented. It can be seen that accuracy of this reconstruction depends on accuracy of first and second derivatives of stress resultants, which is not guaranteed by most of available low order plate finite elements. RCP and LSD procedures are than used to compute convergent first and second order derivatives of stress resultants ensuring convergence of reconstructed transverse shear and normal stress profiles respectively. Numerical tests are presented and discussed showing the effectiveness of both procedures.