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

В количественной модальной логике , то формула Буридана и формула обратной Буридано (более точно, а не схемы формул) (я) синтаксический государственные принципы обмена между кванторами и условиями; (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]

Фактически, приведенная выше формула эквивалентна: (по двойственности де Моргана), иначе (по противопоставлению), что является обратной формулой Буридана, показанной ниже. $\neg \Diamond \forall xFx\to \neg \forall x\Diamond Fx$ $\forall x\Diamond Fx\to \Diamond \forall xFx$

Обратная формула Буридана [ править ]

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

$\forall x\Diamond Fx\rightarrow \Diamond \forall xFx$ . ^[4]

Логика Буридана [ править ]

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

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

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

Ссылки [ править ]

^ Гарсон, Джеймс У. (2001). «Количественная оценка в модальной логике». Справочник по философской логике . т. 3. Springer, Нидерланды. С. 267–323. DOI : 10.1007 / 978-94-017-0454-0_3 . ISBN 978-90-481-5765-5. |volume= has extra text (help)
^ Anellis, IH (2007). " " Предвкушение Ибн-Синой формул буридана и баркана "З. Мовахед" . Обзор современной логики . 11 (1–2): 73–86.
^ Besnard, P .; Guinnebault, JM; Майер, Э. (1997). «Количественная оценка высказываний для условной логики» .В качественном и количественном практическом мышлении . Springer Berlin Heidelberg. С. 183–197. См. Страницу 190.
Перейти ↑ Richards, Jay W. (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. DOI : 10.1007 / 978-94-017-0454-0_3 . ISBN 978-90-481-5765-5. |volume= has extra text (help)

[2] Anellis, IH (2007). " " Предвкушение Ибн-Синой формул буридана и баркана "З. Мовахед" . Обзор современной логики . 11 (1–2): 73–86.

[3] Besnard, P .; Guinnebault, JM; Майер, Э. (1997). «Количественная оценка высказываний для условной логики» .В качественном и количественном практическом мышлении . Springer Berlin Heidelberg. С. 183–197. См. Страницу 190.

[4] Перейти ↑ Richards, Jay W. (2009). Неукротимый Бог: философское исследование божественного совершенства, простоты и неизменности . InterVarsity Press. п. 60. ISBN 9780830877430.

[5] Клима, Дьюла (2008). Джон Буридан . Oxford U. Press. С. 3–4. ISBN 9780199721078.

[6] Клима, Дьюла (2008). Джон Буридан . Oxford U. Press. п. 12. ISBN 9780199721078.

[1]