Willard Van Orman Quine - Willard Van Orman Quine

Willard Van Orman Quine
Wvq-passport-1975-400dpi-crop.jpg
Nascer ( 25/06/1908 )25 de junho de 1908
Faleceu 25 de dezembro de 2000 (25/12/2000)(92 anos)
Educação Oberlin College (BA, 1930)
Universidade de Harvard (Ph.D., 1932)
Cônjuge (s)
Naomi Clayton
( m.  1932; div.  1947)

Marjorie Boynton
( m.  1948; falecido em 1998)
Prêmios Prêmio Rolf Schock em Lógica e Filosofia (1993)
Prêmio Kyoto (1996)
Era Filosofia do século 20
Região Filosofia ocidental
Escola Analytic
nominalismo Matemática (1947)
Mathematical quasi-empirismo (1960)
Immanent realismo
neopragmatismo
empirismo
antifundacionalismo
behaviorismo lógico
Instituições Universidade de Harvard
Tese The Logic of Sequences: A Generalization of Principia Mathematica  (1932)
Orientador de doutorado Alfred North Whitehead
Outros conselheiros acadêmicos CI Lewis
Alunos de doutorado David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Burton Dreben , Charles Parsons , John Myhill
Outros alunos notáveis Donald Davidson , Daniel Dennett
Principais interesses
Lógica , ontologia , epistemologia , filosofia da linguagem , filosofia da mente , filosofia da matemática , filosofia da ciência , teoria dos conjuntos
Ideias notáveis

Willard Van Orman Quine ( / k w n / ; conhecido por seus amigos como "Van"; 25 de junho de 1908 - 25 de dezembro de 2000) foi um filósofo e lógico americano na tradição analítica , reconhecido como "um dos mais influentes filósofos do século XX ". De 1930 até sua morte 70 anos depois, Quine foi continuamente afiliado à Universidade de Harvard de uma forma ou de outra, primeiro como estudante, depois como professor. Ele ocupou a cadeira de filosofia Edgar Pierce em Harvard de 1956 a 1978.

Quine era professor de lógica e teoria dos conjuntos . Quine ficou famoso por sua posição de que a lógica de primeira ordem é o único tipo digno desse nome e desenvolveu seu próprio sistema de matemática e teoria dos conjuntos, conhecido como Novos Fundamentos . Na filosofia da matemática , ele e seu colega de Harvard Hilary Putnam desenvolveram o argumento da indispensabilidade de Quine-Putnam , um argumento para a realidade das entidades matemáticas . No entanto, ele foi o principal proponente da visão de que a filosofia não é análise conceitual , mas contínua com a ciência; o ramo abstrato das ciências empíricas. Isso o levou a sua famosa piada de que " filosofia da ciência é filosofia suficiente". Ele liderou uma "tentativa sistemática de compreender a ciência de dentro dos recursos da própria ciência" e desenvolveu uma influente epistemologia naturalizada que tentou fornecer "uma explicação científica aprimorada de como desenvolvemos teorias científicas elaboradas com base em dados sensoriais escassos". Ele também defendeu a relatividade ontológica na ciência, conhecida como a tese de Duhem-Quine .

Seus principais escritos incluem os artigos "On What There Is" (1948), que elucidou a teoria das descrições de Bertrand Russell e contém o famoso ditado de Quine de compromisso ontológico , "Ser é ser o valor de uma variável ", e " Dois Dogmas of Empiricism "(1951), que atacava a tradicional distinção analítico-sintética e o reducionismo, minando o então popular positivismo lógico , defendendo, em vez disso, uma forma de holismo semântico . Eles também incluem os livros The Web of Belief , que defende um tipo de coerentismo , e Word and Object (1960), que desenvolveu ainda mais essas posições e apresentou a famosa tese da indeterminação da tradução de Quine , defendendo uma teoria behaviorista do significado .

