Can that be the same John Searle I'm thinking of?  Philosophy professor at Berkeley, exponent of J.L Austin, victim of Derrida's diabolical sarcasm, oddly uncomfortable presence as interviewee in documentary "Berkeley in the Sixties" , brilliant constructor of examples and conundrums like his Derivation of an Ought from an Is and the Chinese Box problem for artificial intelligence doing natural language processing ...