Арістотель вперше застосував елементи формалізації, як особливий логічний метод для позначення термінів та суджень. Логіка Арістотеля вміщує принципи дедуктивної та індуктивної, формальної та неформальної модальної і багатозначної логіки.
Арістотель вперше застосував елементи формалізації, як особливий логічний метод для позначення термінів та суджень. Логіка Арістотеля вміщує принципи дедуктивної та індуктивної, формальної та неформальної модальної і багатозначної логіки.