The top documents tagged [symbolic logic jstor]