Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T12:43:36Z (GMT). No. of bitstreams: 1 Peron_NewtonMarques_D.pdf: 1773917 bytes, checksum: da2d2a1b1ecf8da6e26e419dee4888c5 (MD5) Previous issue date: 2014 / Resumo: Esse é um estudo sobre a viabilidade de matrizes finitas como semântica para lógica modal. Separamos nossa análise em dois casos: matrizes determinísticas e não-determinísticas. No primeiro caso, generalizamos o Teorema de Incompletude de Dugundji, garantindo que uma vasta família de lógicas modais não pode ser caracterizada por matrizes determinísticas finitas. No segundo caso, ampliamos a semântica de matrizes não- determinísticas para lógica modal proposta independentemente por Kearns e Ivlev. Essa ampliação engloba sistemas modais que, de acordo com nossa generalização, não podem ser caracterizados por matrizes determinísticas finitas / Abstract: This is a study on the feasibility of finite matrices as semantics for modal logics. We separate our analysis into two cases: deterministic and non-deterministic matrices. In the first case, we generalize Dugundji's Incompleteness Theorem, ensuring that a wide family of modal logic cannot be characterized by deterministic finite matrices. In the second, we extend the non-deterministic matrices semantics to modal logics proposed independently by Kearns and Ivlev. This extension embraces modal systems that, according to our generalization, cannot be characterized by finite deterministic matrices / Doutorado / Filosofia / Doutor em Filosofia

Orientador: Jose Alexandre Durry Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T12:28:05Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_M.pdf: 10085958 bytes, checksum: 78f696d242fe4880bc35c9334cf34e9c (MD5) Previous issue date: 1994 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