Uma pesquisa de 2009 conduzida entre filósofos analíticos apontou Quine como o quinto filósofo mais importante dos últimos dois séculos. Ele ganhou o primeiro Prêmio Schock em Lógica e Filosofia em 1993 por "suas discussões sistemáticas e penetrantes de como a aprendizagem da linguagem e da comunicação são baseadas em evidências socialmente disponíveis e das consequências disso para as teorias sobre o conhecimento e o significado linguístico". Em 1996 ele foi agraciado com o Prêmio Kyoto em Artes e Filosofia por suas "contribuições notáveis ​​para o progresso da filosofia no século 20 ao propor numerosas teorias baseadas em perspicácias em lógica, epistemologia , filosofia da ciência e filosofia da linguagem".

Biografia

Quine cresceu em Akron, Ohio , onde morou com seus pais e o irmão mais velho, Robert Cloyd. Seu pai, Cloyd Robert, era empresário de manufatura (fundador da Akron Equipment Company, que produzia moldes para pneus) e sua mãe, Harriett E., era professora e depois dona de casa. Quine era ateu quando adolescente.

Educação

Quine recebeu seu BA summa cum laude em matemática pelo Oberlin College em 1930 e seu Ph.D. em filosofia pela Universidade de Harvard em 1932. Seu orientador de tese foi Alfred North Whitehead . Ele foi então nomeado Harvard Junior Fellow , o que o dispensou de ter que lecionar por quatro anos. Durante o ano acadêmico de 1932-33, ele viajou pela Europa graças a uma bolsa Sheldon, encontrando lógicos poloneses (incluindo Stanislaw Lesniewski e Alfred Tarski ) e membros do Círculo de Viena (incluindo Rudolf Carnap ), bem como o positivista lógico A. J. Ayer .

Segunda Guerra Mundial

Quine providenciou para que Tarski fosse convidado para o Congresso da Unidade da Ciência em setembro de 1939 em Cambridge, para o qual o judeu Tarski partiu no último navio a deixar Danzig antes que o Terceiro Reich invadisse a Polônia e desencadeasse a Segunda Guerra Mundial . Tarski sobreviveu à guerra e trabalhou outros 44 anos nos Estados Unidos. Durante a guerra, Quine lecionou lógica no Brasil, em português, e serviu na Marinha dos Estados Unidos em funções de inteligência militar , decifrando mensagens de submarinos alemães e alcançando o posto de tenente comandante. Quine podia lecionar em francês, espanhol, português e alemão, bem como em seu inglês nativo.

Pessoal

Ele teve quatro filhos por dois casamentos. O guitarrista Robert Quine era seu sobrinho.

Quine era politicamente conservador, mas a maior parte de seus escritos foi em áreas técnicas da filosofia afastadas de questões políticas diretas. Ele, no entanto, escreveu em defesa de várias posições conservadoras: por exemplo, ele escreveu em defesa da censura moral ; enquanto, em sua autobiografia, ele fez algumas críticas aos acadêmicos americanos do pós-guerra.

Harvard

Em Harvard, Quine ajudou a supervisionar as teses de graduação de Harvard de, entre outros, David Lewis , Gilbert Harman , Dagfinn Føllesdal , Hao Wang , Hugues LeBlanc , Henry Hiz e George Myro . No ano acadêmico de 1964–1965, Quine foi membro do corpo docente do Centro de Estudos Avançados da Universidade Wesleyan . Em 1980, Quine recebeu um doutorado honorário da Faculdade de Humanidades da Universidade de Uppsala , na Suécia.

O aluno de Quine, Dagfinn Føllesdal, observou que Quine começou a perder sua memória no final de sua vida. A deterioração de sua memória de curto prazo foi tão grave que ele lutou para continuar seguindo as discussões. Quine também teve considerável dificuldade em seu projeto de fazer as revisões desejadas em Word e Object . Antes de falecer, Quine disse a Morton White: "Não me lembro como se chama a minha doença, Althusser ou Alzheimer, mas, como não consigo me lembrar, deve ser Alzheimer". Ele morreu da doença no dia de Natal de 2000.

Trabalhar

