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

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

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

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

\Diamond \forall xFx\rightarrow \forall x\Diamond Fx

.

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

\exists x\Box Fx\to \Box \exists xFx

.

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

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

$\forall x\Diamond Fx\rightarrow \Diamond \forall xFx$ .

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

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

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

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

Ссылки

^ Гарсон, Джеймс В. (2001). «Количественная оценка в модальной логике». Справочник по философской логике . Том. 3. Спрингер Нидерланды. стр. 267–323. дои : 10.1007/978-94-017-0454-0_3 . ISBN 978-90-481-5765-5 .
^ Клима, Дьюла (2008). Джон Буридан . Оксфордский университет. Пресс. пп. 3–4. ISBN 9780199721078 .
^ Клима, Дьюла (2008). Джон Буридан . Оксфордский университет. Пресс. п. 12. ISBN 9780199721078 .

Анеллис, И.Х. (2007). « Предчувствие Ибн-Синой формул Буридана и Баркана», З. Мовахед» . Обзор современной логики . 11 (1–2): 73–86.
Ричардс, Джей В. (2009). Неукротимый Бог: философское исследование божественного совершенства, простоты и неизменности . Межвузовская пресса. п. 60. ИСБН 9780830877430 .
Беснар, П.; Гиннебо, JM; Майер, Э. (1997). «Пропозициональная квантификация условной логики» . В качественном и количественном практическом рассуждении . Шпрингер Берлин Гейдельберг. стр. 183–197. См. стр. 190.

[1] Гарсон, Джеймс В. (2001). «Количественная оценка в модальной логике». Справочник по философской логике . Том. 3. Спрингер Нидерланды. стр. 267–323. дои : 10.1007/978-94-017-0454-0_3 . ISBN 978-90-481-5765-5 .

[2] Клима, Дьюла (2008). Джон Буридан . Оксфордский университет. Пресс. пп. 3–4. ISBN 9780199721078 .

[3] Клима, Дьюла (2008). Джон Буридан . Оксфордский университет. Пресс. п. 12. ISBN 9780199721078 .

[1]

[2]

[3]