Логика Аристотеля (аристотелевская, Формальная, Традиционная, Двузначная)

Это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет свое практическое значение, как и геометрия Евклида.