Orientador: Carlos Alberto Lungarzo / Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-13T21:33:33Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_D.pdf: 16832642 bytes, checksum: cf21f16c851f949466f36f0fcbc0dc58 (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Lógica e Filosofia da Ciência

Orientador: Vinicius A. Armentano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:52:14Z (GMT). No. of bitstreams: 1 Nascimento_MarioAntoniodo_M.pdf: 5352434 bytes, checksum: ad10563dea6a8f47a58d014900d2472e (MD5) Previous issue date: 1990 / Resumo: Neste trabalho abordamos o problema de seqüenciamento ("scheduling") de peças em uma célula flexível de manufatura. Propomos, como contribuição principal, um algoritmo heurístico de duas fases: Decompor o problema de N peças e M máquinas em N subproblemas de 1 peça e M máquinas; resolver cada um destes subproblemas otimizando algum critério. Combinar as soluções obtidas de todos o subproblemas, de modo a obter uma solução fatível para o problema original e que contemple a otimização de algum critério. Propomos ainda um algoritmo exato do tipo "Branch-and-Bound" que servirá de referência para avaliar as soluções obtidas pela estratégia de duas fases. Um modelo de programação matemática também é apresentado / Abstract: In this thesis we treat the problem of scheduling jobs in a flexible manufacturing cell. We propose, as the main contribution, a two phase heuristic algorithm: To decompose the N jobs and M machines problem into N sub-problems of 1 job and M machines; to solve each of them minizing some criterion. To mix the solution obtained from the sub-problems into a single feasible solution, in which some optimization criterion is considered. Furthermore we propose an exact Branch-and-Bound algorithm which will provide solutions to be compared with those obtained by the two phase approach. A mathematical programming model is also presented. / Mestrado / Mestre em Engenharia Elétrica

Submitted by PGCOMP UFBA (pgcomp@ufba.br) on 2016-05-04T20:42:00Z No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-05-05T16:12:43Z (GMT) No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / Made available in DSpace on 2016-05-05T16:12:43Z (GMT). No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / FAPESB / A revisão de modelos é uma técnica baseada na teoria de revisão de crenças, que tem como princípio modificar minimamente os modelos de forma a satisfazer uma dada propriedade. A revisão de modelos pode ser combinada com verificação de modelos para determinar as mudanças estruturais minimais sobre modelos de Kripke com base no resultado da verificação. As estruturas modais de Kripke (KMTS) são extensões das estruturas de Kripke com modalidades que permitem expressar informações incompletas explicitamente. Um KMTS pode ser interpretado como um conjunto de estruturas de Kripke, e a técnica de verificação de modelos pode ser utilizada para verificar se um KMTS atende à uma determinada especificação, devendo retornar os seguintes valores: verdadeiro quando todas as estruturas de Kripke representadas pelo KMTS satisfazem a especificação, falso quando nenhuma das estruturas de Kripke satisfaz a especificação, ou indefinido quando algumas das estruturas satisfazem e outras não. Uma das contribuições deste trabalho é a proposta de um verificador de modelos para KMTS considerando esta semântica utilizando CTL como linguagem de especificação de propriedades. A revisão de um KMTS ocorre quando a verificação de modelos resulta em falso ou indefinido. No caso de indefinido, o KMTS deve ser modificado para representar apenas os modelos de Kripke que satisfazem a propriedade requerida. Esta etapa da revisão é chamada de refinamento. Neste caso, de acordo com a revisão de modelos, devem-se aplicar mudanças estruturais minimais sobre o KMTS para obter os modelos resultantes do refinamento. Outra contribuição deste trabalho está em apresentar uma solução para este problema, através de algoritmos propostos com base em um grafo de testemunhas, definido nesta dissertação, que abstrai informações do grafo de um verificador de modelos baseado em jogos de forma a obter apenas os modelos gerados por mudanças minimais sobre o KMTS.

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-19T03:32:32Z (GMT). No. of bitstreams: 1 Almeida_DanteCardosoPintode_M.pdf: 571204 bytes, checksum: 5d6a5ced0609a9ec16f84bc5badb751d (MD5) Previous issue date: 2011 / Resumo: Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há alguma verdade impossível de ser conhecida. Descrevemos, nesta dissertação, a lógica modal alética e a epistêmica, que consistem em recursos formais requeridos para a análise do Paradoxo. Também esclarecemos o papel deste no debate filosófico entre as correntes de pensamento realistas e antirealistas. Apontamos e analisamos duas propostas de solução do Paradoxo mais discutidas na literatura. Como principal ojetivo desta dissertação, investigamos o Paradoxo da Cognoscibilidade em sistemas multiagentes. Demonstramos que, apesar de em tais sistemas o Paradoxo ser minimizado, ele ainda não é completamente resolvido. Por fim, também apresentamos várias formas de obter a contraparte doxástica do Resultado, conhecida como Paradoxo da Credibilidade / Abstract: This text studies a result in epistemic-alethic logic, published by Frederic Fitch in 1963, known as Knowability Paradox. According to this result, if all truths are knowable, then all truths are known. This suggests there are unknowable truths. We describe alethic and epistemic modal logics, which are formal resources required in order to study the paradox. Also, we examine its role in the philosophical debate between realists and anti-realists. We point out and analize two attempts to solve the Paradox. The main aim of this text is to explore the Knowability Paradox in multi-agents systems. We shoe that, although in these systems the Paradox is weaker, it's not entirely solved. We also show many ways to derive the doxastic counterpart of the result, known as Belivability Paradox / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Lucas Angioni / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-20T11:18:44Z (GMT). No. of bitstreams: 1 Ferreira_MateusRicardoFernandes_D.pdf: 823119 bytes, checksum: 7ba656176385de662b9d8593f14aa89d (MD5) Previous issue date: 2012 / Resumo: Nesta tese discuto aspectos da logica de Aristóteles que sao ressaltados por abordagens contemporâneas dos Primeiros Analíticos e que mostram uma teoria mais rica e sutil do que tradicionalmente se entende como sendo a lógica aristotelica. Em especial, abordo teses sobre como devem ser compreendidas as proposições categóricas, o que sao precisamente silogismos, o que sao silogismos perfeitos e quais problemas enfrenta a parte da lógica de Aristoteles que lida com proposicoes modais. Nessa direcao, abordo evidencias textuais para duas concepcoes de proposicao categorica e as dificuldades para coaduna-las com as proposicoes singulares. Alem disso, argumento que silogismos devem ser compreendidos como cadeias de predicacoes e que Aristoteles concebe um sistema logico quando procura justificar quais arranjos entre termos formam de fato tais cadeias. Argumento, tambem, que os silogismos perfeitos sao evidentes nesse sistema nao porque considerados indemonstraveis, mas porque podem ser deduzidos a partir de definicoes das proposicoes categoricas e de certas regras gerais, isto e, de regras aplicaveis nao apenas a um tipo de proposicao categorica. Por fim, apresento as caracteristicas gerais e as dificuldades de uma parte da logica de Aristoteles muito pouco associada a logica aristotelica como tradicionalmente entendida: a silogistica modal / Abstract: The present dissertation discusses aspects of Aristotle's Logic which are enhanced by contemporary approaches to Prior Analytics and display a logical theory richer and subtler than what traditionally is comprehended as being the Aristotelian Logic. My main claims concern how categorical propositions must be understood, what is the exact nature of syllogisms, what is a perfect syllogism, as well as some questions in the part of Aristotelian Logic which deals with modal propositions. From an examination of texts that support two different conceptions of categorical proposition, I discuss the difficulties in adjusting each of them to singular propositions. I also argue that syllogisms must be comprehended as chains of predications and that Aristotle conceives a logical system when he proceeds to justify which terms arrangement does produce chains of the required kind. I also argue that in this system perfect syllogisms must be understood as evident not because they are unproved, but because they are deduced from definitions for categorical propositions and from general rules, i.e. rules not applied just to some categorical propositions. Finally, I discuss general features and problems concerning a part of Aristotle's Logic rarely attached to the Aristotelian Logic as traditionally comprehended: the modal syllogistic / Doutorado / Filosofia / Doutor em Filosofia

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

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. Caleiro / Texto em ingles e portugues / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Tese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior Tecnico / Made available in DSpace on 2018-08-04T03:00:36Z (GMT). No. of bitstreams: 1 Almeida_JoaoMarcosde_D.pdf: 4760856 bytes, checksum: c6233b2352045368e0a3c7de2738d321 (MD5) Previous issue date: 2005 / Resumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação. / Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation. / Doutorado / Filosofia / Doutor em Filosofia e Matemática

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