«Мир Тарского» - это компьютерное введение в логику первого порядка, написанное Джоном Барвайзом и Джоном Этчменди . Он назван в честь математика-логика Альфреда Тарского . Пакет включает в себя книгу, которая служит учебником и руководством, и компьютерную программу, которые вместе служат введением в семантику логики через игры, в которых простые трехмерные миры заполнены различными геометрическими фигурами, и они используются для проверить истинность или ложность предложений логики первого порядка. Программа также включена в пакет Language, Proof and Logic . [1] [2] [3] [4] [5]
Программа
- Барвайз, Дж., И Этчменди, Дж. (1993). Мир Тарского . Стэнфорд, Калифорния: CSLI Publ.
- Баркер-Пламмер, Д., Барвайз, Дж., И Этчменди, Дж. (2008). Мир Тарского . Стэнфорд, Калифорния: CSLI Publications.
- Проект Openproof в CSLI: домашняя страница пакета учебных материалов Tarski's World, Дэйв Баркер-Пламмер, Джон Барвайз и Джон Этчеменди в сотрудничестве с Альбертом Лю
Рекомендации
- ^ Голдсон, Д., (1994) Обзор языка логики первого порядка, включая программу Macintosh «Мир Тарского». The Philosophical Quarterly , 44, 175, 272–275.
- ^ Fallis, D., (1999). Обзор языка логики первого порядка, включая IBM-совместимую версию Tarski's World 4.0 для Windows. Журнал символической логики , 64, 2, 916–918.
- Перейти ↑ Compton, KJ, (1993). Обзор языка логики первого порядка, включая программу «Мир Тарского». Журнал символической логики , 58, 1, 362–363.
- ^ Bailhache, P. (1992). Обзор языка логики первого порядка, включая Macintosh ™ Мир Тарского. Studia Logica , 51, 1, 145–147.
- ^ Голдсон, Д., Ривз, С. и Р. Борнат (1993) Обзор нескольких программ для обучения логике, Компьютерный журнал , том 36, выпуск 4, стр. 373-386