霍布斯提出了关于喜剧的什么理论