Ph.D. de Quine as teses e as primeiras publicações versaram sobre lógica formal e teoria dos conjuntos . Somente após a Segunda Guerra Mundial ele, em virtude de artigos seminais sobre ontologia , epistemologia e linguagem, emergiu como um grande filósofo. Na década de 1960, ele elaborou sua " epistemologia naturalizada ", cujo objetivo era responder a todas as questões substantivas de conhecimento e significado usando os métodos e ferramentas das ciências naturais. Quine rejeitou categoricamente a noção de que deveria haver uma "filosofia primeira", um ponto de vista teórico de alguma forma anterior às ciências naturais e capaz de justificá-lo. Essas opiniões são intrínsecas ao seu naturalismo .

Como os positivistas lógicos, Quine demonstrou pouco interesse pelo cânone filosófico: apenas uma vez deu um curso de história da filosofia, sobre David Hume .

Lógica

Ao longo de sua carreira, Quine publicou vários artigos técnicos e expositivos sobre lógica formal, alguns dos quais foram reimpressos em seus Selected Logic Papers e The Ways of Paradox . Sua coleção de artigos mais conhecida é From A Logical Point of View . Quine confinou a lógica à lógica bivalente clássica de primeira ordem , portanto, à verdade e à falsidade em qualquer universo (não vazio) de discurso . Portanto, o seguinte não era lógico para Quine:

Quine escreveu três textos de graduação sobre lógica formal:

  • Lógica elementar . Enquanto ensinava um curso introdutório em 1940, Quine descobriu que os textos existentes para estudantes de filosofia não faziam justiça à teoria da quantificação ou à lógica de predicados de primeira ordem . Quine escreveu este livro em 6 semanas como uma solução ad hoc para suas necessidades de ensino.
  • Métodos de lógica . As quatro edições deste livro resultaram de um curso de graduação mais avançado em lógica que Quine ensinou desde o final da Segunda Guerra Mundial até sua aposentadoria em 1978.
  • Filosofia da lógica . Um tratamento de graduação conciso e espirituoso de uma série de temas de Quinian, como a prevalência de confusões uso-menção, a dúvida da lógica modal quantificada e o caráter não lógico da lógica de ordem superior.

A lógica matemática é baseada no ensino de graduação de Quine durante as décadas de 1930 e 1940. Isso mostra que muito do que Principia Mathematica levou mais de 1000 páginas para dizer pode ser dito em 250 páginas. As provas são concisas, até mesmo enigmáticas. O último capítulo, sobre o teorema da incompletude de Gödel e o teorema da indefinibilidade de Tarski , junto com o artigo Quine (1946), tornou-se um ponto de partida para a exposição lúcida posterior de Raymond Smullyan desses e de resultados relacionados.

O trabalho de Quine em lógica gradualmente tornou-se datado em alguns aspectos. As técnicas que ele não ensinou e discutiu incluem quadros analíticos , funções recursivas e teoria do modelo . Seu tratamento da metalogia deixou a desejar. Por exemplo, Mathematical Logic não inclui quaisquer provas de solidez e integridade . No início de sua carreira, a notação de seus escritos sobre lógica era frequentemente idiossincrática. Seus escritos posteriores quase sempre empregaram a notação agora datada de Principia Mathematica . Contra tudo isso está a simplicidade de seu método preferido (conforme exposto em seus Métodos de Lógica ) para determinar a satisfatibilidade de fórmulas quantificadas, a riqueza de suas percepções filosóficas e lingüísticas e a prosa fina em que as expressou.

A maior parte do trabalho original de Quine em lógica formal de 1960 em diante foi sobre variantes de sua lógica do functor de predicado , uma das várias maneiras que foram propostas para fazer lógica sem quantificadores . Para um tratamento abrangente da lógica do functor de predicado e sua história, consulte Quine (1976). Para uma introdução, veja o cap. 45 de seus métodos de lógica .

Quine estava muito entusiasmado com a possibilidade de que a lógica formal fosse eventualmente aplicada fora da filosofia e da matemática. Ele escreveu vários artigos sobre o tipo de álgebra booleana empregada na engenharia elétrica e, com Edward J. McCluskey , desenvolveu o algoritmo Quine-McCluskey de redução das equações booleanas a uma soma mínima de cobertura dos implicantes primos .

