Джон Коркоран (логик) - John Corcoran (logician)

Джон Коркоран
Джон Коркоран Logician2.jpg
Родился ( 1937-03-08 )8 марта 1937 г.
Балтимор , США
Умер 8 января 2021 г. (2021-01-08)(83 года)
Альма-матер Университет Джона Хопкинса
Известен Интерпретация Аристотель «s Prior Analytics , реконструкция Буль » оригинальных работы с, работа по логике , работа по математической логике , теории символьных , субрегулярные многогранники
Научная карьера
Поля Логика , история логики , философия логики , математическая логика , философия математики , эпистемология , онтология , лингвистика
Учреждения Университет Буффало (SUNY)
Докторант Роберт Макнотон

Джон Коркоран ( / к ɔːr к ər ən / ; 20 марта 1937 - 8 января 2021) был американский логик , философ , математик и историк логики . Он наиболее известен своей философской работы на такие понятия, как характер умозаключений , отношения между условиями , аргумент-дедукции доказательства различий , взаимосвязи между логикой и эпистемологии , и место теории доказательств и теории моделей в логике. Девять статей Коркорана переведены на испанский , португальский , персидский и арабский языки ; его «подписное» эссе 1989 года было переведено на три языка. Переиздано четырнадцать его статей; один дважды переиздавался.

Его работа над логикой предшествующей аналитики Аристотеля считается очень верной как греческому тексту, так и историческому контексту. Это основа для многих последующих исследований.

Его математические результаты по дефиниционной эквивалентности формальных теорий символьных строк , наук о символьных строках над конечными алфавитами являются основополагающими для логики, формальной лингвистики и информатики .

Образование

Коркоран изучал инженерное дело в Балтиморском политехническом институте по специальности "Продвинутая разработка учебных программ" в 1956 году и в Университете Джона Хопкинса со степенью бакалавра наук по машиностроению в 1959 году. После непродолжительной работы в инженерии он изучал философию в Университете Джонса Хопкинса, где он получил докторскую степень по философии в 1963 году. Его постдокторантура по математике проходила в университете Йешива в 1964 году и в Калифорнийском университете в Беркли в 1965 году. Тема его диссертации была «Генеративная структура двузначной логики».

Первым учителем логики Коркорана был Альберт Хэммонд . Коркоран изучал Платона и Аристотеля у Людвига Эдельштейна . Его следующими двумя учителями логики были Джозеф Уллиан и Ричард Вибе . Руководителем диссертации Коркорана был Роберт Макнотон . В университете ешива в Нью-Йорке Коркоран учился у Раймонда Смолляна и Мартина Дэвиса . Первую должность Коркоран получил в Пенсильванском университете , где его научным руководителем был профессор компьютерных и информационных наук.

Регулярные академические или исследовательские встречи

Он был профессором философии в Университете Буффало (SUNY), 1973–1997; Адъюнкт-профессор философии, Университет Буффало, 1970–1973; Доцент кафедры лингвистики Пенсильванского университета , 1965–1969; Член лингвистической группы Исследовательского центра IBM, 1963–1964.

Посещение академических или исследовательских встреч

Он является или был приглашенным профессором логики в Университете Сантьяго-де-Компостела в 1994 году; Приглашенный научный сотрудник Лингвистического института SUNY Oswego 1976; Директор проекта семинаров NSF, Лингвистический институт, Университет Буффало, 1971; Приглашенный адъюнкт-профессор философии и научный сотрудник Мичиганского университета 1969–1970; Приглашенный лектор философии, Калифорнийский университет, Беркли, 1964–1965; Математик, Исследовательская лаборатория General Electric, 1962 год; Математик, Институт астромеханики Aeronca, 1961; Младший преподаватель философии, Университет Джона Хопкинса, 1960–1961 годы.

Профиль исследования

Работа Коркорана по истории логики включает в себя большинство продуктивных периодов дисциплины. Он обсуждал Аристотеля , стоиков , Уильяма Оккама , Джованни Джироламо Саккери , Джорджа Буля , Ричарда Дедекинда , Готлоба Фреге , Чарльза Сандерса Пирса , Кларенса Ирвинга Льюиса , американских теоретиков постулатов, Альфреда Тарски , Уилларда Ван Ормана Куайна и Уоррена Голдфарба .

