Find a Model for a Set of Propositions

In this Demonstration, aim to build a model for the set of statements—that is, a structure (or world) in which all the statements are true. If that is possible, the set of statements is consistent.
  • Contributed by: Izidor Hafner
  • Based on an idea by: Jon Barwise and John Etchemendy

(54 lines omitted)

Reference:
J. Barwise and J. Etchemendy, Tarski's World, Stanford, CA: CSLI Publications, 1993.
comments
 
Powered by Wolfram Mathematica
Give us your feedback
Give us your feedback

Source page:




 often  occasionally  never

Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed.
Privacy Policy »

Note: To run this Demonstration you need the free
Mathematica Player
or Mathematica 7+
Download or upgrade to Mathematica Player 7
I already have Mathematica Player or Mathematica 7+