Джон Л. Поллок

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

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

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

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

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

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

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

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

Отменяемое рассуждение

Поллок стал известен среди философов как «мистер Отказуемое Рассуждение» за два десятилетия до своей смерти. В области искусственного интеллекта , где немонотонные рассуждения вызвали интеллектуальный переворот, ученые, симпатизирующие работам Поллока, высоко ценили его за его раннюю целеустремленность и ясность ума. Наиболее прямым высказыванием Поллока является статья «Оправданное рассуждение» в журнале Cognitive Science , 1987, хотя его несинтаксические идеи были почти полностью зрелыми в « Знании и обосновании» . Поллок проследил историю своего собственного мышления (например, в сноске к книге Поллока и Круза, «Современные теории познания», 1999, стр. 36, примечание 37 и др.) до своей первой статьи по эпистемологии «Критерии и наше знание «материальный мир», Philosophical Review 76 , 1967. Он думал, что Родерик Чисхолм повлиял на его размышления по этому вопросу, но он также сказал, что пытался напрямую интерпретировать Людвига Витгенштейна , и иногда отдавал должное Стивену Тулмину в предмете спора. Хотя его работа имела значительное влияние в области Искусственный интеллект и право . Поллок сам не особо интересовался юриспруденцией или теориями юридического рассуждения и никогда не признавал унаследованность отменяемого рассуждения через HLA Hart . Поллок также держался неформальных логиков и ученых -риторищиков на расстоянии от , хотя у опровергаемых рассуждений есть естественная близость к аргументам .

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

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

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

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

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

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

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

Номическая вероятность и основы индукции, Оксфорд, 1990 г. представляли собой глубокое исследование Поллока взаимосвязи между опровергаемыми рассуждениями и оценкой вероятности на основе частот (прямой вывод вероятности). Это развитие идей, первоначально найденных в статье «Теория и решения» 1983 года . Эту работу следует сравнить с теориями вероятности Генри Э. Кибурга , хотя Поллок полагал, что он теоретизировал о более широком разнообразии статистических выводов .

Публикации

Книги

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

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

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

Ссылки

^ "Дом" . johnpollock.us .
^ «Проект ОСКАР» . Архивировано из оригинала 18 июня 2009 г. Проверено 9 декабря 2009 г.

Внешние ссылки

[1] "Дом" . johnpollock.us .

[2] «Проект ОСКАР» . Архивировано из оригинала 18 июня 2009 г. Проверено 9 декабря 2009 г.

[1]

[2]

Базы данных авторитетного контроля
Международный	БЫСТРЫЙ ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Франция Данные БнФ Каталония Германия Израиль Бельгия Соединенные Штаты Чешская Республика Нидерланды Польша
Другой	ИдРеф