home *** CD-ROM | disk | FTP | other *** search
/ Education Sampler 1992 [NeXTSTEP] / Education_1992_Sampler.iso / NeXT / Misc / HigherEducationMailbox.mbox / tarski_and_you__0_0.attach / index.rtf < prev    next >
Text File  |  1991-06-17  |  1KB  |  39 lines
  1. {\rtf0\ansi{\fonttbl\f0\fswiss Helvetica;\f1\fnil Times-Roman;}
  2. \margl120
  3. \margr120
  4. {\colortbl\red0\green0\blue0;}
  5. {{\attachment0 MailTemp_jwishnie7.tiff
  6. }
  7. \pard\tx520\tx1060\tx1600\tx2120\tx2660\tx3200\tx3720\tx4260\tx4800\tx5320\f0\b0\i0\ul0\qc\fs18 \
  8.  
  9. \ql\fs20\fc0 Tarksi's World, developed at Stanford University, teaches first-order logic. Students construct worlds made of blocks of different sizes and shapes. The students then write sentences of first-order logic to describe the worlds. The program tests the truth values of the sentences and leads students through the evaluation of the sentences.\
  10.  
  11. \fs24 \
  12.  
  13. \pard\tx1080\tx7840\fs36 NeXT computers, with workstation computational power and the NeXTstep graphical interface, make possible powerful, easy-to-use, courseware tools that teach traditional topics in engaging and new ways.
  14. \fs24 \
  15.  
  16. \ql \
  17.  
  18. \fs28 Test your logic skills: Double-click Tarski's World and write sentences to describe example worlds. Then, create worlds that make the example sentences true!\
  19. \
  20.  
  21.      
  22. {{\attachment703 hand.tiff
  23. } 
  24. {{\attachment705 Tarski.app
  25. }
  26. \pard\tx220\tx7840\f1\b\i0\ul0\fs24\fc0 \
  27.  
  28. \pard\tx1080\tx7840             Tarski's World
  29. \f0\b0\fs28 \
  30.  
  31. \fs24 \
  32. For more information, contact:     \
  33.  
  34. \pard\tx1080\tx6120\b John Etchemendy\
  35.  
  36. \pard\tx520\tx1060\tx1600\tx2120\tx2660\tx3200\tx3720\tx4260\tx4800\tx5320 Professor of Philosophy\
  37. etch@csli.stanford.edu
  38. }
  39.