Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-31T14:53:37Z (GMT). No. of bitstreams: 1 Sbardellini_LuisAugusto_M.pdf: 6203251 bytes, checksum: 2194621e6912483f7d0be2f2f3722695 (MD5) Previous issue date: 2001 / Resumo: o presente trabalho trata de semântica categorial, isto é, da interpretação de linguagens de primeira ordem em categorias. Propomos aqui uma generalização da semântica categorial usual (no sentido de [9]) através da modificação adequada da interpretação de símbolos de constantes. Na nossa nova abordagem, qualquer objeto de categoria pode interpretar a sorte de uma constante, mesmo que ele não tenha elementos globais. Exemplificamos os resultados conseguidos através do estudo de feixes e pré-feixes e realizamos uma comparação com as abordagens tradicional e estendida (em [3])...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The present work treats of categorial semantics, that is, the interpretation of first order languages in categories. We propose here a generalization of the usual categorial semantics (in the sense of [9]) through the suitable modification of the interpretation of symbols of constants. In our approach, any categorial object may interpret the sort of a constant, even of it does not have global elements. We exemplified the results obtained through the study of sheaves and presheaves and established a comparison with the traditional and extended approaches (in [3])....Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T13:30:02Z (GMT). No. of bitstreams: 1 Alves_DanielDurantePereira_D.pdf: 10917931 bytes, checksum: b3a281be70541ba02394f30b44bda708 (MD5) Previous issue date: 1999 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Filosofia

Orientador: Carlos Alberto Lungarzo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-24T16:29:44Z (GMT). No. of bitstreams: 1 Castro_MiltonAugustinisde_M.pdf: 3539736 bytes, checksum: 4f144a2bbdab30d1239bf7c8b631cfa7 (MD5) Previous issue date: 1998 / Resumo: A aplicação do método de dedução natural, via o método de provas subordinadas, nas lógicas proposicionais paraconsistentes Cn (1 '< ou =' n'< ou =' ¿ômega¿) é apresentada neste trabalho. Através desse método elabora-se uma hierarquia de sistemas de dedução natural DNCn, constituídos exclusivamente por regras de dedução (ou esquemas de dedução), dispensando, quaisquer esquemas de postulados. Provamos que esses sistemas DNCn (0 '< ou =' n '< ou =' ¿ômega¿) são logicamentes equivalentes aos sistemas Cn(0 '< ou =' n '< ou =' ¿ômega¿) de DA COSTA. Elaboramos uma valoração bivalente e provamos vários temas sintáticos e semânticos referentes aos sistemas formais, tais como, consistência, corretude forte, completude forte no caso dos sistemas DNCn(1 '< ou =' '< ou =' ¿ômega¿). Provamos a decidibilidade dos sistemas paraconsistentes de dedução natural DNCn(1 '< ou =' n '< ou =' ¿ômega¿) pelo método de tableau. Provamos a equivalência entre os sistemas DNCn (1 '< ou =' n '< ou =' ¿ômega¿) e o sistemas de tableau TDNCn (1 '< ou =' n '< ou =' ¿ômega¿), a corretude e a decidibilidade desses sistemas. Duas novas formulações para a hierarquia de sistemas proposicionais paraconsistentes Cn (0 '< ou =' n '< ou =' ¿ômega¿) são apresentadas / Abstract: In this paper, we present an application of the method of natural deduction, via the method of subordinate proofs. By using this method, we develop a hierarchy of logical systems of natural deduction DNCn containing just deduction rules (or schemes of deduction) with no axioms schemes. We proved that these systems DNCn(0 '< ou =' n '< ou =' ¿ômega¿) are logically equivalent to the da Costas's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿). By introducing of a special bivalent valuation concept, we prove some the standard syntactical as well as semantical properties of formal systems, like consistency, strong soundness, and strong completeness in the case of the DNCn(1 '< ou =' n '< ou =' ¿ômega¿). The decidability of the paraconsistent systems of natural deduction DNCn(1 '< ou =' n '< ou =' ¿ômega¿) is proved by specifically introduced systems of tableau. We prove the logical equivalence between the systems DNCn(1 '< ou =' n '< ou =' ¿ômega¿) and the tableau system TDNCn (1 '< ou =' n '< ou =' ¿ômega¿) and also prove the soundness and decidability of these systems. Two new formulations for the hierarchy of da Costa's systems Cn (0 '< ou =' n '< ou =' ¿ômega¿) are introduced. / Mestrado / Logica e Epistemologia / Mestre em Lógica e Filosofia da Ciência

Orientador: Jacques Wainer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T14:49:11Z (GMT). No. of bitstreams: 1 Pellegrini_Jeronimo_M.pdf: 6805368 bytes, checksum: 59cb8230ad8b2216cb3006f776de3d8c (MD5) Previous issue date: 1997 / Resumo: Nesta tese, mostramos uma implementação do processo de diagonalização de Cantor no sistema de prova de teoremas Oyster-Clam. Para isto, tivemos que estender o Oyster com comparação e indução em tipos, e desenvolvemos um método e algumas regras de reescrita. As regras de reescrita lidam com tipos, o que não era suportado ainda no sistema Oyster-Clam; algumas modificações foram feitas para que isto se tornasse possível. Também desenvolvemos esquemas de indução para grafos neste sistema, e provamos alguns teoremas. / Abstract: In this thesis, we show an implementation of Cantor's digitalization process in the Oyster-Clam theorem proving system. To achieve that, we have extended the Oyster logic with comparison and induction on types, and developed a method and some rewrite rules. The rewrite rules deal with types, what was not supported yet in the Oyster-Clam system, and some modifications were done to make that possible. We have also developed induction schemes for graphs in that system, and some theorems were proven. / Mestrado / Mestre em Ciência da Computação

