[pt] Esta dissertação é dedicada à proposta de Johann Gustav Droysen de fundar uma disciplina, a história, na ética. Portanto nos concentraremos em sua principal obra teórica, a Historik. Consideraremos inicialmente o contexto do pensamento histórico alemão do século XIX, e, em um segundo momento, a filosofia kantiana como o fundamento da Historik droyseana (sendo Humbold a ponte entre ambos, como não deixou de notar o próprio Droysen). Em terceiro lugar consideraremos a ética aristotélica com a qual Droysen mantém um denso e constante diálogo. Examinando estes tópicos, estabeleceremos os elementos fundamentais da ética droyseana – o particular ser Eu (Ichsein), o geral Eu da humanidade (Ich der Menschheit) e os atos de vontade (Willensakte) – e sua singular relação com a experiência e com o pensamento históricos. Finalmente, nos perguntaremos se Droysen de fato estabeleceu uma filosofia política moderna ao delimitar o cosmos do mundo ético-histórico. Como conclusão deste trabalho, apresentaremos a Historik de Droysen como uma ética (historista) moderna. / [en] This dissertation is dedicated to Johann Gustav Droysen’s suggestion to install the discipline of History on ethics. Therefore we shall concentrate on his theoretical work, Historik. Firstly, we will consider the wilder context of German XIXth century historical thought, secondly the Kantian philosophy as the foundation of Droysen’s Historik (von Humboldt being the link between them, as Droysen noted himself), and thirdly the Aristotelian ethics with which Droysen maintains a vivid dialogue. By examining these topics, we will establish the fundamental elements of Droysen’s ethics – the particular be I (Ichsein), the general Humankind I (Ich der Menschheit) and the acts of will (Willensakte) - and their singular relations with historical experience and thought. Finally, we will raise the question whether Droysen did design a modern political philosophy by delimitating the cosmos of the ethical-historical world. As a conclusion we will present Droysen’s Historik as a modern (historicist) ethics.

[pt] Lembretes desmoralizantes (demoralizing reminders) é uma expressão criada pelo artista para designar grandes áreas habitacionais abandonadas como uma crítica explícita ao discurso arquitetônico e uma denúncia à fragilidade do sistema de produção do espaço capitalista. É também o título deste trabalho que propõe uma leitura dos buildings cuts realizados pelo artista Gordon Matta-Clark (1943-1978) no período compreendido entre 1974-1978, ancorado em seus escritos, cartas, declarações, artcards, entrevistas, fotografias e filmes, desenvolvendo um percurso de leitura que mapeia as constelações de sua pulsão crítica cujo modo de operar baseia-se em uma visão de tempo cíclico, de separação, preparação, consumo e novas semeaduras. A espetacularização produzida pela crítica tratando seus building cuts como produtos, objetos acabados ainda que efêmeros, enquanto uma nova linguagem desenvolvida pelo artista obscureceu a especificidade tratada em cada um deles, as relações com a documentação, com a performance, com o contexto. A tese Lembretes desmoralizantes procura analisa-los à luz do discurso do artista mostrando que há um deslocamento permanente entre ideia, escrita e gesto em um processo de desdobramentos contínuo onde a ação de desfazer promovia uma necessidade permanente de questionar o estado das coisas, nos lembrando da necessidade de colocar tudo em movimento exatamente quando nos sentimos confortáveis. / [en] Demoralizing reminders is an expression created by the artist to designate great abandoned housing areas as an explicit criticism to the architectural discourse and a denouncement of the fragility of the production system of the capitalist space. It is also the title of this work, which proposes a perusal of the buildings cuts made by the artist Gordon Matta-Clark (1943-1978) in the period between 1974 and 1978, based on his writings, letters, declarations, artcards, in his interview, in photographs and films developing a trajectory of perusal that maps the constellations of his critical pulsation, whose way of operating is based in a vision of time as cyclical, of separation, preparation, consumption and new sowings. The spectacularization produced by the critics treating his building cuts as products, objects that were finished, albeit ephemeral, while a new language developed by the artist obscured the specificity treated in each of them, the relationships with the documentation, the performance, the context. The thesis Demoralizing reminders aims to analyze them through the discourse of the artist showing that there is a permanent displacement between idea, writing and gesture in a process of continuous unfolding where the action of undoing promoted a permanent need to question the state of things, reminding us of the need to put everything in motion precisely when we feel comfortable.

