Gottlob Frege: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
→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 49:
==Trabalho como lógico==
Apesar de sua educação e trabalho inicial terem sido matemáticos, especialmente geométricos, o pensamento de Frege logo se transformou em lógica. Sua Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Halle A / S: Verlag von Nebert Louis, 1879) (Notação Conceitual: Uma Linguagem Formal, decalcada da aritmética, do Pensamento Puro) marcou uma virada na história da lógica
O Begriffsschrift inovou, incluindo um tratamento rigoroso das ideias de funções e variáveis. Frege queria mostrar que a matemática se desenvolve a partir da lógica, mas ao fazê-lo, ele desenvolveu técnicas que o levaram muito além da lógica silogística aristotélica e estoica proposicionais que tinham descido com ele na tradição da lógica, Com efeito, Frege inventou a lógica de predicados axiomática, em grande parte graças à sua invenção de variáveis quantificadas, que eventualmente tornou-se onipresente na matemática e na lógica, e que resolveu o problema da generalidade múltipla. A lógica anterior tinha lidado com as constantes lógicas e, ou, se ... então ... não, e alguns e todos, mas iterações destas operações, especialmente "alguns" e "todos", foram pouco compreendidas: mesmo a distinção entre um par de frases como "todo menino ama alguma garota" e "alguma menina é amada por todos os meninos" era capaz de ser representado só muito artificialmente, enquanto que o formalismo de Frege não tinha dificuldade em expressar as diferentes leituras de" cada menino ama uma garota que ama algum garoto que ama uma garota" e frases semelhantes, em paralelo completo com seu tratamento de, digamos, "todo menino é tolo".
| |||