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

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

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

{ Displaystyle Diamond forall xFx rightarrow forall x Diamond Fx}

.^[2]

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

{ Displaystyle Box существует x neg Fx to exists x Box neg Fx}

.^[3]

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

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

${ displaystyle forall x Diamond Fx rightarrow Diamond forall xFx}$ .^[4]

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

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

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

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

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

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

[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.

[1]

[2]

[3]

[4]

[5]

[6]