1917. Fregefoi um dos fundadores da logica simbolica moderna, perspectivando a matematicacomo redutivel a logica. Lecionou todos os ramos da matematica, apesar de terescrito pouco sobre esse assunto. Por outro lado, os seus trabalhosfundamentais versam a logica filosofica, a filosofia da matematica e,sobretudo, a filosofia da linguagem. Conhecidona linguistica pela sua teoria do sentido (sinn) e da referencia (bedeutung),apresentada na obra Uber Sinn und Bedeutung (1892), Frege lanca as basespara a distincao descritivista entre sentido e referencia, conceitosfundamentais para a semantica e a pragmatica modernas. O exemplo classico queapresentou para clarificar essa distincao esta contido nas expressoes"estrela da manha" e "estrela da tarde". Trata-se deexpressoes linguisticas com significados diferentes, embora se saiba que o seureferente e o mesmo, o planeta Venus. Muitoinfluenciado por figuras de topo na filosofia da linguagem, como L.Wittegenstein e B. Russel, Frege tornou-se ele proprio uma referencia nao sopara a filosofia da linguagem em geral, como tambem para a teoria semantica emparticular. Ogrande contributo de Frege para a logica matematica foi o criacao de um sistemade representacao simbolica (Begriffsschrift, Conceitografia ouIdeografia) para representar formalmente a estrutura dos enunciados logicos esuas relacoes, e a contribuicao para a implementacao do Calculo dos Predicados. Essaparte da decomposicao funcional da estrutura interna das proposicoes (frases),em parte substituindo a velha dicotomia sujeito-predicado, herdada da tradicaoLogica Aristotelica, pela oposicao matematica funcao-argumento e da articulacaodo conceito de quantificacao (implicito na logica classica da generalidade),tornado assim possivel a sua manipulacao em regras de deducao formal. Asexpressoes "para todo o x", "existe um x", que denotamoperacoes de quantificacao sobre variaveis tem na obra de Frege uma de suasorigens. Naverdade, ele inventou a chamada logica de predicados axiomaticos, em grandeparte gracas a sua invencao de variaveis quantificadas, que eventualmentetornou-se onipresente na Matematica e na Logica, e resolveu o problema dageneralidade multipla. A Logica anterior havia lidado com as constantes logicas,ou condicional se ... entao ..., negacao, particulares e totais, masiteracoes destas operacoes, especialmente "alguns" e"todos", foram pouco conhecidas ate mesmo a distincao entre um par defrases como "cada garoto ama uma garota" e "algumas garotas saoamadas por todos os garotos" eram capaz de serem representados de formamuito artificial e inconsistente, enquanto que o formalismo de Frege nao tinhadificuldade em expressar as diferentes leituras de "cada garoto ama umagarota que ama um rapaz que ama uma garota" e frases semelhantes, emparalelo completo com seu tratamento. Comoum filosofo da Matematica, Frege atacou o recurso a explicacoespsicologisto-mentais do conteudo do acordo no significado das sentencas. Seuproposito original era muito longe de responder a perguntas gerais sobre osignificado, em vez disso, desenvolveu a sua logica para explorar osfundamentos da Aritmetica, empresa de responder a perguntas como "O que eum numero? ou O numero de objetos nao-palavras (um,dois etc.) ...referem-se?.Mas, na persecucao destes assuntos, ele finalmente encontrou-se analisar eexplicar o significado que e, e assim chegou a varias conclusoes que semostraram altamente consequentes para o curso posterior da Filosofia Analiticae Filosofia da Linguagem. Em"Sobre o Sentido e a Referencia" (1892) Frege apresenta umparadoxo envolvendo Semantica e Epistemologia, e tambem uma solucao para omesmo. O paradoxo envolve sinonimos e a possibilidade de uma pessoa