Teoria de conjuntos

Embora suas contribuições para a lógica incluam exposições elegantes e uma série de resultados técnicos, é na teoria dos conjuntos que Quine foi mais inovador. Ele sempre sustentou que a matemática exigia a teoria dos conjuntos e que a teoria dos conjuntos era bastante distinta da lógica. Ele flertou com o nominalismo de Nelson Goodman por um tempo, mas recuou quando não conseguiu encontrar uma base nominalista para a matemática.

Ao longo de sua carreira, Quine propôs três teorias axiomáticas de conjuntos.

  • New Foundations , NF, cria e manipula conjuntos usando um único esquema de axioma para admissibilidade de conjunto, ou seja, um esquema de axioma de compreensão estratificada, em que todos os indivíduos que satisfazem uma fórmula estratificada compõem um conjunto. Uma fórmula estratificada é aquela que a teoria dos tipos permitiria, caso a ontologia incluísse tipos. No entanto, a teoria dos conjuntos de Quine não apresenta tipos. A metamatemática do NF é curiosa. NF permite muitos conjuntos "grandes" que a agora canônica teoria de conjuntos ZFC não permite, mesmo conjuntos para os quais o axioma de escolha não é válido. Uma vez que o axioma da escolha vale para todos os conjuntos finitos, a falha desse axioma em NF prova que NF inclui conjuntos infinitos. A consistência de NF em relação a outros sistemas formais adequados para matemática é uma questão aberta, embora uma série de provas candidatas sejam correntes na comunidade NF, sugerindo que NF é equiconsistente com a teoria de conjuntos de Zermelo sem Escolha. Uma modificação de NF, NFU , devido a RB Jensen e admitindo urelementos (entidades que podem ser membros de conjuntos, mas que carecem de elementos), acaba sendo consistente em relação à aritmética de Peano , justificando assim a intuição por trás de NF. NF e NFU são as únicas teorias quineanas de conjuntos com o seguinte. Para obter uma derivação da matemática fundamental em NF, consulte Rosser (1952);
  • A teoria dos conjuntos da Lógica Matemática é NF aumentada pelas classes próprias da teoria dos conjuntos de von Neumann – Bernays – Gödel , exceto axiomatizada de uma maneira muito mais simples;
  • A teoria dos conjuntos da Teoria dos Conjuntos e sua Lógica acaba com a estratificação e é quase inteiramente derivada de um único esquema de axioma. Quine derivou os fundamentos da matemática mais uma vez. Este livro inclui a exposição definitiva da teoria de relações e conjuntos virtuais de Quine e a teoria de conjuntos axiomática pesquisada como estava por volta de 1960.

Todas as três teorias de conjuntos admitem uma classe universal, mas como são livres de qualquer hierarquia de tipos , não precisam de uma classe universal distinta em cada nível de tipo.

A teoria dos conjuntos de Quine e sua lógica de fundo foram impulsionadas por um desejo de minimizar posturas; cada inovação é levada o mais longe possível antes que outras inovações sejam introduzidas. Para Quine, há apenas um conectivo, o traço de Sheffer , e um quantificador, o quantificador universal . Todos os predicados poládicos podem ser reduzidos a um predicado diádico, interpretável como associação ao conjunto. Suas regras de prova limitavam-se a modus ponens e substituição. Ele preferia a conjunção à disjunção ou à condicional , porque a conjunção tem a menor ambiguidade semântica. Ele ficou encantado ao descobrir no início de sua carreira que toda a lógica de primeira ordem e a teoria dos conjuntos podiam ser fundamentadas em meras duas noções primitivas: abstração e inclusão . Para uma introdução elegante à parcimônia da abordagem de Quine à lógica, consulte seu "New Foundations for Mathematical Logic", cap. 5 em seu De um ponto de vista lógico .

Metafísica

