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“, услугата за онлајн оценување. 

 Наводи 

 Надворешни врски 

 Главна страница 
 Прво издание на Архива на Интернет за јазик, доказ и логика 
 голем отворен курс преку Интернет (MOOC) за јазик, доказ и логика 
Категорија:Логика