Psycho-Logic

Psycho-Logic is an attempt to formulate explicitly the implicit common-sense psychology embedded in everyday language and taken for granted by its users. The key concepts in this system are given definitions, and the basic assumptions are presented in the form of axioms. A number of corollaries and theorems are formally proved. The text also contains numerous notes in which the formal propositions...