Quine teve inúmeras influências na metafísica contemporânea. Ele cunhou o termo " objeto abstrato ". Ele também cunhou o termo " barba de Platão " para se referir ao problema dos nomes vazios .

Rejeição da distinção analítico-sintética

Nas décadas de 1930 e 40, as discussões com Rudolf Carnap , Nelson Goodman e Alfred Tarski , entre outros, levaram Quine a duvidar da persistência da distinção entre afirmações "analíticas" - aquelas verdadeiras simplesmente pelos significados de suas palavras, como "No bachelor é casado "- e declarações" sintéticas ", aquelas verdadeiras ou falsas em virtude de fatos sobre o mundo, como" Há um gato no tapete ". Essa distinção era central para o positivismo lógico . Embora Quine não seja normalmente associado ao verificacionismo , alguns filósofos acreditam que o princípio não é incompatível com sua filosofia geral da linguagem, citando seu colega de Harvard BF Skinner e sua análise da linguagem em Comportamento Verbal .

Como outros filósofos analíticos antes dele, Quine aceitou a definição de "analítico" como "verdadeiro em virtude apenas do significado". Ao contrário deles, no entanto, ele concluiu que, em última análise, a definição era circular . Em outras palavras, Quine aceitou que as afirmações analíticas são aquelas que são verdadeiras por definição, então argumentou que a noção de verdade por definição era insatisfatória.

A principal objeção de Quine à analiticidade é com a noção de sinonímia (semelhança de significado). Ele argumenta que as sentenças analíticas são normalmente divididas em dois tipos; sentenças que são claramente logicamente verdadeiras (por exemplo, "nenhum homem solteiro é casado") e as mais duvidosas; frases como "nenhum solteiro é casado". Anteriormente, pensava-se que se você pode provar que há sinonímia entre "homem solteiro" e "solteiro", você provou que ambas as sentenças são logicamente verdadeiras e, portanto, evidentes. Quine, entretanto, apresenta vários argumentos para explicar por que isso não é possível, por exemplo, que "solteiro" em alguns contextos significa um bacharel em artes, não um homem solteiro.

Holismo de confirmação e relatividade ontológica

O colega Hilary Putnam chamou a tese da indeterminação da tradução de Quine de "o argumento filosófico mais fascinante e mais discutido desde a Dedução Transcendental das Categorias de Kant ". As teses centrais subjacentes são a relatividade ontológica e a doutrina relacionada do holismo de confirmação . A premissa do holismo de confirmação é que todas as teorias (e as proposições derivadas delas) são subdeterminadas por dados empíricos (dados, dados sensoriais, evidências); embora algumas teorias não sejam justificáveis, falhando em se adequar aos dados ou sendo extremamente complexas, existem muitas alternativas igualmente justificáveis. Embora a suposição dos gregos de que deuses homéricos (inobserváveis) existam seja falsa, e nossa suposição de ondas eletromagnéticas (inobserváveis) seja verdadeira, ambas devem ser justificadas apenas por sua capacidade de explicar nossas observações.

O experimento mental gavagai conta a história de um linguista, que tenta descobrir o que significa a expressão gavagai , quando pronunciada por um falante de uma língua nativa ainda desconhecida ao ver um coelho. À primeira vista, parece que gavagai simplesmente traduz com coelho . Agora, Quine aponta que a linguagem de fundo e seus recursos de referência podem enganar o lingüista aqui, porque ele é enganado no sentido de que sempre faz comparações diretas entre a língua estrangeira e a sua própria. No entanto, quando gritando gavagai , e apontando para um coelho, os nativos poderia muito bem se referir a algo como coelho-partes undetached , ou o coelho tropos e não faria qualquer diferença observável. Os dados comportamentais que o linguista poderia coletar do falante nativo seriam os mesmos em todos os casos, ou para reformulá-los, várias hipóteses de tradução poderiam ser construídas sobre os mesmos estímulos sensoriais.

Quine concluiu seus " Dois Dogmas do Empirismo " da seguinte forma:

