亚里士多德在其哲学著作中，系统地论述了形式逻辑的三大基本定律，这些定律是：

同一律：

事物只能是其本身，不能同时成为其他事物。

矛盾律：

在同一思维过程中，两个相互否定的思想不能同时为真，必有一假。

排中律：

在同一思维过程中，两个相互矛盾的思想不能同时为假，必有一真。

这些定律为形式逻辑的发展奠定了坚实的基础，并且至今仍然被广泛接受和应用于各种逻辑推理和论证中。亚里士多德通过这些定律，系统地阐述了演绎推理的基本原则，并建立了西方逻辑史上第一个逻辑系统，即三段论系统。