Graças a Deus Frege

Graças a Deus Frege (1878)

Friedrich Ludwig Gottlob Frege (nascido em 8 de novembro de 1848 em Wismar ; † 26 de julho de 1925 em Bad Kleinen ) foi um lógico , matemático e filósofo alemão .

Sua notável conquista no campo da lógica é ser o primeiro a desenvolver uma linguagem formal e, relacionada a ela, evidências formais . Com isso, ele criou uma base essencial para de hoje a tecnologia do computador e informática , bem como para métodos formais em linguística semântica .

No campo da filosofia, suas reflexões sobre a filosofia da linguagem foram extremamente influentes. Ele influenciou diretamente, entre outros, Rudolf Carnap , que estudou com ele, Bertrand Russell e Ludwig Wittgenstein . Frege é considerado um dos principais pioneiros da filosofia analítica , uma das correntes mais importantes da filosofia do século XX .

biografia

Pais e antepassados

Gottlob Frege era filho de Karl Alexander Frege (* 1809 em Hamburgo ; † 1866) e Auguste Wilhelmine Sophia Bialloblotzky (* 1815 em Pattensen ; † 1898). O casamento dos pais ocorreu em 1846. O pai de Frege era professor e diretor do Wismar Lyceum , uma escola secundária particular para meninas que ele mesmo fundou. Em particular, aulas elementares de alto alemão novo eram dadas lá (além de aulas de religião, francês, história, história natural, geografia e aritmética) para as filhas que originalmente falavam baixo alemão (a idade inicial era oito). Karl Alexander Frege também publicou uma nova gramática do alto alemão em 1862. A mãe de Frege, Auguste, foi professora lá desde 1843 e, mais tarde, após a morte de seu marido em 1866, dirigiu com sucesso a escola para meninas fundada por seu marido por dez anos. Seu pai foi Heinrich Sigmund Bialloblotsky (1757-1828), que foi superintendente em Pattensen e desde 1822 em Wunstorf . A família Bialloblotzky veio da família nobre polonesa Ogonceyk, que emigrou da Polônia para a Alemanha (Seehausen perto de Wittenberg) no século 17 por razões de fé. A avó materna de Frege era filha do superintendente Ludwig Wilhelm Ballhorn, que traçou sua linhagem até Philipp Melanchthon . Outros ancestrais de Freges foram seu tio materno, o explorador da África, diretor, pastor e missionário Christoph Heinrich Friedrich Bialloblotsky (1799-1869) e seu avô paterno, o comerciante e cônsul saxão em Hamburgo Christian Gottlob Frege (1779-1811), que com a filha de um corretor de imóveis Printz era casada. Ele vinha de uma conhecida família de banqueiros de Leipzig (ver Christian Gottlob Frege ).
Frege também tinha um irmão Arnold Frege (* 1852).

A casa onde nasceu na Böttcherstraße 2 em Wismar, que o pai comprou em 1846, foi destruída na Segunda Guerra Mundial.

educação e profissão

Frege frequentou a escola primária Große Stadtschule Wismar . Um de seus professores, Leo Sachse, aparentemente teve uma grande influência sobre ele. O nome "Leo Sachse" é mais tarde usado em exemplos nos escritos de Frege. Depois que seu pai morreu em 1866, Frege começou seus estudos na Universidade de Jena em 1869 por conselho de Saxe . Entre outros, Ernst Abbe , que apoiou Frege em sua carreira científica, e o filósofo Kuno Fischer , cujas idéias Frege tratou intensamente, ensinaram aqui.

Em 1871, Frege mudou-se para a Universidade de Göttingen , onde apresentou sua tese de doutorado em 1873 sobre uma representação geométrica de estruturas imaginárias no plano . Frege voltou para Jena , onde ele em 1874 quando Abbe no assunto de métodos de contabilidade, que se baseiam em uma extensão do tamanho do prazo habilitado . Ele ensinou como professor particular . Em 1879 foi nomeado professor associado.

Em 1887, Frege casou-se com Margarete Lieseberg, filha do empresário Heinrich Lieseberg de Grevesmühlen . O casamento continuou sem filhos (de acordo com outras fontes, eles tiveram pelo menos dois filhos que morreram jovens), e o casal Frege adotou um menino, Paul Otto Alfred Frege (anteriormente Paul Otto Alfred Fuchs).

