Philosophical grammar; part I, The proposition, and its sense, part II, On logic and mathematics