Abstract

Gives a general method as well as some results (inspired by Asimov, 1951; since discovered to be in Bar-Hillel and Carnap [several versions; Charles Parsons referred me to /Language and Information/]) to recover meaning (eventually automatically) from logical form/logical probability, which are mirror images. (Sets are taken as extensions of predicates, and knowledge of the sizes is needed; to that extent the method is a posteriori).