Мир Тарского

Tarski's World — это компьютерное введение в логику первого порядка, написанное Джоном Барвайзом и Джоном Этчеменди . Оно названо в честь математического логика Альфреда Тарского . Пакет включает в себя книгу, которая служит учебником и руководством, и компьютерную программу, которые вместе служат введением в семантику логики через игры, в которых простые трехмерные миры населены различными геометрическими фигурами, и они используются для проверки истинности или ложности предложений логики первого порядка. Программа также включена в пакет Language, Proof and Logic . ^[1]^[2]^[3]^[4]^[5]

Позднее программа была расширена до Hyperproof. ^[6]

Программа

Барвайз Дж. и Этчеменди Дж. (1993). Мир Тарского . Стэнфорд, Калифорния: CSLI Publ.
Баркер-Пламмер Д., Барвайз Дж. и Этчеменди Дж. (2008). Мир Тарского . Стэнфорд, Калифорния: Публикации CSLI.
Проект Openproof в CSLI: домашняя страница пакета учебных материалов Tarski's World, Дейв Баркер-Пламмер, Джон Барвайз и Джон Этчеменди в сотрудничестве с Альбертом Лю

Ссылки

^ Голдсон, Д., (1994) Обзор языка логики первого порядка, включая программу Macintosh «Мир Тарского». The Philosophical Quarterly , 44, 175, 272–275.
^ Фэллис, Д. (1999). Обзор языка логики первого порядка, включая версию Tarski's World 4.0 для IBM-совместимой Windows. Журнал символической логики , 64, 2, 916–918.
^ Комптон, К. Дж. (1993). Обзор языка логики первого порядка, включая программу «Мир Тарского». Журнал символической логики , 58, 1, 362–363.
^ Bailhache, P. (1992). Обзор книги «Язык логики первого порядка, включая мир Macintosh™ Tarski's». Studia Logica , 51, 1, 145–147.
^ Голдсон, Д., Ривз, С. и Р. Борнат (1993) Обзор нескольких программ для преподавания логики, The Computer Journal , том 36, выпуск 4, стр. 373-386
^ Барвайз, Джон; Этчеменди, Джон (1992). «Гипердоказательство: Логическое рассуждение с диаграммами». Технический отчет AAAI SS-92-02 .

Внешние ссылки

Короткий видеоклип, демонстрирующий, как использовать программу Tarski's World для языкового доказательства и логики.

[1] Голдсон, Д., (1994) Обзор языка логики первого порядка, включая программу Macintosh «Мир Тарского». The Philosophical Quarterly , 44, 175, 272–275.

[2] Фэллис, Д. (1999). Обзор языка логики первого порядка, включая версию Tarski's World 4.0 для IBM-совместимой Windows. Журнал символической логики , 64, 2, 916–918.

[3] Комптон, К. Дж. (1993). Обзор языка логики первого порядка, включая программу «Мир Тарского». Журнал символической логики , 58, 1, 362–363.

[4] Bailhache, P. (1992). Обзор книги «Язык логики первого порядка, включая мир Macintosh™ Tarski's». Studia Logica , 51, 1, 145–147.

[5] Голдсон, Д., Ривз, С. и Р. Борнат (1993) Обзор нескольких программ для преподавания логики, The Computer Journal , том 36, выпуск 4, стр. 373-386

[6] Барвайз, Джон; Этчеменди, Джон (1992). «Гипердоказательство: Логическое рассуждение с диаграммами». Технический отчет AAAI SS-92-02 .