Raciocionio Lógico - Atividade 4
Se há um ponto de consenso entre os filósofos e historiadores da lógica, este é a posição eminente que goza Gottlob Frege (1848-1925). Frege é tido como um dos maiores lógicos da modernidade e, indubitavelmente, aquele que mais colaborou para o avanço no campo da lógica matemática. Sobre suas contribuições, é incorreto afirmar: a.
Em seu pequeno livro Begriffsschrift aparece pela primeira vez o desenvolvimento axiomático inteiramente formalizado do cálculo sentencial, consistente e completo. b.
Uma das várias contribuições importantes de Frege abrange também a quantificação de predicados ou de variáveis de classe. c.
Sua descoberta notável consistiu em mostrar que a aritmética, e com ela boa parte da matemática, podiam ser sistematizadas a partir da lógica. d.
Frege, ao introduzir quantificadores, axiomas e regras em seu sistema formal, acaba por obter um sistema de cálculo de predicados de primeira ordem, que é completo. e.
O trabalho de Frege foi muito bem recebido pelos matemáticos da época, que costumavam cometer muitos erros em suas demonstrações e por isso encontraram na sistematização do raciocino matemático um grande auxílio. .
0,2 pontos
Pergunta 2
Aristóteles em sua obra intitulada Metafísica, cujo tema principal trata do ser ou do problema da verdade, apresenta aqueles que seriam os princípios básicos do pensamento racional, isto é: Princípio da identidade, Princípio da não-contradição e Princípio do terceiro-excluído. Para Aristóteles, o princípio do terceiro-excluído significa que: a.
Um enunciado ou é verdadeiro ou é falso. b.
Nenhum enunciado pode ser verdadeiro e falso ao mesmo tempo. c.
Se qualquer enunciado é verdadeiro, então ele é verdadeiro. d.
A correspondência necessária e mediadora entre a realidade e o discurso. e.
O mundo, as coisas, as relações, por meio de um raciocínio perfeito que pudesse ser