Como empirista, continuo a pensar no esquema conceitual da ciência como uma ferramenta, em última instância, para prever experiências futuras à luz da experiência passada. Os objetos físicos são conceitualmente importados para a situação como intermediários convenientes, não por definição em termos de experiência, mas simplesmente como posturas irredutíveis comparáveis, epistemologicamente, aos deuses de Homero …. De minha parte, como físico leigo, acredito em objetos físicos e não nos deuses de Homero; e considero um erro científico acreditar de outra forma. Mas, em termos de base epistemológica, os objetos físicos e os deuses diferem apenas em grau e não em espécie. Ambos os tipos de entidades entram em nossas concepções apenas como postulados culturais.

O relativismo ontológico de Quine (evidente na passagem acima) o levou a concordar com Pierre Duhem que, para qualquer coleção de evidências empíricas , sempre haveria muitas teorias capazes de explicá- las, conhecidas como a tese de Duhem-Quine . No entanto, o holismo de Duhem é muito mais restrito e limitado do que o de Quine. Para Duhem, a subdeterminação se aplica apenas à física ou possivelmente às ciências naturais , enquanto para Quine ela se aplica a todo o conhecimento humano. Assim, embora seja possível verificar ou falsificar teorias inteiras, não é possível verificar ou falsificar afirmações individuais. Quase qualquer declaração particular pode ser salva, dadas modificações suficientemente radicais da teoria contida. Para Quine, o pensamento científico forma uma rede coerente na qual qualquer parte pode ser alterada à luz da evidência empírica, e na qual nenhuma evidência empírica poderia forçar a revisão de uma determinada parte.

Existência e seu contrário

O problema de nomes sem referência é um velho quebra-cabeça em filosofia, que Quine captou quando escreveu,

Uma coisa curiosa sobre o problema ontológico é sua simplicidade. Pode ser dividido em três monossílabos anglo-saxões: 'O que há?' Além disso, pode ser respondida em uma palavra - 'Tudo' - e todos aceitarão essa resposta como verdadeira.

Mais diretamente, a controvérsia vai:

Como podemos falar sobre Pegasus ? A que se refere a palavra 'Pegasus'? Se nossa resposta for: 'Algo', então parece que acreditamos em entidades místicas; se nossa resposta for "nada", então parecemos não falar sobre nada e que sentido pode haver com isso? Certamente, quando dissemos que Pégaso era um cavalo alado mitológico, fazemos sentido e, além disso, falamos a verdade! Se falamos a verdade, isso deve ser verdade sobre alguma coisa . Portanto, não podemos estar falando de nada.

Quine resiste à tentação de dizer que os termos não referenciais não têm sentido pelas razões deixadas claras acima. Em vez disso, ele nos diz que devemos primeiro determinar se nossos termos se referem ou não, antes de sabermos a maneira adequada de entendê-los. No entanto, Czesław Lejewski critica essa crença por reduzir o assunto à descoberta empírica quando parece que deveríamos ter uma distinção formal entre termos referenciais e não referenciais ou elementos de nosso domínio. Lejewski escreve ainda:

Este estado de coisas não parece muito satisfatório. A ideia de que algumas de nossas regras de inferência devem depender de informações empíricas, que podem não estar disponíveis, é tão estranha ao caráter da investigação lógica que um reexame completo das duas inferências [generalização existencial e instanciação universal] pode valer a pena nosso tempo.

Lejewski então oferece uma descrição da lógica livre , que ele afirma conter uma resposta para o problema.

Lejewski também aponta que a lógica livre adicionalmente pode lidar com o problema do conjunto vazio para declarações como . Quine havia considerado o problema do conjunto vazio irreal, o que deixou Lejewski insatisfeito.

Compromisso ontológico

