Språk, bevis och logik
Language, Proof and Logic är ett pedagogiskt mjukvarupaket, utarbetat och skrivet av Jon Barwise och John Etchemendy , inriktat på att lära ut formell logik genom att använda en tät integration mellan en lärobok (samma namn som paketet) och fyra mjukvaruprogram, där tre av dem är logikrelaterade (Boole, Fitch och Tarski's World) och den andra (Submit) är en internetbaserad betygstjänst. Namnet är en ordvits som kommer från Language, Truth, and Logic , filosofiboken av AJ Ayer .
Den 2 september 2014 lanserades en massiv öppen onlinekurs (MOOC) med samma namn, som använder detta pedagogiska mjukvarupaket.
Beskrivning
En kort beskrivning av programmen:
- Boole (uppkallad efter George Boole ) - ett program som underlättar konstruktion och kontroll av sanningstabeller och relaterade föreställningar ( tautologi , tautologisk konsekvens, etc.);
- Fitch (uppkallad efter Frederic Brenton Fitch ) - en naturlig avdragssäker miljö i Fitch-liknande kalkyl för att ge och kontrollera första ordningens bevis;
- Tarskis värld (uppkallad efter Alfred Tarski ) - ett program som lär ut det grundläggande första ordningens språket och dess semantik med hjälp av ett modellteoretiskt tillvägagångssätt, där "världen" består av ett litet rutnät och några enkla objekt;
- Submit – ett program som låter eleverna skicka in övningar gjorda med ovanstående program till Grade Grinder, betygstjänsten online.