Его интерпретация 1972 года « Предыдущей аналитики» Аристотеля , независимо предложенная Тимоти Смайли примерно в то же время, оказалась более верной, чем предыдущие интерпретации как греческого текста, так и исторического контекста. Это послужило основой для последующих расследований Эдгара Андраде, Джорджа Богера, Мануэля Коррейя, Паоло Кривелли, Ньютона да Коста , Катарины Дутиль, Паоло Фэйта, Николаса Филлиона, Джеймса Гассера, Клауса Гласоффа, Джона Мартина, Мэри Малхерн, Майкла Сканлана, Робина. Смит, Нил Теннант и другие. Он был принят Робином Смитом для перевода предшествующей аналитики 1989 г. и Гизелы Страйкер для перевода 2009 г. книги A предшествующей аналитики .

Его критическая реконструкция оригинальной системы Буля 1847 года в 1980 году выявила ранее незамеченные пробелы и ошибки в работе Буля и установила по существу аристотелевскую основу философии логики Буля. В статье 2003 года дается систематическое сравнение и критическая оценка аристотелевской логики и булевой логики ; это также показывает центральную роль холистической референции в логической философии Буля . Согласно Коркорану, Буль полностью принял и поддержал логику Аристотеля. Буль не оспаривал один пункт, сделанный Аристотелем, но он действительно «пошел вниз, сверх и превзошел» логику Аристотеля: 1) снабдив ее математическими основами, включающими уравнения, 2) расширив класс проблем, которые она могла решать, - оценив достоверность. добавлено решение уравнений и 3) расширен диапазон приложений, с которыми он может справиться - например, от предложений, содержащих только два члена, до предложений, содержащих произвольно много.

В частности, Буль согласился с тем, что сказал Аристотель ; «Разногласия» Буля, если их можно так назвать, касаются того, чего не сказал Аристотель. Во-первых, в области основ Буль свел четыре пропозициональные формы Аристотеля к одной форме, форме уравнений, что само по себе является революционной идеей. Во-вторых, в сфере логических проблем добавление Буля решения уравнений к логике - еще одна революционная идея - включало доктрину Буля, согласно которой правила вывода Аристотеля («совершенные силлогизмы») должны дополняться правилами решения уравнений. В-третьих, в сфере приложений система Буля могла обрабатывать многосторонние предложения и аргументы, тогда как Аристотель мог обрабатывать только двухчленные предложения и аргументы субъект-предикат. Например, система Аристотеля не могла вывести: «Ни один четырехугольник, который является квадратом, не является прямоугольником, который является ромбом», из «Ни один квадрат, который является четырехугольником, не является ромбом, который является прямоугольником», или из «Ни один ромб, который является прямоугольником, не является прямоугольником». квадрат, который является четырехугольником ".

Его сотрудничество с Альфредом Тарским в конце 1970-х - начале 1980-х годов привело к публикациям о работе Тарского и к статье 2007 года « Заметки об основании логики и металогики: Аристотель, Бул и Тарский», в которой прослеживаются аристотелевские и булевы идеи в творчестве Тарского и которая подтверждает статус Тарского как основоположника логики наравне с Аристотелем и Булем.

Научная работа

Его работа в философии логики фокусируется на природе логики, роли логики в исследовании, концептуальной структуре логики, метафизических и эпистемологических предпосылках логики, природе математической логики и пробелах между логической теорией и математической практикой. Его математическая логика рассматривает пропозициональную логику , модальную логику , логику тождества, силлогистическую логику, логику терминов-операторов первого порядка, связывающих переменные, логику второго порядка , теорию моделей и теорию строк - дисциплину, которая является основополагающей во всех областях. логики и который обеспечивает важную основу для всех других его математических работ. В философии математики Коркоран руководствовался тонким и инклюзивным платонизмом, который стремится отдать должное всем аспектам математического и логического опыта, включая аспекты, подчеркнутые конкурирующими философскими точками зрения, такими как логицизм , конструктивизм , дедуктивизм и формализм . Хотя некоторые из его философских работ предполагают мало истории или математики, его исторические статьи часто включают либо оригинальную философию (например, его недавняя статья BSL «Схема»), либо оригинальная математика (например, его статья HPL 1980 года «Категоричность»). Он назвал математическое измерение своего подхода к истории математической археологией. Его философские работы часто связаны с оригинальными историческими исследованиями. Он руководствовался аристотелевским принципом, согласно которому природа современной мысли иногда лучше всего понимается в свете ее исторического развития, взгляд, который он приписывает программе Артура Лавджоя «История идей» в Университете Джона Хопкинса и поощряет его. американского философа и историка Питера Хэра.

Сотрудничество

