Dissertação (mestrado)—Universidade de Brasília, Instituto de Física, Programa de Pós-Graduação em Física, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-03-06T20:51:56Z No. of bitstreams: 1 2017_WaleskaPriscyllaFlorenciodeMedeiros.pdf: 1061826 bytes, checksum: 027df1f04c8a2bc54bbfbad1dfc40bcb (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-03-14T19:41:57Z (GMT) No. of bitstreams: 1 2017_WaleskaPriscyllaFlorenciodeMedeiros.pdf: 1061826 bytes, checksum: 027df1f04c8a2bc54bbfbad1dfc40bcb (MD5) / Made available in DSpace on 2018-03-14T19:41:57Z (GMT). No. of bitstreams: 1 2017_WaleskaPriscyllaFlorenciodeMedeiros.pdf: 1061826 bytes, checksum: 027df1f04c8a2bc54bbfbad1dfc40bcb (MD5) Previous issue date: 2018-03-14 / Correções radiativas geralmente resultam em teorias com derivadas superiores (ordem superior a segunda). Abraham e Lorentz foram os primeiros a investigar correções radiativas nas alterações da equação de movimento de uma partícula carregada. A isso se denomina autoforça e é a primeira vez em que foram encontradas equações de ordem superior. Um pouco depois esse problema voltou a ser estudado por Dirac, que encontrou soluções não físicas que são descritas nesse texto. Essas soluções ocorrem porque a teoria é de ordem superior. Por isso, surge ainda apenas no contexto de uma partícula, a técnica da redução de ordem. Alguns anos atrás essa técnica foi sugerida pelo Parker para ser aplicada em teorias de ordem superior de um modo geral. Nesse presente trabalho, nos propomos a verificar mais detalhadamente a validade dessa técnica perturbativa. Aplicando o método em um sistema muito mais simples, obtemos que ele tem boa convergência na presença de fontes. Na ausência de fontes o método converge apenas quando o sistema se aproxima sem oscilar, infinitamente lento para o equilíbrio. / Radiative corrections usually result in theories with higher derivatives (order higher than second). Abraham and Lorentz were the first to investigate radiative corrections in the changes in the equation of motion of a charged particle. This is called self-force and is the first time that higher order equations have been found. After that this problem was studied again by Dirac, who found nonphysical solutions that are described in this text. These solutions occur because the theory is of a higher order. Therefore, the technique of order reduction arises for the first time in the context of particle motion. Recently, this idea of order reduction was suggested by Parker to be applied in higher order theories in general. In this present work, we propose to verify in more detail the validity of this perturbative technique. Applying the method in a much simpler system, we obtain that it has good convergence in the presence of sources. In the absence of sources the method converges only when the system approaches equilibrium infinitely slowly without oscillating.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Relações Internacionais, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-04-10T18:57:01Z No. of bitstreams: 1 2017_BrunaHolsteinMeireles.pdf: 1231575 bytes, checksum: 32e2838c85dbf20a63942abd701054da (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-04-12T18:38:18Z (GMT) No. of bitstreams: 1 2017_BrunaHolsteinMeireles.pdf: 1231575 bytes, checksum: 32e2838c85dbf20a63942abd701054da (MD5) / Made available in DSpace on 2018-04-12T18:38:18Z (GMT). No. of bitstreams: 1 2017_BrunaHolsteinMeireles.pdf: 1231575 bytes, checksum: 32e2838c85dbf20a63942abd701054da (MD5) Previous issue date: 2018-04-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Desde a década de 1980, o caráter social da política internacional tem sido problematizado por uma ampla gama de autores, e partindo das mais variadas vertentes críticas. Apesar do esforço por desestabilização que vem sendo realizado, a pressuposição da soberania, como propriedade essencial ou adquirida historicamente, segue a orientar uma série de análises teóricas de Relações Internacionais (RI), que variam do mainstream à teorização crítica. É com isso em mente que me proponho a fazer “duas coisas e uma só”. Meu objetivo central é desenvolver uma problematização política da soberania. Assim, tomo a teoria construtivista de Alexander Wendt como exemplar do problema político que a soberania implica para a política moderna, e, por conseguinte, para a política internacional e para as tentativas de explicá-la. Para realizar tais objetivos, esta dissertação foi dividida em três capítulos. No capítulo 1, introduzo o pensamento social de Wendt ao leitor. No capítulo 2, desenvolvo o argumento de que a soberania é um problema político. No capítulo 3, desconstruo a hipótese wendtiana sobre a estrutura cultural da anarquia internacional e exploro algumas implicações desta crítica para a sua hipótese, formulada alguns anos depois da publicação da sua teoria, de que o sistema internacional levará a um estado mundial. Por fim, concluo, primeiramente, que o imaginário da soberania segue central a explicações que tem no sistema de estados o seu objeto, e, em segundo lugar, que a permanência da soberania como um princípio nessas teorias faz das RI um sítio privilegiado para investigações críticas sobre a política contemporânea. / Since the 1980’s, the social character of international politics has been problematized by a wide range of authors, and from various critical perspectives. Despite the effort that has been accomplished towards destabilization, the assumption of sovereignty, either as an essential or historically acquired property, continues to drive a series of International Relations (IR) theoretical analyses, varying from the mainstream to critical theorization. It is with that in mind that I propose to do “one and two things”. My main goal is to develop a political problematization of sovereignty. Accordingly, I take Alexander Wendt’s constructivist theory as an exemplar of the political problem that sovereignty implies for modern politics, and thus for international politics and the attempts to explain it. To achieve such objectives, this dissertation is divided in three chapters. In chapter 1, I introduce the reader to Wendt’s social thought. In chapter 2, I develop the argument that sovereignty is a political problem. In chapter 3, I deconstruct the wendtian hypothesis about the cultural structure of international anarchy and explore some of the implications of such critique to his hypothesis, formulated a few years after his theory’s publication, that the international system will lead to a world state. In the end, I conclude firstly that sovereignty’s imaginary remains central to explanations that have the state system as their object, and secondly that sovereignty’s permanence as a principle in such theories makes IR a privileged site for critical investigations about contemporary politics.

Made available in DSpace on 2014-06-12T17:20:01Z (GMT). No. of bitstreams: 2 arquivo5045_1.pdf: 455681 bytes, checksum: c6a913600831be8cc740989846f8589b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / O presente trabalho estuda o desenvolvimento de uma racionalidade na Grécia, da passagem do mito à filosofia política socrático-platônica, quando se consolida a característica essencial da cultura grega, a pretensão de medir-se com a totalidade das coisas, com o todo do ser. Enfatiza-se aqui o caráter político dessa racionalidade, como um discurso estratégico de ordenação e integração da comunidade política, em que se tem a exaltação da noção de totalidade, harmonia, equilíbrio e universalização, entremostrando-se como um discurso de legitimação de domínio. Analisa-se neste trabalho o processo de autonomia dessa racionalidade inspirada na noção de totalidade, em que o todo não é apenas a soma das partes, não é só uma operação de adição das coisas individuais. Nesse sentido, o trabalho pretende mostrar que a filosofia grega se firma na noção de todo, sobrelevando-o em relação às partes, cabendo ao universal imprimir sentido aos particulares, unificando-os. Visitando-se as importantes contribuições na Grécia antiga, o trabalho se esforça em destacar os aspectos políticos, econômicos, enfim, as questões de fundo que levaram os gregos a pensar o todo e a unidade, e, então, iniciar um processo de secularização do conhecimento, um modo de investigação autônomo em relação a deuses e superstições. Fazendo uma interlocução entre essa racionalidade sistêmica ordenadora e os Sofistas, movimento que pretendeu humanizar as referências, relativizou a verdade, o trabalho apostou na abertura de um diálogo entre a racionalidade ordenadora e sistêmica construída na Grécia antiga e os outros caminhos que surgiram durante a travessia

Made available in DSpace on 2018-08-01T23:44:38Z (GMT). No. of bitstreams: 1 tese_7889_DISSERTAÇAO Helmo Magno Ballarini20170404-163911.pdf: 630794 bytes, checksum: 7b38d8f9a0f78d019a32010cc71e3c1d (MD5) Previous issue date: 2016-09-28 / Neste trabalho, partimos do conceito original de ordem religioso-militar e dissertamos sobre a história da Ordem de Cristo, a qual identificamos e descrevemos as origens medievais como ordem religioso-militar e a sua criação ou fundação por necessidade estratégica da monarquia portuguesa para proteger e manter o patrimônio templário no território português. Seguimos para a descrição de um panorama do Brasil colonial inserido no Império ultramarino português, as suas estruturas e práticas político-administrativas com ênfase no sistema de capitanias hereditárias e do governo-geral criados pela monarquia portuguesa. Apresentamos a discussão da dualidade MetrópoleColônia e a busca do controle político e administrativo periférico pelo centro do poder português. Em continuação, abordamos a consolidação de uma economia de mercês, que atuava na seleção de servidores para a burocracia no reino e nas conquistas ultramarinas portuguesas. Assim, na época moderna desenha-se um novo modelo de cavaleiro das ordens militares que se definia como servidor destacado do rei, limpo de sangue e com cabedal que lhe permitisse não sujar as mãos com trabalho e então o interesse nas ordens militares, em particular pelo hábito da Ordem de Cristo, generaliza-se por toda a sociedade portuguesa. Concluindo o trabalho, caracterizamos a formação da capitania do Espírito Santo e a partir de fontes manuscritas e impressas que abarcam os séculos XVII e XVIII dissertamos sobre as inflexões de uma economia de mercês que se consolidava e sobre a presença da Ordem de Cristo em um contexto regional de provimento de cargos e ofícios na capitania do Espírito Santo.

Made available in DSpace on 2014-06-12T18:08:35Z (GMT). No. of bitstreams: 2 arquivo848_1.pdf: 4379418 bytes, checksum: 21bd93be4a77a2eafed2ddc4e924f3de (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Por muitos anos, o estudo da sincronização se restringiu aos osciladores autônomos, com ênfase (devido aos trabalhos de Winfree e Kuramoto) nos osciladores uniformes acoplados. Recentemente, houve um interesse crescente nas oscilações globais de elementos excitáveis acoplados. Esses trabalhos em geral se dedicam a células cuja dinâmica interna é determinística e apenas o acoplamento entre elementos é ruidoso. Estudamos aqui os efeitos de um período refratário probabilístico no comportamento coletivo de elementos excitáveis de tempo discreto (autômato celular tipo SIRS). Usando análise de campo médio e simulações, mostramos que uma fase sincronizada com oscilações coletivas estáveis existe mesmo com períodos refratários nãodeterminísticos. Além disso, aumentando a intensidade de acoplamento obtemos uma transição reentrante, onde a fase sincronizada perde estabilidade. Em um regime intermediário, também observamos biestabilidade (e consequentemente histerese) entre uma fase sincronizada e uma fase ativa porém incoerente (sem oscilações). O surgimento das oscilações aparece nas equações de campo médio como uma bifurcação de Neimark-Sacker, cuja natureza (isto é, super- ou subcrítica) é determinada pelo primeiro coeficiente de Lyapunov e é relacionada com a continuidade da transição. Com isto, determinamos as fronteiras das regiões oscilante e biestável. A previsão de campo médio reproduz quantitativamente os resultados obtidos nas simulações do grafo completo, e para o grafo aleatório prevê qualitativamente a estrutura geral do diagrama de fases. Este último pode ser encontrado nas simulações através da definição de um parâmetro de ordem q, apropriado para capturar oscilações coletivas em elementos excitáveis. Revisamos brevemente outros parâmetros de ordem normalmente utilizados e mostramos (através de colapso de dados) que q satisfaz as relações de escala de tamanho finito esperadas. Por fim, expomos problemas em aberto que podem ser explorados em novos estudos

Made available in DSpace on 2014-06-12T18:28:24Z (GMT). No. of bitstreams: 2 arquivo4258_1.pdf: 1001952 bytes, checksum: e6142e24fe39949000cf8b23eda47a6d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Muitas situações no dia-dia podem ser descritas por meio de um diagrama que consiste de um conjunto de pontos e linhas que unem certos pares desses pontos. Por exemplo, podemos pensar nos pontos como terminais rodoviários e nas linhas como sendo as estradas. Uma abstração matemática para esse tipo de situação aparece no conceito de grafos. Em 1992, Mayr e Plaxton provaram uma conjectura, proposta por Kano, envolvendo árvores geradoras de grafos com peso. Em 2006, Lemos em seu trabalho intitulado Weight Distribution of the Bases of a Matroid, estende este resultado para matróides. Lemos também prova que as quatro conjecturas devidas a Kano valem para matróides fornecendo uma partição das bases da matróide pela distribuição dos pesos de seus elementos em vez do seu peso. Este trabalho de dissertação tem como objetivo desenvolver os resultados obtidos por Lemos bem como sua conjectura

Made available in DSpace on 2014-06-12T23:14:57Z (GMT). No. of bitstreams: 2 arquivo443_1.pdf: 1192729 bytes, checksum: ccd08a6f29741a2a6708ad65e8f9380d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Tomando o samba e a literatura como bases empíricas; categorias e conceitos teóricos propostos por Max Weber e Mikhail Bakhtin, entre outros; e adotando a busca de homologias estruturais como método investigativo; neste trabalho procurou-se reconstituir as origens e etapas da evolução da malandragem carioca; definir seus subtipos (com destaque para o malandro tradicional e o traficante); identificar seus traços característicos nos campos do discurso, comportamento e imagem, a fim de compor o chamado Estatuto da Malandragem ; tudo isso com o objetivo final de descobrir as bases formadoras da Autoridade Malandra e como ela é capaz de fundamentar um modelo de Ordem Social paralelo à Oficialidade, mantido nas comunidades pobres urbanas do Rio de Janeiro e considerado legítimo, apesar de sua condição assumidamente marginal. Do manuseio dessas bases empíricas, teóricas e metodológicas, foi possível constatar, primeiro, que a ordem malandra nada mais é senão um efeito da inserção gradual da malandragem carioca no mercado capitalista, inicialmente através do contrabando e, posteriormente, do tráfico de drogas. Depois, numa segunda homologia, chegou-se à discussão acerca de como a legitimidade da Autoridade Malandra pode ser edificada no meio comunitário e o quanto é equiparável (em termos de estabilidade e do uso previsto da violência para manutenção da ordem) à do Estado oficial, que, assim, pareceria um organismo completamente abalado e, conseqüentemente, substituível. Por fim, através da terceira e última homologia estrutural, tratou-se das coincidências entre a visão de mundo do malandro (ou ideologia , no sentido aqui aplicado) e a das classes dominantes, ou da tentativa de reprodução de um tipo discurso, comportamento e imagem senhorial-burguesa, que, em seu bojo, já traria os elementos indispensáveis ao exercício do poder, ainda que este fosse filiado à desordem

Submitted by Ana Damasceno (ana.damasceno@unipampa.edu.br) on 2017-06-01T20:37:06Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Estudo de elementos Galluhop e Cr1-like nos genomas de aves.pdf: 2302319 bytes, checksum: fa0edcdeb7492075c39bf4c060375643 (MD5) / Made available in DSpace on 2017-06-01T20:37:06Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Estudo de elementos Galluhop e Cr1-like nos genomas de aves.pdf: 2302319 bytes, checksum: fa0edcdeb7492075c39bf4c060375643 (MD5) Previous issue date: 2017-04-04 / Elementos transponíveis (TEs, do inglês Transposable Elements) são sequências que possuem a particularidade de se mobilizar dentro e entre genomas, estando presentes ubiquamente nos organismos e distribuídos por todos os ramos da árvore da vida. Os TEs influenciam os genomas hospedeiros de diferentes maneiras tendo um papel fundamental na evolução dos mesmos. São classificados em duas grandes classes, com base no seu intermediário de transposição: Classe I (retrotransposons) se transpõe via RNA, Classe II (transposons) se movem via DNA. Em aves, o conhecimento sobre elementos transponíveis ainda é muito insipiente, restringindo-se a poucos genomas sequenciados, principalmente o de Gallus gallus. Neste trabalho foram estudados dois tipos distintos de TEs: galluhop - elemento de Classe II, pertencente à superfamília mariner/Tc1, e CR1 - elemento de Classe I, ordem conhecida como LINE (do inglês Long Interspersed Nuclear Element), pertencente à superfamília CR1. Os objetivos desse trabalho foram caracterizar a história evolutiva das seqüências de homólogas de galluhop encontradas em genomas disponíveis de aves e, também, caracterizar a distribuição cromossômica de CR1-like em genomas de aves Piciformes (pica-paus). No primeiro capítulo, através de análises in silico, foi possível estimar a diversidade de cópias, as características estruturais e funcionais, a distribuição descontinua na linhagem aviária, a descrição de uma nova subfamília para família mariner e sugerir um evento de transferência horizontal do elemento galluhop. Destacamos nesta abordagem o primeiro registro de uma possível transferência horizontal de elemento transponível entre aves, e a nova subfamília Gallus restrita, até o momento, a elementos galluhop encontrados em aves. No segundo capítulo, mostramos por meio da técnica de FISH, a distribuição cromossômica de um mesmo elemento transponível, CR1-E-like, em diferentes genomas de aves, evidenciando padrão de distribuição muito diferente em cada genoma, mesmo entre espécies do mesmo gênero. / Transposable Elements (TEs) are sequences that have the particularity of mobilizing within and between genomes, being ubiquitously present in organisms and distributed throughout the branches of the tree of life. TEs influence host genomes in different ways and play a key role in their evolution. They are classified into two major classes, based on their transposition intermediary: Class I (retrotransposons) transposes via RNA, Class II (transposons) move through DNA. In birds, the knowledge about transposable elements is still very insipient, being restricted to a few genomes sequenced, mainly the one of Gallus gallus. In this work two distinct types of TEs were studied: galluhop - element of Class II, belonging to the superfamily mariner / Tc1, and CR1 - element of Class I, order known as LINE (of the English Long Interspersed Nuclear Element), belonging to the superfamily CR1. The objectives of this work were to characterize the evolutionary history of galluhop homolog sequences found in avian available genomes and also to characterize the chromosomal distribution of CR1-like in genomes of woodpeckers. In the first chapter, through in silico analysis, it was possible to estimate the diversity of copies, the structural and functional characteristics, the discontinuous distribution in the avian line, the description of a new subfamily for the mariner family and to suggest a horizontal transfer event of the galluhop element . We highlight in this approach the first record of a possible horizontal transfer of transposable element between birds, and the new Gallus subfamily restricted, until now, to galluhop elements found in birds. In the second chapter, we show through the FISH technique the chromosomal distribution of the same transposable element, CR1-E-like, in different bird genomes, showing a very different distribution pattern in each genome, even among species of the same genus.

Submitted by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-09-04T17:21:37Z No. of bitstreams: 1 LeilianeRodriguesCorreaSilvaParcialDissertacao2015.pdf: 1992129 bytes, checksum: 83e8c49727570242937f521aa1ad6017 (MD5) / Approved for entry into archive by Sara Ribeiro (sara.ribeiro@ucb.br) on 2017-09-04T17:21:44Z (GMT) No. of bitstreams: 1 LeilianeRodriguesCorreaSilvaParcialDissertacao2015.pdf: 1992129 bytes, checksum: 83e8c49727570242937f521aa1ad6017 (MD5) / Made available in DSpace on 2017-09-04T17:21:44Z (GMT). No. of bitstreams: 1 LeilianeRodriguesCorreaSilvaParcialDissertacao2015.pdf: 1992129 bytes, checksum: 83e8c49727570242937f521aa1ad6017 (MD5) Previous issue date: 2015-12-18 / This work aims to analyze the existence of legal and economic world orders, through the historical perspective of the development of international law, based on the so-called Westphalian order for examining the Bretton Woods system. Furthermore aims to verify a possible transformation in these coordination systems coming from its incompleteness, especially with regard to the economic treatment and representation of developing countries, especially emerging denominated. Here represented by BRICS, which, given the scenario exposed by the twenty-first century global involvement of states, integration and interdependence in international relations, represent a new way of interaction between the emerging countries and promoting inter-regional multilateralism. Establishment of breaking paradigms and creation of international organizations through effective implementation of practice of a so-called "right of the domes." The research seeks to demonstrate the transformation of the international legal system in their practices, especially the customary review of the creation of an international paradigm in Post Modern right by the right of the domes. / A presente obra tem por finalidade analisar a exist??ncia de ordens mundiais jur??dica e econ??mica, por interm??dio da perspectiva hist??rica do desenvolvimento do direito internacional, fundamentado na chamada ordem de Vestf??lia pela an??lise do sistema de Bretton Woods. Ademais busca verificar uma poss??vel transforma????o nestes sistemas de coordena????o oriunda de sua incompletude, especialmente no tocante ao tratamento econ??mico e na representatividade dos pa??ses em desenvolvimento, especialmente os denominados emergentes. Aqui representados pelo BRICS, os quais, diante do cen??rio exposto pelo s??culo XXI de envolvimento global dos estados, integra????o e interdepend??ncia nas rela????es internacionais, representam uma nova forma de intera????o entre os pa??ses emergentes e de fomento ao multilateralismo inter-regional. Rompendo paradigmas de estabelecimento e cria????o de organiza????es internacionais mediante a efetiva????o de pr??tica de um denominado "direito das c??pulas". A pesquisa busca demonstrar a transforma????o do sistema jur??dico internacional em suas pr??ticas, especialmente a revis??o consuetudin??ria do paradigma de cria????o de uma organiza????o internacional no direito P??s Moderno por meio do direito das c??pulas.

Neste trabalho investigamos alguns aspectos da Lógica de Segunda Ordem, dividindo o tema em três capítulos. No primeiro capítulo discorremos sobre os conceitos básicos desta Lógica, tais como conjunto de fórmulas, sistemas dedutivos e semânticas. Fazemos também um contraste com a Lógica de Primeira Ordem, que é mais conhecida, para se ter uma espécie de modelo do qual estamos nos diferenciando. Provamos o teorema da completude para a Lógica de Segunda Ordem, devido a L. Henkin em Henkin (1950). No segundo capítulo nós procuramos entender o que acontece com a semântica da teoria de conjuntos ZF C (que é de primeira ordem) se adicionarmos alguns axiomas de segunda ordem, criando uma teoria que chamamos de ZF 2 . Mostramos um teorema devido a Zermelo (Zermelo (1930)) que diz que os modelos desta teoria são essencialmente os mesmos. Tam- bém procuramos investigar a questão da Hipótese do Contínuo com relação à de um metódo de forcing para esta teoria, mostramos que a HC ZF 2 e, através continua sem resposta. No terceiro capítulo, escrevemos sobre três temas diferentes: o primeiro é sobre a relação que existe entre a propriedade da completude, da compacidade e a semântica de Henkin. O teorema de Lindström, que provamos nesta seção, diz essencialmente que não podemos ter completude e compacidade para a Lógica de Segunda Ordem ao menos que usemos esta semântica. Na segunda seção, investigamos o número de Hanf da Lógica de Segunda Ordem com a semântica Padrão e, na terceira seção, mostramos que é possível fazer uma redução das Lógicas de ordem superior à segunda e que o conjunto das fórmulas válidas da Lógica de Segunda Ordem não é denível na estrutura dos números naturais. / In this work we investigate some aspects of Second-Order Logic, splitting the theme in three chapters. In the rst one, we discuss the basic concepts of that Logic, such as set of formulas, deductive systems and semantics. We also make a contrast with First-Order Logic, which is better know, in order to have some kind of model from wich we are dierentiating. We prove the theorem of the completeness for the Second-Order Logic, due to L. Henkin in Henkin (1950). In the second chapter we try to understand what happens with the semantics of the ZF C set theory (which is a First-Order theory) if we add some Second-Order axioms, creating a theory that we call ZF 2 . We prove a theorem due to Zermelo (Zermelo (1930)) which says that the models of this theory are essentially the same. We also investigate the question of the Continuum Hypothesis in relation to theory, we show that the HC ZF 2 and, through a method of forcing for that still has no answer. In the third chapter, we write about three dierent themes: the rst is about the relation that exists between the property of completeness, of compactness and the Henkin semantics. The Lindström\'s theorem, which we prove in this section, says essentially that we can\'t have the completeness and the compactness for the Secon-Order Logic without Henkin semantics. In the second section, we investigate the Hanf Number of Second-Order Logic and, in the third section, we show that it is possible to make a reduction of Logics of order higher than the second to the second and that the set of the Second-Order valid formulas is not denable in the structure of the natural numbers.