Revisão das 07h00min de 13 de agosto de 2017 editar NonSecta (discussão \| contribs) 8 277 edições m Página marcada que carece de mais notas, usando FastButtons ← Ver a alteração anterior		Revisão das 20h35min de 19 de outubro de 2017 editar desfazer 200.137.135.56 (discussão) Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel Ver a alteração posterior →
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~~pensamentu", 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, iniciando com regras elementares, bem simples, sobre cuja aplicação não houvesse dúvidas. O resultado que revolucionou a lógica foi o desenvolvimento do [[cálculo de predicados]] (ou [[lógica de predicados]]). ==Sentido e referência em Frege==

Gottlob Frege: diferenças entre revisões