Interested Article - Универсальная логика

aoibhe
  • 2020-10-15
  • 2

Универсальная логика ( англ. universal logic ) — это область знаний логических систем, изучающая их общие свойства и структуры, которые могут быть применены к рассуждениям о любом предмете, а не только к конкретной предметной области . Термин был придуман по аналогии с универсальной алгеброй по отношению к алгебре . Универсальная логика — не новая логика, это попытка объединения различных логик путем разработки общих инструментов и концепций, применимых ко всем логикам .

Развитие универсальной логики как общей теории логических систем

Корни универсальной логики, как общей теории логических систем, могут уходить свои корни до работ Альфреда Тарского в начале двадцатого века, однако современное понятие было представлено в 1990-х годах швейцарским логиком Жан-Ивом Безъё . Термин «универсальная логика» также отдельно использовался логиками, такими как Ричард Сильван и Росс Брэди, чтобы обозначить новый тип (слабой) релевантной логики.

В контексте, определенном Безъё, были исследованы три основных подхода к универсальной логике:

  • Аксиоматическая система абстрактной теории моделей, сформулированная en .
  • Топологический / категориальный подход на основе (иногда называемый категориальной теорией моделей).
  • Категориальный подход, имеющий свои корни в компьютерных науках, основанный на понятии (англ.) ( , разработанном (англ.) ( и (англ.) ( .

Всемирные конгрессы и школы по универсальной логике

С 2005 года Жан-Ив Безъё организует всемирные конгрессы и школы по универсальной логике. Эти мероприятия собирают сотни исследователей и студентов в этой области и предлагают обучающие программы и исследовательские доклады по широкому спектру тем.

  • 1-й Всемирный конгресс и школа по универсальной логике, 26 марта — 3 апреля 2005 года, Монтрё , Швейцария. Среди участников были Жан-Ив Безъё, en ) и Дэвид Макинсон. (Тайный докладчик: Сол Крипке )
  • 2-й Всемирный конгресс и школа по универсальной логике, 16-22 августа 2007 года, Сиань , Китай.
  • 3-й Всемирный конгресс и школа по универсальной логике, 18-25 апреля 2010 года, Лиссабон , Португалия. (Тайный докладчик: Яакко Хинтикка )
  • 4-й Всемирный конгресс и школа по универсальной логике, 29 марта — 7 апреля 2013 года, Рио-де-Жанейро , Бразилия.
  • 5-й Всемирный конгресс и школа по универсальной логике, 20-30 июня 2015 года, Стамбул , Турция.
  • 6-й Всемирный конгресс и школа по универсальной логике, 16-26 июня 2018 года, Виши , Франция.
  • 7-й Всемирный конгресс и школа по универсальной логике, 1-11 апреля 2022 года, Крит .

Примечания

  1. Handbook of the 5th World Congress and School on Universal Logic // University of Istanbul, Turkey.
  2. The Road to Universal Logic: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I, edited by Arnold Koslow and Arthur Buchsbaum 2014 Birkhäuser ISBN 978-3319101927 pp 2-10
  3. / Jean-Yves Béziau. — 2nd. — Springer, 2007. — ISBN 978-3-7643-8353-4 . от 11 января 2015 на Wayback Machine
  4. Brady, R. 2006. Universal Logic . Stanford: CSLI Publications. ISBN 1-57586-255-7 .
  5. Răzvan Diaconescu. . — Birkhäuser, 2008. — P. 2–3. — ISBN 978-3-7643-8707-5 .
  6. Jon Barwise. Axioms for abstract model theory. Annals of Mathematical Logic,7:221-265, 1974
  7. Steffen Lewitzka «A Topological Approach to Universal Logic» 2007 Birkhauser pp 35-61
  8. Razvan Diaconescu, «Three decades of institution theory» in Universal Logic: An Anthology edited by Jean-Yves Béziau 2012 Springer ISBN 978-3-0346-0144-3 pp 309—322
  9. . Дата обращения: 6 мая 2023. 26 марта 2023 года.
  10. . Дата обращения: 6 мая 2023. 6 мая 2023 года.
  11. . Дата обращения: 6 мая 2023. 6 мая 2023 года.
  12. . Дата обращения: 6 мая 2023. 6 мая 2023 года.
  13. . Дата обращения: 6 мая 2023. 6 мая 2023 года.
  14. . Дата обращения: 6 мая 2023. 6 мая 2023 года.
  15. . Дата обращения: 6 мая 2023. 8 мая 2023 года.

Ссылки

Источник —

aoibhe
  • 2020-10-15
  • 2
  • Tags:

Same as Универсальная логика

The title for the last searches