Джон Л. Поллок - John L. Pollock

Джон Л. Поллок
Джон Л. Поллок
Родившийся	1940 г. ; Атчисон, Канзас
Умер	2009 г. (68–69 лет)
Альма-матер	Калифорнийский университет в Беркли
Область, край	Западная философия
Школа	Аналитический
Основные интересы	эпистемология , философская логика , когнитивная наука

Джон Л. Поллок (1940–2009) был американским философом, известным своими влиятельными работами в области эпистемологии , философской логики , когнитивной науки и искусственного интеллекта .

Жизнь и карьера

Родился Джон Лесли Поллок в Атчисоне, штат Канзас, 28 января 1940 года. Поллок получил тройную степень по физике, математике и философии в Миннесотском университете в 1961 году. В 1965 году защитил докторскую диссертацию « Аналитичность и значимость» в Калифорнийском университете в Беркли. советовал Эрнест Адамс (что сделало Поллока интеллектуальным потомком Готфрида Лейбница и Иммануила Канта через Эрнеста Нагеля и Патрика Суппеса ). Эта диссертация содержала приложение о допустимых рассуждениях , которые в конечном итоге превратились в его главный вклад в философию.

Поллок занимал должности преподавателей в SUNY Buffalo , Университете Рочестера , Университете Мичигана и Университете Аризоны , где он провел большую часть своей карьеры. В Аризоне он помог основать Программу когнитивных наук . Он был заядлым байкером и основал клуб верховой езды в Южной Аризоне.

Философская работа

Знание и обоснование

«Знание и обоснование» - это книга, которая положила начало Поллоку в области эпистемологии. Он появился в то время, когда американская философия, и особенно американская эпистемология, была одержима анализом того, что значит знать что-то. Например, проблема Геттье , одна из наиболее часто обсуждаемых проблем современности, спрашивает, почему «обоснованное истинное убеждение» в том, что x не эквивалентно знанию этого x. Книга Поллока отступает от попытки определить «аналитические критерии», которые могут составлять необходимые и достаточные условия для знания. Его эпистемические нормы основываются на допустимых рассуждениях; они являются условиями при прочих равных условиях, которые могут допускать исключения. Несколько других эпистемологов (особенно из Университета Брауна , таких как Эрнест Соса и особенно Родерик Чизхолм ), а также его коллега из Аризоны Кейт Лерер писали об оспоримости и эпистемологии. Но книга Поллока, сочетающая в себе широкий охват и решающее новаторство, вывела эти идеи в философский мейнстрим.

Возможные аргументы

За два десятилетия до своей смерти Поллок стал известен среди философов как «мистер недопустимое рассуждение». В области искусственного интеллекта, где немонотонное рассуждение вызвало интеллектуальный переворот, ученые, симпатизирующие работе Поллока, высоко ценили его за его раннюю приверженность и ясность. Самым прямым заявлением Поллока является статья «Достижимое мышление» в « Когнитивной науке» , 1987 г., хотя его несинтаксические идеи почти полностью созрели в « Знании и обосновании» . Поллок проследил историю своего собственного мышления (например, в сноске в Pollock and Cruz, Contemporary Theories of Knowledge, 1999, p. 36, note 37, и в других местах) до своей первой статьи по эпистемологии «Критерии и наши знания о материальный мир », Philosophical Review 76 , 1967. Он думал, что Родерик Чизхолм повлиял на его мышление по этому поводу, но он также сказал, что пытался напрямую интерпретировать Людвига Витгенштейна , и иногда доверял Стивену Тулмину в предмете аргументации. Хотя его работа оказала значительное влияние в области искусственного интеллекта и права , сам Поллок не очень интересовался юриспруденцией или теориями юридической аргументации, и он никогда не признавал наследование аннулируемых аргументов через HLA Hart . Поллок также держал на расстоянии неформальных логиков и исследователей риторики , хотя несостоятельные аргументы имеют естественное сходство в аргументах .

«Подрезающее поражение» и «опровержение поражения» Поллока теперь являются неотъемлемой частью литературы по оспоримым рассуждениям. Позже он добавил «саморазрушение» и другие виды механизмов поражения, но исходное различие остается наиболее популярным.

Несмотря на то, что этому способствовал сильный попутный ветер со стороны ИИ и нескольких современных философов-единомышленников (например, Дональд Нут, Николас Ашер, Боб Кози), несомненно, что несостоятельные рассуждения из малоизвестного превратились в мейнстрим в философии благодаря Джону Поллоку в короткий промежуток времени между публикацией « Знания и обоснования» и вторым изданием « Современных теорий познания» .

ОСКАР / Как построить личность

Позже Поллок посвятил много времени программному проекту под названием OSCAR , прототипу программного обеспечения для искусственного интеллекта, который он назвал «artilect». ОСКАР в значительной степени был воплощением идей Поллока об опровержимых рассуждениях, но он также воплощал его менее известные и часто неопубликованные идеи о намерениях, интересах, стратегиях решения проблем и другом когнитивном архитектурном дизайне. OSCAR был программой, основанной на LISP , у которой был "основанный на интересах" рассуждающий. Поллок утверждал, что эффективность его средства доказательства теорем основывалась на его нежелании делать «неинтересные» выводы. Хотя OSCAR не выиграл от вклада большого числа профессиональных программистов, его следует сравнивать с CyC , Soar (когнитивная архитектура) и Novamente за амбиции его изобретателя.

Поллок описал основные особенности Оскара как способность ошибочно рассуждать о восприятии, изменении и настойчивости, причинно-следственных связях, вероятностях, построении и оценке плана и решении. Он описал эволюцию Оскара в Басне об Оскарах в своей книге.