Многие статьи и обзоры Коркорана являются соавторами, и многие из его публикаций, написанных одним автором, признают участие коллег и студентов. Коркоран подчеркивает исключительно личностный характер любого подлинного знания, включая логическое. Тем не менее, он также подчеркивает важность сообществ знающих и насколько каждый человек может извлечь выгоду в личном поиске истины из критического сотрудничества с другими объективными исследователями. Более 40 лет он был лидером «Силлогистической группы Буффало» - сообщества философов, историков, лингвистов, логиков и математиков, занимающихся изучением происхождения логики. Достижения этого сообщества описаны в его статье 2009 г. «Логика Аристотеля в университете на факультете философии Буффало», Ideas y Valores : Revista Colombiana de Filosofía 140 (август 2009 г.) 99–117. Список его публикаций, полный до 2000 г., появляется в томе « История и философия логики» 1999 г. , который также включает в себя пояснительную статью М. Сканлана и С. Шапиро «Работа Джона Коркорана: благодарность». Другие статьи о его работе: «Коркоран-математик» С. Шапиро , «Коркоран-философ» Дж. М. Сагуилло и «Коркоран на испанском языке» К. Мартинеса-Видаля; все они опубликованы в 2007 году в издании University of Santiago de Compostela Press. Работа Коркорана в 1990-х годах по теоретико-информационной логике обсуждается Хосе М. Сагуилло в статье «Методологическая практика и дополнительные концепции логического следствия: теоретико-модельное следствие Тарского и теоретико-информационное следствие Коркорана» (История и философия логики, том 30. , 2009, 21-48), получившего в 2009 году премию Айвора Граттана-Гиннесса за историю и философию логики ( informaworld.com ).

Публикации

  • Три логические теории. Философия науки 36: 1969. 153–177.
  • Полнота древней логики. Журнал символической логики 37: 1972. 696–702.
  • Разрывы между логической теорией и математической практикой. В Bunge, M., Ed. Методологическое единство науки. Дордрехт: Клувер. 1973. 23–50.
  • Значения следствия, Диалоги 9 (1973) 59–76. Перепечатано в R. Hughes, Ed., Philosophical companion to first order logic. Индианаполис: Хакетт. 1993. Испанский перевод JM Saguillo Agora 5 (1985) 279–294.
  • Система естественного вывода Аристотеля. В античной логике и ее современных интерпретациях. Эд. Дж. Коркоран, Дордрехт: Kluwer, 1974. 85–131.
  • Замечания о стоической дедукции. Там же, 169–181.
  • Теория струн. Журнал символической логики 39 (1974) 625–37. С У. Франком и М. Мэлони.
  • Логические структуры теории предположений Оккама. Францисканские исследования 38 (1978) 161–83. С Я. Свинярски.
  • Кроссли по математической логике. Философия 8 (1978) 79–94. Испанский перевод А. Гарсиадьего Матезиса X (1988) 133–150. Совместно с С. Шапиро .
  • Категоричность. История и философия логики 1 (1980) 187–208. Перепечатано в S. Shapiro , Ed., The Limits of Logic, Aldershot, England: Dartmouth Publishing Company. 1996 г.
  • Булевские критерии валидности и недействительности. Журнал Нотр-Дам по формальной логике 21 (1980) 609–639. Совместно с С. Вудом. Перепечатано в J. Gasser, Ed. Булевская антология. Дордрехт: Kluwer, 2000.
  • Введение и аналитический указатель. В Тарском А. Логика, семантика, метаматематика. Второе изд. Под редакцией Дж. Коркорана. Пер. Дж. Х. Вудгер. Индианаполис: Хакетт. 1983 г.
  • Современная актуальность античной логической теории. Philosophical Quarterly 32 (1982) 76–86. С М. Сканланом.
  • Аргументация и логика. Аргументация 3 (1989) 17–43., Испанский перевод Р. Фернандеса и Х. Сагуилло Агора 13/1 (1994) 27–55.
  • Рецензия на Альфреда Тарского: Сборник статей. 4 тт. Под редакцией С. Гиванта и Р. Маккензи. Базель: Биркхойзер. 1986. Mathematical Reviews 91h: 01101, 2, 3,4. 1991 г.
  • Основание логики. Античная философия 14 (1994) 9–24.
  • Теоретико-информационная логика в Истине в перспективе под редакцией К. Мартинеса, У. Риваса, Л. Виллегас-Фореро, Ashgate Publishing Limited, Олдершот, Англия (1998) 113–135.
  • Логика второго порядка. В «Церковном мемориальном томе», «Логика, значение и вычисление: очерки памяти Алонзо Чёрча» под редакцией М. Зелени и К.А. Андерсона, издательство Kluwer Publishing Company, Дордрехт, Голландия. 1998 г.
  • Предварительная аналитика Аристотеля и булевые законы мышления. . История и философия логики 24 (2003) 261–288.
  • Схемы: понятие схемы в истории логики. Вестник символической логики. 12 (2006) 219–40.
  • К. И. Льюис : история и философия логики. Труды Общества К. С. Пирса. 42 (2006) 1–9.
  • Коркоран, Джон (21 сентября 2008 г.). «Схема» . В Залте, Эдвард Н. (ред.). Стэнфордская энциклопедия философии .
  • Обзор «Аристотель, предшествующая аналитика: книга I, Гизела Страйкер (перевод и комментарии), Oxford UP, 2009, 268 стр., 39,95 долл. США (pbk), ISBN  978-0-19-925041-7 ». в « Философских обзорах Нотр-Дама» , 02.02.2010 .
  • «Отсутствие множественных вселенных дискурса в статье Тарского по определению последствий 1936 года», История и философия логики 32 (2011) : 359–80. Соавтор Хосе Мигель Сагуилло. http://www.tandfonline.com/doi/abs/10.1080/01445340.2011.577145#.UksmOD_-kQs
  • «Экзистенциальный импорт сегодня: новые метатеоремы; исторические, философские и педагогические заблуждения», История и философия логики 36 (2014) : 39–61. Соавтор Хасан Масуд. http://www.tandfonline.com/doi/full/10.1080/01445340.2014.952947

