Gottlob Frege

comunicação e sistemas que naturalmente preferem o acordo. Argumentação Matemática[editar | editar código-fonte] Ver artigo principal: Filosofia da matemática As bases da verdade matemática tem sido objeto de longos debates. Frege em particular procurou demonstrar (ver Gottlob Frege, Os Fundamentos da Aritmética de 1884, e logicismo na filosofia da matemática) que as verdades matemáticas podem ser derivadas de axiomas puramente lógicos e, portanto, são, no final, verdades lógicas. O…

método empirista moderno enquanto o método das ciências por excelência. Junto com os cientistas supracitados, outros três filósofos também contribuíram para a constituição intelectual do Círculo de Viena: Bertrand Russel, Ludwig Wittgenstein e Gottlob Frege. Russel teria sido responsável por uma revisão do positivismo “clássico”, redefinindo, por meio da lógica e dos recursos à matemática, os ideais de cientificidade. Ele via na abstração do logicismo um meio de controlar a…

A lógica pode ser atribuída à mente de Aristóteles, que sistematizou e codificou o assunto de tal modo que não foi significativamente ultrapassado por mais de dois milênios. A lógica moderna deve-se, em grande parte, ao alemão Gottlob Frege no século XIX. Sabe-se que a lógica teve sua maior desenvoltura na Filosofia, caminhando pela Lingüística, Matemática e Ciência da Computação. Segundo John Nolt (et al., 1991), "A lógica pode ser estudada de dois pontos de

"porque precisa emergir do mar de mudanças e lançar mão do verdadeiro ser".99 Segundo Stephen Körner, o platonismo é tendêcia natural do matemático100 , o que pode ser confirmado por nomes destacados de matemáticos que e reconhecem platônicos como Gottlob Frege, Bertrand Russel, A. N. Whitehead, Heinrich Scholz, Kurt Gödel, Alonzo Church, Georg Cantor etc. Partindo de [[Galileu, existe uma extensa tradição doplatonismo fisicalista que vai até Werner Heisenberg, Roger Penrose, Frank…

Licenciatura em Informática 13 Proposições e Conectivos 1.4 Conectivos Os conectivos mais utilizados pela Lógica matemática são: “e” – conectivo da conjunção (símbolo “∧” , “&”, ou “.”) “ou” – conectivo da disjunção (símbolo “∨”) Gottlob Frege (1848-1925) “não” – conectivo da negação (símbolo “¬” ou “~”) “se ... então” – conectivo da condicional (símbolo “→” ou “⊃”) “... se, e somente se, ...” – conectivo da bicondicional (símbolo “↔”) A função de um conectivo é…

importante, mas foi perdendo sua importância ao entrarmos no período denominado lógica matemática ou simbólica. 4.1.2 Lógica Simbólica A lógica simbólica começou em meados do século XIX até o princípio do XX. Grandes cientistas como George Boole, Frege e Bertrand Russell, utilizaram a como base modelos matemáticos para formulação da lógica simbólica, Boole inventou um método que é muito utilizado em linguagens de programação o método booleano. Para comprovarem-se os fatos é necessário…

fundamentação da Matemática. Segundo Russell, todas as verdades matemáticas - e não apenas as da aritmética, como pensava Gottlob Frege- poderiam ser deduzidas a partir de umas poucas verdades lógicas, e todos os conceitos matemáticos reduzidos a uns poucos conceitos lógicos primitivos. Um dos elementos impulsionadores desse projeto foi a descoberta, em 1901, de um paradoxo no sistema lógico de Frege: o chamado paradoxo de Russell. A solução de Russell - para esse e outros paradoxos -…

A EDUCAÇÃO DOS SENTIMENTOS E DAS VIRTUDES [178] Ericson Falabretti HEGEL, HISTÓRIA DA FILOSOFIA E EDUCAÇÃO [198] Luiz Fernando Barrére Martin AS CRÍTICAS DE MARX E HUME À FILOSOFIA COMO FUNDAMENTOS PARA A EDUCAÇÃO [208] Samuel Mendonça GOTTLOB FREGE E O ENSINO DA MATEMÁTICA [239] Lafayette de Moraes Carlos Roberto Teixeira Alves NIETZSCHE: PARA UMA PEDAGOGIA DA AMIZADE [256] Jelson Roberto de Oliveira FREUD E O IMPOSSÍVEL OFÍCIO DA EDUCAÇÃO [286] Fátima Caropreso EDUCAÇÃO,…

A EDUCAÇÃO DOS SENTIMENTOS E DAS VIRTUDES [178] Ericson Falabretti HEGEL, HISTÓRIA DA FILOSOFIA E EDUCAÇÃO [198] Luiz Fernando Barrére Martin AS CRÍTICAS DE MARX E HUME À FILOSOFIA COMO FUNDAMENTOS PARA A EDUCAÇÃO [208] Samuel Mendonça GOTTLOB FREGE E O ENSINO DA MATEMÁTICA [239] Lafayette de Moraes Carlos Roberto Teixeira Alves NIETZSCHE: PARA UMA PEDAGOGIA DA AMIZADE [256] Jelson Roberto de Oliveira FREUD E O IMPOSSÍVEL OFÍCIO DA EDUCAÇÃO [286] Fátima Caropreso EDUCAÇÃO,…

teorias na área até o aparecimento da lógica formal ou matemática. Esta última apareceu no fim do século XIX, quando o filósofo alemão Friedrich Ludwing Gottlob Frege transformou a linguagem corrente em expressão matemática, para tentar analisar a verdade e validade dos argumentos. Gottlob Frege, matemático e filósofo alemão Mais tarde, no inicio do século XX, o matemático inglês George Boole consolidou a linguagem da lógica moderna,…