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