John L. Pollock - John L. Pollock

John L. Pollock
Nascer 1940  ( 1940 )
Atchison, Kansas
Faleceu 2009 (idade 68-69)
Alma mater Universidade da California, Berkeley
Região Filosofia ocidental
Escola Analítico
Principais interesses
epistemologia , lógica filosófica , ciência cognitiva

John L. Pollock (1940–2009) foi um filósofo americano conhecido por trabalhos influentes em epistemologia , lógica filosófica , ciência cognitiva e inteligência artificial .

vida e carreira

Nascido John Leslie Pollock em Atchison Kansas, em 28 de janeiro de 1940, Pollock se formou em Física, Matemática e Filosofia na University of Minnesota em 1961. Em 1965, fez sua tese de doutorado em Analyticity and Implication na University of California, Berkeley foi aconselhado por Ernest Adams (tornando Pollock um descendente intelectual de Gottfried Leibniz e Immanuel Kant , através de Ernest Nagel e Patrick Suppes ). Esta dissertação continha um apêndice sobre raciocínio derrotável que viria a desabrochar em sua principal contribuição para a filosofia.

Pollock ocupou cargos docentes na SUNY Buffalo , University of Rochester , University of Michigan e University of Arizona , onde passou a maior parte de sua carreira. No Arizona, ele ajudou a fundar o Programa de Ciências Cognitivas . Ele era um ciclista de montanha ávido e fundou um clube de equitação no sul do Arizona.

Trabalho filosófico

Conhecimento e Justificativa

Conhecimento e justificação é o livro que estabeleceu Pollock na epistemologia. Surgiu em uma época em que a filosofia americana, e especialmente a epistemologia americana, estava obcecada com a análise do que significa saber algo. Por exemplo, o problema de Gettier , um dos problemas mais frequentemente discutidos da época, pergunta por que manter uma "crença verdadeira justificada" de que x não é equivalente a saber que x. O livro de Pollock dá um passo atrás na tentativa de identificar os "critérios analíticos" que podem constituir as condições necessárias e suficientes para o conhecimento. Suas normas epistêmicas são governadas por raciocínios derrotáveis; são condições ceteris paribus que podem admitir exceções. Vários outros epistemólogos (notadamente na Brown University , como Ernest Sosa , e especialmente Roderick Chisholm ), bem como seu colega do Arizona, Keith Lehrer , escreveram sobre derrotabilidade e epistemologia. Mas o livro de Pollock, que combinava um amplo escopo e uma inovação crucial, trouxe as ideias para a corrente filosófica dominante.

Raciocínio revogável

Pollock tornou-se conhecido como "Sr. Raciocínio Derrotável" entre os filósofos nas duas décadas anteriores à sua morte. Em Inteligência artificial, onde o raciocínio não monotônico causou agitação intelectual, os estudiosos simpáticos ao trabalho de Pollock o tinham em grande estima por seu comprometimento e clareza iniciais. O pronunciamento mais direto de Pollock é o artigo "Defeasible raciocínio" em Cognitive Science , 1987, embora suas idéias não sintáticas estivessem quase totalmente maduras em Knowledge and Justificação . Pollock traçou a história de seu próprio pensamento (por exemplo, em uma nota de rodapé em Pollock e Cruz, Contemporary Theories of Knowledge, 1999, p. 36, nota 37, e em outros lugares) para seu primeiro artigo sobre epistemologia, "Critérios e nosso conhecimento do mundo material, " Philosophical Review 76 , 1967. Ele pensava que Roderick Chisholm havia influenciado seu pensamento sobre o assunto, mas também disse que estava tentando interpretar Ludwig Wittgenstein diretamente, e às vezes creditava a Stephen Toulmin no assunto do argumento. Embora seu trabalho tenha tido um impacto considerável na área de Inteligência Artificial e direito , Pollock não estava muito interessado em jurisprudência ou teorias de raciocínio jurídico, e ele nunca reconheceu a herança do raciocínio derrotável por meio de HLA Hart . Pollock também manteve à distância lógicos informais e estudiosos da retórica , embora o raciocínio derrotável tenha afinidades naturais no argumento .

