The underlying idea of the Semantic Web is that web content should be expressed not only in natural language but also in a language that can be unambiguously understood, interpreted and used by software agents, thus permitting them to find, share and integrate information more easily. The central notion of the Semantic Web's syntax are ontologies, shared vocabularies providing taxonomies of concepts, objects and relationships between them, which describe particular domains of knowledge. A vocabulary stores words, synonyms, word sense definitions (i.e. glosses), relations between word senses and concepts; such a vocabulary is generally referred to as the Controlled Vocabulary (CV) if choice or selection of terms are done by domain specialists. A facet is a distinct and dimensional feature of a concept or a term that allows a taxonomy, ontology or CV to be viewed or ordered in multiple ways, rather than in a single way. The facet is clearly defined, mutually exclusive, and composed of collectively exhaustive properties or characteristics of a domain. For example, a collection of rice might be represented using a name facet, place facet etc. This thesis presents a methodology for producing mappings between Controlled Vocabularies, based on a technique called \Hidden Semantic Matching". The \Hidden" word stands for it not relying on any sort of externally provided background knowledge. The sole exploited knowledge comes from the \semantic context" of the same CVs which are being matched. We build a facet for each concept of these CVs, considering more general concepts (broader terms), less general concepts (narrow terms) or related concepts (related terms).Together these form a concept facet (CF) which is then used to boost the matching process.

