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

Было предложено проверить эту статью, чтобы гарантировать нейтральную точку зрения . Обсуждение можно найти на странице обсуждения . ( Март 2017 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

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

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

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

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

Образование [ править ]

Коркоран изучал инженерное дело в Балтиморском политехническом институте по специальности "Продвинутая разработка учебных программ" в 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; Математик, Исследовательская лаборатория Дженерал Электрик, 1962 год; Математик, Институт астромеханики Aeronca, 1961; Младший преподаватель философии, Университет Джона Хопкинса, 1960–1961 годы.

Профиль исследования [ править ]

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

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

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

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

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

Научная работа [ править ]

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

Сотрудничество [ править ]

Многие статьи и обзоры Коркорана являются соавторами, и многие из его публикаций, написанных одним автором, признают участие коллег и студентов. Коркоран подчеркивает исключительно личностный характер всех истинных знаний, в том числе логических. Тем не менее, он также подчеркивает важность сообществ знающих и насколько каждый человек может извлечь выгоду в личном поиске истины из критического сотрудничества с другими объективными исследователями. Более 40 лет он был лидером «Силлогистической группы Буффало» - сообщества философов, историков, лингвистов, логиков и математиков, занимающихся изучением происхождения логики. Достижения этого сообщества описаны в его статье 2009 года «Логика Аристотеля в университете в Буффало».s «Философский факультет», Ideas y Valores: Revista Colombiana de Filosofía 140 (август 2009 г.) 99–117. Список его публикаций, полный до 2000 г., появляется в томе « История и философия логики» 1999 г. , который также включает в себя пояснительную статью М. Сканлана и С. Шапиро «Работа Джона Коркорана: благодарность». Другие статьи о его работе: «Коркоран-математик» С. Шапиро , «Коркоран-философ» Дж. М. Сагуилло и «Коркоран на испанском языке» К. Мартинеса-Видаля; все они опубликованы в 2007 году в издании University of Santiago de Compostela Press. ^[9] Работа Коркорана в 1990-х годах по теоретико-информационной логике обсуждается Хосе М. Сагуилло.в статье «Методологическая практика и дополнительные концепции логического следствия: теоретико-модельное следствие Тарского и теоретико-информационное следствие Коркорана» (History and Philosophy of Logic, том 30, 2009, 21-48), получившую в 2009 году премию Ivor Grattan-Guinness. по истории и философии логики ( 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 г. ^[10]
• Редакционный совет Кембриджского философского словаря, 2012 г. - настоящее время.

Обучение [ править ]

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

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

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

Почести и награды [ править ]

• Специальный двойной выпуск журнала 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

Заметки [ править ]

Ссылки [ править ]