Frege nasceu em 1848 em Wismar, Mecklemburgo-Schwerin (hoje parte de Mecklemburgo-Pomerânia Ocidental no norte da Alemanha). Seu pai, Carl (Karl) Alexander Frege (1809–1866), foi cofundador e diretor de uma escola secundária para meninas até sua morte. Após a morte de Carl, a escola foi liderada pela mãe de Frege, Auguste Wilhelmine Sophie Frege (nascida Bialloblotzky, 12 de janeiro de 1815 – 14 de outubro de 1898); sua mãe era Auguste Amalia Maria Ballhorn, uma descendente de Philipp Melanchthon e seu pai era Johann Heinrich Siegfried Bialloblotzky. Frege era luterano.
Na infância, Frege encontrou filosofias que guiariam sua futura carreira científica. Por exemplo, seu pai escreveu um livro didático sobre a língua alemã para crianças de 9 a 13 anos, intitulado "Hülfsbuch zum Unterrichte in der deutschen Sprache für Kinder von 9 bis 13 Jahren" (2ª ed., Wismar 1850; 3ª ed., Wismar e Ludwigslust: Hinstorff, 1862) (Livro de ajuda para o ensino de alemão para crianças de 9 a 13 anos), cuja primeira seção tratava da estrutura e lógica da linguagem.
Frege estudou na de e se formou em 1869. O professor de matemática e ciências naturais Gustav Adolf Leo Sachse (1843–1909), que também era poeta, desempenhou um papel importante na determinação da futura carreira científica de Frege, incentivando-o a continuar seus estudos em sua própria alma mater, a Universidade de Jena.
Estudos universitários (1869–1874)
Frege matriculou-se na Universidade de Jena na primavera de 1869 como cidadão da Confederação da Alemanha do Norte. Nos quatro semestres de seus estudos, ele frequentou aproximadamente vinte cursos de palestras, a maioria sobre matemática e física. Seu professor mais importante foi Ernst Karl Abbe (1840–1905; físico, matemático e inventor). Abbe ministrou palestras sobre teoria da gravidade, galvanismo e eletrodinâmica, análise complexa teoria de funções de uma variável complexa, aplicações da física, divisões selecionadas da mecânica e mecânica dos sólidos. Abbe era mais do que um professor para Frege: era um amigo de confiança e, como diretor da fabricante óptica Carl Zeiss AG, estava em posição de avançar na carreira de Frege. Após a graduação de Frege, eles entraram em correspondência mais próxima.
A partir de 1871, Frege continuou seus estudos em Göttingen, a principal universidade em matemática nos territórios de língua alemã, onde frequentou as palestras de Alfred Clebsch (1833–1872; geometria analítica), Ernst Christian Julius Schering (1824–1897; teoria de funções), Wilhelm Eduard Weber (1804–1891; estudos físicos, física aplicada), Eduard Riecke (1845–1915; teoria da eletricidade) e Hermann Lotze (1817–1881; filosofia da religião). Muitas das doutrinas filosóficas do Frege maduro têm paralelos em Lotze; tem sido objeto de debate acadêmico se houve ou não uma influência direta nas visões de Frege decorrente de sua participação nas palestras de Lotze.
Em 1873, Frege obteve seu doutorado sob Schering.
Frege casou-se com Margarete Katharina Sophia Anna Lieseberg (15 de fevereiro de 1856 – 25 de junho de 1904) em 14 de março de 1887. O casal teve pelo menos dois filhos, que morreram quando jovens. Anos depois, adotaram um filho, Alfred. Pouco mais se sabe sobre a vida familiar de Frege, no entanto.
Casa de Frege em Forstweg 29 em Jena, compartilhada com seu vizinho Rudolf Hirzel
Embora sua educação e trabalho matemático inicial tenham se concentrado principalmente em geometria, o trabalho de Frege logo se voltou para a lógica. Sua Citação: marcou um ponto de virada na história da lógica. O Begriffsschrift abriu novos caminhos, incluindo um tratamento rigoroso das ideias de funções e variáveis. O objetivo de Frege era mostrar que a matemática cresce a partir da lógica e, ao fazê-lo, ele desenvolveu técnicas que o separaram da silogística aristotélica, mas o aproximaram da lógica proposicional estoica.
Página de rosto do Begriffsschrift (1879)
De fato, Frege inventou a lógica de predicados axiomática, em grande parte graça à sua invenção de variáveis quantificadas, que eventualmente se tornaram onipresentes na matemática e lógica, e que resolveram o problema da generalidade múltipla. A lógica anterior lidava com as constantes lógicase, ou, se... então..., não e alguns e todos, mas iterações dessas operações, especialmente "alguns" e "todos", eram pouco compreendidas: mesmo a distinção entre uma frase como "todo menino ama alguma menina" e "alguma menina é amada por todo menino" só poderia ser representada de forma muito artificial, enquanto o formalismo de Frege não tinha dificuldade em expressar as diferentes leituras de "todo menino ama alguma menina que ama algum menino que ama alguma menina" e frases semelhantes, em paralelo completo com seu tratamento de, digamos, "todo menino é tolo".
Um exemplo frequentemente observado é que a lógica de Aristóteles é incapaz de representar declarações matemáticas como o teorema de Euclides, uma declaração fundamental da teoria dos números de que há um número infinito de números primos. A "notação conceitual" de Frege, no entanto, pode representar tais inferências. A análise de conceitos lógicos e a maquinaria de formalização que é essencial para Principia Mathematica (3 vols., 1910–1913, por Bertrand Russell, 1872–1970, e Alfred North Whitehead, 1861–1947), para a teoria das descrições de Russell, para os teoremas da incompletude de Kurt Gödel (1906–1978) e para a teoria da verdade de Alfred Tarski (1901–1983), deve-se em última análise a Frege.
Um dos propósitos declarados de Frege era isolar princípios de inferência genuinamente lógicos, de modo que na representação adequada da prova matemática, não se apelasse em momento algum para "intuição". Se houvesse um elemento intuitivo, ele deveria ser isolado e representado separadamente como um axioma: a partir daí, a prova deveria ser puramente lógica e sem lacunas. Tendo exibido essa possibilidade, o propósito maior de Frege era defender a visão de que a aritmética é um ramo da lógica, uma visão conhecida como logicismo: ao contrário da geometria, a aritmética deveria ser mostrada como não tendo base na "intuição" e não necessitando de axiomas não lógicos. Já no Begriffsschrift de 1879, teoremas preliminares importantes, por exemplo, uma forma generalizada da lei da tricotomia, foram derivados dentro do que Frege entendia ser lógica pura.
Essa ideia foi formulada em termos não simbólicos em seu The Foundations of Arithmetic (Die Grundlagen der Arithmetik, 1884). Mais tarde, em seu Basic Laws of Arithmetic (Grundgesetze der Arithmetik, vol. 1, 1893; vol. 2, 1903; vol. 2 foi publicado às suas próprias custas), Frege tentou derivar, usando seu simbolismo, todas as leis da aritmética a partir de axiomas que ele afirmou como lógicos. A maioria desses axiomas foi transportada de seu Begriffsschrift, embora não sem algumas mudanças significativas. O único princípio verdadeiramente novo foi um que ele chamou de Lei Básica V: a "faixa de valores" da função f(x) é a mesma que a "faixa de valores" da função g(x) se e somente se ∀x[f(x) = g(x)].
O caso crucial da lei pode ser formulado em notação moderna da seguinte forma. Seja {x|Fx} denotar a extensão do predicadoFx, isto é, o conjunto de todos os Fs, e similarmente para Gx. Então a Lei Básica V diz que os predicados Fx e Gx têm a mesma extensão se e somente se ∀x[Fx ↔ Gx]. O conjunto de Fs é o mesmo que o conjunto de Gs apenas no caso de todo F ser um G e todo G ser um F. (O caso é especial porque o que está sendo chamado de extensão de um predicado, ou um conjunto, é apenas um tipo de "faixa de valores" de uma função.)
Em um famoso episódio, Bertrand Russell escreveu para Frege, logo quando o Vol. 2 do Grundgesetze estava prestes a ir para impressão em 1903, mostrando que o paradoxo de Russell poderia ser derivado da Lei Básica V de Frege. É fácil definir a relação de pertinência de um conjunto ou extensão no sistema de Frege; Russell então chamou a atenção para "o conjunto de coisas x que são tais que x não é um membro de x". O sistema do Grundgesetze implica que o conjunto assim caracterizado ambos é e não é um membro de si mesmo, e é, portanto, inconsistente. Frege escreveu um apressado Apêndice de última hora para o Vol. 2, derivando a contradição e propondo eliminá-la modificando a Lei Básica V. Frege abriu o Apêndice com o comentário excepcionalmente honesto: "Dificilmente algo mais infeliz pode acontecer a um escritor científico do que ter um dos fundamentos de seu edifício abalado após o trabalho estar terminado. Esta foi a posição em que fui colocado por uma carta do Sr. Bertrand Russell, justamente quando a impressão deste volume estava chegando ao seu completion." (Esta carta e a resposta de Frege são traduzidas em Jean van Heijenoort 1967.)
O remédio proposto por Frege foi subsequentemente mostrado implicar que há apenas um objeto no universo de discurso e, portanto, é inútil (de fato, isso criaria uma contradição no sistema de Frege se ele tivesse axiomatizado a ideia, fundamental para sua discussão, de que o Verdadeiro e o Falso são objetos distintos; veja, por exemplo, Dummett 1973), mas trabalhos recentes mostraram que grande parte do programa do Grundgesetze poderia ser salvo de outras maneiras:
A Lei Básica V pode ser enfraquecida de outras maneiras. A maneira mais conhecida é devida ao filósofo e lógico matemático George Boolos (1940–1996), que era especialista no trabalho de Frege. Um "conceito" F é "pequeno" se os objetos sob F não puderem ser colocados em correspondência um-para-um com o universo de discurso, isto é, a menos que: ∃R[R é 1-para-1 & ∀x∃y(xRy & Fy)]. Agora enfraqueça V para V*: um "conceito" F e um "conceito" G têm a mesma "extensão" se e somente se nem F nem G é pequeno ou ∀x(Fx ↔ Gx). V* é consistente se a aritmética de segunda ordem for, e suffice para provar os axiomas da aritmética de segunda ordem.
A Lei Básica V pode simplesmente ser substituída pelo princípio de Hume, que diz que o número de Fs é o mesmo que o número de Gs se e somente se os Fs puderem ser colocados em uma correspondência um-para-um com os Gs. Este princípio também é consistente se a aritmética de segunda ordem for, e suffice para provar os axiomas da aritmética de segunda ordem. Este resultado é denominado teorema de Frege porque foi notado que, no desenvolvimento da aritmética, o uso da Lei Básica V por Frege é restrito a uma prova do princípio de Hume; é a partir disso, por sua vez, que os princípios aritméticos são derivados. Sobre o princípio de Hume e o teorema de Frege, veja "Frege's Logic, Theorem, and Foundations for Arithmetic".
A lógica de Frege, agora conhecida como lógica de segunda ordem, pode ser enfraquecida para a chamada lógica de segunda ordem predicativa. A lógica de segunda ordem predicativa mais a Lei Básica V é comprovadamente consistente por métodos finitísticos ou construtivos, mas pode interpretar apenas fragmentos muito fracos da aritmética.
O trabalho de Frege em lógica teve pouca atenção internacional até 1903, quando Russell escreveu um apêndice para The Principles of Mathematics afirmando suas diferenças com Frege. A notação diagramática que Frege usou não tinha antecedentes (e não teve imitadores desde então). Além disso, até que Principia Mathematica (3 vols.) de Russell e Whitehead aparecesse em 1910–1913, a abordagem dominante para a lógica matemática ainda era a de George Boole (1815–1864) e seus descendentes intelectuais, especialmente Ernst Schröder (1841–1902). As ideias lógicas de Frege, no entanto, se espalharam através dos escritos de seu aluno Rudolf Carnap (1891–1970) e outros admiradores, particularmente Bertrand Russell:2 e Ludwig Wittgenstein (1889–1951).:357
Como filósofo da matemática, Frege atacou a apelação psicologística a explicações mentais do conteúdo do julgamento do significado das sentenças. Seu propósito original estava muito longe de responder a questões gerais sobre significado; em vez disso, ele concebeu sua lógica para explorar os fundamentos da aritmética, undertaking para responder a questões como "O que é um número?" ou "A que objetos se referem as palavras-número ('um', 'dois', etc.)?" Mas ao perseguir essas questões, ele eventualmente se encontrou analisando e explicando o que é significado e, assim, chegou a várias conclusões que se mostraram altamente consequentes para o curso subsequente da filosofia analítica e da filosofia da linguagem.
O artigo de Frege de 1892, "On Sense and Reference" ("Über Sinn und Bedeutung"), introduziu sua influente distinção entre sentido ("Sinn") e referência ("Bedeutung", que também foi traduzida como "significado" ou "denotação"). Enquanto os relatos convencionais de significado tomavam as expressões como tendo apenas uma característica (referência), Frege introduziu a visão de que as expressões têm dois aspectos diferentes de significância: seu sentido e sua referência.
Referência (ou "Bedeutung") aplicava-se a nomes próprios, onde uma dada expressão (digamos a expressão "Tom") simplesmente se refere à entidade que possui o nome (a pessoa chamada Tom). Frege também sustentava que as proposições tinham uma relação referencial com seu valor de verdade (em outras palavras, uma declaração "se refere" ao valor de verdade que assume). Por outro lado, o sentido (ou "Sinn") associado a uma sentença completa é o pensamento que ela expressa. Diz-se que o sentido de uma expressão é o "modo de apresentação" do item referido, e pode haver múltiplos modos de representação para o mesmo referente.
A distinção pode ser ilustrada assim: Em seus usos ordinários, o nome "Charles Philip Arthur George Mountbatten-Windsor", que para fins lógicos é um todo não analisável, e a expressão funcional "o Rei do Reino Unido", que contém as partes significativas "o Rei de ξ" e "Reino Unido", têm o mesmo referente, a saber, a pessoa mais conhecida como Rei Charles III. Mas o sentido da palavra "Reino Unido" é uma parte do sentido da última expressão, mas nenhuma parte do sentido do "nome completo" do Rei Charles.
Essas distinções foram disputadas por Bertrand Russell, especialmente em seu artigo "On Denoting"; a controvérsia continuou até o presente, alimentada especialmente pelas famosas palestras de Saul Kripke "Naming and Necessity".
Visões políticas e antissemitismo
Em 1954, Dummett estudou as transcrições do Nachlass de Frege que sobreviveram à Segunda Guerra Mundial, incluindo fragmentos de um diário de 1924. Dummett, um ativista anti-racismo, bem como um estudioso de Frege, mais tarde contou como ficou profundamente chocado ao descobrir disso que o homem que ele "reverenciara" como "um homem absolutamente racional" era, no final de sua vida, um 'virulento anti-semita' de "opiniões de extrema direita".
Os fragmentos do diário foram finalmente publicados em 1994. com uma tradução para o inglês seguindo em 1996. Escrito no último ano de sua vida, aos 76 anos, contém oposição ao sistema parlamentar, sufrágio universal, democratas, socialismo e liberais, e hostilidade contra católicos e franceses, bem como contra os judeus. Frege pensava que os judeus deveriam pelo menos ser privados de certos direitos políticos. E, embora tivesse mantido relações amigáveis com judeus na vida real (entre seus alunos estava Gershom Scholem que muito valorizava seu ensino), Frege escreveu que seria melhor se os judeus "se perdessem, ou melhor, gostariam de desaparecer da Alemanha."
Frege confessou "que ele uma vez se considerou um liberal e era um admirador de Bismarck", mas depois simpatizou com o General Ludendorff. Em uma entrada datada de 5 de maio de 1924, Frege expressou alguma concordância com um artigo publicado no Deutschlands Erneuerung de Houston Stewart Chamberlain que elogiava Adolf Hitler. Algumas interpretações foram escritas sobre aquela época.
Personalidade
Frege foi descrito por seus alunos como uma pessoa altamente introvertida, raramente entrando em diálogos com outros e mostly de costas para a lousa durante as palestras. No entanto, era conhecido por ocasionalmente mostrar wit e até mesmo sarcasmo amargo durante suas aulas.
Em inglês: Begriffsschrift, a Formula Language, Modeled Upon That of Arithmetic, for Pure Thought, em: J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Harvard, MA: Harvard University Press, 1967, pp.5–82.
Em inglês (seções selecionadas revisadas em notação formal moderna): R. L. Mendelsohn, The Philosophy of Gottlob Frege, Cambridge: Cambridge University Press, 2005: "Appendix A. Begriffsschrift in Modern Notation: (1) to (51)" and "Appendix B. Begriffsschrift in Modern Notation: (52) to (68)."
Grundgesetze der Arithmetik, Band I (1893); Band II (1903), Jena: Verlag Hermann Pohle (online version).
Em inglês (tradução de seções selecionadas), "Translation of Part of Frege's Grundgesetze der Arithmetik," traduzido e editado Peter Geach e Max Black em Translations from the Philosophical Writings of Gottlob Frege, New York, NY: Philosophical Library, 1952, pp.137–158.
Em alemão (revisado em notação formal moderna): Grundgesetze der Arithmetik – Begriffsschriftlich abgeleitet. Band I und II: In moderne Formelnotation transkribiert und mit einem ausführlichen Sachregister versehen, editado por T. Müller, B. Schröder, e R. Stuhlmann-Laeisz, Paderborn: mentis, 2009.
Em inglês: Basic Laws of Arithmetic, traduzido e editado com uma introdução por Philip A. Ebert e Marcus Rossberg. Oxford: Oxford University Press, 2013. ISBN978-0-19-928174-9.
Original: "Ueber Begriff und Gegenstand", em Vierteljahresschrift für wissenschaftliche Philosophie XVI (1892): 192–205.
Em inglês: "Concept and Object".
"What is a Function?" (1904)
Original: "Was ist eine Funktion?", em Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20 February 1904, S. Meyer (ed.), Leipzig, 1904, pp.656–666.
Em inglês: "What is a Function?".
Logical Investigations (1918–1923). Frege pretendia que os três artigos seguintes fossem publicados juntos em um livro intitulado Logische Untersuchungen (Logical Investigations). Embora o livro alemão nunca tenha aparecido, os artigos foram publicados juntos em Logische Untersuchungen, ed. G. Patzig, Vandenhoeck & Ruprecht, 1966, e as traduções para o inglês apareceram juntas em Logical Investigations, ed. Peter Geach, Blackwell, 1975.
1918–19. "Der Gedanke: Eine logische Untersuchung" ("The Thought: A Logical Inquiry"), em Beiträge zur Philosophie des Deutschen Idealismus I: 58–77.
1918–19. "Die Verneinung" ("Negation") em Beiträge zur Philosophie des Deutschen Idealismus I: 143–157.
1923. "Gedankengefüge" ("Compound Thought"), em Beiträge zur Philosophie des Deutschen Idealismus III: 36–51.
Artigos sobre geometria
1903: "Über die Grundlagen der Geometrie". II. Jahresbericht der deutschen Mathematiker-Vereinigung XII (1903), 368–375.
Em inglês: "On the Foundations of Geometry".
1967: Kleine Schriften. (I. Angelelli, ed.). Darmstadt: Wissenschaftliche Buchgesellschaft, 1967 e Hildesheim, G. Olms, 1967. "Small Writings," uma coleção da maioria de seus escritos (por exemplo, o anterior), publicado postumamente.
↑Título da tese: Ueber eine geometrische Darstellung der imaginären Gebilde in der Ebene (Sobre uma Representação Geométrica de Formas Imaginárias em um Plano).
↑Título da tese: Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Métodos de Cálculo baseados em uma Extensão do Conceito de Magnitude).
↑Apenas as provas da Parte II do Begriffsschrift são reescritas em notação moderna nesta obra. A reescrita parcial das provas da Parte III está incluída em Boolos, George, "Reading the Begriffsschrift," Mind94(375): 331–344 (1985).
↑O periódico Beiträge zur Philosophie des Deutschen Idealismus era o órgão da de.
↑Horsten, Leon and Pettigrew, Richard, "Introduction" in The Continuum Companion to Philosophical Logic (Continuum International Publishing Group, 2011), p. 7.
↑Gottfried Gabriel, Wolfgang Kienzler (editors): "Gottlob Freges politisches Tagebuch". In: Deutsche Zeitschrift für Philosophie, vol. 42, 1994, pp. 1057–98. Introduction by the editors on pp. 1057–66.
↑Hans Sluga: Heidegger's Crisis: Philosophy and Politics in Nazi Germany, pp. 99ff. Sluga's source was an article by Eckart Menzler-Trott: "Ich wünsch die Wahrheit und nichts als die Wahrheit: Das politische Testament des deutschen Mathematikers und Logikers Gottlob Frege". In: Forvm, vol. 36, no. 432, 20 December 1989, pp. 68–79. http://forvm.contextxxi.org/-no-432-.html
↑Frege's Lectures on Logic, ed. by Erich H. Reck and Steve Awodey, Open Court Publishing, 2004, pp. 18–26.
1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle a. S.: Louis Nebert. Translation: Concept Script, a formal language of pure thought modelled upon that of arithmetic, by S. Bauer-Mengelberg in Jean Van Heijenoort, ed., 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press.
1884. Die Grundlagen der Arithmetik: Eine logisch-mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner. Translation: J. L. Austin, 1974. The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number, 2nd ed. Blackwell.
1891. "Funktion und Begriff." Translation: "Function and Concept" in Geach and Black (1980).
1892a. "Über Sinn und Bedeutung" em Zeitschrift für Philosophie und philosophische Kritik 100:25–50. Translation: "On Sense and Reference" in Geach and Black (1980).
1892b. "Ueber Begriff und Gegenstand" em Vierteljahresschrift für wissenschaftliche Philosophie 16:192–205. Translation: "Concept and Object" in Geach and Black (1980).
1893. Grundgesetze der Arithmetik, Band I. Jena: Verlag Hermann Pohle. Band II, 1903. Band I+II onlineArquivado em 17 junho 2022 no Wayback Machine. Partial translation of volume 1: Montgomery Furth, 1964. The Basic Laws of Arithmetic. Univ. of California Press. Translation of selected sections from volume 2 in Geach and Black (1980). Complete translation of both volumes: Philip A. Ebert and Marcus Rossberg, 2013, Basic Laws of Arithmetic. Oxford University Press.
1904. "Was ist eine Funktion?" em Meyer, S., ed., 1904. Festschrift Ludwig Boltzmann gewidmet zum sechzigsten Geburtstage, 20. Februar 1904. Leipzig: Barth: 656–666. Translation: "What is a Function?" in Geach and Black (1980).
1918–1923. Peter Geach (editor): Logical Investigations, Blackwell, 1975.
1924. Gottfried Gabriel, Wolfgang Kienzler (editors): Gottlob Freges politisches Tagebuch. Em: Deutsche Zeitschrift für Philosophie, vol. 42, 1994, pp.1057–98. Introduction by the editors on pp.1057–66. This article has been translated into English, in: Inquiry, vol. 39, 1996, pp.303–342.
Peter Geach e Max Black, eds., e trans., 1980. Translations from the Philosophical Writings of Gottlob Frege, 3rd ed. Blackwell (1st ed. 1952).
Baker, Gordon, and P.M.S. Hacker, 1984. Frege: Logical Excavations. Oxford University Press.— Vigorous, if controversial, criticism of both Frege's philosophy and influential contemporary interpretations such as Dummett's.
Currie, Gregory, 1982. Frege: An Introduction to His Philosophy. Harvester Press.
------, 1981. The Interpretation of Frege's Philosophy. Harvard University Press.
Hill, Claire Ortiz, 1991. Word and Object in Husserl, Frege and Russell: The Roots of Twentieth-Century Philosophy. Athens OH: Ohio University Press.
------, and Rosado Haddock, G. E., 2000. Husserl or Frege: Meaning, Objectivity, and Mathematics. Open Court.— On the Frege-Husserl-Cantor triangle.
Kenny, Anthony, 1995. Frege– An introduction to the founder of modern analytic philosophy. Penguin Books.— Excellent non-technical introduction and overview of Frege's philosophy.
Klemke, E.D., ed., 1968. Essays on Frege. University of Illinois Press.— 31 essays by philosophers, grouped under three headings: 1. Ontology; 2. Semantics; and 3. Logic and Philosophy of Mathematics.
Ferreira, F. and Wehmeier, K., 2002, "On the consistency of the Delta-1-1-CA fragment of Frege's Grundgesetze," Journal of Philosophic Logic 31: 301–11.
Grattan-Guinness, Ivor, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.— Fair to the mathematician, less so to the philosopher.
Gillies, Donald A., 1982. Frege, Dedekind, and Peano on the foundations of arithmetic. Methodology and Science Foundation, 2. Van Gorcum & Co., Assen, 1982.
Gillies, Donald: The Fregean revolution in logic. Revolutions in mathematics, 265–305, Oxford Sci. Publ., Oxford Univ. Press, New York, 1992.
Irvine, Andrew David, 2010, "Frege on Number Properties," Studia Logica, 96(2): 239–60.
Charles Parsons, 1965, "Frege's Theory of Number." Reprinted with Postscript in Demopoulos (1965): 182–210. The starting point of the ongoing sympathetic reexamination of Frege's logicism.
Gillies, Donald: The Fregean revolution in logic. Revolutions in mathematics, 265–305, Oxford Sci. Publ., Oxford Univ. Press, New York, 1992.
Heck, Richard Kimberly: Frege's Theorem. Oxford: Oxford University Press, 2011
Wright, Crispin, 1983. Frege's Conception of Numbers as Objects. Aberdeen University Press.— A systematic exposition and a scope-restricted defense of Frege's Grundlagen conception of numbers.
.png)
