Gottlob Frege

s´culo IV antes de Cristo com Arist´teles. Ela teve e o dois grandes impulsos em dois momentos cruciais da Hist´ria da Matem´tica. o a O primeiro com Leibniz e Newton com a descoberta do C´lculo Infinitesimal. a O segundo com a corrente formalista de Frege, Peano, Whitehead e Russel. A nossa linguagem usual muitas vezes ´ pouco precisa e causa ambig¨idae u des que geram d´vidas, dependendo da pessoa que comunica e da pessoa que u recebe a comunica¸˜o. A l´gica matem´tica ´ uma tentativa…

pensamentos dos homens, coloca em evidência dois enfoques polarizados dos filósofos: o primeiro, negar a história e, o segundo, curvarse a ela. Ou seja, o dilema entre o absolutista e o relativista. Nesses termos, Toulmin faz uma análise das idéias de Gottlob Frege (absolutista: a razão é por natureza igual para todos os homens) e de R.G. Collingwood (relativista: padrões racionais dependem do contexto histórico) e afirma que ambos dão respostas incompatíveis a uma questão que aceitam…

tentativa de aprimoramento da lógica, que, em 1879, o matemático alemão Gottlob Frege dedicou-se a criar uma língua formal do pensamento puro, que auxiliasse a realização de cálculos lógicos. Propôs, então, uma ideografia (Begriffsschrift), com o objetivo de permitir a superação das imprecisões da língua natural e propiciar maior rigor na análise da validade dos argumentos, sob o ponto de vista lógico. Com a sua proposta, Frege abriu o caminho para uma profunda alteração na lógica,…

professor Robert Alexy, da Universidade Christian Albrechts, em Kiel, Alemanha. Conforme noticia Alexy: “ o filósofo e jurista Chaim Perelman, nascido em Varsóvia e professor durante muito tempo em Bruxelas, começou realizando estudos sobre o lógico Gottlob Frege. Logo se dedicou à análise lógica de juízos de valor e de conceitos valorativos. Chegou à conclusão de que os juízos de valor não se podem fundamentar somente mediante obser­vações empíricas (naturalismo) nem por meio de…

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…

culpado: X B é culpado: Y C é culpado: Z Operações: 1- “e”: &, ^ 3- “não”: -, ¯ , ~, ¬ 2- “ou”: v 4- “se então”: → Escrevendo os depoimentos com esses símbolos: A: Y ^ ¬Z B: X → Z C: ¬Z ^ (X v Y) 8 • Lógica Simbólica (1830) Gottlob Frege (1879) “Uma linguagem pura para escrever conceitos” o Sintaxe: Variáveis representam sentenças atômicas. Operadores: “^” = Conjunção “v” = Disjunção “¬” = Negação “→” = Implicação “ ” = quantificador existencial “ ” =…

administrador. TABELA VERDADE Tabela verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em Lógica para determinar se umafórmula é válida ou se um sequente é correto. As tabelas verdade derivam do trabalho de Gottlob Frege, Charles Peirce e outros da década de 1880, e tomaram a forma atual em1922 através dos trabalhos de Emil Post e Ludwig Wittgenstein. A publicação do Tractatus Logico-Philosophicus, de Wittgenstein, utilizava as mesmas para…

inclua uma teoria daquilo que Frege chamou de “sentido” e o que Locke pode 107 Ensaio, II, XXXII, 15. Ensaio, II, XXXII, 15. 109 Ensaio, II, XXXII, 15. 110 Cf. Bennett, J. F., Locke, Berkeley, Hume: Central Themes, 1971, p. 5. 111 Cf. Hacking, Ian, Por que a linguagem interessa a filosofia?, p. 59. 108 55 ter chamado “aceitação comum”. Ou seja, teorias do significado têm de lidar com as características essencialmente públicas da linguagem. Como é afirmado por Frege na passagem…

neopositivistas, a ciência unificada deveria abranger todos os conhecimentos fornecidos pelas ciências empíricas sobre os quais se aplicaria o método lógico de análise que havia sido desenvolvido por matemáticos como Giuseppe Peano (1858-1932), Gottlob Frege (1848-1925), Alfred North Whitehead (1861-1947) e Bertrand Russell (1872-1970) (PASQUINELLI, 1983; SCHILICK, 1975). É fácil compreender por que razão a epistemologia dos neopositivistas buscou circunscrever a ciência nos…

recentemente. Ernst Schröder (1841-1902) publica a obra Vorlesungen über die Álgebra der Logic e dá um acabamento nas noções booleanas. Gottlob Frege (1848-1925) é considerado como o precursor de uma lógica mais moderna, baseado na necessidade de uma fundamentação mais lógica para a Matemática. Giuseppe Peano (1858-1932) também trabalha com idéias similares à de Frege, mas com o olhar mais direcionado para o desejo de expressar toda a Matemática em termos de um cálculo lógico. Alfred…