[pt] A dissertação consiste em uma reflexão sobre a noção de existência. É feita, de início, uma breve exposição a respeito do argumento ontológico de Santo Anselmo e o tipo de concepção de existência que ele demanda. A seguir, é empreendida uma breve investigação a respeito da visão de três pilares de nossa tradição filosófica a respeito da noção de existência: Hume, Kant e Frege. Suas concepções são estudadas, até certo ponto, em separado, a fim de que possam ser trazidos à luz seus principais aspectos e os contornos peculiares que conferem à noção de que pretendem dar conta. Posteriormente, são postas lado a lado em um cotejo de algumas de suas mais relevantes semelhanças e discrepâncias. A esse estudo, segue-se uma investigação crítica. Em primeiro lugar, é exposta a parte negativa desta: algumas observações a respeito de problemas envolvidos em cada um dos tipos de concepção da existência exemplificados nas partes precedentes, mescladas a reflexões a respeito da relação da existência com noções como quantificação e indivíduo, às quais dão ensejo. Em segundo lugar, sua parte positiva: com base nas observações já feitas, algumas sugestões de como dar conta de certos aspectos relevantes da noção de existência. A dissertação inclui ainda um apêndice em que se leva a cabo uma breve incursão no pensamento aristotélico. Mais precisamente, será investigada a relação entre a existência e a quantificação no contexto da teoria do quadrado das oposições, tal como formulada no célebre tratado De Interpretatione. / [en] The dissertation consists of a reflection on the notion of existence. At first, a brief exposition about St. Anselms ontological argument and the kind of conception of existence that it demands is made. After that, a brief investigation regarding the vision of the notion of existence of three main pillars of our philosophical tradition - Hume, Kant and Frege - is undertaken. To a certain extent, their conceptions are studied separately, so that the main aspects and peculiar outline that they convey to the notion of which they intend to give an account can be brought to light. Subsequently, these conceptions are put side by side in a comparison of some of their most relevant similarities and discrepancies. This study is followed by a critical investigation. First, its negative part is exposed: some observations regarding problems involved in each one of the kinds of conception of existence exemplified in the precedent parts, mixed with reflections on the relation between existence and notions such as that of individual and quantification to which they give rise. Secondly, its positive part: based on the observations already made, some suggestions on how to give an account of some relevant aspects of the notion of existence. The dissertation also contains an appendix in which a brief incursion in the aristotelian thought is undertaken. More specifically, it consists of an investigation regarding the relation between existence and quantification in the context of the theory of the square of oppositions as formulated in the famous treatise De Interpretatione.

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-07-01T12:04:27Z No. of bitstreams: 1 arquivo total.pdf: 822448 bytes, checksum: 0ae596f30b77b01cecdaf58f17c9db01 (MD5) / Made available in DSpace on 2016-07-01T12:04:27Z (GMT). No. of bitstreams: 1 arquivo total.pdf: 822448 bytes, checksum: 0ae596f30b77b01cecdaf58f17c9db01 (MD5) Previous issue date: 2015-11-05 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This dissertation presents the contribution of Peter of Spain, in his works Summulae Logicales and Syncategoreumata, for development of Logica modernorum themes, as the properties of terms and syncategorematic words. Here, it is considered that investigations about these proprieties are a feature that distinguishes the Logic (Dialelectic) of XIII century from the previous one. In XIII century, with all Organon of Aristotle ever known, the medieval man wrote manuals to use in universities, for instance William of Sherwood, Lambert of Auxerre and Peter of Spain manuals, in which both subjects discoursed on logica vetus and logica nova matters, how they developed modern reflections about each term of proposition. The terms of a proposition are the subject and predicate (noun and verb), are the words that, even if taken out of context have propositional meaning, have a sense to anyone familiar with the language used in speech. The properties of terms adduced by Peter of Spain in Summulae Logicales, and presented in this study, are signification (significatio), supposition (suppositio), relation (relatio), ampliation (ampliatio), appelation (appelatio), restriction (restrictio) and distribution (distributio). It is shown in the second chapter. Before, in first chapter, we discourse about the six treaties whose subjects belong to the logica antiquorum and introduce every studies by logic. Finally, in the third chapter, we explain the importance of Syncategoreumata, because this work of Peter of Spain contains the others constituent elements of propositions and arguments. / Este trabalho aduz a contribuição de Pedro Hispano, nas suas obras Summulae Logicales e Syncategoreumata, ao desenvolvimento dos temas da Logica Modernorum, como as propriedades dos termos e os elementos sincategoremáticos. Considera-se, aqui, que as investigações acerca de tais propriedades são uma marca que diferencia a Lógica (Dialética) do século XIII daquela desenvolvida anteriormente. No século XIII, com todo o Organon de Aristóteles conhecido, o filósofo medieval ocupou-se da escrita de manuais para serem usados nas universidades, como os de Guilherme de Shyreswood, Lamberto de Auxerres e Pedro Hispano, nos quais se discorria tanto os temas de logica vetus e logica nova, bem como se desenvolviam reflexões modernas, não mais sobre os silogismos, mas agora sobre cada termo constituinte da proposição. Os termos de uma proposição são o sujeito e o predicado (o nome e o verbo), são as palavras que, mesmo se tomadas fora de um contexto proposicional têm significação, têm um sentido para quem estiver familiarizado com a linguagem empregada no discurso. As propriedades dos termos aduzidas por Pedro Hispano na Summulae Logicales são a significação (significatio), a suposição (suppositio) a relação (relatio), a ampliação (ampliatio), a apelação (appelatio), a restrição (restrictio) e a distribuição (distributio). Ocupamo-nos dessas propriedades no segundo capítulo deste trabalho. Antes, no primeira capítulo, discorremos sobre os seis tratados cujos temas pertencem à logica antiquorum e que oferecem uma propedêutica necessária ao estudo da lógica. Por fim, no terceiro capítulo, expomos a importância da obra Syncategoreumata, que fornece o estudo dos demais componentes das proposições e argumentos.

[pt] O objetivo desta dissertação é construir um tableaux linear intuicionista a partir de um cálculo de sequentes relevante clássico. Os passos principais dessa construção são: i) tradução das regras do cálculo dos sequentes relevante clássico para regras de tableaux (capítulo 3), usando a estratégia apresentada por D Agostino et al. em Tableau Methods for Substructural Logic. ii) construção de um tableaux linear clássico através da linearização do tableaux clássico relevante (capítulo 4). iii) apresentar um tableau intuicionista ao estilo Fitting, em que são adicionados rótulos T s e F s às fórmulas (capítulo 5). / [en] The main goal of this master tesis is intuitionistic linear tableaux from a relevant sequent calculus. The central steps are: i) Apply D Agostino et al. strategy to translate classical relevant sequent calculus rules to tableaux rules for classical relevant logic (Chapter 3). ii) Use Meyer et al. strategy to linearize the classical relevant tableaux (Chapter 4). iii) Build a new intuicionistic linear tableaux with Fitting labels.

