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]
Наводи
[уреди | уреди извор]- ↑ Grim, P. (2001). „Language, Proof and Logic“. The Bulletin of Symbolic Logic. 7 (3): 377–379. doi:10.2307/2687756. JSTOR 2687756.