Tarski's World¶
Product or Programme · All products and programmes
Evidence · 4 claims (4 for) · 2 studies (2 causal),q3· 0 of 2 report an effect size · 4 claims rest on one study
Description¶
Tarski's World is a computer-based learning environment developed by Barwise and Etchemendy for teaching and practicing first-order logic through visual, manipulable worlds.
Components¶
- Tarski's World computer-based learning environment for teaching first-order logic: Tarski's World is a computer-based learning environment designed for teaching first-order logic (Barwise & Etchemendy, 1992), used in this study to teach the logical connective, conditional. In the experiment, instructions for 72 first- and second-year social science students were varied within it, including "a visual representation in which geometrical objects could be manipulated". It served as the delivery setting for the guidance and manipulation variables. (Tessa Eysink et al. (2002))
Claims¶
- Guidance in a computer-based logic environment significantly influences pre- to post-test scores for learning the conditional [+M]
- Object manipulation in a visual representation significantly improves scores from post-test to retention test after two weeks of non-instruction [+M]
- The authors conclude that guidance combined with the possibility to manipulate objects supports acquisition of knowledge and skills in a domain [+W]
- Tarski's World facilitated conditional reasoning relative to only-situated or only-formal instruction [+M]
Related Products and Programmes¶
-
Key Sources¶
- Tessa Eysink, Sanne Dijkstra, Jan Kuper. (2002). The role of guidance in computer-based problem solving for the development of concepts of logic. Instructional Science. https://doi.org/10.1023/A:1016018210897
- Jelke van Der Pal, Tessa Eysink. (1999). Balancing situativity and formality: the importance of relating a formal language to interactive graphics in logic instruction. Learning and Instruction, 9 (4), pp.327-341. https://telearn.hal.science/hal-00197363
Page metadata
| Field | Value |
|---|---|
type |
product |
id |
tarskis-world |
title |
Tarski's World |
description |
Tarski's World is a computer-based learning environment developed by Barwise and Etchemendy for teaching and practicing first-order logic through visual, manipulable worlds. |
status |
review |
product_kind |
software |
generated |
by process:settle-candidates on 2026-10-18 |
trust |
unverified — no one has confirmed this page's content |
Frontmatter is the page's machine-readable record — see the Schema & Guide.