Language, Proof and Logic

Language, Proof and Logic (во превод: Јазик, доказ и логика) е образовeн софтверски пакет, осмислен и напишан од Џон Барвајс и Џон Ечеменди, насочен кон предавањето на формалната логика преку употреба на тесна интеграција помеѓу учебникот (исто име како и пакетот) и четири софтверски програми, каде што три од нив се поврзани со логиката (Boole, Fitch and Tarski's World), а другиот (Submit) е услуга за оценување заснована на Интернет. Името е игра на зборови изведени од „Јазик, вистина, и логика“ (изворно „Language, Truth, and Logic“), филозофска книга од Алфред Џулс Ајер.

На 2 септември 2014 година, бил отворен голем отворен курс преку Интернет (MOOC) со истото име, кој го користи овој образовен софтверски пакет.

Опис

Краток опис на програмите:

Бул (Boole) (именуван по Џорџ Бул) - програма што ја олеснува изградбата и проверката на табелите за вистини и сродните поими (тавтологија, тавтолошка последица итн.);
Фич (Fitch) (именувана по Фредерик Брентон Фич) - природна околина за докажување на одбивање во пресметка во стилот на Фич за давање и проверка на докази од прв ред;
Светот на Тарски (Tarski's World) (именуван по Алфред Тарски) - програма која го учи основниот јазик од прв ред и неговата семантика со помош на модел теоретски-како пристап, каде што „светот“ се состои од малку решетка и неколку едноставни предмети;
Поднесок (Submit) - програма што им овозможува на учениците да доставуваат вежби направени со горенаведените програми до „Grade Grinder“, услугата за онлајн оценување.^[1]