阿维森纳研究了一个早期的正式时间逻辑系统. 虽然他没有开发出一个真正的时间命题理论, 但他确实研究了颞和含义之间的关系. 阿维森纳的工作由najm al-ūd al-kātibī进一步开发, 并成为伊斯兰逻辑的主导系统, 直到现代. avicennian逻辑也影响了一些早期欧洲逻辑学家, 如阿尔伯特·马格努斯和奥卡阿维森纳支持由亚 里 士 多 德提出的noncontradiction法律, 这一事实不可能同时是真的和假的, 并以同样的术语所用. 他说, 任何否认noncontradiction法律的人都应该被殴打和烧死, 直到他承认被殴打不同于不被殴打, 被烧的不同于不被烧毁.
阿维森纳研究的主题是什么, 但没有发展一个理论?
时间 逻辑