Organon V M. Peliš Tarski’s World Version 4.0 for MS Windows.

Prezentace na téma: "Organon V M. Peliš Tarski’s World Version 4.0 for MS Windows."— Transkript prezentace:

1 Organon V M. Peliš http://web.ff.cuni.cz/~pelis Tarski’s World Version 4.0 for MS Windows

2 Tarski’s World kniha Jon Barwise & John Etchemendy Tarski’s World. CSLI, Stanford, 1993 webhttp://www-csli.stanford.edu/hp

3 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ů

4 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ě“

5 Tarski’s World – software 76 souborů (tarski.exe + složka Exercise) 488 kB na disku

6 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

7 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ů