Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2006 / Inclui bibliografia / O Desenho Geométrico tem relação com conteúdos de matemática, principalmente das geometrias, do ensino fundamental. Com a Geometria Descritiva forma um conjunto que se relaciona com a Geometria Espacial, no ensino médio, e com diversas disciplinas dos núc

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2017-07-21T16:14:18Z No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) / Made available in DSpace on 2017-07-21T16:14:18Z (GMT). No. of bitstreams: 1 texto completo.pdf: 815357 bytes, checksum: 2a68f912958bd6f8757752e5431c5454 (MD5) Previous issue date: 2017-02-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta dissertação estudamos principalmente a correspondência entre categoria modelo e pares de cotorsão em categorias abeliana e exata. A correspondência de Hovey para categoria abeliana é adaptada para categoria exata. E isto é possível quando a categoria exata é fracamente idempotente completa. Esta correspondência nos permite encontrar estruturas modelos através de pares de cotorsão. Também estudamos as categorias Grothendieck e exata do tipo Grothendieck que são categorias abeliana e exata, respectivamente, que nos fornecem alguns exemplos de pares de cotorção. / Correspondece between Model Categories and Cotorsion Pairs of Abelian and Exact Category. Adiviser: Sônia Maria Fernandes.. In this dissertation we studied mainly the correspondence between model category and cotorsion pairs in abelian and exact categories. Hovey’s correspondence to abelian category is adapted to exact category. And it is possible when an exact category is weakly idempotent complete. This correspondence allows us to find model structures through cotorsion pairs. Also we study like Grothendieck categories and exact categories of Grothendieck type, which are abelian and exact categories, respectively, which provide us with some examples of cotorsion pairs.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2013-06-25T22:50:29Z (GMT). No. of bitstreams: 1 309674.pdf: 1806560 bytes, checksum: 7cc8bf337e22414d7a92c932dea66e05 (MD5) / Este trabalho apresenta o aprimoramento da ferramenta Shell Intellec System, para a criação automática de Sistemas Especialistas, com a utilização de fatores de certeza para tratamento da incerteza. A máquina de inferência foi desenvolvida em Prolog por se tratar de uma linguagem de programação lógica, utilizando a ferramenta Visual Prolog. A incerteza sobre o conhecimento do domínio é representada por fatores de certeza. Na shell as variáveis podem ser linguísticas, numérica e multimídia, como imagens e vídeos. A interface gráfica com o usuário foi remodelada e transcrita utilizando a ferramenta Borland C++ Builder para melhor integração com o usuário e a máquina de inferência PROLOG. Testes foram realizados para assegurar que os resultados apresentados pela Shell são compatíveis com aqueles da versão anterior. Foi realizada, também, uma avaliação sobre usabilidade da Shell por meio de um questionário chamado QUISS, baseado na norma ISO/IEC 9126, através de aplicação a um grupo de alunos, obtendo-se resultados promissores para interface desenvolvida. / This work presents the improvement of shell program Intellec System for the automatic creation of expert systems with the use of certainty factors for the treatment of uncertainty. The inference engine was developed in Prolog because it is a logic programming language, Visual Prolog using the program. Uncertainty about the domain knowledge is represented by certainty factors. In the shell variables can be linguistic, numerical and multimedia such as images and videos. The graphical user interface has been redesigned and transcribed using the tool Borland C++ Builder for better integration with the user and the PROLOG inference engine. Tests were performed to ensure that the results presented by this shell are compatible with those of the previous version. It was also performed an evaluation of usability of the shell through a questionnaire called QUISS, based on the ISO / IEC 9126, by application to a group of students, yielding good results for interfacing developed for this shell.

