Джон Коркоран (логик)

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

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

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

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

Образование

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

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

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

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

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

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

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

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

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

Его критическая реконструкция исходной системы Буля 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 года, опубликованном издательством Издательство Университета Сантьяго-де-Компостела . Работа Коркорана 1990-х годов по теоретико-информационной логике обсуждается Хосе М. Сагуйо в статье «Методологическая практика и дополнительные концепции логического следствия: теоретико-модельное следствие Тарского и информационно-теоретическое следствие Коркорана» («История и философия логики»).том 30, 2009, 21–48), получивший в 2009 году премию Айвора Граттана-Гиннесса за историю и философию логики ( informaworld.com ).

Публикации

• Три логические теории. Философия науки . 36 (1969): 153–177.
• Полнота древней логики. Журнал символической логики . 37 (1972): 696–702.
• Разрывы между логической теорией и математической практикой. В Бунге М., Под ред. Методологическое единство науки. Дордрехт: Клювер. 1973. 23–50.
• Значения импликации. Диалоги . 9 (1973): 59–76. Перепечатано в издании Р. Хьюза «Философский спутник логики первого порядка». Индианаполис: Хакетт. 1993. Испанский перевод Дж. М. Сагуйо, Agora , 5 (1985): 279–294.
• Система естественной дедукции Аристотеля. В древней логике и ее современных интерпретациях. Эд. Дж. Коркоран, Дордрехт: Kluwer, 1974. 85–131.
• Замечания о стоической дедукции. Там же, 169–181.
• Теория струн. Журнал символической логики . 39 (1974): 625–37. С У. Франком и М. Мэлони.
• Логические структуры теории предположений Оккама. Францисканские исследования . 38 (1978): 161–83. С Я. Свинярским.
• Кроссли о математической логике. Философия . 8 (1978): 79–94. Испанский перевод А. Гарсиадиего, Mathesis, X (1988): 133–150. С С. Шапиро .
• Категоричность. История и философия логики . 1 (1980): 187–208. Перепечатано в издательстве С. Шапиро , «Пределы логики», Олдершот, Англия: Дартмутская издательская компания. 1996.
• Критерии действительности и недействительности Буля. Журнал формальной логики Нотр-Дама . 21 (1980): 609–639. С С. Вудом. Перепечатано в J. Gasser, Ed. Антология Буля. Дордрехт: Клювер. 2000.
• Введение и аналитический указатель. Тарский А. Логика, семантика, метаматематика. Второе изд. Под редакцией Дж. Коркорана. Пер. Дж. Х. Вуджер. Индианаполис: Хакетт. 1983.
• Современная актуальность древней логической теории. Философский ежеквартальный журнал . 32 (1982): 76–86. С М. Скэнланом.
• Аргументация и логика. Аргументация . 3 (1989): 17–43, испанский перевод Р. Фернандеса и Х. Сагуйо, Agora , 13/1 (1994): 27–55.
• Обзор Альфреда Тарского: Сборник статей. 4 тома. Под редакцией С. Гиванта и Р. Маккензи. Базель: Биркхойзер. 1986. Математические обзоры 91h:01101, 2, 3, 4. 1991.
• Основание логики. Древняя философия . 14 (1994): 9–24.
• Теоретико-информационная логика, в книге «Истина в перспективе» под редакцией К. Мартинеса, У. Риваса, Л. Вильегас-Фореро, Ashgate Publishing Limited, Олдершот, Англия (1998) 113–135.
• Логика второго порядка. В «Церковном мемориальном томе» «Логика, значение и вычисления: очерки памяти церкви Алонзо» под редакцией М. Зелени и К. А. Андерсона, издательская компания Kluwer, Дордрехт, Голландия. 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 .» в журнале Notre Dame Philosophical Reviews , 2010.02.02. Архивировано 15 июня 2011 года в Wayback Machine .
• «Отсутствие множественных вселенных дискурса в статье Тарского с определением последствий 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
• «Дедукция и редукция, расшифровка силлогистической мнемоники» Энтелекья Логико-Метафизическое обозрение 2 (1): 5-39 (2018). Соавторы Дэниел Новотны и Кевин Трейси.

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

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

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

Смерть

Коркоран умер 8 января 2021 года в возрасте 83 лет.

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

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

Библиография

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

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

• ОПЕРАТОРЫ СВЯЗЫВАНИЯ ПЕРЕМЕННЫХ ТЕРМОНОВ, ДЖОН КОРКОРАН , авторы УИЛЬЯМ ХЭТЧЕР и , Нью-Йорке и Квебеке ( Канада ДЖОН ХЕРРИНГ в Буффало ). Он включает в себя утверждение принципа установления истины , который он открыл совместно с Ньютоном да Коштой .