[pt] A teoria da prova tradicional da lógica proposicional trata provas cujos tamanhos podem ser demasiado grandes. Estudos teóricos de prova descobriram diferenças exponenciais entre provas normais ou livres de corte e suas respectivas provas não-normais. Assim, o uso de grafos-de-prova, ao invés de árvores ou listas, para representar provas está se tornando mais popular entre teóricos da prova. Os grafos-de-prova servem como uma forma de proporcionar uma melhor simetria para a semântica de provas e uma maneira de estudar a complexidade das provas proposicionais. O objetivo deste trabalho é reduzir o peso/tamanho de deduções. Apresentamos formalismos de grafos de prova que visam capturar a estrutura lógica de uma dedução e uma forma de facilitar a visualização das propriedades. A vantagem destes formalismos é que as fórmulas e sub-deduções em dedução natural, preservadas na estrutura de grafo, podem ser compartilhadas eliminando sub-deduções desnecessárias resultando na prova reduzida. Neste trabalho, damos uma definição precisa de grafos de prova para a lógica puramente implicacional, logo estendemos esse resultado para a lógica proposicional completa e mostramos como reduzir (eliminando fórmulas máximas) essas representações de tal forma que um teorema de normalização pode ser provado através da contagem do número de fórmulas máximas na derivação original. A normalização forte será uma consequência direta desta normalização, uma vez que qualquer redução diminui as medidas correspondentes da complexidade da derivação. Continuando com o nosso objetivo de estudar a complexidade das provas, a abordagem atual também fornece representações de grafo para lógica de primeira ordem, a inferência profunda e lógica bi-intuitionista. / [en] Traditional proof theory of Propositional Logic deals with proofs which size can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. Thus, the use of proof-graphs, instead of trees or lists, for representing proofs is getting popular among proof-theoreticians. Proof-graphs serve as a way to provide a better symmetry to the semantics of proofs and a way to study complexity of propositional proofs and to provide more efficient theorem provers, concerning size of propositional proofs. The aim of this work is to reduce the weight/size of deductions. We present formalisms of proof-graphs that are intended to capture the logical structure of a deduction and a way to facilitate the visualization. The advantage of these formalisms is that formulas and subdeductions in Natural Deduction, preserved in the graph structure, can be shared deleting unnecessary sub-deductions resulting in the reduced proof. In this work, we give a precise definition of proof-graphs for purely implicational logic, then we extend this result to full propositional logic and show how to reduce (eliminating maximal formulas) these representations such that a normalization theorem can be proved by counting the number of maximal formulas in the original derivation. The strong normalization will be a direct consequence of such normalization, since that any reduction decreases the corresponding measures of derivation complexity. Continuing with our aim of studying the complexity of proofs, the current approach also give graph representations for first order logic, deep inference and bi-intuitionistic logic.

[pt] Não obstante o reconhecimento de que a lógica desenvolvida por Guilherme de Ockham é consideravelmente interessante tanto do ponto de vista histórico quanto filosófico, pouca atenção foi dada àquelas doutrinas lógicas que envolvem aspectos temporais. Este fato, por sua vez, constitui um obstáculo à compreensão integral da lógica ockhamista, já que acarreta uma série de controvérsias motivadas basicamente por interpretações parciais que menosprezam o papel desempenhado pelo tempo na lógica medieval. Com efeito, o presente estudo analisa o caráter temporal da lógica de Ockham a fim de contextualizá-lo junto às teorias lógicas do referido autor. Para tanto, reservou-se uma parte da investigação ao esclarecimento das noções fundamentais da lógica ockhamista e, em seguida, destinou-se outra parte à determinação da interação entre o tempo e tais noções. Neste contexto, evidenciou-se que a lógica concebida por Ockham é essencialmente temporal, pois o fato dela concentrar-se na análise da estrutura da língua latina, aliado ao reconhecimento de que a doutrina das proposições temporalmente flexionadas e a silogística temporal desenvolvida pelo referido autor apóiam-se numa teoria da suposição capaz de lidar com uma concepção ampla de significação, cujo domínio dos objetos significados encerra o que é ou poderia ser tanto no presente, quanto no passado ou no futuro, indica que até as noções fundamentais da lógica ockhamista presumem o caráter temporal da linguagem ordinária. / [en] Although the logic developed by William of Ockham is regarded as having considerable interest, both from a historical and from a philosophical point of view, little attention has been paid to the temporal aspects of his doctrines. This creates a barrier to the full understanding of Ockham´s logic because it leads to many controversies that are due to partial interpretations which underestimate the role of time in the logic of the Middle Ages. In the present study, the temporal character of Ockham´s logic is analyzed in order to contextualize it within his general theories. The first part of our investigation is concerned with the basic notions of Ockham´s logic, and the second part studies their interaction with temporal notions. It becomes clear that Ockham´s logic is essentially temporal. This is mainly due to the fact that it concentrates on the analysis of the latin language, and that the doctrine of temporal propositions and of temporal syllogism are based on a conception of supposition that must be able to deal with a broad conception of signification. The domain of objects signified includes what is, or what could be, in the present as well as in the past and in the future. This shows that fundamental notions of Ockham´s logic presuppose the temporal character of ordinary language.