Orientador: Walter Alexandre Carnielli / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-17T17:02:46Z (GMT). No. of bitstreams: 1 Araujo_Anderson_D.pdf: 1286485 bytes, checksum: 1e51db7a5721f4affeaf8f512d23269e (MD5) Previous issue date: 2011 / Resumo: Esta tese propõe uma nova abordagem da computabilidade de Turing clássica, denominada abordagem modelo-teórica. De acordo com essa abordagem, estruturas e teorias são associadas às máquinas de Turing a fim de investigar as características de suas computações. Uma abordagem modelo-teórica da computabilidade de Turing através da lógica de primeira ordem é desenvolvida, e resultados de correspondência, correção, representação e completude entre máquinas, estruturas e teorias de Turing são demonstrados. Nessa direção, os resultados obtidos a respeito de propriedades tais como estabilidade, absoluticidade, universalidade e logicidade enfatizam as potencialidades da computabilidade modelo-teórica de primeira ordem. Demonstra-se que a lógica subjacente às teorias de Turing é uma lógica minimal intuicio-nista, sendo capaz, inclusive, de internalizar um operador de negação clássico. As técnicas formuladas nesta tese permitem, sobretudo, investigar a computabilidade de Turing em modelos não-padrão da aritmética. Nesse contexto, uma nova perspectiva acerca do fenômeno de Tennenbaum e uma avaliação crítica da abordagem de Dershowitz e Gurevich da tese de Church-Turing sào apresentadas. Como conseqüência, postula-se um princípio de interna-lidade aritmética na computabilidade, segundo o qual o próprio conceito de computação é relativo ao modelo aritmético em que as máquinas de Turing operam. Assim, a tese unifica as caracterizações modelo-aritméticas do problema P versus NP existentes na literatura, revelando, por fim, uma barreira modelo-aritmética para a possibilidade de solução desse problema central em complexidade computacional no que diz respeito a certos métodos. Em sua totalidade, a tese sustenta que características cruciais do conceito de computação podem ser vislumbradas a partir da dualidade entre finitude e infinitude presente na distinção entre números naturais padrão e não-padrão / Abstract: This PhD thesis proposes a new approach to classical Turing computability, called a model-theoretic approach. In that approach, structures and theories are associated to Turing machines in order to study the characteristics of their computations. A model-theoretic approach to Turing computability through first-order logic is developed, and first results about correspondence, soundness, representation and completeness among Turing machines, structures and theories are proved. In this line, the results about properties as stability, absoluteness, universality and logicality emphasize the importance of the model-theoretic standpoint. It is shown that the underlying logic of Turing theories is a minimal intuicionistic logic, being able to internalize a classical negation operator. The techniques obtained in the present dissertation permit us to examine the Turing computability over nonstandard models of arithmetic as well. In this context, a new perspective about Tennenbaum's phenomenon and a critical evaluation of Dershowitz and Gurevich's account on Church-Turing's thesis are given. As a consequence, an arithmetic internality principle is postulated, according to which the concept of computation itself is relative to the arithmetic model that Turing machines operate. In this way, the dissertation unifies the existing model-arithmetic characterizations of the P versus NP problem, leading, as a by-product, to a model-arithmetic barrier to the solvability of that central problem in computational complexity with respect to certain techniques. As a whole, the dissertation sustains that crucial characteristics of the concept of computation may be understood from the duality between finiteness and infiniteness inherent within the distinction between standard and nonstandard natural numbers / Doutorado / Filosofia / Doutor em Filosofia

