No description available.

Made available in DSpace on 2014-06-11T19:24:54Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-08-12Bitstream added on 2014-06-13T20:52:49Z : No. of bitstreams: 1 gomes_rr_me_rcla.pdf: 970847 bytes, checksum: f1f63ef47745a8d3404205c27335f1b1 (MD5) / 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. / 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.

Orientador: Michael B. Wrigley / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-21T09:22:59Z (GMT). No. of bitstreams: 1 Vilela_DeniseSilva_M.pdf: 5000035 bytes, checksum: 7f99d443a1b422dc4a4ff7bfeb08b4b0 (MD5) Previous issue date: 1996 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Filosofia

Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T21:09:00Z (GMT). No. of bitstreams: 1 Almeida_HenriqueAntunes_M.pdf: 1516387 bytes, checksum: 2608439ba585a23431d2aa295b1b8876 (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem / Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic / Mestrado / Filosofia / Mestre em Filosofia

Orientador: Arley Ramos Moreno / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-23T11:30:34Z (GMT). No. of bitstreams: 1 Francisco_AntonioMarcos_M.pdf: 1498266 bytes, checksum: d034937dfd7ddf91412ce63d596737d9 (MD5) Previous issue date: 2013 / Resumo: O intuito do presente trabalho é expor e associar dois momentos do pensamento de Gottlob Frege - um situado na obra Conceitografia, publicada em 1879, e outro presente a partir da distinção entre sentido e referência articulada, principalmente, no artigo Sobre o Sentido e a Referência, publicado em 1892. O objetivo é explicitar que apesar de existirem significativas diferenças entre as duas épocas é possível perceber uma profunda continuidade no desenvolvimento de um projeto único, e também uma clara conexão entre as duas obras, apesar de o léxico filosófico fregeano ter passado por expressivas alterações após a concepção da distinção entre sentido e referência. Este trabalho está dividido em quatro partes: a primeira apresenta o que motivou o matemático Gottlob Frege a dedicar-se à análise da linguagem e elaborar uma "conceitografia" para representar o que é fundamental na proposição - o conteúdo conceitual; o momento seguinte, capítulo II, expõe como o problema da identidade de conteúdo culminou com um esboço de uma teoria semântica na obra de 1879; a parte três expõe a conexão entre a teoria semântica de 1879 e de 1892; a parte final, capítulo IV, é uma tentativa de expor como os temas do artigo de 1892 estão intimamente associados com as questões apresentadas na obra Conceitografia / Abstract: The purpose of this work is to describe and to connect the two moments of thought of Gottlob Frege - one found in the work Conceptual Notation published in 1879 and the other one in the article On Sense and Reference published in 1892, which presents the distinction between sense and reference. The goal is to explain that although there are significant differences between the two moments it is possible to perceive a deep continuity in the development of a single project. There is also a clear connection between the two works despite of the Fregean technical terms having gone through major changes after taking into consideration the conception of the distinction between sense and reference. This work is divided into four parts: the first one introduces what motivated the mathematician Gottlob Frege to devote himself to the analysis of language and develop a formula language to represent what is fundamental in the proposition - the conceptual content; the second in the Chapter II exposes how the problem of identity content culminated with a sketch of a semantic theory in the work of 1879, the third one explains the connection between theory and semantics from 1879 and from 1892, and finally, Chapter IV , is an attempt to expose how the themes of the article of 1892 are closely associated with the work Conceitografia affairs / Mestrado / Filosofia / Mestre em Filosofia

L’auteur entreprend dans ce mémoire de faire une présentation des débats axiologiques de philosophie de la logique sous-jacents à la controverse opposant Frege et Hilbert sur les fondements de la géométrie. Contre le parti pris philosophique selon lequel la logique est une discipline achevée, l’auteur entreprend une mise en contexte des positions de Frege et Hilbert afin de montrer que dans leur conception de la logique se trouvent des paradigmes incommensurables, résultant de l’influence de traditions philosophiques et scientifiques diverses. Dans cette perspective, Frege est le défenseur de la vision traditionnelle de la logique comme medium universel de la science, tel qu’incarnée dans la géométrie euclidienne. La logique symbolique de Frege est ainsi vue comme la mise en oeuvre de moyens raffinés pour lutter contre la (( perversion des sciences )) ayant lieu au 19ième siècle et pour la défense de la vision traditionnelle de la science. à l’opposé, l’approche métathéorique de Hilbert représente la conception moderne dite algébrique de la logique telle que développée au 19ième sous l’influence des métamathématiques, et certains rapprochements avec les conceptions (( model-theoretic )) et catégorielles de la logique viennent appuyer cette thèse. / This memoir presents some axiological debates of philosophy of logic underlying the Frege-Hilbert controversy on the foundations of geometry. Against the philosophical bias according to which logic is an achieved discipline, a contextualized presentation of the respective positions of Frege and Hilbert is done in order to show that incommensurable paradigms are found in their view of logic, that is due to the influence of various philosophical and scientific traditions. From this standpoint, Frege is the defender of the traditionalist view of logic as the universal medium of science, as embodied in Euclidean geometry. In this perspective, Frege’s symbolic logic is seen as the achievement of a refined means to counter the 19th-century perversion of science with the purpose of defending the traditional conception of the role of science. On the other hand, Hilbert’s metatheoretical approach represents the so-called algebraic modern conception of logic as developed in the 19th century under the influence of metamathematics. Following this, parallels between Hilbert’s approach and the model-theoretical and categorical conceptions of logic are drawn to show their proximity.

Resumo não disponível.

Ce mémoire a pour objectif principal l'analyse du concept de métalangage tel qu'il s'est développé en logique mathématique. L'introduction et la conclusion mises à part, chaque chapitre porte sur un auteur -logicien, mathématicien ou philosophe ayant contribué de manière significative à l'évolution de ce concept. Ces auteurs sont, en ordre de présentation, Gottlob Frege, Bertrand Russell, Ludwig Wittgenstein, David Hilbert, Kurt Godel et Alfed Tarski. Puisque la notion de métalangage s'est développée avec la formalisation progressive de la logique, une attention particulière est accordée à l'émergence des systèmes formels et à leur présentation. Trois périodes se dessinent dans la genèse de cette notion. Une première, que j'appelle « pré-météthéorique », où l'intervention d'une théorie externe au langage formel est rejetée catégoriquement, mais où certaines notions métathéoriques sont implicitement tracées. Une seconde, dite « hilbertienne », qui marque l'entrée en jeu de la métamathématique et qui consacre le métalangage dans l'étude des mathématiques, quoiqu'avec des moyens limités. Et une troisième, dite « tarskienne », où la notion moderne de métalangage est exposée. Par ailleurs, j'effectue une analyse détaillée de la preuve que Godel donne de son second théorème d'incomplétude où je prétends qu'il commet une erreur conceptuelle entre langage et métalangage. Enfin, en conclusion, j'explore une conception fondationnelle de la logique compatible avec l'étude métathéorique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Métalangage, Logique, Philosophie, Métamathématique, Godel, Tarski.

Resumo não disponível.

Esta dissertação é sobre filosofia do entendimento. Buscaremos responder questões como: O que é o conteúdo de um pensamento? Como entendemos um conteúdo de um pensamento? Como se dá uma deliberação? Qual o papel do conteúdo do pensamento em uma deliberação? Que tipo de acesso temos ao conteúdo do pensamento? Para tanto, nos deteremos em analisar a filosofia anti-individualista de Tyler Burge a partir das objeções levantadas por Åsa Wikforss (2006), que defende que o Princípio de Frege é incompatível com a teoria do entendimento incompleto e que a noção burgeana de conteúdo não é capaz de desempenhar à função de capturar a perspectiva cognitiva de primeira pessoa. Veremos como a leitura burgeana do Princípio de Frege é capaz de dissolver a incompatibilidade alegada. Defenderemos a tese de que o conteúdo do pensamento na concepção anti-individualista é capaz de capturar a perspectiva cognitiva de primeira pessoa mediante uma compreensão aprofundada do papel do conteúdo representacional na deliberação, considerando sua inserção no sistema filosófico de Burge que o relaciona com a teoria das garantias epistêmicas e da percepção. Ao atentarmos para a distinção entre significado lexical e significado de tradução, apresentaremos um argumento em defesa da tese de que a teoria do entendimento anti-individualista explica melhor a perspectiva cognitiva e é mais condizente com a prática comum do que as teorias do conteúdo que residem no plano de fundo da interpretação de Wikforss acerca do Princípio de Frege. Por fim, proporemos e defenderemos uma leitura alternativa do Princípio de Frege que julgamos exprimir melhor tanto a visão anti-individualista quanto a fregeana. / This thesis is concerned with the philosophy of understanding. We will try to answer questions such as: What is thought content? How do we understand a thought content? How do we deliberate? What is the role of a thought content in a deliberation? What kind of access do we have to a thought content? For this, we will focus on analyzing the anti-individualist philosophy of Tyler Burge with respect to the objections raised by Åsa Wikforss (2006), who argues that Frege's Principle is incompatible with the Theory of Incomplete Understanding and that the Burgean notion of content is not able to fulfill the function of capturing the cognitive perspective from a first person point of view. We shall see how the Burgean reading of Frege's Principle is capable of dissolving the alleged incompatibility. We will defend the thesis that thought content on the anti-individualist account is capable of capturing the cognitive perspective of the first person point of view through a deep comprehension of the role of the representational content in deliberation, considering that‟s insertion in the philosophical system of Burge‟s, who connects it with the theories of epistemic warrants and of perception. Moreover, when we look at the distinction between lexical meaning and translational meaning, we will present an argument in defense of the thesis that the anti-individualist theory of understanding better explains the cognitive perspective and is more genuine to the common practice than the content theories which are on the background of Wikforss‟ interpretation of the Frege‟s Principle. Finally, we will propose and defend an alternative reading of Frege's Principle that we think will better capture both the anti-individualistic and the Fregean views.