Em 1895, Frege foi eleito membro da Leopoldina . Em 1896, Frege foi nomeado professor honorário titular em Jena e lecionou lá - pouco notado pelos alunos e colegas - até sua aposentadoria em 1917. O único aluno importante de Frege foi Rudolf Carnap , que mais tarde continuou seu trabalho de várias maneiras e o divulgou. Afinal, Frege teve contato científico com as do Prêmio Nobel vencedores Rudolf Eucken e Bertrand Russell .

O trabalho científico de Frege entrou em séria crise em 1902 com a descoberta do paradoxo de Russell (ver também a seção sobre matemática ). Em 1903, Frege admitiu no epílogo de suas leis básicas da aritmética que Russell havia "abalado os fundamentos de sua estrutura".

Túmulo de Gottlob Frege, cemitério de Wismar

Em 1904, a esposa de Frege, Margarete, morreu.
Nos anos seguintes, Frege caiu em uma depressão , que se expressou, entre outras coisas, no fato de que ele não publicou mais nenhuma obra importante. Só depois de sua aposentadoria reapareceu uma série de três investigações lógicas relacionadas: O Pensamento (1918), A Negação (1918) e Pensamentos (1923). Ele havia superado pelo menos parcialmente a crise de sua vida. Na parte de seu diário publicado em 1994 a partir da propriedade (para 1924), existem anti- democrática , anti- católica , anti- Francês e anti-semitas observações; no entanto, Frege provavelmente nunca fez uma aparição política em público. Frege passou seus primeiros anos em Bad Kleinen , perto de sua cidade natal, Wismar.

Ele foi enterrado no cemitério de Wismar , onde uma estela de informações o comemora.

A propriedade de Frege veio para Münster em 1935 por iniciativa de Heinrich Scholz , onde uma grande parte dela foi destruída em um bombardeio em março de 1945.

Honras

ato

lógica

A página de título da escrita conceitual

Depois que a silogística fundada por Aristóteles foi considerada a forma mais exata de raciocínio lógico desde a Antiguidade, a revolucionária “escrita conceitual ” de Frege de 1879 deu início a uma nova era na história da lógica. Nesta publicação desenvolveu uma nova lógica de forma axiomática , que já constituía o núcleo da lógica formal moderna , nomeadamente uma lógica de predicados de segundo nível com o conceito de identidade .

Junto com George Boole e Ernst Schröder, Frege foi um daqueles lógicos do século 19 que lançou as bases para a pesquisa nas bases da matemática , melhorando a lógica . De acordo com Wilhelm Ackermann e David Hilbert , que freqüentemente se referiam a seus escritos em seus trabalhos, a contribuição mais importante de Frege é o "cumprimento da necessidade matemática de fundamentos exatos e tratamento axiomático estrito".

matemática

Na filosofia da matemática, Frege emergiu como um crítico agudo das abordagens encontradas: nos fundamentos da aritmética há uma análise extensa e influente , especialmente das teorias de Immanuel Kant , que entende as sentenças aritméticas como julgamentos sintéticos a priori , e John Stuart Mills , pois as sentenças aritméticas são leis gerais da natureza confirmadas pela experiência .

Além disso, Frege foi o fundador de um novo programa matemático-filosófico, o lógico , segundo o qual as proposições da aritmética podem ser rastreadas até verdades lógicas. Este programa é descrito informalmente nos Fundamentos da Aritmética e executado de maneira estritamente formal nas últimas Leis Fundamentais da Aritmética .

O sistema de logicismo, entretanto, continha uma contradição , a chamada antinomia russeliana , como Frege aprendeu em uma famosa carta de 1902 de Bertrand Russell. Frege viu o trabalho de sua vida fracassar e resignadamente se afastou da lógica. No entanto, seu trabalho lançou as bases sobre as quais outros, especialmente Russell, poderiam construir e concluir o programa de logística.

filosofia

Busto de bronze de Wismar Marienkirche Gottlob Frege (01-1) .JPG