Em nossa vida cotidiana há duas condições frequentes: 1) há situações nas quais não existem instruções explícitas, mas apenas contingências aos comportamentos e 2) comportamentos que aparentam ser iguais a um observador externo, podem ser originados por raciocínios diversos. Partindo destas premissas, procurou-se neste experimento, desenvolver procedimentos experimentais que levam a determinado comportamento (respostas que refletem transitividade lógica) sem instruções explícitas, averiguando a seguir, quais os raciocínios que realmente estavam atrás das respostas (transitivas ou não) dadas pelos sujeitos. O experimento de Siemann & Delius (1993) utilizado para o estudo da inferência transitiva e que foi replicada por Cruz (20003) em sua dissertação de mestrado, suscitou uma série de temas metodológicos e conceituais abordados para viabilizar a pesquisa do raciocínio transitivo: o conceito de consciência e sua relação com o raciocínio; caracterização do raciocínio por sua explicação; utilização dos conceitos de introspecção, tomada de consciência, metacognição, empatia e teoria da mente para a interpretação de entrevistas. A essência deste experimento é seu método experimental que foi composto de duas fases, validação e comprovação. Na fase de validação, 106 sujeitos humanos adultos participaram como voluntários, e foram utilizados para testar catorze diferentes versões da situação experimental, até se obter duas versões validadas: uma versão capaz de ensinar premissas e a outra capaz de algo mais: ativar o raciocínio transitivo. Cada versão consistia em uma situação de condicionamento que não previa comunicação verbal ou contatos interpessoais, uma vez que foram utilizados programas de computador para produzir estímulos, gerenciar a exibição de estímulos, registrar as respostas e os tempos de reação, além de prover contingências. Após interação do sujeito com o programa, foram realizadas entrevistas em que o pesquisador verificou a eventual ativação do raciocínio transitivo. Na fase de comprovação, treze sujeitos humanos adultos foram submetidos a primeira (grupo de controle: seis sujeitos) e segunda (grupo experimental: sete sujeitos) versões validadas comparando-se seus resultados. Para o grupo experimental, os estímulos eram retângulos de seis cores diferentes, ordenados pelo tamanho e designados A, B, C, D, E e F. Os estímulos eram apresentados em pares e a escolha do menor estímulo em cada par era reforçada. Para o grupo de controle, os estímulos eram iguais aos do grupo experimental, mas os retângulos tinham todos o mesmo tamanho. Para os dois grupos, era aplicado esquema de reforço semelhante, que reforçava A no par AB, B em BC, C em CD, D em DE e E em EF, mas para o grupo experimental eram treinados também os pares de estímulos AC, AD, AF, CF e DF. Além disso, o grupo experimental passava por situações em que o encobrimento parcial dos estímulos permitia ora diferenciar-lhes somente pelas cores, ora por cores e tamanhos, e por situações em que a mudança do matiz das cores ora impedia, ora permitia, que os estímulos fossem identificados por suas cores. Estas diferenças entre os grupos experimental e de controle são críticas, pois os resultados obtidos com as entrevistas e com a coleta automatizada de dados foram analisados e demonstraram que o raciocínio transitivo foi ativado em todos os sete sujeitos do grupo experimental e apenas em um sujeito do grupo de controle. Comprovou-se, também, a diferença entre as duas versões validadas: uma versão aplicada aos sujeitos do grupo de controle conseguiu ensinar as premissas, necessárias à ativação do raciocínio transitivo, mas foi insuficiente para ativá-lo em todos os sujeitos desse grupo; e, outra versão que utilizou-se de elementos adicionais para ativar o raciocínio transitivo de todos os sujeitos do grupo experimental. Comprovou-se, ainda, que tanto o raciocínio transitivo quanto o domínio das premissas são necessários para a manifestação de um comportamento transitivo. Verificou-se, finalmente, a eficácia da validação no desenvolvimento do método experimental / In our everyday life there are two frequent conditions: (1) there are situations with no explicit instructions, but only consequences to our behavior and (2) behaviors that seem to be the same to external observers, in fact have been have been originated by different reasoning. Using these two facts as the starting point, this research tried to develop experimental proceedings that induce a certain behavior (behavioral responses that reflect transitive logic) without explicit instructions followed by the assessment of the real reasoning behind the given responses (transitive or not) by each subject. Siemann and Delius´ (1993) experiment about the transitive inference, replicated by Cruz (2003) for his master monograph, elicited many methodological questions and concepts that had to be considered to investigate transitive reasoning. For example, the concept of consciousness in its relation to reasoning, assessment of reasoning through explanation, the concept of introspection, becoming conscious, metacognition, empathy and theory of mind had to be considered to interpret the interviews with the subjects. The main point of this experiment is its method that was divided in two phases, validation and confirmation. In the validation phase, 106 voluntary adult human subjects tested 14 different versions of a computer program, to finally end up with two validated versions: one version capable to teach the premises and the other to also activate transitive reasoning. Each version consisted of a conditioning session with no verbal communication or personal contact, since a computer generated and managed the presentation of the stimuli, recorded the subjects´ responses and reaction times and also provided the contingencies to the responses. After the interaction of the subject with the computer program was finished, an interview with the subjects revealed an eventual activation of transitive reasoning. In the confirmation phase, 13 adult human subjects have been submitted to the validated computer program versions for comparison: six subjects of the control group to the first version and seven subjects of the experimental group to the second version. The stimuli for the experimental group were differently colored rectangles of different sizes, designated by A, B, C, D, E and F. For each pair of different stimuli presented, the subject was reinforced for choosing the smaller one. Stimuli for the control group were similar, but all rectangles had the same size. Reinforcement scheme was also the same for both groups, reinforcing stimulus A in the pair AB, B in pair BC, C in pair CD, D in pair DE and E in pair EF, but the experimental group was also trained for the pairs AC, AD, AF, CF and DF, never presented to the control group during training. Another difference between both groups was that the experimental group sometimes had the stimulus partially covered, so that stimulus differentiation could be done only by colors or by colors and sizes at the same time. Color saturation was also manipulated, so that during parts of the training it was not possible to distinguish the stimuli by colors. According to the results of these interviews and the computer records of the subjects´ responses, all seven subjects of the experimental group had transitive reasoning activated by the proceeding, against only one subject of the control group. It was clear that there was a significant difference between both validated versions of the computer program: the version submitted to the control group was capable to teach the premises to activate transitive reasoning, but was not sufficient to really activate it in all subjects. On the contrary, the other version included additional elements to activate transitive reasoning in all subjects of the experimental group. Both, transitive reasoning and the knowledge of the transitive premises are necessary to elicit transitive behavior. The validation method for the computer program versions revealed being efficient

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-24T01:21:05Z (GMT). No. of bitstreams: 1 Suguitani_LeandroOliva_D.pdf: 1496205 bytes, checksum: 6197787056972a0020750fa2c72c9cd6 (MD5) Previous issue date: 2013 / Resumo: O resumo poderá ser visualizado no texto completo da tese digital / Abstract: The complete abstract is available with the full electronic document. / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Ítala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-21T17:22:51Z (GMT). No. of bitstreams: 1 Alves_MarcosAntonio_D.pdf: 1540719 bytes, checksum: ef2df1bb686bd9200a4eb2597ab54495 (MD5) Previous issue date: 2012 / Resumo: Nosso objetivo nesta Tese é desenvolver uma definição da consequência lógica a partir de uma perspectiva quantitativa da informação. O trabalho pode ser dividido em duas partes. Na primeira, que consiste dos três capítulos iniciais, fazemos um estudo crítico de algumas das principais concepções usuais de consequência lógica. No primeiro capítulo expomos três das características centrais da consequência lógica, quais sejam, necessidade, formalidade e anterioridade. Apresentamos uma noção geral de consequência lógica, a partir da qual classificamos as diferentes noções de consequência lógica em clássicas e não-clássicas. Nos dois próximos capítulos tratamos da consequência lógica a partir das perspectivas sintática e semântica, analisando em que medida elas satisfazem as três características acima enunciadas. Na segunda parte, constituída dos três últimos capítulos, desenvolvemos a nossa proposta. No quarto capítulo expomos criticamente a concepção de informação a ser utilizada na Tese. No quinto capítulo construímos uma semântica probabilística para a lógica sentencial clássica, mostrando os seus principais resultados. A partir desta semântica, definimos, no sexto capítulo, a quantidade de informação em uma fórmula da lógica sentencial clássica e a consequência lógica probabilística. Feito isso, definimos a consequência lógica informacional, demonstrando os seus principais resultados / Abstract: Our goal in this work is to develop a definition of logical consequence from a quantitative perspective of information. The work can be divided into two parts. The first, consisting of three chapters, we make a critical study of some key concepts usual logical consequence. In the first chapter we expose three of the central features of logical consequence, namely, necessity, formality and apriority. We present a general notion of logical consequence, from which classify the different notions of logical consequence in classical and non-classical. In the next two chapters deal with the logical consequence from the syntactic and semantic perspectives, analyzing the extent to which they meet the three above features. In the second part, which consists of the last three chapters, we developed our proposal. In the fourth chapter critically expose the concept of information to be used in the thesis. In the fifth chapter we build a probabilistic semantics for classical sentential logic, showing its main results. From this semantics, we define, in the sixth chapter, the amount of information in a formula of classical sentence logic and probabilistic logical consequence. That done, we define the informational logical consequence, showing its main results / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Maria Angela de Almeida Meireles / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Alimentos / Made available in DSpace on 2018-08-01T08:31:41Z (GMT). No. of bitstreams: 1 Martinez_Julian_M.pdf: 24645837 bytes, checksum: d6debaae9f18138f643607735bee2550 (MD5) Previous issue date: 2002 / Resumo: A extração de óleos voláteis com fluido supercrítico é uma tecnologia emergente nas últimas décadas, como alternativa à extração com métodos convencionais, como a destilação por arraste a vapor e a extração com solventes orgânicos. Embora grande parte dos óleos seja obtida por arraste a vapor, este processo apresenta algumas desvantagens, tais como baixos rendimentos, possível degradação térmica do produto, e dificuldade em se obter óleos ricos em compostos menos voláteis. A extração com solvente orgânico, por sua vez, está sofrendo crescentes restrições devido a possíveis contaminações ambientais e à presença de uma fração residual de solvente no produto. A tecnologia supercrítica, utilizando CO2 como solvente, é reconhecida como limpa, e apresenta outras vantagens, tais como seletividade no processo de extração através da seleção da temperatura e pressão de operação, facilidade de separação do extrato do solvente, praticamente não deixando resíduos no produto. Apesar dessas vantagens, este processo apresenta um alto custo de investimento, o que restringe seu uso para produtos de altos valores agregados ou processos em alta escala. A ampliação do espectro de aplicação da extração supercritica está relacionada à otimização das condições operacionais, que devem resultar em uma minimização do custo do processo, e, conseqüentemente, viabilizar o mesmo economicamente. A utilização de modelos matemáticos que representem a curva de extração é um meio que permite estimar a influência de parâmetros de processo sobre a eficiência da extração. Existem diversos modelos disponíveis na literatura que são utilizados para ajustar as curvas de extração experimentais. ... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital. / Abstract: Extraction of volatile oils with supercritical fluids has been an emergent technology in the last decades, as an altemative to extraction using conventional methods, like steam distillation and extraction with organic solvents. Although several oils can be obtained by steam distillation, this process has some disadvantages, such as low yields, possible thermal degradation of products and difficulty to obtain less volatile compounds. Extraction with organic solvents has been suffering restrictions due to possible environmental contaminations and presence of a residual ffaction of the solvent in the product. Supercritical technology, using carbon dioxide as solvent, is recognized as a cIean technology, and has other advantages, such as selectivity in the extraction process through the choice of the operating temperature and pressure and facility of separation of the extract fiom the solvent, leaving almost no residues in the product. Besides these advantages, this process still has a high cost of investment, which restricts its use to products with a high aggregate value or processes in high scale. The enlargement of the spectra of application of supercritical extraction depends of the optimization of the operational conditions that should result in a minimization of the manufacturing costs, tuming it economically viable. The application of mathematical models to represent extraction curves is a mean that allows estimating the influence of process parameters on the efficiency of the extraction. There are many models in the literature that are used to adjust experimental extraction curves. Most of these models consider the volatile oil as a single pseudo-compound, independently of its chemical composition. In this work several models of the literature are studied, such as: an empirical model based on chemical reaction kinetics; the Tan and Liou desorption model the diffusional model of Crank; the Sovová model, that divides the process in mostly convective and diffusional periods; the Goto et aI. model, that considers the particles of the solid as being porous.... Note: The complete abstract is available with the full electronic digital thesis or dissertations. / Mestrado / Mestre em Engenharia de Alimentos

