Gottlob Frege

Exercícios 1. "A lógica é irrelevante porque pressupõe a verdade como correspondência, o que é um mito." Concorda? Porquê? As três leis do pensamento Por "lógica clássica" entende-se a lógica proposicional e a lógica de predicados que tem origem em Gottlob Frege (1848-1925) e Bertrand Russell (1872-1970). Chama-se "clássica" a esta lógica para a distinguir de outras lógicas modernas que são extensões ou desvios dela, como as lógicas intuicionistas, as lógicas livres, as lógicas…

conjectura de Cantor recebeu o nome de hipótese do contínuo e, no campo dos fundamentos da matemática, figurou durante muitos anos entre os grandes problemas pendentes. A crise dos fundamentos 62 Utilizando operações da teoria dos conjuntos, Gottlob Frege (1848-1925) mostrou que os números naturais podiam ser construidos a partir do conjunto vazio, ou seja, a partir de nada. Isto permitia que a aritmética (até então a estrutura fundamental), cedesse lugar à teoria dos conjuntos,…

"porque precisa emergir do mar de mudanças e lançar mão do verdadeiro ser". Segundo Stephen Körner, o platonismo é tendência natural da matemática, 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 do platonismo fisicalista que vai até Werner Heisenberg, Roger Penrose, Frank Tipler,…

teórico FILOSOFIA – historicidade = prático ARISTÓTELES ARISTÓTELES MARTIN HEIDEGGER NORWOOD R HANSON DAVID HUME STEPHEN TOULMIN AUGUSTO COMTE THOMAZ KUHN JOHN STUART MILL IMRE LAKATOS ERNEST MACH PAUL FEYERABEND RICHARD AVENARIUS GASTON BACHELARD GOTTLOB FREGE GEORGES CANGUILHEM ALFRED WHITEHEAD MICHEL FOUCAULT BERTRAND RUSSEL THEODOR W. ADORNO DAVID HILBERT JÜRGEN HABERMAS LUDWIG WITTGENSTEIN PIERRE DUHEN HENRI POINCARÉ ALBERT EINSTEIN RUDOLPH CARNAP- “experiências elementares” –…

das espécies com base na selecção natural (1858). Paulo Novais - 2009 25 Mais de 50 anos de História Ainda SÉCULO 19 Augustus D M A t De Morgan propõe um t t õ tratamento sistemático d relações ló i (1864) t i t áti das l õ lógicas (1864). Gottlob Frege cria a Lógica de Predicados (1879). Começam a surgir no mercado as primeiras calculadoras mecânicas manuais (1890). Herman Hollerith patenteia uma máquina que processa dados de censos armazenados em cartões perfurados. A sua empresa,…

Bertrand Russell: “a matemática pura foi descoberta por Boole em seu trabalho “Leis do Pensamento””. Poseriormente, Friedrich Ludwig Gottlob Frege, matemático, lógico e filósofo alemão, um dos fundadores da filosofia analítica, principalmente por causa de suas contribuições à filosofia da linguagem. 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…

tenha sentido noutro sistema planetário; o que pode ser contraditório para nós poderá não ser para habitantes de outra galáxia e assim por diante. Um outro problema, também atingindo os princípios da razão, foi trazido pela lógica. O lógico alemão Frege apresentou o seguinte problema: quando digo “a estrela da manhã é a estrela da tarde” estou caindo em contradição e perdendo o princípio da identidade. No entanto, “estrela da manhã” é o planeta Vênus e “estrela da tarde” também é o…

Carl Hempel (1905 - 1997) – teoria da confirmação – tentava compreender como o conhecimento pode ser adquirido a partir da experiência Racionalidade 18 Matemática (800-presente)  Representação formal e lógica clássica   Gottlob Frege (1879) - formou a lógica de predicados de primeira ordem, que é utilizada em boa parte dos sistemas atuais (RC)   George Boole (1847) - linguagem formal para fazer inferências lógicas - lógica booleana Alfred Tarski…

comunicação e sistemas que naturalmente preferem o acordo. Argumentação Matemática[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…

fruto de 10 anos que dedicou à investigação da personalidade de Gustave Flaubert. Filosofia analítica- a analise lógica da linguagem a) 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…