No campo da filosofia da linguagem, Frege diferencia entre um sentido e um significado que são atribuídos a todos os signos linguísticos. A terminologia de Frege difere do uso comum e, portanto, é um tanto enganosa, porque por significado ele quer dizer a referência ou referência de uma expressão, enquanto seu significado está próximo do que normalmente é referido como significado . Frege conhece basicamente três tipos diferentes de expressões linguísticas: nomes próprios, frases e expressões conceituais. Para cada um desses tipos, uma distinção pode ser feita entre sentido e significado:

  • Nomes próprios: para Frege, nomes próprios são expressões que se referem a exatamente um objeto. Um nome próprio pode ser simples como "Vênus" ou complexo como "o primeiro homem na lua". O significado de um nome próprio é o objeto que ele designa. O significado de um nome próprio reside na "forma como é dado", como diz Frege. As duas expressões "3 + 5" e "10 - 2" designam o número 8, portanto, têm o mesmo significado de acordo com Frege. Mas eles têm significados diferentes, porque dão o número 8 de formas diferentes (uma vez como resultado de uma adição, uma vez como resultado de uma subtração).
  • Sentenças: Segundo Frege, o sentido de uma frase é o "pensamento" por ela expresso. Este pensamento deve ser entendido como conteúdo objetivo, Frege expressamente se recusa a equiparar o pensamento a uma mera “ideia”. Segundo Frege, todos os que entendem uma frase têm o mesmo pensamento, mas podem ter ideias diferentes.
    Ao determinar o significado das frases, Frege faz uso do mais tarde denominado princípio de Frege , que afirma que o significado de uma frase não muda se um de seus componentes for substituído por uma expressão com o mesmo significado. Se substituirmos o nome próprio “Neil Armstrong” na frase verdadeira “ Neil Armstrong era americano” com o mesmo significado “o primeiro homem na lua”, teremos “O primeiro homem na lua era americano”, outra frase verdadeira. Visto que a verdade ou falsidade das sentenças normalmente não muda quando as expressões são substituídas por expressões com o mesmo significado (veja abaixo), Frege primeiro define os chamados "valores verdadeiros", o verdadeiro e o falso, como o significado das sentenças. De acordo com Frege, todas as sentenças verdadeiras têm o mesmo significado, assim como todas as sentenças falsas. (Esta tese inicialmente bastante contra-intuitiva de que há apenas dois significados possíveis para as sentenças é freqüentemente justificada hoje com o recurso ao chamado argumento do estilingue .)
    Como já indicado, a preservação do valor de verdade ao substituir expressões com o mesmo significado só se aplica em casos normais. No entanto, as frases "Frank acredita que Neil Armstrong é americano" e "Frank acredita que o primeiro homem na lua é americano" não têm necessariamente o mesmo valor de verdade (especialmente se Frank não sabe que Neil Armstrong é o primeiro homem na lua), embora também aqui uma expressão tenha sido substituída por uma equivalente. Frege, portanto, diz que as orações subordinadas que dependem de verbos como "acreditar" estão em " linguagem estranha ". As frases só têm valores de verdade como significados quando estão em discurso direto. Em linguagem estranha, o significado de uma frase de acordo com Frege é o pensamento que ela expressa. O significado de uma frase em linguagem ímpar é, portanto, o mesmo que seu significado em par.
  • Expressões conceituais . Uma expressão de termo surge do fato de que um nome próprio é omitido de uma frase. Ao omitir o nome próprio “Berlim” na frase “Berlim é uma capital”, surge o termo “() é uma capital”. Frege também chama essas expressões de “insaturadas”, o que ele quer dizer para dizer que elas precisam ser completadas com um nome próprio. O significado de uma frase do termo é um conceito. Para Frege, esta é uma função cujos valores são valores de verdade. Se a função “() é uma capital” for aplicada a Paris, por exemplo, então ela entrega o valor de verdade verdadeiro (porque “Paris é uma capital” é verdade), para Frankfurt ela entrega o errado (porque “Frankfurt é uma capital ”é falso). Não há muito a ser descoberto sobre o significado de uma expressão de termo em Frege, mas pode-se supor que ele entende algo como a definição do termo correspondente.

Funciona

