Made available in DSpace on 2014-07-29T15:06:26Z (GMT). No. of bitstreams: 1 Dissertacao Mestrado Hiury Correia.pdf: 634437 bytes, checksum: cf6fd2233508dfe9b0a574d4f162b2ba (MD5) Previous issue date: 2010-11-20 / Our dissertation s theme is the Idea that, buried in Frege s unfriendly Logical notation, one finds the notion of abstraction as a key ingredient of his Begriffsschrift. This runs contrary to the ordinary appraisal, such as the one found in Van Heijenoort s introduction to that article. It runs also contrary to Frege s refusal of the possibility of referring to unsaturated entities. Still, we argue that the notion seems to be part both of Frege s philosophical positions such as the idea of quantification as second order predication and of Frege s logical practices. / O tema da nossa dissertação é a idéia de que, por trás da idiossincrática notação lógica utilizada por Frege, podemos encontrar a noção de abstração como componente fundamental de sua Begriffsschrift. Tal posição vai contra a concepção ordinária, como, por exemplo, a que encontramos na introdução de Van Heijenoort àquela obra. Ela contraria, também, a rejeição de Frege à possibilidade de se referir a entidades insaturadas. Argumentamos que a noção de abstração aparece tanto como parte das posições filosóficas de Frege como, por exemplo, a idéia de que a quantificação é uma predicação de segunda ordem como, também, de sua prática lógica.

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.

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.

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.