WikiDer > Формула буридана

Buridan formula

В количественном выражении модальная логика, то Формула буридана и обратная формула Буридана (точнее, схемы, а не формулы) (i) синтаксически формулируют принципы обмена между кванторами и модальностями; (ii) семантически установить связь между областями возможных миров. Формулы названы в честь средневекового философа. Жан Буридан по аналогии с Формула Баркана и обратная формула Баркана введены как аксиомы Рут Баркан Маркус.[1]

Формула буридана

Формула Буридана:

.[2]

В английский, схема гласит: Если возможно все F, то все, возможно, F. Это эквивалентно в классическая модальная логика (но не обязательно в других формулировках модальной логики)

.[3]

Обратная формула Буридана

Обратная формула Буридана:

.[4]

Логика буридана

... Помимо текущих комментариев к текстам Аристотеля, Буридан написал особенно влиятельные вопросы-комментарии, типичный жанр средневековых схоластических произведений, в которых авторы систематически обсуждали наиболее проблемные вопросы, поднятые текстом, по которому они читали лекции. Формат вопроса позволил Буридану, используя концептуальные инструменты, которые он разработал в своих работах по логике, детально проработать свой характерный для него характер. номиналист охватывают практически все аспекты аристотелевской философии. Среди его логических работ (которые также содержат ряд важных вопросов-комментариев к логическим сочинениям Аристотеля) два выделяются своей оригинальностью и значимостью: краткий Трактат о последствиях, который обеспечивает систематическое изложение теории выводов Буридана, и гораздо более крупный Summulae de Dialectica, Монументальный труд Буридана, охватывающий все аспекты его логической теории.[5]

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

... Буридан написал свой Summulae de Dialectica, который должен был стать основным учебником номиналист логики в европейских университетах около двух столетий, в форме непрерывных комментариев к чрезвычайно влиятельному логическому трактату почтенных реалист мастер, Петр Испанский. Однако для целей своего комментария Буридан полностью реорганизовал трактат Петра, и там, где реалистическая доктрина Петра противоречила его собственному номинализму, он просто заменил текст Петра своим собственным. [6]

использованная литература

  1. ^ Гарсон, Джеймс У. (2001). «Количественная оценка в модальной логике». Справочник по философской логике. т. 3. Springer, Нидерланды. С. 267–323. Дои:10.1007/978-94-017-0454-0_3. ISBN 978-90-481-5765-5.
  2. ^ Анеллис, И. Х. (2007). "" Предвкушение Ибн-Синой формул буридана и баркана "З. Мовахеда". Обзор современной логики. 11 (1–2): 73–86.
  3. ^ Besnard, P .; Guinnebault, J.M .; Майер, Э. (1997). «Количественная оценка высказываний для условной логики». В Качественное и количественное практическое рассуждение. Springer Berlin Heidelberg. С. 183–197. См. Страницу 190.
  4. ^ Ричардс, Джей У. (2009). Неукротимый Бог: философское исследование божественного совершенства, простоты и неизменности. InterVarsity Press. п. 60. ISBN 9780830877430.
  5. ^ Клима, Дьюла (2008). Джон Буридан. Oxford U. Press. С. 3–4. ISBN 9780199721078.
  6. ^ Клима, Дьюла (2008). Джон Буридан. Oxford U. Press. п. 12. ISBN 9780199721078.