Organon V M. Peliš Tarski’s World Version 4.0 for MS Windows
Tarski’s World kniha Jon Barwise & John Etchemendy Tarski’s World. CSLI, Stanford, 1993 webhttp://www-csli.stanford.edu/hp
Tarski’s World cíl: naučit významu a používání symbolů PL 1. porozumění (pasivní znalost) 2. používání (aktivní znalost) doplněk klasických kurzů a učebnic množství příkladů
Tarski’s World Co lze v TW dělat: Vytvářet „svět“ z objektů tří tvarů a tří různých velikostí Popisovat „svět“ pomocí symbolů PL a vybraných mimologických symbolů (interpretovaný jazyk) Kontrolovat syntax flí a sentencí Ověřovat pravdivost sentencí v daném „světě“
Tarski’s World – software 76 souborů (tarski.exe + složka Exercise) 488 kB na disku
Tarski’s World – sémantická hra produkuje „výzvy“ a student 1. musí promyslet (a zdůvodnit), proč je „výzva“ právě taková 2. navrhne další krok („výzvu“) 3. sám navrhne posloupnost „výzev“ 4. odvodí význam výroku 5. odvodí obecný význam dané logické formy
Tarski’s World – cvičení VL, PL teoretičtější pravdivost v jednom světě a platnost ve všech světech pravdivost v jednom světě a platnost ve všech světech interpretovaný a neinterpretovaný jazyk interpretovaný a neinterpretovaný jazyk omezení jazyka TW omezení jazyka TW expanze a kontrakce světů a zachování pravdivosti expanze a kontrakce světů a zachování pravdivosti elementární ekvivalence dvou světů elementární ekvivalence dvou světů