> In Searle’s time, the dominant AI paradigm was GOFAI (Good Old-Fashioned Artificial Intelligence.)

Russel and Norvig's book is probably the best introduction to "old fashioned" AI:

https://www.amazon.com/Artificial-Intelligence-Modern-Approa...

GOFAI may not have lead directly to true AI, but it produced a ton of useful algorithms such as A* and minimax. Although the attention has turned to machine learning algorithms (à la https://www.amazon.com/Elements-Statistical-Learning-Predict...) the hybrid of GOFAI and ML has produced some extraordinary results, such as AlphaZero:

https://deepmind.com/blog/alphago-zero-learning-scratch/

This is the leading book on AI: http://www.amazon.com/Artificial-Intelligence-Modern-Approac...