Gottlob Frege

_________________________________________ MATRICULA :___________ ALUNO(A): __________________________________________ MATRICULA: ___________ TEMA: A LÓGICA DE PREDICADOS O Introdutor da Lógica de Predicados Gottlob Frege Frege foi o principal criador da lógica matemática moderna, sendo considerado, ao lado de Aristóteles, o maior lógico de todos os tempos. Introduziu os quantificadores, símbolos correspondentes a palavras como todo,…

regem o pensamento humano. Portanto, não se trata somente de uma arte, mas também de uma ciência. É uma ciência porque possui um objeto definido: as formas de pensamento. (Bastos et. al., 1991). A lógica moderna foi fundada por George Boole, Gottlob Frege, Bertrand Russell e Alfred N. Whitehead. Eles relacionam a lógica moderna com lógica simbólica e lógica matemática. Lógica moderna é completamente o oposto da lógica antiga. Ela prega contra o pai da lógica, Aristóteles, que dizia…

A filosofia analítica é a vertente que parte da crença de que a lógica, desenvolvida por Gottlob Frege e Bertrand Russell, entre outros, teria implicações filosóficas gerais e poderia contribuir, assim, para um exame mais profundo de conceitos e na elucidação de algumas idéias. A filosofia analítica tem como preocupação central o estudo analítico dos conceitos. Logo, a filosofia analítica deve ter como meta definir os termos filosóficos e científicos, e esclarecer a linguagem das…

Frege (1848-1925) fora um dos maiores pesquisadores que contribuíram para o desenvolvimento da lógica do final do século IX e do inicio do século XX, seu trabalho central foi concentrado no chamado ‘’projeto logicista’’ onde o autor almejava sustentar a aritmética por meio de axiomas lógicos, livrando-a de toda e qualquer intuição, desse modo, elevando-a ao status epistemológico de analítica a priori, ou seja, a matemática se institui por meio de enunciados linguísticos que independem da…

A filosofia analítica é a vertente que parte da crença de que a lógica, desenvolvida por Gottlob Frege e Bertrand Russell, entre outros, teria implicações filosóficas gerais e poderia contribuir, assim, para um exame mais profundo de conceitos e na elucidação de algumas idéias. Ela foi introduzida na Inglaterra em 1912, com a chegada de Wittgenstein em Cambridge, justamente para realizar pesquisas junto a Bertrand Russell. Assim, no período que se estende entre as duas guerras mundiais, com o

tornou-se um marco no estudo do processo que leva ao desenvolvimento científico. Lógica Aristóteles foi um filósofo grego, é considerado um dos maiores pensadores de todos os tempos e criador do pensamento lógico. Gottlob Frege trabalhando na fronteira entre a filosofia e a matemática, Frege foi o principal criador da Lógica matemática moderna, sendo considerado, ao lado de Aristóteles, o maior lógico de todos os tempos. Estética Ludwig Wittgenstein faz aproximar do procedimento…

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…

consideramos mais correta sobre o que é um número foi dada por Gottlob Frege na obra Die Grundlagen der Arithmetik, na qual, segundo o próprio autor, um determinado número não é idêntico a uma coleção que o contenha. Por exemplo, o número “3”, não é igual a um trio de homens pois o número é algo que todas as coleções possuem, sendo que é o número que caracteriza certas coleções, classes ou conjuntos. “O número um é uma coisa”, Frege alega que o número 1 está entre as coisas, mas não…

Conceito e Sentido em Frege INTRODUÇÃO Tal como Wittgenstein, também Frege se sentiu enfeitiçado pelas armadilhas da linguagem corrente e travou uma batalha contra os sortilégios enganosos para a inteligência. Se bem que revele o pensamento, dando-lhe expressão, a linguagem corrente também o camufla com as suas ambiguidades e imprecisões."Em grande parte - escreverá no seu último ano de vida - o trabalho do filósofo consiste em lutar com a linguagem." O programa de Frege consistia…

para estudar o raciocínio matemático-- ou, como propõe Alonzo Church16, 'lógica tratada pelo método matemático'. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica. (Gottlob Frege, p.ex., tentou reduzir a aritmética à lógica; Bertrand Russell e A. N. Whitehead, no clássico Principia Mathematica, tentou reduzir toda a matemática então conhecida à lógica -- a chamada 'lógica de segunda ordem'.) Uma das suas…