Gottlob Frege

amigo como testemunha, se preferissem), ‘Vamos calcular’”. Embora condenado ao fracasso, o “grande programa” de Leibniz deu origem pelo menos à disciplina da lógica simbólica, como foi mais tarde desenvolvida por George Boole15 (1815–1864) e Gottlob Frege16 (1848– 1925). Boole foi diretor de escola antes de se tornar professor de matemática no Queen’s College, em Cork, e talvez por essa razão seus escritos – principalmente A Análise Matemática da Lógica, publicado em 1847…

transmite-os e, na outra ponta, converte os sinais elétricos novamente em sons. 1879 Lógica de teoremas matemáticos (Friedrich Ludwig Gottlob Frege 1848-1925) Todo mundo sabe que se a=b e b=c, então a=c. Mas, falando com mais precisão, quais são e como funcionam as regras pelas quais se podem fazer demonstrações, pelas quais se podem provar teoremas da matemática? Frege respondeu com sua "Conceitografia", publicada em 1879, o primeiro livro a tratar formalmente do assunto. 1879…

considerada a primeira manifestação do positivismo no Brasil. 1846: BRASIL Antonio Pedro de Figueiredo funda a revista O Progresso e traduz Curso de História da Filosofia Moderna, de Victor Cousin. Morre Silvestre Pinheiro Ferreira. 1848: Nasce FREGE 1850: BRASIL Abolição do tráfico negreiro. 1854: BRASIL Publicação de Investigação de Psicologia do méidco Eduardo Ferreira França. 1855: Morre Kierkegaard. 1855: BRASIL Morre Frei Francisco de MontAlverne. 1857: Nasce SAUSSURE…

Navya-Nyaya, que introduziu a an´alise formal da inferˆencia no s´eculo XVI. A escola Navya-Nyaya desenvolveu teorias que guardam semelhan¸cas com a l´ogica moderna, tais como a “distin¸c˜ao entre sentido e referˆencia dos nomes pr´oprios” de Gottlob Frege e sua defini¸ca˜o de n´ umero, bem como a teoria Navya-Nyaya de “condi¸co˜es restritivas para os universais” que antecipou alguns desenvolvimentos da teoria de conjuntos moderna. 1.2.3. L´ ogica na Gr´ ecia Na Gr´ecia, duas…

séculos XIX a XX, como conseqüências de inúmeros confrontos de cunho teórico e posições políticas que ocorreram dentro e fora do positivismo, em suas diversas correntes e conceituações. A influência de filósofos modernos e contemporâneos, como Gottlob Frege (1848-1924), Albert Einstein (1879-1955) Bertrand Ressell (1872-1970), Ludwing Wittgenstein (1889-1915), foram fundamentais para o desenvolvimento do empirismo Lógico do Círculo de Viena e das mudanças posteriores que ocorreram no…

nada de significante foi adicionado a lógica de Aristóteles durante dois milênios. No último século a reputação de Aristóteles teve duas grandes reviravoltas. O nascimento da chamada lógica moderna, através do trabalho de Gottlob Frege e Bertrand Russell, trouxeram a tona sérias limitações da lógica aristotélica. Hoje, poucos tentariam manter que é adequado como uma base da compreensão cientifica e matemática. Ao mesmo tempo alunos treinados em…

Perelman. Embora seja de origem polonesa, Perelman (nascido em 1912 e morto em 1984) viveu desde criança da Bélgica e estudou Direito e Filosofia na Universidade de Bruxelas. Começou a dedicar-se à lógica formal e escreveu a sua tese, em 1938, sobre Gottlob Frege, o pai da lógica moderna. (p.59). 2. A CONCEPÇÃO RETÓRICA DO RACIOCÍNIO PRÁTICO 2.1 LÓGICA E RETÓRICA A lógica formal se move no terreno da necessidade. Um raciocínio lógico-dedutivo, ou demonstrativo, implica – como vimos –…

sinonímia), uma tentativa de sintetizar as idéias essenciais do empirismo britânico (por exemplo, a forte ênfase na experiência sensorial como base para o conhecimento) com determinadas idéias da lógica matemática, conforme foi desenvolvida por Gottlob Frege e Ludwig Wittgenstein. Algumas das figuras chaves neste movimento foram os ingleses Bertrand Russell e George Moore, os alemães Moritz Schlick e Rudolf Carnap e os norte-americanos Willard Van Orman Quine, John Austin e A. J. Ayer. …

pois não passariam de equívocos ou mal-entendidos originados justamente do uso ambíguo das palavras e das construções lingüísticas. Essa preocupação teve como precursor o lógico e matemático alemão Johann Gottlob Frege. Percebendo que a linguagem comum contém expressões geradoras de equívocos, Frege propôs a constituição de uma linguagem formal que restringisse os inconvenientes e as imprecisões da linguagem comum. Essa proposta foi abraçada por vários pensadores, que se lançaram nessa…

inocente. Por II, sabemos que Thais é inocente, visto que Felipe é culpado e foi dito que ambos não são culpados simultaneamente. Por I, como sabemos que Thaís é inocente, então Luiz não é inocente, ou seja, Luiz é culpado. EXERCÍCIO RESOLVIDO. Gottlob Frege (1848-1925) pensava que toda linguagem humana significativa podia ser reduzida a fórmulas lógicas, ou seja, expressões simbólicas abstratas que se pareciam um pouco com a álgebra. Em suas tentativas de sistematiz ar a linguagem…