Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-10T04:02:35Z (GMT). No. of bitstreams: 1 BatistaNeto_AlbertoLeopoldo_M.pdf: 764702 bytes, checksum: 38e943aef1a6e4a5f892916208eca7a5 (MD5) Previous issue date: 2007 / Resumo: Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer / Abstract: In order to accomplish an elucidation of the fundamental concepts involved in the study of the combinations between logics, we undertake an analysis of the problem of the general representation of logical systems (with an emphasis on the central concept of logical consequence) together with that of the establishment of an appropriate notion of translation or morphism between the logical systems defined in a certain fashion, on which basis we can ground some of the combination techniques, specially that of algebraic fibring. Such techniques are defined and presented in their most relevant features, and we find, in the particular case of fibring, problems such as collapsing and anticollapsing. The solution for these seem to rest on the choice of adequate forms of representing logics in general and translating logics into others. A modeltheoretic presentation shows itself appropriate for some representations of logics in general (such as Hilbert calculi), although they are not for some others (such as multipleconclusion systems). Notwithstanding, two of the most promising attempts to solve, in particular, the problem of the anticollapsing of algebraic fibring metatranslations and elementary transfers , are definable within that framework. Transfers including elementary transfers have been defined in [17] and we here present a representation of metatranslations as an specific kind of transfers / Mestrado / Logica / 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-12T08:48:41Z (GMT). No. of bitstreams: 1 Suguitani_LeandroOliva_M.pdf: 498724 bytes, checksum: 92a1cd68fc996cc91200b7596bd9188e (MD5) Previous issue date: 2008 / Resumo: Em 1975, Alfred Tarski, um dos maiores lógicos contemporâneos, visitou o Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Unicamp. Nessa oportunidade, foi organizado um evento, o Simpósio de Lógica Matemática, para recebê-lo. Tarski apresentou então sua axiomatização para o cálculo de relações, conhecida como álgebra de relações (RA). A RA, como teoria formal desenvolvida por Tarski, foi apresentada em duas conferências, que foram pioneiramente gravadas em fita de vídeo e atualmente fazem parte do acervo dos Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp. Neste trabalho, apresentamos uma transcrição das conferências de Tarski e examinamos o seu conteúdo, inserindo-o no contexto histórico do desenvolvimento da teoria do cálculo de relações, cujo início remonta à alguns trabalhos de De Morgan, Peirce e Schröder. Tendo em vista que a origem dessa teoria já foi devidamente abordada, concentrar-nos-emos mais no conteúdo das conferências de Tarski proferidas no Brasil, sobre RA, dando especial atenção aos problemas deixados em aberto nessa ocasião, e no recente desenvolvimento de sua teoria. / Abstract: In 1975, Alfred Tarski visited the Instituto de Matemática, Estatástica e Ciência da Computação (IMECC) at Unicamp, Brazil. In that ocasion, an event was organized to welcome him, the Simpósio de Lógica Matemática. Tarski's talking was about his axiomatization on the calculus of relations, which in that time was already known as Relation Algebra (RA). In Brazil, the formal theory of RA developed by Tarski was introduced to his audience in two lectures, which were taped and nowadays belongs to the historical files of Arquivos Hist'oricos do Centro de Lógica, Epistemologia e História da Ciência (CLE) at Unicamp. Our work aims to bring Tarski's conferences for public access through our transcription of them, and besides that, it is also our aim to analize Tarski's lectures and put it into the historical context of the development of RA, which origin goes back to some works of De Morgan, Peirce and Schröder. Our focus is on the content of the conferences, specially on the open problems left by Tarski and on the recent development of his theory. / Mestrado / Mestre em Filosofia