Orientador : Ayda Ignez Arruda / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T12:31:14Z (GMT). No. of bitstreams: 1 Santos_ClaydeReginaMendesdos_M.pdf: 2136095 bytes, checksum: df065defe45ee1d8deb0a409e5c65402 (MD5) Previous issue date: 1980 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Jose Alexandre D. Guerzoni / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-19T17:18:10Z (GMT). No. of bitstreams: 1 Medeiros_MariadaPazNunesde_M.pdf: 11561835 bytes, checksum: 796aa2239da6be1c2ac924de8e4f3502 (MD5) Previous issue date: 1994 / Resumo: Em 1931. GOdel apresentou dois Teoremas de Incompletude que. indiscutivelmente. foram os resultados mais importantes da Lógica no início deste século. Pretende-se. neste trabalho. apresentar uma demonstração detalhada do primeiro teorema, na qual. Essa todas as fórmulas envol vidas sejam explicitadas. demonstração baseia-se na idéi a de auto-referência. Considera-se simultaneamente uma teoria (Teoria formal C Ar i tméti ca de Peano) e uma Intuitiva dos Números) para mostrar, via godelização. que as propriedades e operações de cunho sintático-morfol6gico da teoria formal são representáveis nela própria. Garantida essa representação através de um Teor ema de Completude Parcial. demonstra-se o primeiro teorema a partir do Lema da Diagonal, para em seguida apresentar a demonstração usual do segundo. que pressupõe a formalização de certas condições de derivabilidade / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Irineu Bicudo / Banca: Itala Maria Loffredo D'Otaviano / Banca: Paulo Isamo Hiratsuka / Resumo: Neste trabalho apresentamos e analisamos o conceito fregiano de função, presente nos três livros de Frege: Begriffsschrift, Os Fundamentos da Aritmética e Leis Fundamentais da Aritmética. Discutimos ao longo dele o que Frege entendia por função e argumento, as modificações conceituais que tais noções sofreram no período de publicação de seus livros e a importância dessas noções para a sua filosofia. Para tanto, analisamos a linguagem artificial do primeiro livro, a definição de número do segundo, e os casos particulares de funções que são definidos no terceiro, bem como as considerações contidas em outros escritos do filósofo alemão. Verificamos uma caracterização puramente sintática de função em Begriffsschrift, uma distinção entre o sinal de uma função e aquilo que ele denota em Os Fundamentos da Aritmética, e a associação de dois elementos distintos a uma expressão funcional em Leis Fundamentais da Aritmética: o seu sentido e a sua referência. Finalmente, constatamos que a originalidade do sistema fregiano reside na possibilidade de considerar esse ou aquele termo de uma proposição como o argumento (ou os argumentos) de uma função. / Abstract: In this work we present and analyze the fregean concept of function, present in the three books by Frege: Begriffsschrift, The Foundations of the Arithmetic and Fundamental Laws of the Arithmetic. We discuss what Frege understood by function and argument, the conceptual modifications that such notions suffered in the period of publication of those books and the importance of these notions for his philosophy. For so much, we analyze the artificial language of the first book, the definition of number in the second, and the particular cases of functions that are defined in the third, as well as the considerations contained in other works by the philosopher. We verify a purely syntactic characterization of function in Begriffsschrift, a distinction between the sign of a function and what it denotes in The Foundations of the Arithmetic, and the association of two different elements to a functional expression in Fundamental Laws of the Arithmetic: its sense and its reference. Finally, we verify that the originality of the Frege's system is based on the possibility of considering one or other term of a proposition as the argument (or the arguments) of a function. / Mestre

Orientador: Henrique Lazari / Banca: Adilson José Vieira Brandão / Banca: Wlademir Seixas / Resumo: Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais "paradoxos" sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre "fuzziness" e probabilidade, incluindo uma demonstração de que "fuzziness", de fato, existe / Abstract: Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more "paradoxes" without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between "fuzziness" and probability, including a demonstration that "fuzziness" in fact, exists / Mestre

Orientador: Renata Zotin Gomes de Oliveira / Banca: Elaine Cristina Catapani Poletti / Banca: Wladimir Seixas / Resumo: Neste traboalho são apresentados alguns conceitos básicos da Teoria de Conjuntos Fuzzy como: operações comu conjunto fuzzy, Princípio de Extensão de Zadeh, números fuzzy e noçoes de lógica fuzzy. As relações são apresentadas com o objetivo de tratarmos de sistemas baseados em regras fuzzy e algumas aplicações / Abstract: In this paper are presented some basic concepts of Fuzzy Sets Theory: operation with fuzzy sets, Zadeh extension principle, fuzzy numbers and fuzzy logic. The fuzzy relations are presented for the purpose of treating systems based on fuzzy rules and some application / Mestre

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