Orientador: Ayda Ignez Arruda / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T20:57:07Z (GMT). No. of bitstreams: 1 Fonte_ReginaA.Munhozda_M.pdf: 2322039 bytes, checksum: 402dee9941834de89623cc8ef1db4a4f (MD5) Previous issue date: 1983 / Resumo: N.A. Vasiliev é atualmente considerado o primeiro precursor moderno das idéias que, nos últimos 60 anos, possibilitaram a construção das chamadas lógicas não clássicas. Até bem pouco tempo, no entanto, seu trabalho permaneceu desconhecido, e a divulgação de suas idéias deve-se inicialmente a V.A. Smirnov, 1962, (vide [16]) e G. Kline, 1965, (vide [9]). Mas foi através do trabalho de A.I. Arruda (vide [1] , [2] e [3] ) que as idéias do filosofo russo foram devidamente interpretadas e formalizadas de modo a serem reconhecidas como precursoras das lógicas paraconsistentes é polivalentes. São conhecidos, da obra lógica de Vasiliev, três artigos, escritos no período de 1910-1912 (vide [17], [18] e [19] } e dois abstract ; um deles do mesmo período e o outro de 1925. (vide [20] e [21]) . Nesta dissertação abordaremos apenas os três artigos citados, em sua tradução para o português feita por Edmundo Braga. Este trabalho está dividido em três capítulos. No primeiro capitulo apresentamos um resumo crítico dos três artigos citados, abordando principalmente as idéias relevantes para o estudo que faremos no capitulo III. No segundo capítulo damos um tratamento formal à silogística contraditória apresentada em [18]. Iniciamos com um resumo critico da descrição dada por Vasiliev a esta silogística, e em seguida propomos uma axiomática para a mesma, nos moldes daquela proposta por Lukasiewicz em [11], para a silogística aristotélica. O terceiro capitulo está dividido em duas secções principais: Vasiliev como precursor da lógica paraconsistente, e Vasiliev como precursor da lógica polivalente. Esse capítulo se baseia essencialmente nos artigos [4] e [5] de A.I. Arruda. Existem ainda alguns pontos interessantes nos artigos de Vasiliev que não foram abordados neste trabalho, como por exemplo: 1) Uma análise da lógica dos conceitos (apresentada em [17]), que a interprete como uma lógica modal com operadores de necessidade, impossibilidade e contingência. Para tanto, teria mos que construir inicialmente a silogística modal correspondente, cujos juízos seriam classificados, segundo a quantidade, apenas em universais, e segundo a qualidade em: "é necessário que S seja P" (juízo afirmativo), "é impossível que S seja P" (juízo negativo) e "é contingente que S seja P" (juízo acidental). Todavia os três juízos qualitativamente distintos teriam que ser independentes devido a lei de Quarto-Excluído (vide secção 1.1.3). 2) Um estudo das lógicas da similaridade e da diferença (apresentada em [18]). Estas lógicas são muito semelhantes às lógicas das negações relativas e absoluta (vide secção 3.1.4), podendo ser interpretadas como lógicas polivalentes onde se admite um valor de verdade "falso", um valor de verdade "absolutamente verdadeiro" e vários valores de verdade "relativamente verdadeiro" / Abstract: Not informed / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

