Begriffsschrift
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. From The Begriffsschrift To "Über Sinn Und Bedeutung": Frege As Epistemologist And Ontologist
ABSTRACT Frege presents the eponymous distinction of "Über Sinn und Bedeutung" (USB) as a correction to the theory of identity he held in the Begriffsschrift.1 His retrospective assessment has prompted different reactions from commentators. Many have simply taken him at his word.2 Others, who have lingered over the relevant texts, have encountered a difficu
Manuscrito. Publicado em: 2016-09
-
2. An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus / Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda
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 contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
3. Uma avaliação da estrutura de tipos presente na terceira seção da begriffsschrift, à luz do cálculo lambda / An assessment of structure types present in the third section of Begriffsschrift in light of the lambda calculus
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 contra
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/11/2010
-
4. LÓGICA E ARITMÉTICA NA FILOSOFIA DA MATEMÁTICA DE FREGE / LOGIC AND ARITHMETIC IN FREGE´S PHILOSOPHY OF MATHEMATICS
Nos Fundamentos da Aritmética (parágrafo 68), Frege propõe definir explicitamente o operador-abstração ´o número de...´ por meio de extensões e, a partir desta definição, provar o Princípio de Hume (PH). Contudo, a prova imaginada por Frege depende de uma fórmula (BB) não provável no sistema em 1884. Acreditamos que a distinção entre sentido
Publicado em: 2009
-
5. Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica / A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu resp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2007