Just so you know, it is not the first time that a computer program is included as a co-author. But unlike ChatGPT, Logic Theorist was not as fortunate. Book: Artificial Intelligence: A Philosophical Introduction - Jack Copeland