A "derrota contundente" e "derrota refutadora" de Pollock são agora elementos fixos na literatura de raciocínio derrotável. Mais tarde, ele acrescentou "autoderrota" e outros tipos de mecanismos de derrota, mas a distinção original continua sendo a mais popular.

Embora auxiliado por um forte vento de cauda da IA ​​e de alguns filósofos contemporâneos (por exemplo, Donald Nute, Nicholas Asher, Bob Causey), é certo que o raciocínio derrotável passou do obscuro para o mainstream na filosofia por causa de John Pollock, em o curto espaço de tempo entre a publicação de Conhecimento e Justificação e a segunda edição de Teorias Contemporâneas do Conhecimento .

OSCAR / Como Construir uma Pessoa

Pollock dedicou um tempo considerável mais tarde em sua carreira a um projeto de software chamado OSCAR , um protótipo de software de inteligência artificial que ele chamou de "artilect". OSCAR foi em grande parte uma implementação das idéias de Pollock sobre raciocínio derrotável, mas também incorporou suas idéias menos conhecidas e muitas vezes não publicadas sobre intenções, interesses, estratégias para resolução de problemas e outros projetos arquitetônicos cognitivos. OSCAR era um programa baseado em LISP que tinha um raciocínio "baseado em interesses". Pollock afirmou que a eficiência de seu provador de teoremas baseava-se em sua relutância em tirar conclusões "desinteressantes". Embora OSCAR não tenha se beneficiado das contribuições de um grande número de programadores profissionais, ele deve ser comparado ao CyC , Soar (arquitetura cognitiva) e Novamente para a ambição de seu inventor.

Pollock descreveu as principais características de Oscar como a capacidade de raciocinar derrotadamente sobre percepção, mudança e persistência, causalidade, probabilidades, construção e avaliação de planos e decisão. Ele descreveu a evolução de Oscar na Fábula de Oscar em seu livro.

OSCAR surgiu do Prologemena sobre como construir uma pessoa , que os colegas devem ter presumido que era um uso jocoso da personalidade na época. No entanto, a atitude do próprio Pollock em relação ao OSCAR era mais maquinadora: ele esperava futuras taxonomias cognitivas que classificariam o OSCAR generosamente como uma forma antropomórfica legítima.

Probabilidade Nômica

Probabilidade Nômica e os Fundamentos da Indução, Oxford, 1990 foi a investigação profunda de Pollock sobre a relação entre o raciocínio derrotável e a estimativa de probabilidade a partir de frequências (inferência direta de probabilidade). É um amadurecimento de idéias originalmente encontradas em um artigo de Teoria e Decisão de 1983 . Este trabalho deve ser comparado às teorias de probabilidade de Henry E. Kyburg , embora Pollock acreditasse que estava teorizando sobre uma variedade mais ampla de inferências estatísticas .

Publicações

Livros

  • Introdução à lógica simbólica, Holt Rinehart Winston, 1969.
  • Knowledge and Justificação, Princeton, 1974.
  • Subjunctive Reasoning, Springer, 1976.
  • Language and Thought, Princeton, 1982.
  • The Foundations of Philosophical Semantics, Princeton, 1984.
  • Contemporary Theories of Knowledge, primeira edição, Rowman-Littlefield, 1987.
  • How to Build a Person: A prolegomenon, MIT Press, 1989.
  • Technical Methods in Philosophy, Westview, 1990.
  • Nomic Probability and The Foundations of Induction, Oxford, 1990.
  • Philosophy and AI: Essays at the Interface, com R. Cummins, MIT Press, 1995.
  • Cognitive Carpentry: A blueprint for how to build a person, MIT Press, 1995.
  • Teorias Contemporâneas do Conhecimento, com J. Cruz, segunda edição, Rowman-Littlefield, 1999.
  • Pensando em Atuar: Fundamentos Lógicos para Tomada de Decisão Racional, Oxford, 2006.