Escoamentos multifásicos em meios porosos são modelados por um sistema de equações diferenciais parciais e o estudo da aproximação das soluções dessas equações desempenha papel crucial na simulação e previsão de problemas de grande interesse prático e impacto econômico e social, tais como a recuperação secundária de petróleo, o armazenamento geológico de CO2 e o transporte de poluentes em aquíferos. O presente trabalho tem como objetivo o desenvolvimento de um simulador numérico tridimensional para avaliar com precisão o transporte de dois fluidos imiscíveis em um meio poroso heterogêneo e que utiliza computação paralela multithread para computadores multiprocessados de memória compartilhada. O sistema de equações diferenciais parciais é decomposto em um subsistema elíptico para a determinação do campo de velocidades dos fluidos e uma equação hiperbólica não-linear para o transporte das fases fluidas. Para esta última, foi utilizado um método numérico de volumes finitos, não-oscilatório de alta ordem baseado em esquemas centrais e que admite uma formulação semi-discreta com coeficientes variáveis no espaço. Experimentos numéricos em modelos tridimensionais foram realizados considerando problemas de escoamentos lineares e não lineares postos em configurações típicas de simulação de reservatórios de petróleo. Os resultados mostraram-se satisfatórios por apresentarem conservação da massa, boa captura das ondas de choque e pequena difusão numérica, independente do passo de tempo. / Multiphase flows in porous media are modeled by a system of partial differential equations and the study of the numerical approximation to the solutions of these plays a crucial role in the simulation and prediction of problems that are of great practical interest and of economic and social impact, such as secondary oil recovery, geological storage of CO2 and transport of pollutants in aquifers. The goal of this work is the development of a three-dimensional numerical simulator that precisely evaluates the transport of two immiscible fluids in a heterogeneous porous media using multithread parallel programming to shared memory multiprocessors computers. The system of partial differential equations is decomposed into a elliptic subsystem used to determine the velocity field and into a hyperbolic equation (nonlinear) to determine the transport of the fluid phases. The approximation to the solution of the latter one is calculated using a high order non-oscillatory finite-differences numerical method based on central schemes that allows a semi-discrete formulation which an extension that enables to work with variable space coefficients. Numerical experiments on three-dimensional models were performed considering linear and nonlinear flow problems in typical settings of oil reservoirs simulations. The results were satisfactory since they presented mass conservation, precise capture of shock waves and small numeric diffusion, regardless of the time step.

Humans seem to have a cognitive predisposition for perceiving different concepts in terms of opposite extremes, which in turn fosters an either / or mentality where only two contrary views are possible - tertium non datur. This tendency is also reflected in Don Quixote, where the arrangement of multiple and diverse elements through dualistic patterns is so prevalent, and represent such an essential structural characteristic, that it becomes Cervantes’s own ars poetica. However, once readers look beyond the apparent dichotomies, a higher degree of complexity emerges. We can debate whether Don Quixote is either crazy or sane using the Aristotelian aut / aut logic, but a different possibility would also be enlightening - tertium datur. This dissertation offers an alternative critical framework which combines cognitive theories of categorization and perception with the ideas of Heraclitus, Abelard’s Sic et Non, and Bart Kosko’s Fuzzy Thinking based on Lofti Zadeh’s Fuzzy Logic. Through the new fuzzy and (ambi)valent logic Don Quixote can be perceived simultaneously as crazy and sane - sic et non - since both possibilities are valid at the same time. This new approach reveals that Cervantes employs dualities - equal and opposing elements - not to simplify but rather to make us reflect and deepen our knowledge of the human condition. Thus, Don Quixote functions as a mirror (speculum) in numerous levels, since the text’s self-reflexive structure can in turn provoke reflections and interpretations ad infinitum. Chapter 1 of the dissertation explores the long tradition surrounding the use of dualities from classical antiquity to the Early Modern period from a binary perspective. Chapter 2 establishes a theoretical framework based on a fuzzy and (ambi)valent cognitive categorization and perception. That framework is then applied in chapter 3 to the dichotomies explored in chapter 1, and then, in chapter 4, to the dualistic categories and schemata in Don Quixote. Chapter 5 analyzes the interconnectedness of cognitive entities which are typically studied separately: the author (Cervantes), the text (Don Quixote), and the readers (the critics), along with their respective contexts. Thus, this is both a critical / analytical study as much as a meta-analytical / meta-critical endeavor.

