назад
Формализовывать или не формализовывать, вот в чём вопрос: формальные методы в философии Никитина Ирина, МЛ ЛогЛинФФ НИУ ВШЭ Аннотация С самого своего зарождения аналитическая философия была тесно связана с использованием формальных методов, а отцы-основатели и почетные дедушки аналитической философии являются создателями формальной логики в современном её виде.С течением времени в философию проникали все новые и новые формальные методы: теория игр, теория принятия решений, байесовская статистика, теория вероятностей и др. Вместе с тем разрыв между аналитической философией и философской логикой увеличивался. В начале 2000-х С.О. Ханссон и В.Ф. Хендрикс выступили с призывом преодоления данного разрыва. Отложенным следствием этого стала публикация сборника 2018 года «Introduction to Formal Philosophy» и институализация - в различных формах - формальной философии. Важно отметить, что при этом формальная философия не представляет из себя какой-то школы или направления философской мысли, но лишь является зонтичным термином для всякой философии, использующей формальные методы. Отчасти благодаря стараниям упомянутых философов, отчасти из-за не теряющего популярности использования логики современная аналитическая философия активно прибегает к формализации. Однако встает вопрос об уместности использования формальных методов для решения конкретных философских задач. Данный доклад будет попыткой предложить критерии уместности, которые вкупе с «аналитическим фронезисом» должны быть достаточны для решения вопроса о продуктивности формализации в конкретных случаях. Список литературы
Hansson, S. O., Hendricks, V. F., & Kjeldahl, E. M. (Eds.). (2018). Introduction to formal philosophy. Berlin, Germany: Springer. - центральный сборник по применению формальных методов в философии, первый текст в сборнике за авторством Свена Ханссона носит вводный характер, остальные тексты местами требовательны, пусть и носят по большей части обзорный характер, но они всё ещё намного более user-friendly, чем отдельные статьи по аналогичным темам Hansson, S. O. (2000). Formalization in philosophy. Bulletin of Symbolic Logic, 6(2), 162-175. - ранняя программная (до начала крестового похода Хендрикса про воссоединение формальной и мэйнстримной эпистемологии) статья Ханссона про преимущества и недостатки формализации, интересна часть про то, что именно логика как самый часто применяемый формальный метод протаскивает с собой в философию Leitgeb, H. (2013). Scientific philosophy, mathematical philosophy, and all that. Metaphilosophy, 44(3), 267-275. - статья о том, почему Erkenntnis поменял свой подзаголовок с «Международного журнала по аналитической философии» на «Международный журнал по научной философии»; в контексте формализации - увидеть, как это функционирует институционально, и избавиться от чувства, что формальная философия - это огороженная область исследований.
Hendricks, V. F. (2006). Mainstream and formal epistemology. Cambridge University Press. - Хендрикс выступает за продуктивное воссоединение формальной и мейнстримной (читай неформальной и более популярной) эпистемологии Hendricks, V. F., & Symons, J. (2006). Where's the bridge? Epistemology and epistemic logic. Philosophical Studies: An International Journal for Philosophy in the Analytic Tradition, 128(1), 137-167. - если не хочется читать много, то есть статья с более узким, но в общем достаточно близким содержанием Bruin, B. D. (2005). Game theory in philosophy. Topoi, 24(2), 197-208. - подробный разбор самых популярных кейсов использования теории игр в философии, минимум технических деталей Dutilh Novaes, C. (2018). Formal Methods and the History of Philosophy. In Hansson, S. O., Hendricks, V. F., & Kjeldahl, E. M. (Eds.). Introduction to formal philosophy. (pp. 81-92). Berlin, Germany: Springer. - статья в «Introduction to Formal Philosophy» про формальные методы в истории философии, три примера: силлогистика, онтологический аргумент Ансельма и средневековые теории суппозиции Urbaniak, R., & Payette, G. (Eds.). (2017). Applications of Formal Philosophy: The Road Less Travelled (Vol. 14). Springer. еще один, но не столь классический и всеобзорный сборник статей по формальной философии
Williamson, T. L. (2024). A risky challenge for intransitive preferences. Noûs, 58(2), 360-385. - теория принятия решений, нетранзитивность предпочтений и вопросы рациональности Øhrstrøm, P. (1984). Anselm, Ockham and Leibniz on divine foreknowledge and human freedom. Erkenntnis, 209-222. - почему оккамистская логика ветвящегося времени на самом деле не оккамистская, аккуратная (в сравнении с А. Прайором) формальная реконструкция Karttunen, L. (1973). Presuppositions of compound sentences. Linguistic inquiry, 4(2), 169-193. - классическая статья Карттунена о пресуппозициях Holliday, W. H., & Icard III, T. F. (2010). Moorean phenomena in epistemic logic. Advances in Modal Logic, Volume 8, 8, 178-199. - муровский парадокс и эпистемическая логика Hawthorne, J., & Uzquiano, G. (2011). How many angels can dance on the point of a needle? Transcendental theology meets modal metaphysics. Mind, 120(477), 53-81. - забавная теология Stenning, K., & van Lambalgen, M. (2011). Reasoning, logic, and psychology. Wiley Interdisciplinary Reviews: Cognitive Science, 2(5), 555-567. - не совсем философия, скорее на грани логики и психологии, расширяется понятие рассуждения, вопросы нормативности и рациональности через призму немонотонной логики |
|||||
|
 |
|
    |
|