A noção de compromisso ontológico desempenha um papel central nas contribuições de Quine para a ontologia. Uma teoria está ontologicamente comprometida com uma entidade se essa entidade deve existir para que a teoria seja verdadeira. Quine propôs que a melhor maneira de determinar isso é traduzindo a teoria em questão na lógica de predicados de primeira ordem . De especial interesse nesta tradução são as constantes lógicas conhecidas como quantificadores existenciais (' '), cujo significado corresponde a expressões como "existe ..." ou "para alguns ...". Eles são usados ​​para ligar as variáveis na expressão após o quantificador. Os compromissos ontológicos da teoria então correspondem às variáveis ​​limitadas por quantificadores existenciais. Por exemplo, a frase "Existem elétrons" poderia ser traduzida como " x Elétron ( x ) ", em que a variável limitada x varia sobre os elétrons, resultando em um compromisso ontológico com os elétrons. Esta abordagem é resumida pela famosa frase de Quine de que "[t] o ser é ser o valor de uma variável". Quine aplicou este método a várias disputas tradicionais em ontologia. Por exemplo, ele raciocinou da frase "Existem números primos entre 1000 e 1010" para um compromisso ontológico com a existência de números, ou seja, realismo sobre os números. Este método por si só não é suficiente para a ontologia, pois depende de uma teoria para resultar em compromissos ontológicos. Quine propôs que devemos basear nossa ontologia em nossa melhor teoria científica. Vários seguidores do método de Quine escolheram aplicá-lo a diferentes campos, por exemplo, para "concepções cotidianas expressas em linguagem natural".

Argumento indispensável para o realismo matemático

Na filosofia da matemática , ele e seu colega de Harvard Hilary Putnam desenvolveram a tese da indispensabilidade de Quine-Putnam , um argumento para a realidade das entidades matemáticas .

A forma do argumento é a seguinte.

  1. É preciso ter ontológicas compromissos com todos as entidades que são indispensáveis para as melhores teorias científicas, bem como às entidades únicas (comumente referido como "toda e só").
  2. As entidades matemáticas são indispensáveis ​​às melhores teorias científicas. Portanto,
  3. É preciso ter compromissos ontológicos com entidades matemáticas.

A justificativa para a primeira premissa é a mais controversa. Tanto Putnam quanto Quine invocam o naturalismo para justificar a exclusão de todas as entidades não científicas e, portanto, para defender a "única" parte de "tudo e somente". A afirmação de que "todas" as entidades postuladas em teorias científicas, incluindo os números, devem ser aceitas como reais é justificada pelo holismo de confirmação . Uma vez que as teorias não são confirmadas de forma fragmentada, mas como um todo, não há justificativa para excluir qualquer uma das entidades referidas em teorias bem confirmadas. Isso coloca o nominalista que deseja excluir a existência de conjuntos e geometria não euclidiana , mas incluir a existência de quarks e outras entidades indetectáveis ​​da física, por exemplo, em uma posição difícil.

Epistemologia

Assim como ele desafiou a distinção analítico-sintética dominante, Quine também mirou na epistemologia normativa tradicional . De acordo com Quine, a epistemologia tradicional tentou justificar as ciências, mas esse esforço (como exemplificado por Rudolf Carnap ) falhou, então devemos substituir a epistemologia tradicional por um estudo empírico de quais entradas sensoriais produzem quais saídas teóricas: "Epistemologia, ou algo parecido ele simplesmente se encaixa como um capítulo da psicologia e, portanto, das ciências naturais. Ele estuda um fenômeno natural, a saber, um sujeito humano físico. Este sujeito humano recebe uma determinada entrada controlada experimentalmente - certos padrões de irradiação em frequências variadas, por exemplo - e na plenitude do tempo o sujeito entrega como saída uma descrição do mundo externo tridimensional e sua história. A relação entre a entrada escassa e a saída torrencial é uma relação que somos levados a estudar pela mesma razão razões que sempre motivaram a epistemologia: a saber, a fim de ver como as evidências se relacionam com a teoria, e de que maneiras a teoria da natureza de alguém transcende s qualquer evidência disponível ... Mas uma diferença notável entre a velha epistemologia e o empreendimento epistemológico neste novo cenário psicológico é que agora podemos fazer uso livre da psicologia empírica. " (Quine, 1969: 82-83)

A proposta de Quine é polêmica entre os filósofos contemporâneos e tem vários críticos, com Jaegwon Kim o mais proeminente entre eles.

