阿维森纳赞同谁的非贸易法？
阿维森纳研究了时间逻辑的早期形式系统。虽然他没有发展出一个真正的时间命题理论，但他确实研究了时间命题与时间蕴涵之间的关系。阿维森纳的工作是由纳吉姆阿尔德纳卡兹瓦恩阿尔克提卜进一步发展起来的，直到近代才成为伊斯兰逻辑的主导系统。阿维森尼亚逻辑也影响了一些早期的欧洲逻辑学家，如阿尔伯图斯马格努斯和威廉的奥卡姆。阿维森纳赞同亚里士多德提出的非贸易法，即一个事实不可能在同一时间和同一意义上是真是假。他说：“任何人如果否认非贸易法，都应该被殴打和焚烧，直到他承认被殴打和不被殴打是不一样的，被焚烧和不被焚烧是不一样的。”
亚里士多德提