Mais textos
  • Gottlob Frege: Escrita conceitual. 1879. (Reimpressão: Olms, Hildesheim 1998, ISBN 3-487-00623-5 )
  • Gottfried Gabriel , Friedrich Kambartel e Christian Thiel (eds.): Correspondência de Gottlob Frege com D. Hilbert, E. Husserl, B. Russell, bem como cartas individuais selecionadas de Frege. Meiner, Hamburgo 1980, ISBN 3-7873-0482-7 .
  • ——. Leis básicas da aritmética. 2 vols. 1893-1903. (Reimpressão: Olms, Hildesheim 1998, ISBN 3-487-09802-4 )
  • Christian Thiel (Ed.): Os fundamentos da aritmética. 1884. (Reimpressão: Meiner, Hamburgo 1988, ISBN 3-7873-0719-2 )
  • Gottfried Gabriel (ed.): Escritos sobre lógica e filosofia da linguagem: Do patrimônio. 4ª edição. Meiner, Hamburgo 2001, ISBN 3-7873-1575-6 .
  • Max Steck : Cartas desconhecidas de Frege sobre os fundamentos da geometria e a resposta de Hilbert a Frege . In: Relatórios de reuniões da Academia de Ciências de Heidelberg (aula de matemática e ciências naturais) , nascida em 1941, segundo tratado (discutido por Heinrich Scholz no Zentralblatt für Mathematik , setembro de 1942).
  • Mark Textor (Ed.): Função - Conceito - Significado. Vandenhoeck & Ruprecht, Göttingen 2002, ISBN 3-525-30603-2 .
  • ——. [Diário]. In: revista alemã de filosofia. [DZfPh], Berlin 42 (1994) 6, pp. 1067-1098.

literatura

  • Michael Dummett : Frege. Filosofia da linguagem. Duckworth, Londres 1973.
  • Michael Dummett: Frege. Filosofia da Matemática. Duckworth, Londres 1991.
  • Karsten Engel: a correspondência de Frege com Hilbert. Expressão de uma revolução matemático-filosófica ou: Como iniciar um debate científico. In: Karsten Engel (ed.): Science in correspondence. Göttingen história do conhecimento nas letras , Vandenhoeck & Ruprecht, Göttingen 2019, ISBN 978-3-525-34034-9 .
  • Gottfried Gabriel, Wolfgang Kienzler (eds.). Frege em Jena. Contribuições para obtenção de evidências. Königshausen & Neumann, Würzburg 1997, ISBN 3-8260-1440-5 . (= Critical Yearbook of Philosophy Vol. 2, 1997)
  • Hans Hermes :  Frege. Friedrich Ludwig Gottlob. In: Nova Biografia Alemã (NDB). Volume 5, Duncker & Humblot, Berlin 1961, ISBN 3-428-00186-9 , pp. 390-392 (versão digitalizada ).
  • Edward Kanterian: Frege. Um guia para os perplexos. Continuum, 2012 Londres, ISBN 0-8264-8764-5 .
  • Anthony Kenny: Frege. Uma introdução ao fundador da filosofia analítica moderna. Blackwell, 2000 Oxford, ISBN 0-631-22231-6 .
  • Lothar Kreiser : Gottlob Frege: Vida - Trabalho - Tempo. Meiner, Hamburgo 2001, ISBN 3-7873-1668-X .
  • Wolfgang Künne : A lógica filosófica Gottlob Freges. Klostermann, Frankfurt am Main 2010, ISBN 978-3-465-04062-0 .
  • Franz von Kutschera : Gottlob Frege: Uma introdução ao seu trabalho. de Gruyter, Berlin 1989, ISBN 3-11-012129-8 .
  • Verena Mayer: Graças a Deus, Frege. Beck, Munich 1996, ISBN 3-406-38933-3 .
  • Richard L. Mendelsohn: A Filosofia de Gottlob Frege. Cambridge University Press, Cambridge 2005, ISBN 0-521-83669-7 .
  • B. van Rotselaar: Frege, Friedrich Ludwig Gottlob . In: Charles Coulston Gillispie (Ed.): Dicionário de Biografia Científica . fita 5 : Emil Fischer - Gottlieb Haberlandt . Charles Scribner's Sons, New York 1972, p. 152-155 .
  • Hans D. Sluga: Gottlob Frege. O argumento dos filósofos. Routledge, London / New York, 1980, ISBN 0-415-20374-0 .
  • Markus Stepanians: Gottlob Frege para uma introdução. Junius, Hamburgo 2001, ISBN 3-88506-347-6 .
  • Rainer Stuhlmann-Laeisz: Gottlob Freges Investigações Lógicas: Apresentação e Interpretação. Conhecimento Buchges., Darmstadt 1995 (interpretações de trabalho), ISBN 3-534-10513-3 .
  • Christian Thiel: Frege. In: Jürgen Mittelstraß (Hrsg.): Enciclopédia Filosofia e Filosofia da Ciência. Vol. 2, Metzler, Stuttgart 2005, ISBN 3-476-02101-7 , pp. 553-558.
  • Christian Thiel: Frege e a pesquisa básica moderna. Hain, Meisenheim am Glan 1975, ISBN 3-445-11224-X .
  • Matthias Wille: Frege. Introdução e textos . Fink, Paderborn 2013, ISBN 978-3-8252-3849-0 . (UTB 3849)
  • Matthias Wille: Em grande parte desconhecido. Graças a Deus Frege e fama póstuma . mentis, Münster 2016, ISBN 978-3-95743-055-7 .
  • Michael Wolff : Gottlob Frege (1848–1925). In: Otfried Höffe (Ed.): Classics of Philosophy. Volume 2, C. H. Beck, Munich 2008, ISBN 978-3-406-56802-2 , pp. 180-193.

