Мир Тарского

«Мир Тарского» — это компьютерное введение в логику первого порядка, написанное Джоном Барвайзом и Джоном Этчеменди . Он назван в честь математического логика Альфреда Тарского . В комплект входит книга, которая служит учебником и руководством, а также компьютерная программа, которые вместе служат введением в семантику логики посредством игр, в которых простые трехмерные миры населены различными геометрическими фигурами, которые используются для проверить истинность или ложность логических предложений первого порядка. Программа также включена в пакет «Язык, доказательство и логика» . ^{[ 1 ]}^{[ 2 ]}^{[ 3 ]}^{[ 4 ]}^{[ 5 ]}

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

Программа

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

Ссылки

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

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

Короткий видеоклип, показывающий, как использовать программу «Мир Тарского» для проверки языка и логики.

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

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

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

[4] Байяш, П. (1992). Обзор языка логики первого порядка, включая мир Тарского для Macintosh™. Студия Логика , 51, 1, 145–147.

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

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

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]