[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algoritmo que encontre uma demonstração para esse passo, e trocar o aviso pela demonstração de verdade. Nós vamos considerar que a primeira operação vai em direção ao esqueleto da demonstração, e que ela é como uma projeção; a segunda operação é um levantamento de um esqueleto para uma demonstração um pouco mais completa com aquele esqueleto. Nós só estamos interessados em esqueletos que possam ser levantados até provas completas usando algum algoritmo conhecido. Nesta tese descrevemos uma linguagem - o sistema DNC - que permite provar vários fatos sobre categorias usando esqueletos. O método para o levantamento é, a grosso modo, o seguinte: a partir do nome de um termo em DNC nós podemos obter o seu tipo; por uma espécie de Isomorfismo de Curry-Howard um tipo desses pode ser visto como uma preposição numa certa lógica; um algoritmo que obtenha uma demonstração para essa proposição retorna uma árvore de demonstração (uma derivação) num certo sistema de Dedução Natural, e essa árvore pode ser lida como um lambda- termo do tipo dado - ela dá uma construção natural para um objeto daquele tipo, e esse objeto muito frequentemente é exatamente o objeto que esperávamos obter. Derivações em DNC podem ser traduzidas para derivações num Pure Type System com Dicionários (PTSD), e derivações em PTSDs podem ser traduzidas para derivações em Pure Type Systems (PTSs); daí, questões sobre a teoria da prova de DNC se tornam questões sobre a teoria da prova de PTSs, que é bastante bem-conhecida. Não só temos um levantamento de nomes de termos em DNC para provas completas, mas também temos um modo formal de levantar diagramas categóricos expressos na linguagem do DNC para termos em DNC e daí para provas completas; e se mudamos o dicionário embutido num PTSD podemos fazer com que o mesmo esqueleto em DNC represente provas em contextos diferentes; por exemplo, algumas provas que aparentemente estão sendo feitas sobre a categoria dos conjuntos podem ser reinterpretados como provas sobre um topos arbitrário. Usamos essa idéia para apresentar de uma forma simples - em que os passos óbvios omitidos são óbvios num sentido muito preciso - a semântica categárica para alguns PTSs, incluindo PTSs com polimorfismo e tipos dependentes, e os PTSs para quais as derivações em DNC são traduzidas. / [en] Consider the following two kinds of transformation on proofs; the first is to make a a proof more incomplete, by erasing a lemma or a construction from it and replacing it by a tag saying this is obvious; the second kind of transformation takes a step that is proved by a this is obvious tag, applies some kind of prof-search algorithm to it, and replaces the tag by a real proof for that step. We will consider that the first operation goes toward the skeleton towards a more complete proof that had that skeleton as a projection. We are only interested in skeletons can be lifted back to full proofs using some known algorithm. In this thesis we can describe a language - DNC - that lets us prove several categorical facts using skeletons. The method for lifting these skeletons goes like this: from the name of a DNC term we can obtain its type; by a kind of Curry-Howard isomorphism a such type can be seen as a proposition in a certain logic; proof-search for that proposition will obtain a proof-tree for it in a certain system of Natural Deduction, and that proof-tree can be read as a lambda-term of given type - the proof-tree gives a natural construction for an object of the given type, that very often is exactly the object that we were looking for. Derivations in DNC can be translated into derivations in a Pure Type System with Dictionaries (PTSD), and derivations in PTSDs can be translated into derivations in Pure Type Systems (PTSs); so questions about the proof- theory of DNC become questions about the proof-theory of PTSs, whose properties are quite well-known. Also, not only we can lift names of terms in DNC to full proofs in different settings; for example, some proofs that apparently are happening over the category of sets can be reinterpreted as proofs over an arbitrary topos. We use that idea to give a simple presentation (in which the omitted obvious steps are obvious in a very precise sense) of the categorical semantics for some PTSs - and that includes PTSs into which the DNC derivations are translated.

[pt] A modernidade tem na noção de contingência um de seus atributos mais marcantes. Isso significa que, na era moderna, vacilam os modos tradicionais de atribuição de sentido às coisas do mundo. É possível afirmar que tal situação ocorre em virtude, principalmente, da alteração que a idéia de progresso promove nas formas de apreensão da temporalidade histórica. O progresso, enquanto qualidade de aperfeiçoamento ilimitado do homem, afasta ao infinito o horizonte teológico que, até então, determinava o futuro. Assim, na modernidade, o futuro se torna aberto à indeterminação, situação que se traduz no rompimento dos elos que mantinham unidos passado, presente e futuro, tal como se pode perceber na perda de validade do tradicional topos Historia Magistra Vitae. Para o historiador Reinhart Koselleck, este momento, que equivale ao descompasso definitivo entre as categorias espaço de experiência e horizonte de expectativa, tem na Revolução Francesa seu apogeu. A partir da Revolução o homem moderno se vê forçado a buscar um elenco alternativo de explicações para os acontecimentos, capaz de lidar com a aceleração do tempo, com a transitoriedade instalada em um presente cada vez mais fugaz, com a contingência. A tese toma o problema da continuidade histórica como ponto de partida para refletir sobre os modos pelos quais, no período pós-revolucionário, passou-se a estabelecer a relação entre futuro, presente e passado, considerando o atributo da contingência que permeia a vida moderna. Para tanto, elegemos como objetos de análise e comparação duas perspectivas sobre a história: aquela elaborada por Jacob Burckhardt em sua historiografia da cultura; e aquela formulada por G.W.F Hegel em sua filosofia da história. / [en] Modernity has in the idea of contingency one of its most defining attributes. This means that the traditional modes of assign sense for things of the world hesitate at modern age. One can say that this situation occurs mainly in face of the modification the idea of progress causes on the apprehending modes of historical temporality. Progress, as the quality of man´s unlimited improvement, removes to the infinite the theological horizon that until then determined the future. In this manner, at modernity, the future becomes opened to indetermination, a situation translated as the rupture of the links that had kept together past, present and future as it can be perceived in the loss of validity of the traditional topos Historia Magistra Vitae. This moment, which is to the historian Reinhart Koselleck equal to the definitive disagreement between the categories space of experience and horizon of expectation, has its culmination in the French Revolution. From the Revolution on, man is forced to find out an alternative cast of explanations for the events, capable to deal with the temporal acceleration, with the trasitoriness settled at a present more and more ephemeral, with the contingency. The dissertation takes the problem of historical continuity as a starting point to the reflection on the ways in which the relation between future, present and past occurred at the post-revolutionary period, taking into consideration the attribute of contingency that permeates modern life. Therefore we choose as objects for analysis and comparison two perspectives about history: the one elaborated by Jacob Burckhardt in his cultural historiography; and that formulated by G.W.F. Hegel on his philosophy of history.

[pt] Esta Tese de Doutorado tem como foco o Projeto de Economia de Comunhão na Liberdade - EdC, que apresenta uma maneira diferenciada de ver a gestão. As empresas que aderem a esse Projeto buscam aliar princípios de eficiência, produtividade e lucratividade a uma forma mais humana de gerenciamento de pessoas. Trata-se de um Projeto em fase inicial, cujos resultados são provenientes da prática das empresas e não da aplicação de bases teóricas, ainda inexistentes. Assim, o objetivo deste estudo é o de discutir fundamentos organizacionais para a construção de uma Teoria de EdC. Para tanto, é apresentada a Doutrina Social da Igreja que fundamenta a EdC e os princípios e os ideais do Projeto. Em seguida, são discutidos os elementos organizacionais conhecimento e aprendizado, poder, liderança, comunicação, motivação, tomada de decisões e mudança organizacional e são avaliadas abordagens que mais se aproximam dos aspectos que distinguem uma empresa de EdC de outra convencional. Na seqüência, caracteriza-se a empresa de EdC. Por fim, os elementos organizacionais e as abordagens discutidas são contrapostas aos princípios da EdC, buscando-se levantar quais são os pontos de confluência que permitirão elencar as primeiras bases para a construção de uma teoria sobre o tema. / [en] The focus of this doctoral thesis is the Sharing Economy Project - SEP, that presents a different way of managing adopted by some organizations that congregates principles of efficiency, productivity and profitability to a more human way of managing people. This Project is still in the beginning and its results come from the organizations´ practices and not from the use of some theoretical basis, not yet developed. Thus, the objective of this study is discussing organizational foundations that can be useful for a future SEP theory. In this pursuit, the Social Doctrine of Catholic Church - that establishes the SEP basis - and the Project´s principles will be presented. After this, some organizational elements like knowledge and learning, power, leadership, communication, decision making and organizational change are discussed and organizational approaches that are closer to elements that distinguish EdC organizations from conventional ones are considered. Then, one will show what an EdC enterprise means showing some of its characteristics. To finish with, the organizational elements and the approaches will be compared to the SEP principles in order to point out the confluent points that can serve as an initial basis for a theory construction.

[pt] A tese tem como hipótese a importância do realismo jurídico norteamericano para o desenvolvimento do ensino jurídico e das escolas de direito norte-americanas. Para isto três autores serão abordados: Wesley N. Hohfeld, Walter W. Cook e Karl N. Llewellyn. O primeiro capítulo trará uma introdução sobre as questões metodológicas do trabalho. O segundo capítulo fará uma digressão histórica no direito norte-americano para podermos compreender o contexto de surgimento do realismo jurídico. O terceiro capítulo abordará Wesley N. Hohfeld, sua importância para o surgimento do movimento realista e também sua contribuição para a evolução do ensino jurídico norte-americano. O quarto capítulo tratará de Walter W. Cook, sua teoria e sua experiência fracassada no Instituto para o Estudo de Direito de Johns Hopkins. O quinto capítulo tratará especificamente do surgimento do realismo jurídico através dos escritos de Karl N. Llewellyn e também de sua teoria das funções do direito. A crítica de Llewellyn ao ensino jurídico da época será ponto central do capítulo. O sexto capítulo demonstrará o porquê de o movimento realista ter sucumbido tão rápido, bem como abordará o seu legado. Finalmente a conclusão demonstrará as limitações do trabalho e suas principais contribuições. / [en] The thesis has as its main hypothesis the importance of American legal realism to the development of American Law Schools and legal education. In order to accomplish that, three authors will be faced: Wesley N. Hohfeld, Walter W. Cook e Karl N. Llewellyn. The first chapter will bring an introduction about the methodological issues of the present work. The second chapter will make a historical digression on the American law so that the reader can understand in which context American legal realism appeared. The third chapter will be about Wesley N. Hohfeld and his importance to the appearance of American legal realism and also his contribution to legal education. The fourth chapter will treat Walter W. Cook’s theory and his failure in the John’s Hopkins Institute. The fifth chapter will treat specifically about the appearance of the legal realism movement through Karl N. Llewellyn articles and his law-jobs theory. Also, his criticism about legal education at the time will be the core of this chapter. The sixth chapter will demonstrate why American legal realism was not successful in its attempt and why it didn’t last long. It also will demonstrate the important legacy left by the movement. Finally, the conclusion will demonstrate the thesis’s limitations and its main contributions.

[pt] Na antologia que M.E. Szabo realizara dos trabalhos de Gentzen e publicara em 1969 se transcrevem, em um apêndice, algumas passagens apresentadas por Bernays ao editor pertencentes a uma primeira prova de consistência para a Aritmética de Peano realizada por Gentzen que não tinha sido publicada até então. À diferença das outras provas de consistência realizadas por Gentzen e já conhecidas na década de trinta, esta prova não utiliza o procedimento de indução transfinita até e0. Ao contrário, baseia-se na definição de um processo de redução de seqüentes que se associa sistematicamente a todo seqüente derivável permitindo reconhecê-lo como verdadeiro. Nós reconstruímos essa prova realizando algumas variações e estudamos o modo pelo qual a técnica principal utilizada (a definição do processo de redução de seqüentes) pode ser vista em relação a resultados da lógica clássica de primeira ordem tais como provas de completude. A parte central da nossa dissertação é a realização de uma versão desta prova de consistência para um sistema formal para a Aritmética de Heyting. / [en] In the antology of Gentzens works made by M.E.Szabo and published in 1969, we find out in an appendix, some passages presented by Bernays to the editor. These texts belong to a first proof of Peanos Arithmetic consistency that Gentzen did not publish. In a different way from the other proofs of consistency made by Gentzen and already known in the thirties, this proof does not use the procedure of transfinite induction up to e0. On the contrary, it is based on the definition of a reduction process for sequents that is systematically associated to every derivable sequent allowing us to recognize it as a true sequent. We reconstructed this proof making some variations and we studied how the main technique used (the definition of the reduction process) could be seen in relation with other results of first order logic like proofs of completness. The main part of our dissertation is another version of this consistency proof for a formal system for Heyting Arithmetic.

[pt] Através dos elementos teóricos da obra do historiador alemão Johann Gustav Droysen (1808-1886), esta tese pretende analisar o que significa pensar historicamente no século XIX no contexto alemão. Diferentemente das interpretações vigentes, geralmente concentradas nos conceitos de Historismo e Hermenêutica, a tese que se apresenta procura tornar claro não somente como a ciência histórica se torna metodologica e normativamente autônoma, mas sobretudo como neste contexto ela se mostra necessária como conhecimento. Para tal, propõe-se que a história seja concebida como resignação, ação e formação. Trata-se menos de compor uma matriz disciplinar, e sim de compreender hermeneuticamente as complexas configurações que a consciência histórica burguesa pode assumir. / [de] In Anlehnung an die theoretischen Aspekten des Werkes des deutschen Historikers Johann Gustav Droysen (1808-1886), versucht die vorliegende Dissertation zu analysieren, was heisst in Deutschland des 19.Jarhunderts historisch zu denken. Im Gegensatz zu den bisher üblichen Interpretationen, die das historische Bewusstsein fast auschliesslich unter Begriffen wie Historismus und Hermeneutik verstehen, beabsichtigt diese Dissertation, nicht nur die methodische und normative Selbständigkeit der Geschichtswissenschaft klarzumachen, sondern auch ihre Notwendigkeit als Erkenntnis in dem entsprechenden Zeitalter zu zeigen. Aus dieser Perspektive schlägt man vor, Geschichte als Ohnmacht, Macht und Bildung zu interpretieren. Es geht also weniger um eine neue Disziplinäre Matrix aufzubauen, als darum die komplexen Gestaltungen des bürgerlichen historischen Bewusstseins hermeneutisch zu verstehen.

[pt] A presente dissertação é um trabalho de teoria do direito. Como o título sugere, seu objetivo é expor alguns aspectos da contraposição entre o jusnaturalismo e o positivismo jurídico no cenário contemporâneo. Utiliza como referência a reinterpretação da teoria jusnaturalista por John Mitchell Finnis e seu diálogo com positivismo jurídico contemporâneo. Ressalvo que aqui não se tem a pretensão de demonstrar que o debate entre as duas correntes esteja definitivamente encerrado, mas de esclarecer concepções e tentar afastar alguns equívocos que o permeiam. / [en] This works is a legal theory one. As the title suggests, its goal is to expose some aspects of the opposition between natural law theory and legal positivism in the contemporary scenario. It take as reference the reiterpretation of the natural law theory by John Mitchell Finnis and his dialogue with the contemporary legal positivism. Indeed, it does not pretend to demonstrate that the debate between the two currents is definitely closed, but its purpose is to clarify concepts and attempt to remove some misconceptions that permeate it.

[pt] Em Estudos em vermelho: caminhos do enigma, estabelecemos um diálogo entre o romance policial em sua configuração clássica e narrativas contemporâneas que se apropriam de elementos estruturantes fundadores, reinventando um novo estatuto e novas funções para a figura do narrador, do personagem do detetive e o seu objeto de investigação, o enigma. Neste diálogo são aprofundados os pressupostos que sustentam as motivações e os caminhos privilegiados na busca de soluções para desvendar enigmas em analogia à função do cientista, comprometido com diversas formas de construção de conhecimento. / [en] In Studies in scarlet: roads to the enigma, our aim is to propose a dialogue between the Poesque detective story and its elaborations and the subversion of the classical genre by a contemporary form that reshapes the seeeming dead-end racionality and its basic elements, such as the narrator, the detective and his object of investigation, the enigma. Throughout this dialogue the basic motivations and means privileged in the search for solutions to the enigma are paralleled to that of the cientist´s in his commitment to the distinct modes of construction of knowledge.