CodalSearch this book — or all of Codal…⌘K
nydus/The Game of LogicPublic

This instructional book presents a logic game played with a diagram and nine counters. It explains how to express propositions through the relationship between things and their attributes.

Page 15 of 126
Table of Contents

NEW LAMPS FOR OLD.

  _________________________________________________
                 |
    Symbols.     |          Meanings.
  _______________|_________________________________
      -----      |
     |     |     |
     |     |     |  Some y are x';
     |     |     |     i.e. Some nice are not-new.
      -----      |
     |     |     |
     |  1  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |  No y are x;
     |  0  |     |      i.e. No nice are new.
     |     |     |
      -----      |  [Observe that this is merely another way of
     |     |     |      expressing "No new are nice."]
     |     |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |     |     |  No y are x';
     |     |     |      i.e. No nice are not-new.
      -----      |
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  1  |     |  Some y are x, and some are x';
     |     |     |     i.e. Some nice are new, and some are
      -----      |            not-new.
     |     |     |
     |  1  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  0  |     |  No y are x, and none are x'; i.e. No y
     |     |     |       exist;
      -----      |     i.e. No Cakes are nice.
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  1  |     |  All y are x;
     |     |     |       i.e. All nice are new.
      -----      |
     |     |     |
     |  0  |     |
     |     |     |
      -----      |
                 |
      -----      |
     |     |     |
     |  0  |     |  All y are x';
     |     |     |       i.e. All nice are not-new.
      -----      |
     |     |     |
     |  1  |     |
     |     |     |
      -----      |
  _______________|_________________________________
15