Philosophical grammar :bpt. 1. The proposition, and its sense, pt. 2. On logic and mathematics