Request to experts: please provide an info on: intensional reification veridical Lambda Calculus Nyayaika Montagovian vishesha logical induction and deduction Gricean Frege Existential Import