白马非马是指中国逻辑学家公孙龙提出的一个逻辑问题，出自《公孙龙子·白马论》。