This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.

[pt] A Lógica é hoje em dia vista como uma ciência matemática fundamentalmente ligada à faculdade do entendimento, e pouco relacionada com nossa capacidade de imaginar ou conceber. Desta forma, sob a alcunha de psicologismo, costuma-se descartar qualquer associação da lógica à conceptividade ou à imaginação como espúria e mal colocada. Esta tese de doutorado tem como objetivo mostrar que, contrariamente ao que se costuma crer, há na lógica, tomada como uma ciência, um inegável emprego metodológico da faculdade da conceptividade ou da imaginação. Para mostrar isto, primeiramente examinamos sobre bases autônomas o princípio da conceptividade, segundo o qual a proposição p é concebível se e semente se p é possível. Investigamos as principais posições contemporâneas contra e a favor deste princípio e chegamos a uma versão qualificada do princípio, que defendemos ser livre de contraexemplos. Terá sido mostrado, portanto, que, sob certas condições, há uma relação essencial entre conceitos modais aléticos (possibilidade, necessidade, contingência, impossibilidade) e nossa faculdade de conceber ou imaginar: o que é concebível é possível - ainda que nem sempre o que é inconcebível seja impossível. Em seguida, mostramos como o princípio da conceptividade foi um instrumento insubstituível, nas mãos dos grandes pioneiros da lógica, em uma tarefa muito bem delimitada: a codificação de novas linguagens lógicas. Defendemos, por conseguinte, que Aristóteles, quando primeiramente codificou a lógica de proposições categóricas, e Frege, quando elaborou a lógica funcional e quantificada, foram obrigados a recorrer à conceptividade como parâmetro básico para examinar a correção expressiva da linguagem que estavam codificando e para aferir a validade lógica de diversas proposições e argumentos. Com vistas a tornar claro o lugar da noção de conceptividade dentro da lógica, examinamos a lógica e a epistemologia de Aristóteles e, sobretudo, de Frege, nas quais encontramos elementos concretos que apontam para o emprego desta noção dentro do contexto primitivo de codificação lógica a que nos reportamos. Enfatizamos que, no contexto em que estes autores se encontravam, não havia opções epistemológicas para examinar e avaliar sua lógica a não ser o recurso princípio da conceptividade. / [en] Logic is seen today as a mathematical science fundamentally linked to the faculty of understanding, unrelated to our capacity of imagining or conceiving. Under the label psychologism, one usually considers any association between logic and conceivability (or imagination) as spurious and misled. This doctoral thesis has as its goal showing that, contrarily to what is ordinarily thought, there is in logic, understood as a science, an undeniable methodological employment of the faculty of conceivability or imagination. In order to show this, we firstly examine the conceivability principle (the proposition p is conceivable if and only if p is possible) on autonomous basis. We examine the main contemporary positions against and in favor of this principle and come to a qualified version of the principle, which we purport to be free of counterexamples; it will have been shown, therefore, that, under certain circumstances, there is an essential relation between modal concepts (possibility, necessity, contingency, impossibility) and our faculty of conceiving or imagining: whatever is conceivable is possible - even though it is not always true that whatever is inconceivable is impossible. Secondly, we show how the conceivability principle was an irreplaceable tool in the hands of the great pioneers of logic, in a very well delimited task: codifying new logical languages. Therefore, we hold that Aristotle, as he firstly codified the logic of categorical propositions, and Frege, as he elaborated quantified functional logic, were bound to employ conceivability as a basic parameter so as to examine the expressive correctness of the language they were codifying and determine the validity of various propositions and arguments. In order to make clear the place of conceivability in logic, we examine Aristotle´s Frege´s logic and epistemology and find concrete elements indicating the employment of this notion in the primitive context of logical codification we have mentioned. We emphasize that, in the context in which these authors were working, there were no epistemological options other than the resource to the conceivability principle.