ОСКАР вырос из Прологемены о том, как построить личность , которую коллеги, должно быть, предположили, было шутливым использованием личности в то время. Однако собственное отношение Поллока к ОСКАР было более хитрым: он с нетерпением ждал появления когнитивных таксономий будущего, которые бы щедро классифицировали ОСКАР как законную антропоморфную форму.

Номинальная вероятность

Nomic Probability and the Foundations of Induction, Oxford, 1990 был глубоким исследованием Поллока взаимосвязи между ошибочными рассуждениями и оценкой вероятности по частотам (прямой вывод вероятности). Это развитие идей, первоначально обнаруженных в статье 1983 года « Теория и решения» . Эту работу следует сравнить с теориями вероятности Генри Э. Кибурга , хотя Поллок полагал, что теоретизировал более широкий спектр статистических выводов .

Публикации

Книги

Введение в символическую логику, Холт Райнхарт Уинстон, 1969.
Знание и обоснование, Принстон, 1974.
Слагательное мышление, Springer, 1976.
Язык и мысль, Принстон, 1982.
Основы философской семантики, Принстон, 1984.
Современные теории познания, первое издание, Роуман-Литтлфилд, 1987.
Как построить личность: пролегомен, MIT Press, 1989.
Технические методы в философии, Westview, 1990.
Номинальная вероятность и основы индукции, Оксфорд, 1990.
Философия и искусственный интеллект: эссе на стыке, с Р. Камминсом, MIT Press, 1995.
Когнитивная столярка: план построения человека, MIT Press, 1995.
Современные теории познания, с Дж. Крузом, второе издание, Роуман-Литтлфилд, 1999.
Размышляя о действии: логические основы рационального принятия решений, Оксфорд, 2006 г.

Избранные статьи

«Критерии и наши знания о материальном мире», The Philosophical Review , 1967.
«Базовая модальная логика», Журнал символической логики , 1967.
«Что такое эпистемологическая проблема?» American Philosophical Quarterly , 1968.
«Структура эпистемического обоснования», American Philosophical Quarterly , 1970.
«Перцептивное знание», The Philosophical Review , 1971.
«Логика проецируемости», « Философия науки» , 1972 г.
«Слагательные обобщения», Synthese , 1974.
«Четыре вида условных выражений», American Philosophical Quarterly , 1975.
«Анализ контрфактов в« возможных мирах »», Philosophical Studies , 1976.
«Размышления об объекте», « Философские исследования Среднего Запада» , 1980 г.
«Утонченная теория контрфактов», журнал Philosophical Logic , 1981.
«Эпистемология и вероятность», Synthese , 1983.
"Как максимизировать ожидаемую ценность?" Ноус , 1983.
«Теория прямого вывода», Theory and Decision , 1983.
«Решение проблемы индукции», Ноус , 1984.
«Надежность и обоснованная вера», Канадский философский журнал , 1984.
«Теория морального мышления», « Этика» , 1986.
«Парадокс предисловия», « Философия науки» , 1986.
«Эпистемические нормы», Synthese , 1987.
«Допустимое рассуждение», Когнитивная наука , 1987.
«Как построить личность: физическая основа менталитета», Философские перспективы , 1987.
«Мой брат, машина», Ноус , 1988 г.
«ОСКАР: общая теория рациональности», Журнал экспериментального и теоретического искусственного интеллекта , 1989 г.
«Предполагаемое рассуждение, основанное на интересе», Journal of Automated Reasoning , 1990.
«Несостоятельные аргументы», Minds and Machines , 1991.
«Теория противоречивых рассуждений», Международный журнал интеллектуальных систем , 1991.
«Новые основы практического мышления», Minds and Machines , 1992.
«Как аргументированно рассуждать», Искусственный интеллект , 1992.
"Теория номической вероятности", Synthese , 1992.
«Филогения рациональности», Когнитивная наука , 1993.
«Основы для прямого вывода», Теория и решение , 1994.
«Оправдание и поражение», Искусственный интеллект , 1994.
«Ограничение проецируемости» в Grue! Новая загадка индукции , изд. Дуглас Сталкер, Открытый суд, 1994.
«Внедрение отказоустойчивых рассуждений», семинар по вычислительной диалектике - FAPR , 1996.
«Оскар - универсальный разрушаемый рассудок», Журнал прикладной неклассической логики , 1996.
«Доказательство несуществования Бога», Исследование: Междисциплинарный философский журнал , 1996.
«Серьезное отношение к восприятию», Труды первой международной конференции по автономным агентам , 1997 г.
«Рассуждения об изменениях и настойчивости: решение проблемы фреймов», Ноус , 1997.
«Логические основы планирования регрессии целей в автономных агентах», Искусственный интеллект , 1998.
«Восприятие и рассуждения об изменяющемся мире», Computational Intelligence , 1998.
«Процедурная эпистемология» в «Цифровом фениксе: как компьютеры меняют философию», издательство Bynum and Moor, ред., Wiley, 1998.
«Агенты по планированию», в « Основы Rational Agency» , под ред. Рао и Вулдридж, Kluwer, 1999.
«Пересмотр убеждений и эпистемология», с AS Gillies, Synthese , 2000.
«Рациональное познание в ОСКАР», конспект лекций по информатике , 2000 г.
«Допустимые рассуждения с различной степенью обоснованности», Искусственный интеллект , 2001.
«Причинная вероятность», Synthese , 2002.
«Логические основы рассуждений о средствах и целях», Здравый смысл, рассуждение и рациональность , 2002.
«Рациональный выбор и всемогущество действия», The Philosophical Review , 2002.
«Планы и решения», Теория и решение , 2004.
«Что я? Виртуальные машины и проблема разума и тела», Философия и феноменологические исследования , 2008 г.

Languages

In other projects