Судження можуть мати, наприклад, ще й таку логічну форму: «Якщо А, то Б» — «Якщо історія — наука, то вона має свої закони». Арістотель дослідив попередньо відомі знання про логіку, та створив свою власну логічну систему — науку про форми і закони правильного мислення, способи дедуктивного пошуку знань та дослідження суджень на істинність. Особливості логіки Аристотеля: Логіка становить окрему частину філософської системи знань Аристотеля. Зв'язок логічного вчення про вірність міркувань нерозривний із вченням про істинність міркувань.