Made available in DSpace on 2015-03-04T21:02:09Z (GMT). No. of bitstreams: 0 Previous issue date: 29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O tema central deste trabalho é a semântica das expressões denotativas nas teorias de Frege e Carnap. O texto está dividido em três capítulos: no primeiro, a teoria do significado de Frege, que estabelece a distinção entre sentido e significado, é investigada; no segundo capítulo é exposto o contexto histórico do Círculo de Viena e as duas fases que antecederam a fase semântica de Carnap; e no terceiro capítulo discute-se a influência da teoria semântica da verdade de Tarski sobre Carnap e o método carnapiano de extensão e intensão. A tese central defendida aqui é que embora Carnap, dentre outros, tenha razão em criticar a reificação dos valores de verdade, o objetivo das teorias de Frege e Carnap devem ser distinguidos e isso é fundamental para justificar a opção teórica de Frege. / The main subject of this work is the semantics of denoting expressions in Frege’s and Carnap’s theories. The text is divided in three chapters. In the first one, Frege’s theory of meaning, which distinguishes between “sense” and “meaning”, is scrutinized. In the second chapter, the historical context of the Vienna Circle and the two periods which have preceded Carnap’s semantical phase is studied. Finally, in the third chapter, Tarki’s influence on Carnap and Carnap’s method of intension and extension are discussed. The main thesis of this dissertation is that although Carnap and others my be justified in criticizing Frege’s reification of truth-values, the aim of both theories should be distinguished, which is central to justify Frege’s theoretical option.

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.

In order to understand the implications of Frege's Grundlagen der Arithmetik, we must bear in mind that Frege saw logic as an overarching discipline, necessary for all scientific enquiry. This consideration allows us to make sense of his logicism, the idea that arithmetic is embedded in logic, and his platonism, the commitment to the mind-independent nature of arithmetic objects, such as numbers. In 1902, Russell generated a paradox from Basic Law (V), found in the first volume of Grundgesetze, which suggested that Frege's entire logical system was inconsistent. Recent work by Boolos and Wright, have fenced off the damage and shown that the bulk of Frege's work is consistent. I shall argue, however, that their proposed solutions prove unsatisfactory with respect to Frege's view of logic and especially his logicism.

Univ., Habil.-Schr.--Augsburg, 2004.

Thesis (Ph. D.)--University of Chicago, Committee on the History of Culture, March 2000. / Includes bibliographical references. Also available on the Internet.

El Enigma de Frege es considerado como uno de los principales problemas al que se enfrenta el millianismo. Como se sabe, el millianismo sostiene que el significado de un nombre propio es simplemente su referente. Dicho brevemente, el problema consiste en explicar por qué dos oraciones de identidad que contienen nombres propios co-referenciales (por ejemplo, “Mark Twain es Samuel Clemens” y “Mark Twain es Mark Twain”) parecen tener distinto valor informativo, esto es, por qué una de las oraciones parece ser trivial mientras que la otra parece ser informativa. El propósito del presente trabajo es mostrar que el millianismo puede responder de manera plausible al Enigma de Frege haciendo uso de la distinción entre la proposición semánticamente expresada por una oración y la(s) proposición(es) pragmáticamente impartida(s) por el uso o la emisión de una oración. El trabajo consta de tres capítulos. En el primer capítulo planteo el Enigma de Frege, explico cuáles son los principios presupuestos al plantear el problema y expongo qué respuesta le dio Frege al Enigma de Frege. En el segundo capítulo expongo los argumentos anti-descriptivistas de Kripke que pusieron en duda la respuesta que dio Frege al Enigma de Frege. En el tercer capítulo expongo un intento milliano por responder al Enigma de Frege que consiste en distinguir entre la proposición semánticamente expresada por una oración y la(s) proposición(es) pragmáticamente impartida(s) por el uso o la emisión de una oración, y, finalmente, evalúo si haciendo uso de esta distinción el millianismo responde de manera plausible al Enigma de Frege. / Tesis

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.

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.