Logicismo: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 1:
Logicismo é a tese que a [[matemática]] -- ou uma parte dela -- reduz-se a [[lógica]] -- ou a uma parte da lógica. [[Gottlob Frege]] foi o primeiro a defendê-la. Ele examinou (p.ex.,nos ''Fundamentos da Aritmética'' (1884 ) como a lógica poderia ser capaz de estar na base de algumas verdades matemáticas -- precisamente àquelas da aritmética -- sem torná-las totalmente triviais; e [[Bertrand Russell]] -- com a colaboração de [[A.N.Whitehead]] -- estendeu essa indagação também para as verdades da geometria (p.ex., em ''Principia Mathematica'' (1910-13) ).
{{esboço}}
[[Categoria: Filosofia]]
[[Categoria: Matemática]]
| |||