Question

Em relação à chamada "escola logicista” de fundamentação da matemática, está correto afirmar que:
Escolha uma:
a. Seus proponentes conseguiram desenvolver um sistema lógico-sintático no qual todas as verdades matemáticas podem ser derivadas como teoremas.
b. Sua atividade concentrou-se sobre a análise semântica das teorias matemáticas, principalmente sobre a possibilidade de sua interpretação em diferentes domínios.
c. Um de seus maiores méritos consiste na obtenção de uma definição lógica para conceitos numéricos (em particular para os números naturais), capaz de esclarecer a utilização de números em diferentes contextos descritivos.
d. Suas esperanças foram fortemente abaladas por Bertrand Russell, que descobriu certos paradoxos lógicos nos sistemas formais propostos pelos logicistas.
Letra C
Questão 2
Texto da questão
A teoria dos tipos lógicos foi proposta no início do século XX como forma de solucionar certos paradoxos que ameaçavam a nova lógica nascente, tornou-se parte constitutiva de parcela substancial dos sistemas de lógica simbólica desenvolvidos desde então. Além disso, tornou-se referência obrigatória para todo trabalho posterior em lógica, mesmo entre aqueles pensadores que não a consideram uma teoria adequada para tratar dos principais problemas lógicos. O autor que propôs a Teoria dos tipos foi:
Escolha uma:
a. L. Wittgenstein
b. R. Carnap
c. B. Russell
d. G. Frege
Letra C

Answer 1

Letra C nas duas questões. Resposta correta....acabei de fazer.