[E. Nagel](https://en.wikipedia.org/wiki/Ernest_Nagel), 'A formalization of functionalism', _Logic Without Metaphysics_, Free Press, 1956, pp. 247-83. [[on Google Books](https://books.google.com/books/about/Logic_Without_Metaphysics.html?id=WVAYAAAAIAAJ)] ---