Links da web

Commons : Gottlob Frege  - Coleção de imagens, vídeos e arquivos de áudio
Wikiquote: Gottlob Frege  - citações
Wikisource: Gottlob Frege  - Fontes e textos completos

Evidência individual

  1. ↑ Lothar Kreiser, Gottlob Frege - Life, Work, Time, Felix Meiner Verlag 2001, p. 4. Há também as datas de vida da mãe, para quem 1878 é às vezes erroneamente atribuído como o ano da morte
  2. ↑ Lothar Kreiser, as fontes extra-científicas de Frege de seu pensamento lógico, em: Ingolf Max, Werner Stelzner (ed.), Logic and Mathematics, Frege Colloquium Jena 1993, De Gruyter 1995, p. 219
  3. ^ Lothar Kreiser, em: Frege em Jena. Contributions to the search for traces, Gottfried Gabriel, Wolfgang Kienzler (ed.), Critical Yearbook of Philosophy 2, 1997, Thuringian Society for Philosophy Jena, Würzburg: Königshausen e Neumann, página 71. Ele cita o livro de gênero da Baixa Saxônia.
  4. ↑ ADB
  5. ↑ Hans Hermes, entrada Frege no NDB
  6. ↑ Johannes Hohlfeld e Volkmar Weiss: Sobre o círculo do casamento e os laços urbanos da propriedade e da classe média educada. O exemplo de Frege em Leipzig 1744-1944 . In: Genealogy 52nd year (2003) pp. 513-530
  7. ↑ Havia vários membros importantes da família com o primeiro nome de Christian Gottlob
  8. ↑ Hans Hermes, artigo Frege no NDB, provavelmente não há filhos
  9. ↑ Graças a Deus, Frege. In: Internet Encyclopedia of Philosophy .
  10. ↑ Inscrição de membro de Gottlob Frege na Academia Alemã de Ciências Leopoldina , acessada em 5 de abril de 2015.
  11. ↑ Gottlob Frege: [Diário]. In: revista alemã de filosofia. [DZfPh], Berlin 42 (1994), pp. 1067-1098.
  12. ↑ Yvonne Sherratt: filósofos de Hitler. New Haven, Connecticut; Yale University Press, London 2012, ISBN 978-0-300-15193-0
  13. ↑ Se agora substituirmos uma palavra na [frase] por outra com o mesmo significado, mas com um significado diferente, isso não pode ter qualquer influência no significado da frase. - Frege: Sobre sentido e significado . In: Frege: função, conceito, significado. Göttingen 1980, p. 47.
dados pessoais
SOBRENOME Frege, graças a Deus
NOMES ALTERNATIVOS Frege, Friedrich Ludwig Gottlob (nome completo)
DESCRIÇÃO BREVE Lógico, matemático e filósofo alemão
DATA DE NASCIMENTO 8 de novembro de 1848
LOCAL DE NASCIMENTO Wismar
DATA DA MORTE 26 de julho de 1925
Lugar da morte Pequeninos malvados