Significado de logicismo
Explore os principais sentidos da palavra 'logicismo', do uso cotidiano ao contexto técnico, com exemplos e explicações claras.
Sentido Normativo
Definição no sentido mais comum e amplamente aceito da palavra.
- s.m.Doutrina filosófica que defende que a matemática é uma extensão da lógica.
- s.m.Posição na filosofia da matemática que busca fundamentar todos os conceitos e verdades matemáticos em princípios lógicos.
- s.m.Programa de redução da matemática à lógica, associado a Gottlob Frege e Bertrand Russell.
- s.m.Corrente que afirma que as verdades matemáticas são verdades lógicas analíticas e necessárias.
- s.m.Projeto de deduzir a totalidade da matemática a partir de um pequeno conjunto de axiomas lógicos.
Etimologia:
Logicismo deriva do termo "lógica", do grego "logikḗ", que significa a arte do raciocínio, com o sufixo "-ismo", usado para formar nomes que indicam doutrinas, sistemas ou movimentos.
Sentidos Expandidos
Definições organizadas por camada de contexto e outras perspectivas.
Sentido Histórico-Filosófico
Refere-se ao movimento filosófico específico do final do século XIX e início do XX, encabeçado por Gottlob Frege e Bertrand Russell, que culminou na obra Principia Mathematica. Este projeto visava demonstrar que toda a matemática pura deriva de princípios puramente lógicos, mas foi abalado pelos paradoxos lógicos e pelo Teorema da Incompletude de Gödel.
Exemplo: O esforço de Russell e Whitehead nos três volumes dos Principia Mathematica para derivar a aritmética a partir da teoria de conjuntos e da lógica de predicados.
Sentido Epistemológico
Designa uma tese sobre a natureza do conhecimento matemático, sustentando que ele é, em última instância, conhecimento lógico e, portanto, a priori e analítico. Nesta visão, a descoberta matemática é um processo de dedução a partir de verdades lógicas autoevidentes, não dependendo de intuição ou experiência sensível.
Exemplo: Para Frege, a afirmação "2+2=4" é verdadeira em virtude do significado dos conceitos envolvidos, não sendo uma generalização empírica sobre o mundo.
Sentido Crítico
Usado para se referir às limitações e falhas identificadas no programa logicista original, que o tornaram insustentável na sua forma forte. Inclui a crítica aos paradoxos (como o de Russell), que mostraram inconsistências na fundamentação, e o impacto do teorema de incompletude, que indicou limites para a formalização completa da aritmética.
Exemplo: O paradoxo de Russell, que demonstra que a "classe de todas as classes que não são membros de si mesmas" leva a uma contradição, abalou os fundamentos da teoria de conjuntos usada pelo logicismo.
Sentido Metodológico
Refere-se à influência duradoura do logicismo como um ideal de rigor, clareza e formalização na filosofia e na matemática. Mesmo com seu fracasso como doutrina completa, legou ferramentas fundamentais (como a lógica de primeira ordem e a análise lógica da linguagem) e estabeleceu um padrão de argumentação precisa.
Exemplo: A abordagem analítica na filosofia do século XX, que busca resolver problemas filosóficos através da análise lógica da linguagem, é um herdeiro direto do método logicista.
Explorar também:
Compartilhar: