Маттиас Ширн

Маттиас Ширн (родился 3 октября 1944 года в Вайденау/Зигене) — немецкий философ и логик .
Образование и академическая карьера
[ редактировать ]Ширн получил докторскую степень во Фрайбургском университете в 1974 году, защитив диссертацию по тождеству и синонимии в логике и семантике, а затем преподавал в Оксфордском университете , Кембриджском университете и Университете штата Мичиган . Исследования Ширна в это время были сосредоточены на теориях значения естественных языков и интенсиональной семантике, и он продолжал работать в этой области в Калифорнийском университете в Беркли , колледже Св. Иоанна (Оксфорд), Гарвардском университете и в Вольфсон-колледже (Оксфорд). В 1985 году Ширн получил степень доктора философии в Регенсбургском университете за диссертацию по философии математики Фреге. С 1987 года он является почетным профессором Фибигера в Мюнхенском университете (LMU), а с 2012 года является членом Мюнхенского центра математической философии. Он также преподавал в Университете Миннесоты (1989 г.), Государственном университете Кампинаса (1991 г.), Католическом университете Сан-Паулу (1998 г.), Национальном университете Буэнос-Айреса (1992 г.), Национальном автономном университете Мексики (1993 г.). , 1994, 1997), Национальный университет Сан-Маркос в Лиме (2009) и многие другие университеты Европы и Латинской Америки. Ширн опубликовал в Разум , The Philosophical Quarterly , The Philosophical Review , Synthese , Erkenntnis , Axiomathes , Журнал символической логики , Обзор символической логики , Журнал прикладной логики , Отчеты по математической логике , История и философия логики , Logique et Analyse , The British Журнал философии науки , метанауки , диалектики , Grazer Philosophische Studien , Kantstudien , Archiv für Geschichte der Philosophie , Theoria , Crítica , Manuscrito и других международных журналов. Он читал приглашенные лекции в самых престижных университетах Европы, Азии, Латинской Америки и Южной Африки, а также в некоторых из самых выдающихся университетов Соединенных Штатов Америки и Австралии. В 2014 году он прочитал серию лекций по Фреге философии математики в Оксфордском университете и провел соответствующие исследования в Вольфсон-колледже. В том же году он был приглашен на работу профессором-исследователем в Киотский университет и получил исследовательскую стипендию Японского общества содействия науке. Благодаря своей академической деятельности по всему миру с самого начала своей карьеры Ширн считает себя космополитом. Помимо немецкого, он свободно говорит на английском, испанском, португальском и французском языках и в настоящее время пытается восстановить свободное владение итальянским языком. Ширн также немного говорит на современном греческом, румынском и японском языках. Он знаком с латынью и древнегреческим языком. [1]
Исследовать
[ редактировать ]Ширн внес вклад в философию языка и эпистемологию и наиболее известен своими работами по логике Фреге и философии математики, а также по метаматематике Гильберта и связанным с ней вопросам истории и философии логики и основам математики . Что касается философии математики Фреге, Ширн совсем недавно сосредоточил внимание и опубликовал публикацию на введении логических объектов посредством принципов абстракции второго порядка, их логической, семантической и эпистемологической природы, проблеме референтной неопределенности абстрактных сингулярных терминов, которым эти принципы придают возникают в контексте Фреге, основы реального анализа и геометрии и, наконец, что не менее важно, некоторые аспекты неологицизма . В настоящее время он готовит к публикации две книги на английском языке по логике Фреге и философии математики. В серии статей, написанных в соавторстве с Карлом-Георгом Нибергалем, Нибергалл и Ширн представили финитистский теоретико-доказательный подход Гильберта в новом свете, уделив пристальное внимание развитию его метаматематических работ в период 1922-1939 годов и используя логический подход. ресурсы современной теории доказательств. Одним из важных результатов их опубликованной работы является то, что Арифметика Пеано косвенно доказывает свою непротиворечивость за один шаг, и что рекурсивно перечислимые расширения QF-IA (QF = отсутствие кванторов — IA = аксиома индукции) также косвенно доказывают свою непротиворечивость за один шаг. Ширн и Нибергалл также известны своим анализом расширений Гильберта финитистской точки зрения в свете теорем Гёделя о неполноте и попыткой опровержения широко распространенного тезиса У. В. Тейта. [2] что все финитистские рассуждения примитивно рекурсивны (WW Tait, «Finitism», Journal of Philosophy 78, 524–546). В последние годы Ширн опубликовал больше работ по метаматематике Гильберта, например, «Конечное и бесконечное: о формалистическом подходе Гильберта до и после теорем Гёделя о неполноте» в журнале Logique et Analyse 62 (2019), 1-34.
Личная жизнь
[ редактировать ]Ширн является партнером гаитянско-доминиканской модели Джоан Жан.
Избранные публикации
[ редактировать ]Книги
[ редактировать ]- Речевой акт – существование – истина. Основные темы языково-аналитической философии (ред.), Фромманн-Хольцбуг, Штутгарт-Бад-Каннштатт, 1974.
- Идентичность и синонимия, Фромманн-Хольцбуг, Штутгарт-Бад-Каннштатт, 1975.
- Исследования Фреге - Исследования Фреге, том. I - III (ред.), Фромманн-Хольцбуг, Штутгарт-Бад-Каннштатт, 1976.
- Фреге: важность и наследие (редактор), Вальтер де Грюйтер, Берлин, Нью-Йорк, 1996.
- Философия математики сегодня (ред.), Oxford University Press, Оксфорд, 1998.
- Совместно с Гвидо Имагуайром, «Исследования по философии языка», Эдисойнс Лойола, Сан-Паулу, 2008 г.
- Фреге об основах математики, серия Synthese Library. Исследования в области эпистемологии, логики, методологии и философии науки, Спрингер, Лондон, Нью-Йорк, 2023.
- Логика Фреге, философия математики и не только, серия Synthese Library. Исследования по эпистемологии, логике, методологии и философии науки, Спрингер, Лондон, Нью-Йорк, 2024.
- Смысл, смысл, истина. Исследования философии языка и логики Фреге, 2024.
Награды
[ редактировать ]- Стипендии Немецкого исследовательского фонда (DFG) 1978–1980 и 1986–1988 годов.
- Исследовательский грант Немецкой службы академических обменов (DAAD) и CONARE, Национальный университет Коста-Рики, Эредиа, 2000 г.
- Исследовательский грант от Координации по повышению квалификации кадров высшего образования (CAPES), Федеральный университет Сеара, Форталеза, 2009 г.
- Исследовательский грант CAPES, Федеральный университет Рио-де-Жанейро, Рио-де-Жанейро, 2011 г.
- Исследовательская стипендия Японского общества содействия науке (JSPS), Киотский университет, 2014 г.
Ссылки
[ редактировать ]- ^ https://www.philosophie.uni-muenchen.de/lehruniten/wissenstheorie/menschen/ehemalige/schirn/cv_schirn_july2019.pdf
- ^ Чарльз Парсонс, Философия математики в двадцатом веке: избранные эссе , издательство Гарвардского университета, 2014, стр. 309
Веб-страница философского факультета LMU: http://www.philosophie.uni-muenchen.de/lehreinheiten/wissenschaftstheorie/personen/ehemalige/schirn/index.html. который также содержит обширное резюме, подтверждающее всю информацию, найденную здесь. https://web.archive.org/web/20150620131641/http://www.philosophie.uni-muenchen.de/lehreinheiten/wissenschaftstheorie/personen/ehemalige/schirn/cv.pdf
Сокращенное резюме Маттиаса Ширна, включая список избранных публикаций (до 2008 г.), можно найти в Международном справочнике логиков. «Кто есть кто в логике», под редакцией Дова М. Габбая и Джона Вудса, College Publications, Лондон, 2009 г., стр. 306–308.