Gottlob Frege

mantendo no entanto que a experiência deve sempre confirmar as teorias científicas, através da aplicação da teoria da probabilidade. Defende esse ponto de vista em sua obra Os fundamentos lógicos da probabilidade (1950). Seguindo o pensamento de Frege e Russell, escreveu A sintaxe lógica da linguagem (1934) e Significa-do e necessidade, em que considera fundamental, para o desenvolvimento da ciência, a construção de uma lógica rigorosa da linguagem. Essa concepção influenciará fortemente…

mantendo no entanto que a experiência deve sempre confirmar as teorias científicas, através da aplicação da teoria da probabilidade. Defende esse ponto de vista em sua obra Os fundamentos lógicos da probabilidade (1950). Seguindo o pensamento de Frege e Russell, escreveu A sintaxe lógica da linguagem (1934) e Significa-do e necessidade, em que considera fundamental, para o desenvolvimento da ciência, a construção de uma lógica rigorosa da linguagem. Essa concepção influenciará fortemente…

Conceituação de Lógica 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 Computação. Engenharia de Computação – 1º período – 2015/2 Disciplina: Algoritmos e Programação I Docente:…

conclus˜oes verdadeiras a partir de premissas verdadeiras. No entanto, no s´eculo XIX, alguns matem´aticos e fil´osofos – dentre eles 1 2 ´ CAP´ITULO 1. CONCEITOS FUNDAMENTAIS DA LOGICA George Boole (1815–1864), Augustus De Morgan (1806–1871), Gottlob Frege (1848–1925), Bertrand Russell (1872–1970) e Alfred North Whitehead (1861– 1947) – come¸caram a perceber que a l´ogica formal era insuficiente para alcan¸car o rigor necess´ario no estudo da matem´atica, pois essa se apoiava na…

explicou que o intelecto tende a colocar todo em ordem, cada tijolinho no lugar. Aliás, cada pessoa já possui uma lógica natural ao interpretar e classificar o que ela vivencia. 3. Matemática: Os filósofos desenvolveram a lógica matemática há pouco tempo (Frege, Peano, Russell e outros). Ela origina fórmulas de outras fórmulas, é puro raciocinio. São regras e mais regras inventadas, como jogos de cartas. Hegel, no entanto, achava que a lógica referia-se ao pensamento e à realidade; disse…

linguagem anglo-americana tomou como fundamentais referências, observa a autora, Frege, Russell e Wittgenstein, que, apesar de austríaco, desenvolveu a sua mais relevante actividade filosófica em Inglaterra. “... a base comum das duas viragens linguísticas na moderna filosofia da linguagem”, acrescenta Lafont, “pode-se encontrar no modo como cada uma foi levada a cabo pela sua figura central: Humboldt na tradição alemã e Frege na angloamericana. Ambos os autores iniciaram as suas…

publicações importantes de Chales Sanders Peirce (1839-1914), nos Estados Unidos. Surge, então, Gottlob Frege (1848-1925), "o maior lógico dos tempos modernos", segundo Alonzo Church, com sua obra Begriffsschrift, onde pela primeira vez é desenvolvido axiomaticamente o Cálculo Sentencial, usando negação e implicação com conceitos primitivos, seis axi omas e regras de modus ponens e de substituição. Muitas ideias de Frege tratadas de maneira menos sistemática encontram-se em Peirce. A…

vezes, aquilo que é uma verdade óbvia está absolutamente errado. Considere o caso de Gottlob Frege, o lógico alemão que, como Hilbert, empenhava-se em firmar as estacas lógicas subterrâneas da matemática. O foco de Frege não era a teoria dos números, mas a teoria dos conjuntos. Também ele começou com uma sequência de axiomas que pareciam tão óbvios que mal precisavam ser enunciados. Na teoria dos conjuntos de Frege, um conjunto nada mais era que uma coleção de objetos, chamados…

conjuntos, metamatemática, e sobretudo, teoria dos modelos, teoria semântica da verdade, álgebra abstrata e lógica algébrica. Seu trabalho possui grande relevância filosófica. É considerado um dos maiores lógicos da história, juntamente com Aristóteles, Frege e Kurt Gödel. Tarski descrevia-se como “um matemático (e também um lógico e, talvez, de certa forma, um filósofo)”. Na filosofia ele ganha destaque especialmente por suas caracterizações matemáticas dos conceitos de verdade,…

verdadeiro e o segundo operando é falso A V V F Como construir uma Tabela Verdade Uma tabela de verdade consiste em: Raciocínio Lógico B V F V F Disjunção (OU) TABELA VERDADE As tabelas-verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em 1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para…