analytic componential analysis context principle empirical homomorphism india initial algebra mathematics methodology montague grammar philosophy of language plato sarcasm semantics stanford encyclopedia of philosophy syntax t-schema