This preview shows page 1. Sign up to view the full content.
Unformatted text preview: quired
to make a choice of formula, the game will ask you what to
do regardless of the state of the checkbox.
◦ Block Choices: At some points in the game Tarski’s World
must choose a block from the world. Since the are choice
is out of your control, you can make the game proceed with
these choices without requiring interaction by switching oﬀ
this checkbox. Of course, when you are required to make a
choice of block, the game will ask you what to do regardless
of the state of the checkbox. 3.5.4 When to play the game In general, you won’t want to play the game with every sentence.
The game is most illuminating when you have incorrectly assessed
a sentence’s truth value, but are not sure why your assessment
is wrong. When this happens, you should always play the game 28 / LPL Software Manual Figure 3.2: Tarski’s World Preferences Dialog
without changing your commitment. Tarski’s World will win, but
in the course of winning, it will usually make clear to you exactly
why your assessment was wrong. That’s the real value of the game.
You might wonder what happens when you play the game with
a correct assessment. In this case, if you play your cards right, you
are guaranteed to win. But Tarski’s World does not simply give up.
At those points in the game when it needs to make choices, it will
make them more or less randomly, hoping that you will blunder
somewhere along the line. If you do, it will seize the opportunity
and win the game. But, as we have noted, you can always renege
by backing up. 3.6 Preferences Some aspects of the behavior of Tarski’s World can be controlled
using the preferences dialog. This can be accessed by choosing the
Preferences... command from the application menu (Edit Menu
on Windows). The preferences dialog is shown in ﬁgure 3.2.
The ﬁrst row of preferences are checkboxes which allow you to
switch on some options for opening and creating new worlds. Using Tarski’s World / 29 You can opt to create a random world instead of an empty one
when a new world is created by selecting the open with random
world checkbox. You can view an animation as the world is opened
or created by selecting the open with ﬂythrough checkbox, and
you can opt to always open worlds in 2-D by selecting the ﬁnal
You can control the speed of animations, or switch all animations oﬀ using the Animation panel. The speed of animations is
controlled by a slider. When the slider is set to the Fast end of the
scale, the animations will have fewer frames, resulting in a more
jerky animation which takes less time. The Smooth end of the
scale will result in smoother, but longer, animations. You might
like to play with this setting to get the eﬀect that is just right for
your computer. If nothing seems right, then you can switch all
You can choose a diﬀerent eﬀect for how new blocks are created,
varying from dropping from the sky, materializing or growing in
place. We think that the eﬀects are pretty nifty. You might like
to try them out.
The ﬁnal world preference determines t...
View Full Document
This document was uploaded on 01/26/2014.
- Winter '14