Language, Proof and Logic - это образовательный программный пакет, разработанный и написанный Джоном Барвайзом и Джоном Этчменди , предназначенный для обучения формальной логике за счет тесной интеграции между учебником (название которого совпадает с названием пакета) и четырьмя программами, из которых три из них связаны с логикой (Boole, Fitch и Tarski's World), а другой (Submit) - это служба оценки в Интернете. Название представляет собой каламбур, полученный из книги по философии AJ Ayer « Язык, истина и логика» .
2 сентября 2014 года был запущен одноименный массовый открытый онлайн-курс (МООК), в котором используется данный образовательный программный комплекс.
Описание
Краткое описание программ:
- Boole (названный в честь Джорджа Буля ) - программа, облегчающая построение и проверку таблиц истинности и связанных с ними понятий ( тавтология , тавтологическое следствие и т. Д.);
- Fitch (названо в честь Фредерика Брентона Fitch ) - естественная среда доказательства дедукции в расчетах в стиле Fitch для предоставления и проверки доказательств первого порядка;
- Мир Тарского (названный в честь Альфреда Тарского ) - программа, которая обучает основному языку первого порядка и его семантике с использованием теоретико-модельного подхода, где «мир» состоит из небольшой сетки и нескольких простых объектов;
- Отправить - программа, которая позволяет учащимся отправлять упражнения, выполненные с помощью вышеуказанных программ, в Grade Grinder, службу онлайн-оценок. [1]
Рекомендации
- Перейти ↑ Grim, P. (2001). «Язык, доказательство и логика». Вестник символической логики . 7 (3): 377–379. DOI : 10.2307 / 2687756 . JSTOR 2687756 .