Este texto estuda as narrativas breves El celoso extremeño e Las dos doncellas, integrantes do conjunto intitulado Novelas Ejemplares, publicadas por Miguel de Cervantes, em 1613. Tendo em vista que os textos nos permitem experimentar distintas dimensões de leitura, temos, no plano explícito, a expressão desse autor conformista e ortodoxo, nas palavras de Williamson (1990) e, no plano sugestivo, um olhar irônico e crítico, sobretudo da condição e do papel da mulher, nas relações de gênero e ainda na vida em sociedade. Em outras palavras, os dois níveis sobre os quais traçamos os nossos estudos podem ser vistos, simultaneamente, isto é, no discurso explícito, estão revelados fragmentos da realidade a partir de um discurso conservador das regras prescritas, mas, por outro lado, no plano implícito, está o caráter reflexivo, crítico, às vezes, até transgressor dos costumes predominantes. Nessas narrativas estudadas, se por um lado as mulheres atuam como perfectas corderas, cumprindo as regras para uma nobre donzela ou para uma mulher casada, por outro lado, essas mesmas mulheres vencem as suas fragilidades e inseguranças no ato de tomar decisões, demonstrando certa autoridade ou deixando ver poderes ocultos femininos. Em vista do comportamento masculino, nos deparamos com homens que, por trás de toda a superioridade e privilégio ditado pela cultura vigente, revelam-se sujeitos aos desejos e domínios femininos, o que nos faz entender todo aquele controle outrora evidenciado como uma forma simbólica de poder. Tendo em conta a sutileza com que o autor trabalha artisticamente a questão, essas dimensões de leitura só são perceptíveis pela interpretação do leitor cuidadoso, tomando de empréstimo o termo cervantino, em que é capaz de identificar a dupla face de um escritor escurridizo e irónico ao invés de solemne y ejemplar. Enfim, essas controvérsias de leitura nos fazem concluir que o autor exibe, pelas páginas da ficção, uma representação da dinâmica da vida em sociedade, na qual a formação de novas personagens demonstra que a força e a vontade do ser humano predominam sobre as regras e as convenções sociais. Sendo assim, a proposta é analisar como, ao deixar entrevisto um discurso crítico e irônico, novas representações de personagens masculinas e femininas flexibilizam os mecanismos culturais que sustentam a suposta hierarquia entre os gêneros. Nessa perspectiva, entendemos que essa leitura pode revelar alguns dos mistérios escondidos como as rupturas, subversões e transgressões às convenções revelando uma sociedade secreta em que as mulheres exibem alguma autoridade num contexto de ordem, ainda, predominantemente, masculino. / This paper studies the brief narratives El celoso extremeño and Las dos doncellas, part of the collection called Novelas Ejemplares, published by Miguel de Cervantes in 1613. Considering that the texts allow us to experience different aspects of reading, we have in the explicit plan the expression of this conformist and orthodox author in the words of Williamson (1990) and in the suggestive plan we have an ironic and critical look, particularly on the womens condition and position in the gender roles and also in society life. In other words, these two levels studied can be viewed simultaneously, that is, on the explicit discourse, \'fragments of reality\' are disclosed from a conservative discourse of the prescribed rules, but on the other hand, in the implicit plan there is the reflexive, critical character which sometimes can even transgress the prevalent customs. In these studied narratives, on the one hand, women act as \'perfectas corderas\', fulfilling the rules for a noble maiden or a married woman. On the other hand, these women overcome their weaknesses and insecurities in the act of making decisions, showing certain authority or revealing female \'occult powers\'. In view of male behavior, we find men who behind the superiority and privilege dictated by the prevailing culture, reveal themselves subject to female wishes and domains making us understand all that formerly evidenced control as a \'symbolic \'form of power. Given the subtlety the author works the question with art, these reading dimensions are only perceived by the interpretation of the \'careful\' reader, borrowing the term Cervantine which is able to identify the two faces of a \'escurridizo and ironic writer instead of\' solemne y ejemplar. Anyway, these reading controversies make us conclude that the author displays a representation of the social life dynamics through the fiction pages in which the formation of new characters demonstrates that the strength and will of the human being predominate over the rules and social conventions. Therefore, the proposal is to analyze through a critical and ironic discourse how new representations of male and female characters make flexible cultural mechanisms that underpin the supposed hierarchy between genders. In this perspective, we understand that this reading can reveal some of the \'hidden mysteries\' such as disruptions, subversions and transgressions to conventions revealing a \'secret\' society in which women exhibit some authority in the context of order still predominantly male.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-08-23T19:21:12Z No. of bitstreams: 1 cinthialopesdeoliveira.pdf: 4439401 bytes, checksum: 049a4099c9658cf167c16933e8ee01aa (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-09-03T15:58:36Z (GMT) No. of bitstreams: 1 cinthialopesdeoliveira.pdf: 4439401 bytes, checksum: 049a4099c9658cf167c16933e8ee01aa (MD5) / Made available in DSpace on 2018-09-03T15:58:36Z (GMT). No. of bitstreams: 1 cinthialopesdeoliveira.pdf: 4439401 bytes, checksum: 049a4099c9658cf167c16933e8ee01aa (MD5) Previous issue date: 2018-08-09 / Este trabalho tem o objetivo de pesquisar os modos de produção dos romances, em especial Crônica da casa assassinada (1959) à luz dos manuscritos e da escrita confessional do escritor Lúcio Cardoso (19121968) desenvolvendo a hipótese dos diários como uma proposta de laboratório de escrita. Pretende, ainda, observar os desdobramentos das temáticas como morte, loucura, solidão, violência, religiosidade e a paixão sem medidas, responsáveis pela entrega das personagens cardosianas à situações-limite, reflexo do desmascaramento da hipocrisia e das convenções sociais da época, por meio de uma linguagem rica em símbolos e imagens. Conclui-se que a paisagem como uma representação das sensações e impressões das personagens, bem como, a simbologia das cores, podem revelar uma extensão do drama existencial das personagens Através do estudo das convergências entre a plasticidade da linguagem dos romances e a representação das pinturas pretende-se estabelecer o elo entre a tessitura e a textura dos textos, caracterizando a fragmentação e a variabilidade multifacetária das obras cardosianas. / This work aims to find all modes of production of novels, in particular Crônica da casa assassinada (1959), under the light of the manuscripts and writing confessional of the writer Lúcio Cardoso (1912-1968) and to develop the hypothesis of the diaries are as writing lab. It also intends to observe the unfolding of themes as death, madness, loneliness, violence, religion and passion without measures, because these themes are responsible for the surrender of cardosianas characters to limit-situations, it reflects the unmasking of hypocrisy and social conventions, by means of a language rich in symbols and images. It concludes to be the landscape as representation of the feelings and impressions of the characters, as well as the symbolism of colors, can be an extension of the existential drama of the characters. Through the study of the convergence between the plasticity of the novels language and the representation of paintings, it aims to establish the link between the tessitura and the texture of the texts, featuring the fragmentation and the multifaceted variability Cardoso’s works.

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T21:09:00Z (GMT). No. of bitstreams: 1 Almeida_HenriqueAntunes_M.pdf: 1516387 bytes, checksum: 2608439ba585a23431d2aa295b1b8876 (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem / Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-22T15:04:13Z (GMT). No. of bitstreams: 1 Almeida_EdgarLuisBezerrade_M.pdf: 946200 bytes, checksum: e8e316a3ee7420c8d7f45a751651a436 (MD5) Previous issue date: 2013 / Resumo: Esta Dissertação apresenta uma definição de lógica abstrata e caracteriza alguns sistemas lógicos bastante conhecidos na literatura como casos particulares desta. Em especial, mostramos que a lógica de primeira ordem, lógica de segunda ordem, lógica com o operador Q1 de Mostowski e a lógica infinitária L!1! são casos particulares de lógicas abstratas. Mais que isso, mostramos que tais lógicas são regulares. Na análise de cada uma das lógicas acima citadas, mostramos o comportamento das mesmas com relação às propriedades de Löwenheim-Skolem e compacidade enumerável, resultados estes centrais à teoria de modelos. Nossa análise permite-nos constatar que, dentre os quatro casos apresentados, o único que goza de ambas as propriedades é a lógica de primeira ordem; as demais falham em uma, na outra ou em ambas as propriedades. Mostramos que isso não é mera coincidência, mas sim um resultado profundo, que estabelece fronteiras bem delimitadas à lógica de primeira ordem, conhecido como primeiro teorema de Lindström: se uma lógica é regular, ao menos tão expressiva quanto à lógica de primeira ordem e satisfaz ambas as propriedades citadas, então esta é equivalente a lógica de primeira ordem. Realizamos uma prova cuidadosa do teorema, em que cada ideia e cada estratégia de prova é estabelecida criteriosamente. Com seu trabalho, Lindström inaugurou um novo e profícuo campo de estudo, a teoria abstrata de modelos que estabelece, com relação a diversas combinações de propriedades de sistemas lógicos, uma estratificação entre lógicas. Apresentamos um outro exemplo de tal estratificação através de uma versão modal do teorema de Lindström, versão esta que caracteriza a lógica modal básica como maximal quanto a bissimilaridade e compacidade. Encerramos esta Dissertação com algumas considerações acerca da influência do primeiro teorema de Lindström / Abstract: This thesis presents the definition of abstract logic and features some quite logical systems presented in the literature as particular cases of this. In particular, we show that first-order logic, second-order logic, the logic with Mostowski's operator Q1 and the infinitary logic L!1! are specific systems of abstract logic. Moreover, we show that such logics are regular. In the analysis of each above mentioned logical systems we analyses his performance with regard to the properties of compactness and Löwenheim-Skolem, results that have important role in model theory. Our analysis allows us to conclude that among the four cases, the only one who enjoys both properties is the first-order logic, and all others fail in one, other or both properties. We show that this is not mere coincidence, but rather a deep, well-defined boundaries establishing the first-order logic, known as first Lindström's theorem: a regular logic that is at least as expressive as first-order logic and satisfies both properties mentioned, then this is equivalent to first-order logic. We conducted a thorough proof of the theorem, in which each idea and each proof strategy is carefully established. With his work Lindström inaugurated a new and fruitful field of study, the abstract model theory, which establishes with respect to different combinations of properties of logical systems, stratification between logical. Here is another example of such stratification through one of the theorem of modal version Lindström, which characterizes this version of the logic basic modal such as maximal bissimimulation and compactness. We conclude the thesis with some considerations about the influence of the Lindström's theorem / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-23T18:22:31Z (GMT). No. of bitstreams: 1 Matulovic_Mariana_D.pdf: 1191409 bytes, checksum: 5228f60f9fdb9f3a9df31d448de09ca2 (MD5) Previous issue date: 2013 / Resumo: O presente trabalho tem por objetivo explorar, em diversas vertentes, o caráter universal de uma ferramenta poderosa de prova, apta a ser utilizada em lógicas clássicas e não clássicas, em particular em lógicas multivaloradas proposicionais (determinísticas e não-determinísticas), em lógicas paraconsistentes, em lógicas modais e na Lógica de Primeira Ordem. Trata-se do Método de Prova de Anéis de Polinômios, que também pode, em princípio, ser visto do ponto de vista da semântica algébrica, desenvolvido inicialmente em (Carnielli 2005b). O método traduz fórmulas de uma lógica específica em polinômios (em geral finitos, mas podendo ser infinitos) com coeficientes em corpos finitos, e transforma o problema de se encontrar demonstrações no correlato algébrico da busca de soluções de sistemas de equações polinomiais. Esta universalidade do método possibilita a abertura de diversas linhas de pesquisa, sendo a questão da verofuncionalidade e suas generalizações uma delas. Outras linhas de pesquisa são: possibilidades de se investigar enfoques alternativos da complexidade computacional, prova automática de teoremas, métodos heurísticos em lógica e correlações entre álgebra e lógica. Este trabalho analisa e compara sistemas de anéis de polinômios para sistemas com verofuncionalidade generalizada, como no caso das semânticas não-determinísticas, e ainda em sistemas onde a verofuncionalidade é perdida, tais como em sistemas multivalorados reduzidos a bivalorados através da conhecida redução de Suszko. O método de anéis de polinômios, além de poderoso e elegante em sua aparente simplicidade, constitui ainda um ótimo instrumento pedagógico. Em relação á lógica clássica, definimos um anel de polinômios para a Lógica de Primeira Ordem, fundamentado em um novo domínio que opera com somas e produtos infinitos, o qual se denomina domínio de séries generalizadas fechado por produtos. Finalmente, procuramos avaliar todas as potencialidades do método, principalmente no aspecto inerente á questão de se poder pensar em uma característica unificadora na medida que utiliza o mesmo viés matemático para traduzir diferentes sistemas lógicos em variedades algébricas similares. Além disso, analisamos as interrelações do método com respeito a lógica algébrica (ou álgebra da lógica), e avaliamos suas perspectivas / Abstract: This investigation aims to explore, in various aspects, the universal character of a powerful proof method, able to be used in classical and non-classical logics, in particular in propositional many-valued logics (deterministic and non- deterministic) in paraconsistent logics, in modal logics and in First Order Logic. This is the Method of Polynomial Rings, which can also be considered as an algebraic semantics, initially developed in (Carnielli 2005b). The method translates logical formulas into specific polynomials (usually finite, but sometimes infinite) with coefficients infinite fields, and transforms the problem of finding proofs in the search for solutions of systems of polynomial equations. This universality of the method enables the opening of several research lines, in particular the issue of truth-functionality and its generalizations. Other lines of research are: the possibilities of investigating alternative approaches of computational complexity, automatic theorem proving, heuristic methods in logic and correlations between algebra and logic. This study compares and analyzes the polynomial ring systems for systems with generalized truth-functionality, as in the case of non- deterministic semantic and even in systems where truth-functionality is lost, such as those many-valued systems reduced to bivalued by means of the so-called Suszko reduction. The method of polynomial rings, besides being a powerful and elegant apparatus in its apparent simplicity, is still a great teaching tool. Regarding classical logic, we define the polynomial ring for First Order Logic , based on a new domain that operates on sums and infinite products, called domain of generalized series closed under products. Finally, we evaluate the full potential of the method, especially in what concerns the question of obtaining a unifying feature that uses the same mathematical basis to translate different logical systems on similar algebraic varieties. Furthermore, we address the connections of the method with respect to algebraic logic (algebra of logic), and evaluate their perspectives / Doutorado / Filosofia / Doutora em Filosofia

Nas últimas décadas a Arqueologia Cognitiva vem lucrando com uma profícua interdisciplinaridade, unindo forças com as ciências do conhecimento, notadamente a Psicologia Evolutiva e as Neurociências, proporcionando ainda nesse debate o surgimento de linhas como a Neuroarqueologia. Em nossa tese propomos analisar os sítios rupestres de temática não-figurativa, ou os chamados sinais, ou ainda os geométricos, das regiões da Cidade de Pedra no município de Rondonópolis/MT e da região do município de Pão de Açúcar/AL a partir de duas abordagens: a análise das organizações dos dispositivos rupestres buscando identificar as associações existentes entre os registros como um todo e a organização simbólica produzida por essas construções. Discutiremos assim questões da cognição humana a partir da articulação das ciências do conhecimento, a Arqueologia Cognitiva e nosso objeto. Trabalharemos com questões das estruturas dos dispositivos rupestres e das estruturas da cognição humana, discutindo ainda as especificidades culturais e as manifestações universalistas. / In the last few decades Cognitive Archaeology has been gaining with a fruitful interdisciplinary approach, on joining efforts with Evolutionary Psychology and Neuroscience, delivering with this debate appearance of the so called Neuroarchaeology. In our thesis we propose to analyse some rock art sites from the regions of Cidade de Pedra, Rondonópolis / MT and Pão de Açúcar/ AL from two perspectives: the analysis of the panel organizations seeking to identify the relations that exists between the painted units and the symbolic organization produced by these constructs associations. Thus we discuss issues of human cognition xviii from the articulation of the sciences of knowledge, Cognitive Archaeology and our object. Therefore we will also work with issues concerning the structures of rock art panels and the structures of human cognition, discussing also the cultural specificities and the universals behaviours.

The general purpose of this qualitative study is to investigate how individuals today, in a societywhere people spend more and more time on social media, create and alter their identity throughimages. The study is focused on Instagram, the most widespread social media only focused onphotos. The study is based on a postmodern perspective and focuses on symbolic interactionism,identity capital and psychological self. The empirical data was collected through semi-structuredinterviews with fifteen Instagram users, most of who are from the Stockholm, Sweden region. Thestudy was influenced by the Grounded Theory method where emergent themes describing howindividuals alter and create their identity through images were deduced from the interviews. Thesethemes were: showing a nuanced image of themselves, images as a means of conveying identity forrecognition, imagification as personal branding tool and reflexive social interaction.The findings suggest that individuals show only a selected, a nuanced, part of their identity onInstagram and Instagram gives a greater freedom to express what people want to express as theiridentity and their self. By using photos in social media individuals are not as limited as they wouldotherwise be in the real world in terms of how they want to market their identity. But there is also afrustration among many users of Instagram and other social media as many feel that the nuancedand perfected image that many people convey is fake and annoying to see and this could thus havea negative impact on that person’s personal brand. Images were seen to be more efficient than textfor the purpose of personal branding and it also appeared that identity creation through imagescould create a more expressive society.

Depuis quelques années, les réseaux de communication déployés au sein d’aéronefs sont toujours plus vastes et plus complexes. Ces bus numériques multiplexent différents flux de données afin de limiter les câbles, mais cela induit des retards sur les transmissions. Les travaux présentés ici portent sur une approche statistique de l’évaluation des performances du pire temps de traversée d’un réseau embarqué de type AFDX. Il s’agit de définir une nouvelle approche visant à associer à un calcul pire cas, une distribution des temps de transmission des messages, en vue notamment de permettre d’apprécier le pessimisme du calcul pire cas. Les méthodes décrites sont applicables dans le cadre plus général d’un ensemble de tâches. Nous proposons trois contributions dans ces travaux. Tout d’abord, une méthode originaled’évaluation de la distribution de la durée de traversée d’un commutateur AFDX qui s’appuie sur une énumération symbolique des scénarios d’ordonnancement dans la file d’attente. Puis, un algorithme efficace de calcul des délais subis par des messages/tâches périodiques lorsque les déphasages initiaux sont connus. Les délais calculés sont exacts ainsi que la distribution de probabilité. Enfin, le calcul de la distribution des délais subis par des messages/tâches dans un cadregénéral, à l’aide d’une méthode statistique de type Monte Carlo. Des décalages initiaux sont tirés aléatoirement et permettent de nourrir l’algorithme précédent. / Since a few years, communication networks deployed in aircrafts are ever larger and ever more complex. These digital buses multiplex different data streams in order to save cabling, but this causes delays on transmissions.The work presented here is based on a statistical evaluation of the worst case transit time of an embedded network of the AFDX type. It consists in associating a worst case computation with a complete distribution of the transit times in order, among other things, to appreciatethe pessimism of worst case approaches. The methods are also applicable to a set of realtime tasks. This work contributes three major results. First, an original method to evaluate the distribution of the transit time through an AFDX switch, based on the symbolic enumeration of the scheduling scenarios in the waiting queues of the switch. Second, an effective algorithm to compute the delays encountered by periodic messages/ tasks when initial offsets are known. Delays thus computed are exact and so is the delays distribution. Third, the computation of the delays distribution encountered by messages/tasks in a general case using a Monte Carlo based statistical method. Initial offsets are randomised and feed the preceding algorithm.

En psychologie sociale de la santé, l’analyse des dimensions psychologiques et sociales en jeu dans la construction des risques sanitaires constitue un enjeu à la fois théorique et pragmatique. En articulant le cadre théorique des représentations sociales (Apostolidis, 2006) et celui de la Terror Management Theory (TMT, Solomon, Greenberg, & Pyszczynski, 1991), la recherche proposée vise à étudier les liens entre l’induction d’un état d’anxiété et la mobilisation de raisonnements symboliques face au risque du sida. Quatre expériences ont été réalisées (N = 520, 221 hommes et 299 femmes, mâge = 21,1). Elles consistaient à rendre saillante l'idée de mortalité (versus un thème neutre) chez les sujets, puis à leur faire lire un scénario de relation sexuelle socialement normé (avec ou sans délai), et enfin, à leur demander d'évaluer la valence sentimentale de la relation décrite et le risque du sida lui étant associé. Les résultats montrent que le risque perçu varie en fonction de la valence sentimentale attribuée, qui elle-même varie en fonction du facteur délai. Ce fonctionnement sociocognitif est par ailleurs modulé par le sexe des participants, et par l'induction expérimentale : d'une manière générale, le délai est davantage valorisé par les femmes et par les sujets de la condition « mortalité », sauf en cas de convictions religieuses ou spirituelles. Les principaux résultats corroborent ainsi ceux de la littérature consacrée à la TMT. Nous les discuterons dans la perspective théorique des représentations sociales et nous poserons leur implication par rapport à la prévention du risque du sida. / In social psychology of health, the analysis of psychological and social dimensions involved in health risks construction represents a major both theoretical and pragmatic issue. The current research proposes to articulate the social representations approach (Apostolidis, 2006) and the Terror Management Theory (Solomon, Greenberg, & Pyszczynski, 1991) in order to study the links between an induced state anxiety and the mobilization of symbolic reasoning concerning HIV risk perception. In our four experiments (N = 520, 221 men and 299 women, age mean = 21.1), after death thoughts (versus a neutral theme) were made salient, participants were asked to read a socially normed sexual relationship script (with or without “delay”), and then were asked to evaluate the sentimental valence of the relationship described and the HIV risks associated with it. Results showed that perceived risks depend on the sentimental valence attributed, which itself depends on the “delay” factor. This sociocognitive functioning is also modulated by gender, and by experimental inductions : in general, waiting before having sexual intercourse is more valued by women and by mortality salience condition participants, except when they have religious or spiritual beliefs. Our main results thus support those derived from TMT. These findings are discussed in a social representations perspective, and their practical implications are examined in relation to HIV risk preventive actions.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation s purpose is to characterize the musical notation as a representational system in which a certain kind of symbolic thought works. In this sense, the operations that are made in this notation are understood as signs handling without considering the meaning. Though this characterization confronts the question for the possibility of the symbolic thought, which question may be asked like this: how is it possible to warranty the results correction obtained by the sign s handling without taking care of the meanings? Aiming to offer a solid answer to this question, it was used a Leibniz s notion of blind or symbolic thought or knowledge, and certain associated functions. Based in an exam of three functions that are played by signs, as well as an analysis of traditional musical notation s basic elements this work tried to characterize the musical thought as a kind of formal operation. This can be seen in the western basic musical structure, in which scale and rhythm are comprehended as formal organization s ways in that are present a certain kind of calculus. So the signs in musical notation simply do not play the role of substitute the phonic component, but they make visible some structural aspects of these images. This exhibition is attributed in different senses to others representational systems, as diagrams, some artificial languages and even some alternative musical symbolism, some, called graphism , proposed by some 20th century composers. In this perspective the method used was the comparison among the different representation forms in order to identify the musical notation as an ecthetic representation. Concluding, the musical notation is characterized as a constitutive element of the music itself, and it is not a mere secondary code. / Esta dissertação visa caracterizar a notação musical enquanto sistema representacional em que opera um tipo de pensamento simbólico. Nesse sentido, as operações realizadas nessa notação são entendidas como pura manipulação de signos, sem a necessária consideração do designado. Entretanto, essa caracterização se defronta com a pergunta pela possibilidade do pensamento simbólico. Tal questão pode ser formulada à seguinte maneira: como é possível garantir a correção dos resultados obtidos pela manipulação simbólica, enquanto pura manipulação de signos sem atenção aos significados? Com vistas a oferecer uma resposta consistente a essa pergunta, recorre-se à noção leibniziana de pensamento (ou conhecimento) cego ou simbólico, e a certas funções a ela associadas. A partir de um exame de três funções exercidas pelos signos a saber, função de sub-rogação, função de cálculo e função ectética bem como de uma análise dos elementos básicos da notação musical tradicional, busca-se caracterizar o pensamento musical como um tipo de operação puramente formal. Isso pode ser observado pela atenção ao caráter estrutural da própria música ocidental, em que noções como a de Escala e a de ritmo são entendidas como modos de organização formal nas quais opera um certo tipo de cálculo. Assim, os signos da notação musical não executam simplesmente a função de substituir imagens acústicas, mas exibem ou tornam visíveis certos aspectos estruturais dessas imagens. Ora, essa exibição é atribuída também, em diferentes sentidos, a outros sistemas representacionais, como os diagramas, algumas linguagens artificiais e até mesmo algumas formas alternativas de simbolismo musical, como os chamados grafismos, propostos por compositores do século XX. Nessa perspectiva, a estratégia aqui empregada passa pela comparação entre a notação musical tradicional e diferentes formas de representação, buscando identificar essa notação como um tipo de representação ectética. Como conclusão, caracteriza-se a notação musical como elemento constitutivo da própria música, e não simplesmente como um código secundário.