Artigos selecionados

  • "Critérios e nosso conhecimento do mundo material", The Philosophical Review , 1967.
  • "Basic modal logic", Journal of Symbolic Logic , 1967.
  • "What Is an Epistemological Problem? American Philosophical Quarterly , 1968.
  • "The structure of epistemic justification", American Philosophical Quarterly , 1970.
  • "Conhecimento perceptivo", The Philosophical Review , 1971.
  • "A lógica da projetibilidade", Filosofia da Ciência , 1972.
  • "Subjuntive generalizations" , Synthese , 1974.
  • "Four Kinds of Conditionals", American Philosophical Quarterly , 1975.
  • "The 'possible worlds' analysis of counterfactuals", Philosophical Studies , 1976.
  • "Thinking about an Object", Midwest Studies in Philosophy , 1980.
  • "A refined theory of counterfactuals", Journal of Philosophical Logic , 1981.
  • "Epistemology and Probability" , Synthese , 1983.
  • "Como você maximiza o valor da expectativa?" Nous , 1983.
  • "A teoria da inferência direta", Teoria e Decisão , 1983.
  • "Uma solução para o problema da indução" , Nous , 1984.
  • "Confiabilidade e crença justificada", Canadian Journal of Philosophy , 1984.
  • "Uma teoria do raciocínio moral" , Ética , 1986.
  • "The Paradox of the Preface", Philosophy of Science , 1986.
  • "Epistemic norms", Synthese , 1987.
  • "Raciocínio derrotável", Cognitive Science , 1987.
  • "How To Build a Person: The Physical Basis for Mentality", Philosophical Perspectives , 1987.
  • "Meu irmão, a máquina" , Nous , 1988.
  • "OSCAR: Uma teoria geral da racionalidade," Journal of Experimental and Theoretical Artificial Intelligence , 1989.
  • "Interest driven supositional raciocínio", Journal of Automated Reasoning , 1990.
  • "Argumentos autodestrutivos", Minds and Machines , 1991.
  • "Uma teoria do raciocínio derrotável", International Journal of Intelligent Systems , 1991.
  • "Novos fundamentos para o raciocínio prático", Minds and Machines , 1992.
  • "Como raciocinar de maneira derrotável", Artificial Intelligence , 1992.
  • "A teoria da probabilidade nômica" , Synthese , 1992.
  • "A filogenia da racionalidade", Cognitive Science , 1993.
  • "Fundamentos para inferência direta", Teoria e Decisão , 1994.
  • "Justificação e derrota", Artificial Intelligence , 1994.
  • "A restrição de projetibilidade ", em Grue! The New Riddle of Induction , ed. Douglas Stalker, Open Court, 1994.
  • "Implementando raciocínio derrotável," Workshop on Computational Dialectics - FAPR , 1996.
  • "Oscar - Um raciocinador derrotável de propósito geral", Journal of Applied Nonclassical Logics , 1996.
  • "Proving the non-existing of God", Inquiry: An Interdisciplinary Journal of Philosophy , 1996.
  • "Levando a percepção a sério", Anais da primeira conferência internacional sobre Agentes Autônomos , 1997.
  • "Reasoning about change and persistence: A solution to the frame problem," Nous , 1997.
  • "Os fundamentos lógicos do planejamento de regressão de metas em agentes autônomos", Artificial Intelligence , 1998.
  • "Perceiving and reasoning about a change world," Computational Intelligence , 1998.
  • "Procedural Epistemology", em The Digital Phoenix: How Computers are Changing Philosophy, Bynum and Moor, eds., Wiley, 1998.
  • "Planning Agents", em Foundations of Rational Agency , ed. Rao e Wooldridge, Kluwer, 1999.
  • "Revisão de crença e epistemologia", com AS Gillies, Synthese , 2000.
  • "Rational cognition in OSCAR," Lecture Notes in Computer Science , 2000.
  • "Raciocínio revogável com graus variáveis ​​de justificativa", Artificial Intelligence , 2001.
  • "Probabilidade causal", Synthese , 2002.
  • "Os fundamentos lógicos do raciocínio meios-fins", Common Sense, Reasoning, & Rationality , 2002.
  • "Escolha racional e onipotência de ação", The Philosophical Review , 2002.
  • "Planos e decisões", Teoria e Decisão , 2004.
  • "What Am I? Virtual machines and the mind / body problem," Philosophy and Phenomenological Research , 2008.

Referências

links externos