Полный список см. На домашней странице Джона Коркорана . Некоторые из его работ доступны в Интернете: https://buffalo.academia.edu/JohnCorcoran

Служение профессии

  • Соучредитель с Джорджем Уивером из Philadelphia Logic Colloquium 1966 г.
  • Основатель Buffalo Logic Colloquium [1] 1970 г.
  • Председатель Коллоквиума по логике Буффало, 1970 г., чтобы выступать с перерывами.
  • Член-учредитель редакционной коллегии журнала «История и философия логики» с 1980 г. по настоящее время.
  • Регулярный рецензент журнала Mathematical Reviews с 1969 г. по настоящее время.
  • Временный обозреватель « Философии науки» , «Бюллетеня символической логики» и « Журнала символической логики» .
  • Временный рецензент различных логических журналов.
  • Организатор четырех конференций:
    • Древняя логика (Коркоран, Крецманн, Мюллер и др.) 1972 г.
    • Природа логики (Тарски, Патнэм , Фридман, Джеч, Веслей, Гудман и др.) 1973
    • Церковный симпозиум (Черч, Дэвис , Хенкин, Роджерс) 1990 г.
    • Конференция по пробелам между логической теорией и математической практикой ( Шапиро , Сканлан, Макларти, Уивер, Тизсен, Кирнс и др.) 2001.
  • Спонсор церкви Алонсо для почетного доктора Университета Буффало в 1990 году.
  • Редакционный совет Кембриджского философского словаря, 2012 г. - настоящее время.

Обучение

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

Его бывшие студенты преподают в Автономном университете Мехико, Брин-Маур, Колледже Канисиуса, штат Колорадо, колледже Дордт, Францисканском университете, штат Фредония, штат Огайо, штат Орегон, Папском университете Рио-де-Жанейро, колледже Св. Иоанна Фишера, Св. Колледж Джона, Калифорнийский университет в Лос-Анджелесе, Лозаннский университет , Университет Сантьяго-де-Компостела и другие места.

Среди его самых известных учеников Джордж Богер, Джеймс Гассер, Кэлвин Йонгсма, Идрис Самави Хамид, Эдвард Кинан, Тимоти Мэдиган, Шрирам Намбьяр, Хосе Мигель Сагуилло , Майкл Сканлан, Стюарт Шапиро и Джордж Уивер.

Почести и награды

  • Специальный двойной выпуск журнала Festschrift «История и философия логики» за 1999 г. (ред. М. Сканлан и С. Шапиро );
  • «Выдающаяся ученая награда» Университета Буффало, 2002 г .;
  • Почетный доктор Университета Сантьяго-де-Компостела (Испания), 2003 г .;
  • Симпозиум Коркорана, Университет Сантьяго-де-Компостела (Испания), 2003 г.
  • Коллоквиум Коркорана, Университет Буффало, октябрь 2010 г.

Список используемой литературы

  • Коркоран, Джон (2009). «Демонстрационная логика Аристотеля». История и философия логики , 30 : 1–20.
  • Коркоран, Джон (2009). «Логика Аристотеля на философском факультете Университета Буффало». Ideas y Valores: Revista Colombiana de Filosofía , 140 (август 2009 г.) 99–117. http://www.revistas.unal.edu.co/index.php/idval/article/viewFile/12581/13183

Примечания

использованная литература