Orientador: Itala M. Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T10:11:26Z (GMT). No. of bitstreams: 1 Monte_DanielLiberalino_M.pdf: 782756 bytes, checksum: ced0a8839833d10d1339f55cc58ca32f (MD5) Previous issue date: 2009 / Resumo: O presente trabalho tem por objetivo examinar, sob a perspectiva lógico- filosófica da paraconsistência e da modalidade, as relações entre os conceitos lógico-filosófico-formais de negação paraconsistente e o conceito de modalidade. Nosso objetivo central consiste no exame de um operador modal de negação paraconsistente. Examinamos conhecidos resultados envolvendo os operadores modais e paraconsistentes, como as lógicas modais normais K, T, S4, S5 e outras lógicas modais; algumas lógicas paraconsistentes, incluindo a lógica modal paraconsistente Z. Além disso, realizamos uma análise crítica concernente às relações entre o conhecido Quadrado de Oposições Aristotélico e a negação paraconsistente, contribuindo para o tema com alguns argumentos. Finalmente, investigamos a questão de como a generalização do Quadrado de Oposições Aristotélico, dita Teoria de n-Oposições, se relaciona com o tema da modalidade, da paraconsistência e da geometrização lógica, propondo idéias para este último. / Abstract: The present work aims to investigate, under the logical-philosophical perspective of paraconsistency and modality, relations between the logical-philosophical-formal concept of paraconsistent negation and the concept of modality. Our main task is the analysis of a modal operator of paraconsistent negation. We have examined some known results involving modal and paraconsistent operators, such as the modal normal logics K, T, S4, S5 and other modal logics; some paraconsistent logics, including modal paraconsistent logic Z. We also have proceeded a critical analysis concerning relations between the well known Aristotle's Square of Oppositions and paraconsistent negation, contributing to the theme with some arguments. Finally, we have investigated the question of how the generalization of the Square of Oppositions, through the n-Oppositions Theory, may be related to the themes of modality, paraconsistency and logic geometrization, proposing some ideas. / Mestrado / Mestre em Filosofia