Na cultura popular

Bibliografia

Livros selecionados

  • 1934 Um Sistema de Logística . Harvard Univ. Pressione.
  • 1951 (1940). Lógica matemática . Harvard Univ. Pressione. ISBN  0-674-55451-5 .
  • 1980 (1941). Lógica elementar . Harvard Univ. Pressione. ISBN  0-674-24451-6 .
  • 1982 (1950). Métodos de lógica . Harvard Univ. Pressione. 1980 (1953). Do ponto de vista lógico . Harvard Univ. Pressione. ISBN  0-674-32351-3 . Contém " Dois dogmas do empirismo " .
  • 1960 Word and Object . MIT Press; ISBN  0-262-67001-1 . A coisa mais próxima que Quine escreveu de um tratado filosófico. CH. 2 apresenta a indeterminação da tese de tradução .
  • 1969 (1963). Teoria dos conjuntos e sua lógica . Harvard Univ. Pressione.
  • 1966. Selected Logic Papers . Nova York: Random House.
  • 1976 (1966). Os caminhos do paradoxo . Harvard Univ. Pressione.
  • Relatividade ontológica de 1969 e outros ensaios . Columbia Univ. Pressione. ISBN  0-231-08357-2 . Contém capítulos sobre relatividade ontológica , epistemologia naturalizada e tipos naturais .
  • 1970 (2ª ed., 1978). Com JS Ullian. The Web of Belief . Nova York: Random House.
  • 1986 (1970). A filosofia da lógica . Harvard Univ. Pressione.
  • 1974 (1971). As raízes da referência . Open Court Publishing Company ISBN  0-8126-9101-6 (desenvolvido a partir de Quine's Carus Lectures ).
  • 1981. Teorias e coisas . Harvard Univ. Pressione.
  • 1985. The Time of My Life: An Autobiography . Cambridge, The MIT Press. ISBN  0-262-17003-5 .
  • 1987. Quiddities: An Intermittently Philosophical Dictionary . Harvard Univ. Pressione. ISBN  0-14-012522-1 . Uma obra de ensaios, muitos sutilmente humorísticos, para leitores leigos, muito reveladores da amplitude de seus interesses.
  • 1992 (1990). Busca da verdade . Harvard Univ. Pressione. Uma síntese curta e animada de seu pensamento para alunos avançados e leitores em geral não se deixe enganar por sua simplicidade. ISBN  0-674-73951-5 .
  • 1995. From Stimulus to Science . Harvard Univ. Pressione. ISBN  0-674-32635-0 .

Artigos importantes

  • 1946, "Concatenação como base da aritmética". Reimpresso em seus artigos de lógica selecionados . Harvard Univ. Pressione.
  • 1948, " On What There ", Review of Metaphysics 2 (5) ( JSTOR ). Reimpresso em 1953, de um ponto de vista lógico . Harvard University Press.
  • 1951, " Two Dogmas of Empiricism ", The Philosophical Review 60 : 20-43. Reimpresso em 1953, From a Logical Point of View . Harvard University Press.
  • 1956, "Quantifiers and Propositional Attitudes", Journal of Philosophy 53 . Reimpresso em seu 1976 Ways of Paradox . Harvard Univ. Imprensa: 185–196.
  • 1969, "Epistemology Naturalized" em Ontological Relativity and Other Essays . Nova York: Columbia University Press: 69–90.
  • "Truth by Convention", publicado pela primeira vez em 1936. Reimpresso no livro Readings in Philosophical Analysis , editado por Herbert Feigl e Wilfrid Sellars, pp. 250-273, Appleton-Century-Crofts , 1949.

Filmografia

  • Bryan Magee (apresentador), Men of Ideas : "The Ideas of Quine", BBC, 1978.
  • Rudolf Fara (apresentador), Em conversa: WV Quine (7 videocassetes), Filosofia Internacional, Centro de Filosofia das Ciências Naturais e Sociais, London School of Economics, 1994.

Veja também

Notas

Leitura adicional

links externos