Orientador: Prof. Dr. Renato Rodrigues Kinouchi / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Filosofia, 2017. / Figura central no programa logicista de fundamentação da aritmética, Gottlob Frege (1848-1925) elencou uma série de objeções àquilo que, dentro da história da filosofia, veio a ser denominado de "psicologismo", entendendo por este qualquer postura epistemológica que outorga à psicologia a tarefa de fundamentação das ciências, notadamente das ciências da lógica e da matemática. A dissertação abordará as críticas feitas por Frege àquilo que ele denominou de "métodos psicológicos de reflexão" no campo da teoria do significado, notadamente sua crítica à tese psicologista de que os significados são representações mentais (Vorstellungen). Recorrendo sobretudo às obras Fundamentos da aritmética (1884) e à Lógica de 1897, o trabalho analisará tais críticas tendo por enfoque as influências exercidas no pensamento fregeano pela consolidação da psicologia científica e as inter-relações por ele detectadas entre questões postas pela nova ciência da psicologia e certos problemas de epistemologia. Em última instância, buscar-se-á elucidar se a necessidade de Frege em postular a existência de um terceiro reino (drittes Reich) de entidades objetivas não-reais, para explicar a possibilidade do conhecimento objetivo, foi ou não uma necessidade motivada por problemas próprios ao contexto científico de sua época. / As the central figure in the logicist program in the foundations of mathematics, Gottlob Frege (1848-1925) brought forth a series of objections to what, in the history of philosophy, would be called "psychologism". This term denotes any epistemological position that gives to psychology the task of laying the foundations of the sciences, especially the sciences of logic and mathematics. The present dissertation examines the criticisms made by Frege to what he called the "psychological methods of reasoning", in the context of the theory of meaning, particularly his criticism to the psychologist thesis that meanings are mental representations (Vorstellungen). Based especially on the Foundations of arithmetic (1884) and on his Logic of 1897, the monograph analyzes such criticisms, focusing on the influences exerted on Frege¿s thought by the consolidation of scientific psychology, and on the interrelations that he detected between the questions posed by the new science of psychology and certain problems of epistemology. In the end, we will try to clarify whether the need for Frege to postulate the existence of a third realm (drittes Reich) of non-real objective entities, to explain the possibility of objective knowledge, was or not a need motivated by the problems pertaining to the scientific context of his time.

Made available in DSpace on 2015-12-10T14:24:12Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-05-15. Added 1 bitstream(s) on 2015-12-10T14:30:21Z : No. of bitstreams: 1 000853981.pdf: 780858 bytes, checksum: 5ceb1d5a7d209ea636278ac985213d40 (MD5) / O presente trabalho exibe um estudo de caso sobre o desenvolvimento conceitual e metodológico da Matemática, por meio do exame e comparação das concepções de função de Gottlob Frege e Bertrand Russell. Em particular, são discutidos: a extensão fregiana da ideia matemática de função, a noção russelliana de função proposicional, os seus pressupostos filosóficos e as suas implicações. O presente estudo baseia-se em análises dos livros que os dois autores publicaram sobre os fundamentos da Matemática, e também de alguns outros escritos de sua autoria, entre eles, manuscritos que foram publicados postumamente. Conclui-se a partir dessas análises que a concepção compreensiva de função de Frege e a função proposicional de Russell são generalizações de uma importante aquisição do pensamento matemático, qual seja, a ideia de função, e que a conceitografia e as teorias dos tipos e das descrições, por sua vez, constituem a exploração metódica daquilo que essas generalizações acarretam. Conclui-se, finalmente, que embora existam diferenças expressivas entre as concepções de função de Frege e Russell, um padrão de rigor associado a reflexões mais amplas sobre a natureza do significado emerge em meio às investigações que empreenderam sobre a noção de função: a função fregiana e a função proposicional são as entidades que participam de suas respectivas relações de significado e cuja natureza é precisada no âmbito dessas relações / This work presents a case study about the conceptual and methodological development of Mathematics by the examination and comparison of function conceptions in the thinking of Gottlob Frege and Bertrand Russell. Particularly, we discuss the fregean extension of mathematical idea of function, the russellian notion of propositional function and their philosophical assumptions and implications. The basis for this study is a analisys of the authors' books on the foundations of Mathematics and some other authors' writings, included among these some posthumous publications. From this analisys we conclude that the comprehensive function concept of Frege and the Russell's propositional function are both generalizations of an important acquisition of mathematical thought, namely the idea of function, and that the conceptography, the type theory and the theory of descriptions, in turn, constitute the methodical exploration of what these generalizations imply. Finally, we conclude that, though there are expressives differences between the function conceptions of Frege and Russell, a pattern of rigour associated with more wide reflections on the nature of meaning emerges from their investigations of the concept of function: the fregian function and the propositional function are the entities that participate of their respective meaning relations and whose nature is explained by these relations

Esta dissertação tem como objetivo compreender como a distinção entre conceito e objeto opera no sistema fregeano de modo a autorizar ou não alguma concepção de inexpressabilidade como característica fundamental da lógica. O problema de fundo é determinar em que sentido distinções entre categorias lógicas, especificamente a distinção entre conceito e objeto, envolvem algum tipo de inexpressabilidade. A questão é abordada com foco no problema do estatuto da proposição “O conceito cavalo não é um conceito”. Tratamos do problema através da apresentação de duas alternativas que envolvem um esforço de formalização da proposição. A primeira alternativa insere-se numa tradição de comentários que aproxima as considerações de Frege sobre essa proposição a certas ideias do Tractatus de Wittgenstein, atribuindo à proposição o estatuto de contrassenso. A segunda alternativa problematiza, pelo menos em parte, a primeira, ao trazer razões para a consideração da afirmação como uma proposição com sentido. Refletindo sobre as duas alternativas, consideramos que há mais de uma maneira de conceber a ideia de inexpressabilidade da lógica presente nas obras de Frege. / This work aims to understand how the distinction between concept and object works in the fregean system in such a way as to authorize some conception of inexpressibility as a fundamental feature of logic. The background problem is to ascertain how distinctions between logical categories, specifically the distinction between concept and object, involve some kind of inexpressibility. Our approach to the question focuses on the problem of the status of the proposition ‘The concept horse is not a concept’. Two alternatives are shown here that involve an effort of formalization of this proposition. The first alternative is part of a tradition of Frege’s exegesis that approximates Frege’s considerations about this proposition to certain ideas of Wittgenstein's Tractatus, assigning to the proposition the status of nonsense. The second alternative probematizes the first one at least in part by bringing reasons to considerate the statement as a proposition with sense. Reflecting on the two alternatives, we believe that there is more than one way of conceiving the idea of inexpressibility of logic in the works of Frege.

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.