Gottlob Frege: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
→Trabalho como lógico: correção de erro Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
|||
Linha 37:
O grande contributo de Frege para a lógica matemática foi a criação de um sistema de representação simbólica (''Begriffsschrift'', conceitografia ou ideografia) para representar formalmente a estrutura dos enunciados lógicos e suas relações, e a contribuição para a implementação do cálculo dos predicados. Esta parte da decomposição funcional da estrutura interna das frases (em parte substituindo a velha dicotomia sujeito-predicado, herdada da tradição lógica [[Aristóteles|Aristotélica]], pela oposição matemática função-argumento) e da articulação do conceito de quantificação (implícito na lógica clássica da generalidade), possibilitou sua manipulação em regras de dedução formal. (As expressões "para todo o x", "existe um x", que denotam operações de quantificação sobre variáveis têm na obra de Frege uma de suas origens).
Ao contrário de [[Aristóteles]], e mesmo de [[George Boole]], que procuravam identificar as formas válidas de argumento, e as assim chamadas "leis do pensamento", a preocupação básica de Frege era a sistematização do raciocínio matemático, ou dito de outra maneira, encontrar uma caracterização precisa do que é uma “demonstração matemática”. Frege havia notado que os matemáticos da época frequentemente cometiam erros em suas demonstrações, supondo assim que certos [[teorema]]s estavam demonstrados, quando na verdade não estavam. Para corrigir isso, Frege procurou formalizar as regras de demonstração,
==Sentido e referência em Frege==
|