Какие темы актуальны в философии логики?

Самая последняя программа — это «трансцендентальный синтаксис», продвигаемый Жираром, основателем линейной логики , с 2011 года. Как следует из кантианского названия, идея состоит в том, чтобы разработать «критику грамматики», внутреннее обоснование логических правил, которые мы принимаем как условия возможности, подобные кантовскому обоснованию «синтетического априори». Очевидно, что логические обоснования логики были бы круговыми, а семантические (эмпирические) обоснования натолкнулись бы на хорошо известные эпистемологические проблемы. Идея состоит в том, чтобы переинтерпретировать дедукции как динамически выполняемые программы в соответствии с перепиской Карри-Ховарда ., ввести тесты за и против утверждений и интерпретировать правила как обеспечивающие успешное прекращение споров о них. Это отчасти моделирует нормативную практику логики, которую, по мнению Витгенштейна, « следует обходить молчанием ». По словам Жирара, « трансцендентальный синтаксис заменяет семантику — т. е. метафизику «Реального» — изучением условий возможности логического языка », как успешно выполнимого.

Вот программная статья Жирара , но я бы начал с более пояснительного . О трансцендентальном синтаксисе: кантовская программа для логики? Абруски и Пистоне , что помещает его в исторический контекст:

Действительно, по аналогии с кантовским трансцендентализмом программа пытается поставить вопрос о дедукции, то есть о легитимации авторитета, которым обладают логические языки... быть оправданным; это ограничение действительно было тем, что делало для Канта различие между трансцендентальным предприятием и метафизикой.

[...] направлен на объяснение того, как синтаксические ограничения связаны с традиционными логическими результатами, такими как общие теоремы об исключении разрезов, теоремы о полноте и неполноте. [...] по крайней мере две другие амбиции: использование инструментов трансцендентного синтаксиса для оказания критической силы по отношению к существующим синтаксисам путем объединения философских и чисто технических обоснований и уточнения реальных логических систем наряду с более тонким пониманием их внутренние конститутивные принципы. "

Также взгляните на недавний том « Логика, эпистемология и единство науки» (2009 г.) под редакцией Rahman et al. Это тематический сборник статей, посвященных роли логики в аналитической философии. Он отражает недавнее движение, стремящееся философски возродить некоторые аспекты логического позитивизма (объединение знаний на основе логики), но на «энциклопедической» концепции Нейрата, а не на «устранении метафизики посредством синтаксиса» Карнапа. Вот из программной вступительной статьи:

« В то время как многие философы науки уклонялись от логики, тем временем в логике произошло много важных новых разработок, некоторые из которых могут иметь чрезвычайно важные приложения к вопросам эпистемологии и общей философии науки. Эти разработки остались практически незамеченными. в более широком философском сообществе.Одна из целей этого тома состоит в том, чтобы побудить философов признать потенциальные богатства, которые можно найти в недавних работах по логике, например, во множестве неклассических логик, включая, в первую очередь, теоретико-игровую семантику и логика сторонников независимости...

Дистанцироваться от сциентизма не значит отделиться от проекта Венского кружка. Наоборот. Мы отвергаем простые карикатуры, которые слишком часто выдаются за историю в отношении этих философов, и вместо этого настаиваем на подчеркивании прогрессивного, коллективного и оптимистического духа их проекта «Энциклопедия»… Лодка Нейрата, как и сам научный проект, представляет собой импровизированную сборку компонентов. , корректируется на лету и всегда подлежит реконструкции. Тем не менее, пока моряки выживают, их сообщество занято единым единым проектом. "

См. также предыдущий вопрос. Каковы основные исследовательские программы в области современной логики?

Сьюзан Хаак, Философия логики

Потрясающий обзор потрясающего философа (хотя я категорически с ней не согласен в некоторых вещах).